Trace number 453322

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)63 1800.11 1801.17

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_1.opb
MD5SUM08f3a00099e19d384504c40fc611777e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
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)6318
Sum of products size (including duplicates)12636
Number of different products6318
Sum of products size12636

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

Verifier Data (download as text)

OK	63

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453322-1178130249/instance-453322-1178130249.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 14259
/proc/meminfo: memFree=1766856/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=18528 CPUtime=0
/proc/14259/stat : 14259 (runsolver) R 14257 14259 13544 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 260942737 18972672 284 18446744073709551615 4194304 4255128 548682068800 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/14259/statm: 4632 284 249 14 0 2626 0

[startup+0.056383 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 14259
/proc/meminfo: memFree=1766856/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1786916 CPUtime=0.03
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 2980 0 1 0 2 1 0 0 18 0 9 0 260942737 1829801984 2553 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 446729 2553 1016 9 0 441715 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1786916

[startup+0.103604 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 14259
/proc/meminfo: memFree=1766856/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790148 CPUtime=0.1
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 4337 0 1 0 8 2 0 0 18 0 9 0 260942737 1833111552 3777 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447537 3778 1714 9 0 442129 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1790148

[startup+0.301623 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 14259
/proc/meminfo: memFree=1766856/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790176 CPUtime=0.35
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 9215 0 1 0 30 5 0 0 18 0 9 0 260942737 1833140224 8629 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447544 8636 1847 9 0 442129 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1790176

[startup+0.701704 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 14259
/proc/meminfo: memFree=1766856/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=0.82
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18443 0 1 0 72 10 0 0 18 0 9 0 260942737 1833275392 17845 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17845 1864 9 0 442162 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 1790308

[startup+1.50287 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14268
/proc/meminfo: memFree=1702528/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=1.63
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18462 0 1 0 153 10 0 0 18 0 9 0 260942737 1833275392 17862 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17862 1864 9 0 442162 0
[pid=14259/tid=14261] ppid=14257 vsize=1790308 CPUtime=1.47
/proc/14259/task/14261/stat : 14261 (java) R 14257 14259 13544 0 -1 64 17346 0 1 0 138 9 0 0 25 0 9 0 260942738 1833275392 17862 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126786716 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14262] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 260942740 1833275392 17862 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14263] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 13544 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 260942740 1833275392 17862 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17862 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17862 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.14
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 394 0 0 0 14 0 0 0 16 0 9 0 260942742 1833275392 17862 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 260942742 1833275392 17862 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14268] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14268/stat : 14268 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 260942742 1833275392 17862 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 1790308

[startup+3.10221 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14268
/proc/meminfo: memFree=1702336/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=3.24
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18468 0 1 0 314 10 0 0 18 0 9 0 260942737 1833275392 17868 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17868 1864 9 0 442162 0
[pid=14259/tid=14261] ppid=14257 vsize=1790308 CPUtime=3.07
/proc/14259/task/14261/stat : 14261 (java) R 14257 14259 13544 0 -1 64 17346 0 1 0 298 9 0 0 25 0 9 0 260942738 1833275392 17868 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126683933 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14262] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 260942740 1833275392 17868 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14263] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 13544 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 260942740 1833275392 17868 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17868 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17868 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.15
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 400 0 0 0 15 0 0 0 16 0 9 0 260942742 1833275392 17868 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 260942742 1833275392 17868 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14268] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14268/stat : 14268 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 260942742 1833275392 17868 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 1790308

[startup+6.3019 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14268
/proc/meminfo: memFree=1701888/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=6.45
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18527 0 1 0 635 10 0 0 18 0 9 0 260942737 1833275392 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17924 1865 9 0 442162 0
[pid=14259/tid=14261] ppid=14257 vsize=1790308 CPUtime=6.27
/proc/14259/task/14261/stat : 14261 (java) R 14257 14259 13544 0 -1 64 17394 0 1 0 618 9 0 0 25 0 9 0 260942738 1833275392 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126591370 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14262] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 260942740 1833275392 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14263] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 13544 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 260942740 1833275392 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.17
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 410 0 0 0 17 0 0 0 16 0 9 0 260942742 1833275392 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 260942742 1833275392 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14268] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14268/stat : 14268 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 260942742 1833275392 17924 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.45
Current children cumulated vsize (KiB) 1790308

[startup+12.7023 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14268
/proc/meminfo: memFree=1701696/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=12.84
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18532 0 1 0 1274 10 0 0 18 0 9 0 260942737 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17927 1865 9 0 442162 0
[pid=14259/tid=14261] ppid=14257 vsize=1790308 CPUtime=12.65
/proc/14259/task/14261/stat : 14261 (java) R 14257 14259 13544 0 -1 64 17395 0 1 0 1256 9 0 0 25 0 9 0 260942738 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126786712 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14262] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14263] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 13544 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.17
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14268] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14268/stat : 14268 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.84
Current children cumulated vsize (KiB) 1790308

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14268
/proc/meminfo: memFree=1701632/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=25.64
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18534 0 1 0 2553 11 0 0 18 0 9 0 260942737 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17927 1865 9 0 442162 0
[pid=14259/tid=14261] ppid=14257 vsize=1790308 CPUtime=25.44
/proc/14259/task/14261/stat : 14261 (java) R 14257 14259 13544 0 -1 64 17397 0 1 0 2535 9 0 0 19 0 9 0 260942738 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126757530 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14262] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14263] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 13544 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.17
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14268] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14268/stat : 14268 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.64
Current children cumulated vsize (KiB) 1790308

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14268
/proc/meminfo: memFree=1701632/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=51.22
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18534 0 1 0 5111 11 0 0 18 0 9 0 260942737 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17927 1865 9 0 442162 0
[pid=14259/tid=14261] ppid=14257 vsize=1790308 CPUtime=51.02
/proc/14259/task/14261/stat : 14261 (java) R 14257 14259 13544 0 -1 64 17397 0 1 0 5093 9 0 0 25 0 9 0 260942738 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126821930 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14262] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14263] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 13544 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.17
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0

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

/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.17
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14268] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14268/stat : 14268 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.4
Current children cumulated vsize (KiB) 1790308

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14270
/proc/meminfo: memFree=1701376/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=1601.36
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18534 0 1 0 160120 16 0 0 18 0 9 0 260942737 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17927 1865 9 0 442162 0
[pid=14259/tid=14261] ppid=14257 vsize=1790308 CPUtime=1601.16
/proc/14259/task/14261/stat : 14261 (java) R 14257 14259 13544 0 -1 64 17397 0 1 0 160102 14 0 0 25 0 9 0 260942738 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126762130 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14262] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14263] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 13544 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.17
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14268] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14268/stat : 14268 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.36
Current children cumulated vsize (KiB) 1790308

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14270
/proc/meminfo: memFree=1701312/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=1661.32
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18534 0 1 0 166116 16 0 0 18 0 9 0 260942737 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17927 1865 9 0 442162 0
[pid=14259/tid=14261] ppid=14257 vsize=1790308 CPUtime=1661.13
/proc/14259/task/14261/stat : 14261 (java) R 14257 14259 13544 0 -1 64 17397 0 1 0 166098 15 0 0 25 0 9 0 260942738 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126778352 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14262] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14263] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 13544 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.17
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14268] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14268/stat : 14268 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.32
Current children cumulated vsize (KiB) 1790308

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14270
/proc/meminfo: memFree=1701376/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=1721.28
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18534 0 1 0 172112 16 0 0 18 0 9 0 260942737 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17927 1865 9 0 442162 0
[pid=14259/tid=14261] ppid=14257 vsize=1790308 CPUtime=1721.09
/proc/14259/task/14261/stat : 14261 (java) R 14257 14259 13544 0 -1 64 17397 0 1 0 172094 15 0 0 25 0 9 0 260942738 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126832178 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14262] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14263] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 13544 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.17
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14268] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14268/stat : 14268 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.28
Current children cumulated vsize (KiB) 1790308

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14270
/proc/meminfo: memFree=1701248/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=1781.23
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18534 0 1 0 178107 16 0 0 18 0 9 0 260942737 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17927 1865 9 0 442162 0
[pid=14259/tid=14261] ppid=14257 vsize=1790308 CPUtime=1781.04
/proc/14259/task/14261/stat : 14261 (java) R 14257 14259 13544 0 -1 64 17397 0 1 0 178089 15 0 0 25 0 9 0 260942738 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126778358 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14262] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14263] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 13544 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.17
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14268] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14268/stat : 14268 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.23
Current children cumulated vsize (KiB) 1790308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14270
/proc/meminfo: memFree=1701248/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=1800.03
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18534 0 1 0 179987 16 0 0 18 0 9 0 260942737 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17927 1865 9 0 442162 0
[pid=14259/tid=14261] ppid=14257 vsize=1790308 CPUtime=1799.84
/proc/14259/task/14261/stat : 14261 (java) R 14257 14259 13544 0 -1 64 17397 0 1 0 179969 15 0 0 25 0 9 0 260942738 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126786716 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14262] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14263] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 13544 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.17
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14268] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14268/stat : 14268 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1790308

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

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

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14270
/proc/meminfo: memFree=1701248/2055920 swapFree=4159360/4192956
[pid=14259] ppid=14257 vsize=1790308 CPUtime=1800.03
/proc/14259/stat : 14259 (java) S 14257 14259 13544 0 -1 0 18534 0 1 0 179987 16 0 0 18 0 9 0 260942737 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 447577 17927 1865 9 0 442162 0
[pid=14259/tid=14261] ppid=14257 vsize=1790308 CPUtime=1799.84
/proc/14259/task/14261/stat : 14261 (java) R 14257 14259 13544 0 -1 64 17397 0 1 0 179969 15 0 0 25 0 9 0 260942738 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126786716 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14262] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14263] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 13544 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 13544 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 260942740 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=1790308 CPUtime=0.17
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 13544 0 -1 64 414 0 0 0 17 0 0 0 16 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14267] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 13544 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14268] ppid=14257 vsize=1790308 CPUtime=0
/proc/14259/task/14268/stat : 14268 (java) S 14257 14259 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 260942742 1833275392 17927 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1790308

Child status: 143
Real time (s): 1801.17
CPU time (s): 1800.11
CPU user time (s): 1799.93
CPU system time (s): 0.182972
CPU usage (%): 99.9409
Max. virtual memory (cumulated for all children) (KiB): 1790308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.182972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18577
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= 36710
involuntary context switches= 67385

runsolver used 1.68274 second user time and 4.89026 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Wed May  2 18:24:09 UTC 2007

IDJOB= 453322
IDBENCH= 48123
IDSOLVER= 155
FILE ID= node13/453322-1178130249

PBS_JOBID= 4751046

Free space on /tmp= 66563 MiB

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

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

META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5
MD5SUM BENCH=  08f3a00099e19d384504c40fc611777e

RANDOM SEED= 202872561

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1767264 kB
Buffers:         89096 kB
Cached:         102248 kB
SwapCached:      12860 kB
Active:         121440 kB
Inactive:        98924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1767264 kB
SwapTotal:     4192956 kB
SwapFree:      4159360 kB
Dirty:            2468 kB
Writeback:           0 kB
Mapped:          34944 kB
Slab:            53688 kB
Committed_AS:  9471132 kB
PageTables:       1884 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node13 on Wed May  2 18:54:12 UTC 2007