Trace number 372994

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)26 1800.16 1800.46

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM82a3d84200b069df277c7f14e0e883d0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved NO
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
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 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	26

Conversion Script Data (download as text)

/tmp/evaluation/372994-1177153829/instance-372994-1177153829.opb is already a linear file

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12254
/proc/meminfo: memFree=1800712/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=152 CPUtime=0
/proc/12254/stat : 12254 (java) R 12252 12254 11268 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 127346591 155648 26 18446744073709551615 134512640 134550740 4294956576 18446744073709551615 10384164 0 0 4096 0 0 0 0 17 1 0 0
/proc/12254/statm: 38 26 19 9 0 4 0

[startup+0.00882194 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12254
/proc/meminfo: memFree=1800712/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=152 CPUtime=0
/proc/12254/stat : 12254 (java) R 12252 12254 11268 0 -1 0 221 0 0 0 0 0 0 0 18 0 1 0 127346591 155648 26 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 10383659 0 0 4096 0 0 0 0 17 1 0 0
/proc/12254/statm: 38 26 19 9 0 4 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 152

[startup+0.101835 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12254
/proc/meminfo: memFree=1800712/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790148 CPUtime=0.1
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 4361 0 1 0 8 2 0 0 18 0 9 0 127346591 1833111552 3800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447537 3800 1725 9 0 442129 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1790148

[startup+0.301855 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12254
/proc/meminfo: memFree=1800712/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790176 CPUtime=0.35
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 7210 0 1 0 32 3 0 0 18 0 9 0 127346591 1833140224 6623 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447544 6623 1847 9 0 442129 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1790176

[startup+0.701893 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12254
/proc/meminfo: memFree=1800712/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=0.81
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19469 0 1 0 72 9 0 0 18 0 9 0 127346591 1833275392 18870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18870 1863 9 0 442162 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 1790308

[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 12263
/proc/meminfo: memFree=1732224/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=1.62
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19500 0 1 0 153 9 0 0 18 0 9 0 127346591 1833275392 18901 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18901 1864 9 0 442162 0
[pid=12254/tid=12256] ppid=12252 vsize=1790308 CPUtime=1.46
/proc/12254/task/12256/stat : 12256 (java) R 12252 12254 11268 0 -1 64 18381 0 1 0 138 8 0 0 20 0 9 0 127346592 1833275392 18901 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126797632 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12257] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12257/stat : 12257 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 127346594 1833275392 18901 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12258] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12258/stat : 12258 (java) S 12252 12254 11268 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 127346594 1833275392 18901 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12259] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18901 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18901 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.14
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 396 0 0 0 14 0 0 0 16 0 9 0 127346596 1833275392 18901 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12262/stat : 12262 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 127346596 1833275392 18901 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12263] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12263/stat : 12263 (java) S 12252 12254 11268 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 127346596 1833275392 18901 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 1790308

[startup+3.10111 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 12263
/proc/meminfo: memFree=1732096/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=3.22
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19507 0 1 0 313 9 0 0 18 0 9 0 127346591 1833275392 18907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18907 1864 9 0 442162 0
[pid=12254/tid=12256] ppid=12252 vsize=1790308 CPUtime=3.06
/proc/12254/task/12256/stat : 12256 (java) R 12252 12254 11268 0 -1 64 18381 0 1 0 298 8 0 0 25 0 9 0 127346592 1833275392 18907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126800563 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12257] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12257/stat : 12257 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 127346594 1833275392 18907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12258] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12258/stat : 12258 (java) S 12252 12254 11268 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 127346594 1833275392 18907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12259] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.15
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 403 0 0 0 15 0 0 0 16 0 9 0 127346596 1833275392 18907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12262/stat : 12262 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 127346596 1833275392 18907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12263] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12263/stat : 12263 (java) S 12252 12254 11268 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 127346596 1833275392 18907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 1790308

[startup+6.30242 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 12263
/proc/meminfo: memFree=1731592/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=6.42
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19554 0 1 0 633 9 0 0 18 0 9 0 127346591 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18951 1865 9 0 442162 0
[pid=12254/tid=12256] ppid=12252 vsize=1790308 CPUtime=6.25
/proc/12254/task/12256/stat : 12256 (java) R 12252 12254 11268 0 -1 64 18419 0 1 0 617 8 0 0 25 0 9 0 127346592 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126593185 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12257] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12257/stat : 12257 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 127346594 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12258] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12258/stat : 12258 (java) S 12252 12254 11268 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 127346594 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12259] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.16
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 411 0 0 0 16 0 0 0 16 0 9 0 127346596 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12262/stat : 12262 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 127346596 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12263] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12263/stat : 12263 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 127346596 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 1790308

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 12263
/proc/meminfo: memFree=1731592/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=12.82
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19555 0 1 0 1273 9 0 0 18 0 9 0 127346591 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18951 1865 9 0 442162 0
[pid=12254/tid=12256] ppid=12252 vsize=1790308 CPUtime=12.64
/proc/12254/task/12256/stat : 12256 (java) R 12252 12254 11268 0 -1 64 18420 0 1 0 1256 8 0 0 25 0 9 0 127346592 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126789747 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12257] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12257/stat : 12257 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 127346594 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12258] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12258/stat : 12258 (java) S 12252 12254 11268 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 127346594 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12259] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.16
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 411 0 0 0 16 0 0 0 16 0 9 0 127346596 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12262/stat : 12262 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 127346596 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12263] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12263/stat : 12263 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 127346596 1833275392 18951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.82
Current children cumulated vsize (KiB) 1790308

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 12263
/proc/meminfo: memFree=1731592/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=25.62
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19558 0 1 0 2553 9 0 0 18 0 9 0 127346591 1833275392 18952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18952 1865 9 0 442162 0
[pid=12254/tid=12256] ppid=12252 vsize=1790308 CPUtime=25.44
/proc/12254/task/12256/stat : 12256 (java) R 12252 12254 11268 0 -1 64 18422 0 1 0 2536 8 0 0 25 0 9 0 127346592 1833275392 18952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126795100 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12257] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12257/stat : 12257 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 127346594 1833275392 18952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12258] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12258/stat : 12258 (java) S 12252 12254 11268 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 127346594 1833275392 18952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12259] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.16
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 412 0 0 0 16 0 0 0 16 0 9 0 127346596 1833275392 18952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12262/stat : 12262 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 127346596 1833275392 18952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12263] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12263/stat : 12263 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 127346596 1833275392 18952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.62
Current children cumulated vsize (KiB) 1790308

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 12263
/proc/meminfo: memFree=1731592/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=51.22
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19559 0 1 0 5112 10 0 0 18 0 9 0 127346591 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18953 1865 9 0 442162 0
[pid=12254/tid=12256] ppid=12252 vsize=1790308 CPUtime=51.02
/proc/12254/task/12256/stat : 12256 (java) R 12252 12254 11268 0 -1 64 18422 0 1 0 5094 8 0 0 25 0 9 0 127346592 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126761839 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12257] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12257/stat : 12257 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12258] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12258/stat : 12258 (java) S 12252 12254 11268 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12259] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.16
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 413 0 0 0 16 0 0 0 16 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0

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

/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.17
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 413 0 0 0 17 0 0 0 16 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12262/stat : 12262 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12263] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12263/stat : 12263 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1790308

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 12265
/proc/meminfo: memFree=1731208/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=1542.04
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19559 0 1 0 154191 13 0 0 18 0 9 0 127346591 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18953 1865 9 0 442162 0
[pid=12254/tid=12256] ppid=12252 vsize=1790308 CPUtime=1541.86
/proc/12254/task/12256/stat : 12256 (java) R 12252 12254 11268 0 -1 64 18422 0 1 0 154174 12 0 0 25 0 9 0 127346592 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126789744 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12257] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12257/stat : 12257 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12258] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12258/stat : 12258 (java) S 12252 12254 11268 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12259] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.17
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 413 0 0 0 17 0 0 0 16 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12262/stat : 12262 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12263] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12263/stat : 12263 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1790308

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 12265
/proc/meminfo: memFree=1731272/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=1602.02
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19559 0 1 0 160189 13 0 0 18 0 9 0 127346591 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18953 1865 9 0 442162 0
[pid=12254/tid=12256] ppid=12252 vsize=1790308 CPUtime=1601.84
/proc/12254/task/12256/stat : 12256 (java) R 12252 12254 11268 0 -1 64 18422 0 1 0 160172 12 0 0 25 0 9 0 127346592 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126842418 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12257] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12257/stat : 12257 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12258] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12258/stat : 12258 (java) S 12252 12254 11268 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12259] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.17
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 413 0 0 0 17 0 0 0 16 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12262/stat : 12262 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12263] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12263/stat : 12263 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1790308

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 12265
/proc/meminfo: memFree=1731208/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=1662.02
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19559 0 1 0 166188 14 0 0 18 0 9 0 127346591 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18953 1865 9 0 442162 0
[pid=12254/tid=12256] ppid=12252 vsize=1790308 CPUtime=1661.82
/proc/12254/task/12256/stat : 12256 (java) R 12252 12254 11268 0 -1 64 18422 0 1 0 166170 12 0 0 25 0 9 0 127346592 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126789747 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12257] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12257/stat : 12257 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12258] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12258/stat : 12258 (java) S 12252 12254 11268 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12259] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.17
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 413 0 0 0 17 0 0 0 16 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12262/stat : 12262 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12263] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12263/stat : 12263 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1790308

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 12265
/proc/meminfo: memFree=1731208/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=1722
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19559 0 1 0 172186 14 0 0 18 0 9 0 127346591 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18953 1865 9 0 442162 0
[pid=12254/tid=12256] ppid=12252 vsize=1790308 CPUtime=1721.82
/proc/12254/task/12256/stat : 12256 (java) R 12252 12254 11268 0 -1 64 18422 0 1 0 172169 13 0 0 25 0 9 0 127346592 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126824037 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12257] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12257/stat : 12257 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12258] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12258/stat : 12258 (java) S 12252 12254 11268 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12259] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.17
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 413 0 0 0 17 0 0 0 16 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12262/stat : 12262 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12263] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12263/stat : 12263 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1790308

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 12265
/proc/meminfo: memFree=1731208/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=1781.98
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19559 0 1 0 178184 14 0 0 18 0 9 0 127346591 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18953 1865 9 0 442162 0
[pid=12254/tid=12256] ppid=12252 vsize=1790308 CPUtime=1781.8
/proc/12254/task/12256/stat : 12256 (java) R 12252 12254 11268 0 -1 64 18422 0 1 0 178167 13 0 0 25 0 9 0 127346592 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126761992 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12257] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12257/stat : 12257 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12258] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12258/stat : 12258 (java) S 12252 12254 11268 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12259] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.17
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 413 0 0 0 17 0 0 0 16 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12262/stat : 12262 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12263] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12263/stat : 12263 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1790308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 12265
/proc/meminfo: memFree=1731208/2055920 swapFree=4184100/4192956
[pid=12254] ppid=12252 vsize=1790308 CPUtime=1800.08
/proc/12254/stat : 12254 (java) S 12252 12254 11268 0 -1 0 19559 0 1 0 179994 14 0 0 18 0 9 0 127346591 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12254/statm: 447577 18953 1865 9 0 442162 0
[pid=12254/tid=12256] ppid=12252 vsize=1790308 CPUtime=1799.9
/proc/12254/task/12256/stat : 12256 (java) R 12252 12254 11268 0 -1 64 18422 0 1 0 179977 13 0 0 25 0 9 0 127346592 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126789744 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12257] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12257/stat : 12257 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12258] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12258/stat : 12258 (java) S 12252 12254 11268 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12259] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12259/stat : 12259 (java) S 12252 12254 11268 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 127346594 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12260] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12260/stat : 12260 (java) S 12252 12254 11268 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12261] ppid=12252 vsize=1790308 CPUtime=0.17
/proc/12254/task/12261/stat : 12261 (java) S 12252 12254 11268 0 -1 64 413 0 0 0 17 0 0 0 16 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12254/tid=12262] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12262/stat : 12262 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12254/tid=12263] ppid=12252 vsize=1790308 CPUtime=0
/proc/12254/task/12263/stat : 12263 (java) S 12252 12254 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 127346596 1833275392 18953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1790308

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

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

Child status: 143
Real time (s): 1800.46
CPU time (s): 1800.16
CPU user time (s): 1800
CPU system time (s): 0.158975
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 1790308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19599
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= 36778
involuntary context switches= 39181

runsolver used 2.00069 second user time and 4.55531 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Sat Apr 21 11:10:30 UTC 2007

IDJOB= 372994
IDBENCH= 25012
IDSOLVER= 155
FILE ID= node61/372994-1177153829

PBS_JOBID= 4648868

Free space on /tmp= 66501 MiB

SOLVER NAME= absconPseudo 102
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= java -Xms1600M -Xmx1600M  -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/372994-1177153829/instance-372994-1177153829.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-372994-1177153829 -o ROOT/results/node61/conversion-372994-1177153829 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372994-1177153829/instance-372994-1177153829.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5
MD5SUM BENCH=  82a3d84200b069df277c7f14e0e883d0

RANDOM SEED= 844887396

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1801184 kB
Buffers:         36424 kB
Cached:         168364 kB
SwapCached:       3088 kB
Active:         111764 kB
Inactive:       103284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801184 kB
SwapTotal:     4192956 kB
SwapFree:      4184100 kB
Dirty:            2468 kB
Writeback:           0 kB
Mapped:          15840 kB
Slab:            25812 kB
Committed_AS:   960360 kB
PageTables:       1392 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= 66501 MiB

End job on node61 on Sat Apr 21 11:40:32 UTC 2007