Trace number 453832

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)69 1800.06 1800.43

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_3.opb
MD5SUM31a0e10ee8ac2049545ec8eab33f6948
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark69
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 69
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6316
Sum of products size (including duplicates)12632
Number of different products6316
Sum of products size12632

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	69

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453832-1178158920/instance-453832-1178158920.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-453832-1178158920 -o ROOT/results/node11/solver-453832-1178158920 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453832-1178158920/instance-453832-1178158920.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 1.00 0.99 2/77 24575
/proc/meminfo: memFree=1707824/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=18528 CPUtime=0
/proc/24575/stat : 24575 (runsolver) R 24573 24575 23234 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 256941004 18972672 284 18446744073709551615 4194304 4255128 548682068800 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24575/statm: 4632 284 249 14 0 2626 0

[startup+0.0413521 s]
/proc/loadavg: 0.92 1.00 0.99 2/77 24575
/proc/meminfo: memFree=1707824/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1785028 CPUtime=0.02
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 2571 0 1 0 1 1 0 0 20 0 5 0 256941004 1827868672 2204 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 446257 2204 811 9 0 441259 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1785028

[startup+0.10136 s]
/proc/loadavg: 0.92 1.00 0.99 2/77 24575
/proc/meminfo: memFree=1707824/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790004 CPUtime=0.09
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 4321 0 1 0 7 2 0 0 20 0 9 0 256941004 1832964096 3761 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447501 3761 1711 9 0 442093 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1790004

[startup+0.301383 s]
/proc/loadavg: 0.92 1.00 0.99 2/77 24575
/proc/meminfo: memFree=1707824/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790164 CPUtime=0.34
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 9219 0 1 0 29 5 0 0 20 0 9 0 256941004 1833127936 8633 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447541 8633 1847 9 0 442126 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1790164

[startup+0.701431 s]
/proc/loadavg: 0.92 1.00 0.99 2/77 24575
/proc/meminfo: memFree=1707824/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790164 CPUtime=0.81
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18440 0 1 0 71 10 0 0 20 0 9 0 256941004 1833127936 17842 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447541 17842 1864 9 0 442126 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 1790164

[startup+1.50152 s]
/proc/loadavg: 0.92 1.00 0.99 2/86 24584
/proc/meminfo: memFree=1643432/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790164 CPUtime=1.62
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18459 0 1 0 152 10 0 0 20 0 9 0 256941004 1833127936 17860 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447541 17860 1864 9 0 442126 0
[pid=24575/tid=24577] ppid=24573 vsize=1790164 CPUtime=1.46
/proc/24575/task/24577/stat : 24577 (java) R 24573 24575 23234 0 -1 64 17345 0 1 0 138 8 0 0 20 0 9 0 256941006 1833127936 17860 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126792521 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24578] ppid=24573 vsize=1790164 CPUtime=0
/proc/24575/task/24578/stat : 24578 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 256941008 1833127936 17860 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24579] ppid=24573 vsize=1790164 CPUtime=0
/proc/24575/task/24579/stat : 24579 (java) S 24573 24575 23234 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 256941008 1833127936 17860 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24580] ppid=24573 vsize=1790164 CPUtime=0
/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833127936 17860 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790164 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833127936 17860 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790164 CPUtime=0.13
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 393 0 0 0 13 0 0 0 15 0 9 0 256941010 1833127936 17860 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790164 CPUtime=0
/proc/24575/task/24583/stat : 24583 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256941010 1833127936 17860 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24584] ppid=24573 vsize=1790164 CPUtime=0
/proc/24575/task/24584/stat : 24584 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 256941010 1833127936 17860 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 1790164

[startup+3.10171 s]
/proc/loadavg: 0.92 1.00 0.99 2/86 24584
/proc/meminfo: memFree=1643176/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790296 CPUtime=3.22
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18465 0 1 0 312 10 0 0 20 0 9 0 256941004 1833263104 17866 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447574 17866 1864 9 0 442159 0
[pid=24575/tid=24577] ppid=24573 vsize=1790296 CPUtime=3.05
/proc/24575/task/24577/stat : 24577 (java) R 24573 24575 23234 0 -1 64 17345 0 1 0 297 8 0 0 25 0 9 0 256941006 1833263104 17866 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126794166 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24578] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24578/stat : 24578 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 256941008 1833263104 17866 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24579] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24579/stat : 24579 (java) S 24573 24575 23234 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 256941008 1833263104 17866 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24580] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833263104 17866 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17866 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790296 CPUtime=0.14
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 399 0 0 0 14 0 0 0 15 0 9 0 256941010 1833263104 17866 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24583/stat : 24583 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17866 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24584] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24584/stat : 24584 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 256941010 1833263104 17866 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 1790296

[startup+6.30208 s]
/proc/loadavg: 0.93 1.00 0.99 2/86 24584
/proc/meminfo: memFree=1642856/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790296 CPUtime=6.42
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18523 0 1 0 632 10 0 0 20 0 9 0 256941004 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447574 17921 1865 9 0 442159 0
[pid=24575/tid=24577] ppid=24573 vsize=1790296 CPUtime=6.23
/proc/24575/task/24577/stat : 24577 (java) R 24573 24575 23234 0 -1 64 17392 0 1 0 615 8 0 0 25 0 9 0 256941006 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126778358 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24578] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24578/stat : 24578 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 256941008 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24579] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24579/stat : 24579 (java) S 24573 24575 23234 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 256941008 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24580] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790296 CPUtime=0.16
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 409 0 0 0 16 0 0 0 16 0 9 0 256941010 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24583/stat : 24583 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24584] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24584/stat : 24584 (java) S 24573 24575 23234 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256941010 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 1790296

[startup+12.7018 s]
/proc/loadavg: 0.93 1.00 0.99 2/86 24584
/proc/meminfo: memFree=1642728/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790296 CPUtime=12.81
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18527 0 1 0 1271 10 0 0 20 0 9 0 256941004 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447574 17921 1865 9 0 442159 0
[pid=24575/tid=24577] ppid=24573 vsize=1790296 CPUtime=12.62
/proc/24575/task/24577/stat : 24577 (java) R 24573 24575 23234 0 -1 64 17394 0 1 0 1254 8 0 0 25 0 9 0 256941006 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126821973 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24578] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24578/stat : 24578 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 256941008 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24579] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24579/stat : 24579 (java) S 24573 24575 23234 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 256941008 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24580] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790296 CPUtime=0.16
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 411 0 0 0 16 0 0 0 16 0 9 0 256941010 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24583/stat : 24583 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24584] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24584/stat : 24584 (java) S 24573 24575 23234 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256941010 1833263104 17921 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.81
Current children cumulated vsize (KiB) 1790296

[startup+25.5024 s]
/proc/loadavg: 0.95 1.00 0.99 2/86 24584
/proc/meminfo: memFree=1642856/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790296 CPUtime=25.6
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18530 0 1 0 2550 10 0 0 20 0 9 0 256941004 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447574 17924 1865 9 0 442159 0
[pid=24575/tid=24577] ppid=24573 vsize=1790296 CPUtime=25.42
/proc/24575/task/24577/stat : 24577 (java) R 24573 24575 23234 0 -1 64 17394 0 1 0 2533 9 0 0 25 0 9 0 256941006 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126821936 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24578] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24578/stat : 24578 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24579] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24579/stat : 24579 (java) S 24573 24575 23234 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24580] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790296 CPUtime=0.17
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24583/stat : 24583 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24584] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24584/stat : 24584 (java) S 24573 24575 23234 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 1790296

[startup+51.1024 s]
/proc/loadavg: 0.96 1.00 0.99 2/86 24584
/proc/meminfo: memFree=1642856/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790296 CPUtime=51.19
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18531 0 1 0 5109 10 0 0 20 0 9 0 256941004 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447574 17924 1865 9 0 442159 0
[pid=24575/tid=24577] ppid=24573 vsize=1790296 CPUtime=51.01
/proc/24575/task/24577/stat : 24577 (java) R 24573 24575 23234 0 -1 64 17395 0 1 0 5092 9 0 0 25 0 9 0 256941006 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126775750 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24578] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24578/stat : 24578 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24579] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24579/stat : 24579 (java) S 24573 24575 23234 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24580] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790296 CPUtime=0.17
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790296 CPUtime=0

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

/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790296 CPUtime=0.17
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24583/stat : 24583 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24584] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24584/stat : 24584 (java) S 24573 24575 23234 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1790296

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/86 24586
/proc/meminfo: memFree=1642088/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790296 CPUtime=1541.98
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18531 0 1 0 154176 22 0 0 20 0 9 0 256941004 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447574 17924 1865 9 0 442159 0
[pid=24575/tid=24577] ppid=24573 vsize=1790296 CPUtime=1541.8
/proc/24575/task/24577/stat : 24577 (java) R 24573 24575 23234 0 -1 64 17395 0 1 0 154159 21 0 0 25 0 9 0 256941006 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126757530 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24578] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24578/stat : 24578 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24579] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24579/stat : 24579 (java) S 24573 24575 23234 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24580] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790296 CPUtime=0.17
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24583/stat : 24583 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24584] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24584/stat : 24584 (java) S 24573 24575 23234 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1790296

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/86 24586
/proc/meminfo: memFree=1642088/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790296 CPUtime=1601.97
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18531 0 1 0 160174 23 0 0 20 0 9 0 256941004 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447574 17924 1865 9 0 442159 0
[pid=24575/tid=24577] ppid=24573 vsize=1790296 CPUtime=1601.78
/proc/24575/task/24577/stat : 24577 (java) R 24573 24575 23234 0 -1 64 17395 0 1 0 160157 21 0 0 25 0 9 0 256941006 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126757530 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24578] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24578/stat : 24578 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24579] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24579/stat : 24579 (java) S 24573 24575 23234 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24580] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790296 CPUtime=0.17
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24583/stat : 24583 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24584] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24584/stat : 24584 (java) S 24573 24575 23234 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1790296

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/86 24586
/proc/meminfo: memFree=1642088/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790296 CPUtime=1661.96
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18531 0 1 0 166173 23 0 0 20 0 9 0 256941004 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447574 17924 1865 9 0 442159 0
[pid=24575/tid=24577] ppid=24573 vsize=1790296 CPUtime=1661.76
/proc/24575/task/24577/stat : 24577 (java) R 24573 24575 23234 0 -1 64 17395 0 1 0 166155 21 0 0 25 0 9 0 256941006 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126591370 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24578] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24578/stat : 24578 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24579] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24579/stat : 24579 (java) S 24573 24575 23234 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24580] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790296 CPUtime=0.17
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24583/stat : 24583 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24584] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24584/stat : 24584 (java) S 24573 24575 23234 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1790296

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/86 24586
/proc/meminfo: memFree=1642088/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790296 CPUtime=1721.93
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18531 0 1 0 172170 23 0 0 20 0 9 0 256941004 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447574 17924 1865 9 0 442159 0
[pid=24575/tid=24577] ppid=24573 vsize=1790296 CPUtime=1721.75
/proc/24575/task/24577/stat : 24577 (java) R 24573 24575 23234 0 -1 64 17395 0 1 0 172153 22 0 0 25 0 9 0 256941006 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126778358 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24578] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24578/stat : 24578 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24579] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24579/stat : 24579 (java) S 24573 24575 23234 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24580] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790296 CPUtime=0.17
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24583/stat : 24583 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24584] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24584/stat : 24584 (java) S 24573 24575 23234 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1790296

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/86 24586
/proc/meminfo: memFree=1642088/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790296 CPUtime=1781.92
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18531 0 1 0 178168 24 0 0 20 0 9 0 256941004 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447574 17924 1865 9 0 442159 0
[pid=24575/tid=24577] ppid=24573 vsize=1790296 CPUtime=1781.73
/proc/24575/task/24577/stat : 24577 (java) R 24573 24575 23234 0 -1 64 17395 0 1 0 178151 22 0 0 25 0 9 0 256941006 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126757530 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24578] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24578/stat : 24578 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24579] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24579/stat : 24579 (java) S 24573 24575 23234 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24580] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790296 CPUtime=0.17
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24583/stat : 24583 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24584] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24584/stat : 24584 (java) S 24573 24575 23234 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1790296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 0.99 1.00 0.99 2/86 24586
/proc/meminfo: memFree=1642088/2055920 swapFree=4147120/4192956
[pid=24575] ppid=24573 vsize=1790296 CPUtime=1800.02
/proc/24575/stat : 24575 (java) S 24573 24575 23234 0 -1 0 18531 0 1 0 179978 24 0 0 20 0 9 0 256941004 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24575/statm: 447574 17924 1865 9 0 442159 0
[pid=24575/tid=24577] ppid=24573 vsize=1790296 CPUtime=1799.83
/proc/24575/task/24577/stat : 24577 (java) R 24573 24575 23234 0 -1 64 17395 0 1 0 179961 22 0 0 25 0 9 0 256941006 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126778352 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24578] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24578/stat : 24578 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24579] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24579/stat : 24579 (java) S 24573 24575 23234 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24580] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24580/stat : 24580 (java) S 24573 24575 23234 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 256941008 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24581] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24581/stat : 24581 (java) S 24573 24575 23234 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24582] ppid=24573 vsize=1790296 CPUtime=0.17
/proc/24575/task/24582/stat : 24582 (java) S 24573 24575 23234 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24575/tid=24583] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24583/stat : 24583 (java) S 24573 24575 23234 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24575/tid=24584] ppid=24573 vsize=1790296 CPUtime=0
/proc/24575/task/24584/stat : 24584 (java) S 24573 24575 23234 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 256941010 1833263104 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1790296

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.43
CPU time (s): 1800.06
CPU user time (s): 1799.8
CPU system time (s): 0.25696
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 1790296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.25696
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18572
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= 36875
involuntary context switches= 33082

runsolver used 1.88371 second user time and 4.67329 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Thu May  3 02:22:00 UTC 2007

IDJOB= 453832
IDBENCH= 48157
IDSOLVER= 155
FILE ID= node11/453832-1178158920

PBS_JOBID= 4751082

Free space on /tmp= 66563 MiB

SOLVER NAME= absconPseudo 102
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_3.opb
COMMAND LINE= java -Xms1600M -Xmx1600M  -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453832-1178158920/instance-453832-1178158920.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-453832-1178158920 -o ROOT/results/node11/conversion-453832-1178158920 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453832-1178158920/instance-453832-1178158920.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5
MD5SUM BENCH=  31a0e10ee8ac2049545ec8eab33f6948

RANDOM SEED= 836668379

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1708232 kB
Buffers:        102820 kB
Cached:         134012 kB
SwapCached:      14360 kB
Active:         102188 kB
Inactive:       162732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1708232 kB
SwapTotal:     4192956 kB
SwapFree:      4147120 kB
Dirty:            2364 kB
Writeback:           0 kB
Mapped:          34792 kB
Slab:            68244 kB
Committed_AS:  7325020 kB
PageTables:       1860 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node11 on Thu May  3 02:52:03 UTC 2007