Trace number 373120

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)22 1800.12 1800.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	22

Conversion Script Data (download as text)

/tmp/evaluation/373120-1177168025/instance-373120-1177168025.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/node68/watcher-373120-1177168025 -o ROOT/results/node68/solver-373120-1177168025 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/373120-1177168025/instance-373120-1177168025.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 2/64 8939
/proc/meminfo: memFree=1782072/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1800 CPUtime=0
/proc/8939/stat : 8939 (java) D 8937 8939 8198 0 -1 0 193 0 0 0 0 0 0 0 18 0 1 0 192792018 1843200 161 18446744073709551615 134512640 134550740 4294956576 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/8939/statm: 450 161 124 9 0 92 0

[startup+0.017388 s]
/proc/loadavg: 0.92 0.99 0.99 2/64 8939
/proc/meminfo: memFree=1782072/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=11072 CPUtime=0.01
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 870 0 1 0 0 1 0 0 18 0 2 0 192792018 11337728 607 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 2768 607 302 9 0 1242 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11072

[startup+0.101398 s]
/proc/loadavg: 0.92 0.99 0.99 2/64 8939
/proc/meminfo: memFree=1782072/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790148 CPUtime=0.1
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 4312 0 1 0 8 2 0 0 18 0 9 0 192792018 1833111552 3751 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447537 3751 1706 9 0 442129 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1790148

[startup+0.301417 s]
/proc/loadavg: 0.92 0.99 0.99 2/64 8939
/proc/meminfo: memFree=1782072/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790176 CPUtime=0.32
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 6668 0 1 0 28 4 0 0 18 0 9 0 192792018 1833140224 6081 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447544 6081 1844 9 0 442129 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1790176

[startup+0.701451 s]
/proc/loadavg: 0.92 0.99 0.99 2/64 8939
/proc/meminfo: memFree=1782072/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=0.78
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18190 0 1 0 68 10 0 0 18 0 9 0 192792018 1833275392 17591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17591 1863 9 0 442162 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 1790308

[startup+1.50152 s]
/proc/loadavg: 0.92 0.99 0.99 2/73 8948
/proc/meminfo: memFree=1717936/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=1.62
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18228 0 1 0 151 11 0 0 18 0 9 0 192792018 1833275392 17627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17627 1864 9 0 442162 0
[pid=8939/tid=8941] ppid=8937 vsize=1790308 CPUtime=1.45
/proc/8939/task/8941/stat : 8941 (java) R 8937 8939 8198 0 -1 64 17102 0 1 0 136 9 0 0 25 0 9 0 192792019 1833275392 17627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126797556 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8942] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8942/stat : 8942 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 192792021 1833275392 17627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8943] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8943/stat : 8943 (java) S 8937 8939 8198 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 192792021 1833275392 17627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8944] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.14
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 403 0 0 0 14 0 0 0 16 0 9 0 192792023 1833275392 17627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8947/stat : 8947 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 192792023 1833275392 17627 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8948] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8948/stat : 8948 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 192792023 1833275392 17627 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.10266 s]
/proc/loadavg: 0.92 0.99 0.99 2/73 8948
/proc/meminfo: memFree=1717744/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=3.23
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18269 0 1 0 312 11 0 0 18 0 9 0 192792018 1833275392 17667 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17667 1864 9 0 442162 0
[pid=8939/tid=8941] ppid=8937 vsize=1790308 CPUtime=3.05
/proc/8939/task/8941/stat : 8941 (java) R 8937 8939 8198 0 -1 64 17135 0 1 0 296 9 0 0 25 0 9 0 192792019 1833275392 17667 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126795562 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8942] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8942/stat : 8942 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 192792021 1833275392 17667 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8943] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8943/stat : 8943 (java) S 8937 8939 8198 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 192792021 1833275392 17667 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8944] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17667 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17667 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.15
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 411 0 0 0 15 0 0 0 16 0 9 0 192792023 1833275392 17667 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8947/stat : 8947 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 192792023 1833275392 17667 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8948] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8948/stat : 8948 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 192792023 1833275392 17667 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 1790308

[startup+6.30195 s]
/proc/loadavg: 0.93 0.99 0.99 2/73 8948
/proc/meminfo: memFree=1717360/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=6.43
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18275 0 1 0 632 11 0 0 18 0 9 0 192792018 1833275392 17669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17669 1865 9 0 442162 0
[pid=8939/tid=8941] ppid=8937 vsize=1790308 CPUtime=6.25
/proc/8939/task/8941/stat : 8941 (java) R 8937 8939 8198 0 -1 64 17139 0 1 0 616 9 0 0 17 0 9 0 192792019 1833275392 17669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126791408 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8942] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8942/stat : 8942 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 192792021 1833275392 17669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8943] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8943/stat : 8943 (java) S 8937 8939 8198 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 192792021 1833275392 17669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8944] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.16
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 412 0 0 0 16 0 0 0 16 0 9 0 192792023 1833275392 17669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8947/stat : 8947 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 192792023 1833275392 17669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8948] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8948/stat : 8948 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192792023 1833275392 17669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 1790308

[startup+12.7025 s]
/proc/loadavg: 0.93 0.99 0.99 2/73 8948
/proc/meminfo: memFree=1717168/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=12.83
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18279 0 1 0 1272 11 0 0 18 0 9 0 192792018 1833275392 17671 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17671 1865 9 0 442162 0
[pid=8939/tid=8941] ppid=8937 vsize=1790308 CPUtime=12.65
/proc/8939/task/8941/stat : 8941 (java) R 8937 8939 8198 0 -1 64 17141 0 1 0 1256 9 0 0 25 0 9 0 192792019 1833275392 17671 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126791408 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8942] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8942/stat : 8942 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 192792021 1833275392 17671 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8943] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8943/stat : 8943 (java) S 8937 8939 8198 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 192792021 1833275392 17671 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8944] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17671 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17671 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.16
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 414 0 0 0 16 0 0 0 16 0 9 0 192792023 1833275392 17671 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8947/stat : 8947 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 192792023 1833275392 17671 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8948] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8948/stat : 8948 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192792023 1833275392 17671 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.83
Current children cumulated vsize (KiB) 1790308

[startup+25.5017 s]
/proc/loadavg: 0.95 0.99 0.99 2/73 8948
/proc/meminfo: memFree=1717168/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=25.63
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18281 0 1 0 2552 11 0 0 18 0 9 0 192792018 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17672 1865 9 0 442162 0
[pid=8939/tid=8941] ppid=8937 vsize=1790308 CPUtime=25.44
/proc/8939/task/8941/stat : 8941 (java) R 8937 8939 8198 0 -1 64 17142 0 1 0 2535 9 0 0 25 0 9 0 192792019 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126791411 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8942] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8942/stat : 8942 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 192792021 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8943] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8943/stat : 8943 (java) S 8937 8939 8198 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 192792021 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8944] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.16
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 415 0 0 0 16 0 0 0 16 0 9 0 192792023 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8947/stat : 8947 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 192792023 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8948] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8948/stat : 8948 (java) R 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192792023 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.63
Current children cumulated vsize (KiB) 1790308

[startup+51.102 s]
/proc/loadavg: 0.96 0.99 0.99 2/73 8948
/proc/meminfo: memFree=1717104/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=51.21
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18281 0 1 0 5110 11 0 0 18 0 9 0 192792018 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17672 1865 9 0 442162 0
[pid=8939/tid=8941] ppid=8937 vsize=1790308 CPUtime=51.02
/proc/8939/task/8941/stat : 8941 (java) R 8937 8939 8198 0 -1 64 17142 0 1 0 5093 9 0 0 25 0 9 0 192792019 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126791408 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8942] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8942/stat : 8942 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 192792021 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8943] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8943/stat : 8943 (java) S 8937 8939 8198 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 192792021 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8944] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.16
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 415 0 0 0 16 0 0 0 16 0 9 0 192792023 1833275392 17672 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0

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

/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.17
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 416 0 0 0 17 0 0 0 16 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8947/stat : 8947 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8948] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8948/stat : 8948 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 1790308

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 8948
/proc/meminfo: memFree=1716912/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=1601.56
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18282 0 1 0 160144 12 0 0 18 0 9 0 192792018 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17673 1865 9 0 442162 0
[pid=8939/tid=8941] ppid=8937 vsize=1790308 CPUtime=1601.37
/proc/8939/task/8941/stat : 8941 (java) R 8937 8939 8198 0 -1 64 17142 0 1 0 160127 10 0 0 25 0 9 0 192792019 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126842418 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8942] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8942/stat : 8942 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8943] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8943/stat : 8943 (java) S 8937 8939 8198 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8944] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.17
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 416 0 0 0 17 0 0 0 16 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8947/stat : 8947 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8948] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8948/stat : 8948 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 1790308

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 8948
/proc/meminfo: memFree=1716912/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=1661.53
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18282 0 1 0 166141 12 0 0 18 0 9 0 192792018 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17673 1865 9 0 442162 0
[pid=8939/tid=8941] ppid=8937 vsize=1790308 CPUtime=1661.34
/proc/8939/task/8941/stat : 8941 (java) R 8937 8939 8198 0 -1 64 17142 0 1 0 166124 10 0 0 25 0 9 0 192792019 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126791411 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8942] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8942/stat : 8942 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8943] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8943/stat : 8943 (java) S 8937 8939 8198 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8944] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.17
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 416 0 0 0 17 0 0 0 16 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8947/stat : 8947 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8948] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8948/stat : 8948 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 1790308

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 8948
/proc/meminfo: memFree=1716912/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=1721.5
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18282 0 1 0 172138 12 0 0 18 0 9 0 192792018 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17673 1865 9 0 442162 0
[pid=8939/tid=8941] ppid=8937 vsize=1790308 CPUtime=1721.3
/proc/8939/task/8941/stat : 8941 (java) R 8937 8939 8198 0 -1 64 17142 0 1 0 172120 10 0 0 25 0 9 0 192792019 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126794460 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8942] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8942/stat : 8942 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8943] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8943/stat : 8943 (java) S 8937 8939 8198 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8944] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.17
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 416 0 0 0 17 0 0 0 16 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8947/stat : 8947 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8948] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8948/stat : 8948 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 1790308

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 8948
/proc/meminfo: memFree=1716784/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=1781.46
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18282 0 1 0 178134 12 0 0 18 0 9 0 192792018 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17673 1865 9 0 442162 0
[pid=8939/tid=8941] ppid=8937 vsize=1790308 CPUtime=1781.27
/proc/8939/task/8941/stat : 8941 (java) R 8937 8939 8198 0 -1 64 17142 0 1 0 178117 10 0 0 25 0 9 0 192792019 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126791411 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8942] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8942/stat : 8942 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8943] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8943/stat : 8943 (java) S 8937 8939 8198 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8944] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.17
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 416 0 0 0 17 0 0 0 16 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8947/stat : 8947 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8948] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8948/stat : 8948 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (KiB) 1790308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 8948
/proc/meminfo: memFree=1716784/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=1800.05
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18282 0 1 0 179993 12 0 0 18 0 9 0 192792018 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17673 1865 9 0 442162 0
[pid=8939/tid=8941] ppid=8937 vsize=1790308 CPUtime=1799.86
/proc/8939/task/8941/stat : 8941 (java) R 8937 8939 8198 0 -1 64 17142 0 1 0 179976 10 0 0 25 0 9 0 192792019 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126761579 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8942] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8942/stat : 8942 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8943] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8943/stat : 8943 (java) S 8937 8939 8198 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8944] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.17
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 416 0 0 0 17 0 0 0 16 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8947/stat : 8947 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8948] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8948/stat : 8948 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1790308

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

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 8948
/proc/meminfo: memFree=1716784/2055920 swapFree=4183868/4192956
[pid=8939] ppid=8937 vsize=1790308 CPUtime=1800.05
/proc/8939/stat : 8939 (java) S 8937 8939 8198 0 -1 0 18282 0 1 0 179993 12 0 0 18 0 9 0 192792018 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8939/statm: 447577 17673 1865 9 0 442162 0
[pid=8939/tid=8941] ppid=8937 vsize=1790308 CPUtime=1799.86
/proc/8939/task/8941/stat : 8941 (java) R 8937 8939 8198 0 -1 64 17142 0 1 0 179976 10 0 0 25 0 9 0 192792019 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126761579 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8942] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8942/stat : 8942 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8943] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8943/stat : 8943 (java) S 8937 8939 8198 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8944] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8944/stat : 8944 (java) S 8937 8939 8198 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 192792021 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8945] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8945/stat : 8945 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8946] ppid=8937 vsize=1790308 CPUtime=0.17
/proc/8939/task/8946/stat : 8946 (java) S 8937 8939 8198 0 -1 64 416 0 0 0 17 0 0 0 16 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8939/tid=8947] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8947/stat : 8947 (java) S 8937 8939 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8939/tid=8948] ppid=8937 vsize=1790308 CPUtime=0
/proc/8939/task/8948/stat : 8948 (java) S 8937 8939 8198 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192792023 1833275392 17673 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1790308

Child status: 143
Real time (s): 1800.97
CPU time (s): 1800.12
CPU user time (s): 1799.98
CPU system time (s): 0.139978
CPU usage (%): 99.9531
Max. virtual memory (cumulated for all children) (KiB): 1790308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18321
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= 36832
involuntary context switches= 27811

runsolver used 2.04669 second user time and 4.51931 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Sat Apr 21 15:07:05 UTC 2007

IDJOB= 373120
IDBENCH= 25021
IDSOLVER= 155
FILE ID= node68/373120-1177168025

PBS_JOBID= 4648942

Free space on /tmp= 66325 MiB

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

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

META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5
MD5SUM BENCH=  130be24ef6faf784c5a8bf386cbf11b2

RANDOM SEED= 629603449

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1782544 kB
Buffers:         28268 kB
Cached:         182972 kB
SwapCached:       2824 kB
Active:          64428 kB
Inactive:       156404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1782544 kB
SwapTotal:     4192956 kB
SwapFree:      4183868 kB
Dirty:            2408 kB
Writeback:           0 kB
Mapped:          15592 kB
Slab:            38600 kB
Committed_AS:  2825544 kB
PageTables:       1380 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= 66325 MiB

End job on node68 on Sat Apr 21 15:37:08 UTC 2007