Trace number 457909

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 NameAnswerCPU timeWall clock time
absconPseudo 102SAT 153.54 153.517

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_3_15.opb
MD5SUM6d36c2461bcbe18a397b3deab9e30c2d
Bench CategorySATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.38494
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12432
Sum of products size (including duplicates)24864
Number of different products6216
Sum of products size12432

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/457909-1178375229/instance-457909-1178375229.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.78 0.95 0.98 2/77 21930
/proc/meminfo: memFree=1467120/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=152 CPUtime=0
/proc/21930/stat : 21930 (java) R 21928 21930 21861 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 285440667 155648 26 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 4677931 0 0 4096 0 0 0 0 17 1 0 0
/proc/21930/statm: 38 26 19 9 0 4 0

[startup+0.095085 s]
/proc/loadavg: 0.78 0.95 0.98 2/77 21930
/proc/meminfo: memFree=1467120/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790264 CPUtime=0.08
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 4254 0 1 0 6 2 0 0 18 0 9 0 285440667 1833230336 3701 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447566 3701 1684 9 0 442158 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1790264

[startup+0.102083 s]
/proc/loadavg: 0.78 0.95 0.98 2/77 21930
/proc/meminfo: memFree=1467120/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790264 CPUtime=0.09
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 4348 0 1 0 7 2 0 0 18 0 9 0 285440667 1833230336 3788 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447566 3788 1715 9 0 442158 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1790264

[startup+0.301119 s]
/proc/loadavg: 0.78 0.95 0.98 2/77 21930
/proc/meminfo: memFree=1467120/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790292 CPUtime=0.34
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 8988 0 1 0 28 6 0 0 18 0 9 0 285440667 1833259008 8402 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447573 8402 1848 9 0 442158 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1790292

[startup+0.701175 s]
/proc/loadavg: 0.78 0.95 0.98 2/77 21930
/proc/meminfo: memFree=1467120/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790292 CPUtime=0.81
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17787 0 1 0 70 11 0 0 18 0 9 0 285440667 1833259008 17189 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447573 17189 1864 9 0 442158 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 1790292

[startup+1.50129 s]
/proc/loadavg: 0.78 0.95 0.98 2/86 21939
/proc/meminfo: memFree=1405352/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790292 CPUtime=1.61
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17812 0 1 0 150 11 0 0 18 0 9 0 285440667 1833259008 17213 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447573 17213 1864 9 0 442158 0
[pid=21930/tid=21932] ppid=21928 vsize=1790292 CPUtime=1.45
/proc/21930/task/21932/stat : 21932 (java) R 21928 21930 21861 0 -1 64 16711 0 1 0 136 9 0 0 21 0 9 0 285440668 1833259008 17213 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126758743 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790292 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833259008 17213 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790292 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833259008 17213 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790292 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833259008 17213 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790292 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833259008 17213 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790292 CPUtime=0.13
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 380 0 0 0 13 0 0 0 16 0 9 0 285440672 1833259008 17213 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790292 CPUtime=0
/proc/21930/task/21938/stat : 21938 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 285440672 1833259008 17213 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21939] ppid=21928 vsize=1790292 CPUtime=0
/proc/21930/task/21939/stat : 21939 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 285440672 1833259008 17213 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 1790292

[startup+3.10153 s]
/proc/loadavg: 0.78 0.95 0.98 2/86 21939
/proc/meminfo: memFree=1405224/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790424 CPUtime=3.21
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17815 0 1 0 310 11 0 0 18 0 9 0 285440667 1833394176 17215 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447606 17215 1864 9 0 442191 0
[pid=21930/tid=21932] ppid=21928 vsize=1790424 CPUtime=3.05
/proc/21930/task/21932/stat : 21932 (java) R 21928 21930 21861 0 -1 64 16712 0 1 0 296 9 0 0 25 0 9 0 285440668 1833394176 17215 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126759028 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833394176 17215 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833394176 17215 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833394176 17215 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833394176 17215 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790424 CPUtime=0.13
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 382 0 0 0 13 0 0 0 16 0 9 0 285440672 1833394176 17215 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21938/stat : 21938 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 285440672 1833394176 17215 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21939] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21939/stat : 21939 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 285440672 1833394176 17215 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 1790424

[startup+6.30202 s]
/proc/loadavg: 0.80 0.95 0.98 2/86 21939
/proc/meminfo: memFree=1404968/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790424 CPUtime=6.41
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17818 0 1 0 630 11 0 0 18 0 9 0 285440667 1833394176 17216 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447606 17216 1865 9 0 442191 0
[pid=21930/tid=21932] ppid=21928 vsize=1790424 CPUtime=6.25
/proc/21930/task/21932/stat : 21932 (java) R 21928 21930 21861 0 -1 64 16714 0 1 0 616 9 0 0 25 0 9 0 285440668 1833394176 17216 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126779347 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833394176 17216 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833394176 17216 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833394176 17216 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833394176 17216 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790424 CPUtime=0.13
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 382 0 0 0 13 0 0 0 16 0 9 0 285440672 1833394176 17216 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21938/stat : 21938 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 285440672 1833394176 17216 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21939] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21939/stat : 21939 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 285440672 1833394176 17216 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 1790424

[startup+12.702 s]
/proc/loadavg: 0.81 0.95 0.98 2/86 21939
/proc/meminfo: memFree=1404856/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790424 CPUtime=12.8
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17830 0 1 0 1269 11 0 0 18 0 9 0 285440667 1833394176 17225 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447606 17225 1865 9 0 442191 0
[pid=21930/tid=21932] ppid=21928 vsize=1790424 CPUtime=12.63
/proc/21930/task/21932/stat : 21932 (java) R 21928 21930 21861 0 -1 64 16716 0 1 0 1254 9 0 0 25 0 9 0 285440668 1833394176 17225 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4125953790 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833394176 17225 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833394176 17225 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833394176 17225 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833394176 17225 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790424 CPUtime=0.15
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 392 0 0 0 15 0 0 0 15 0 9 0 285440672 1833394176 17225 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21938/stat : 21938 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 285440672 1833394176 17225 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21939] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21939/stat : 21939 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 285440672 1833394176 17225 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 1790424

[startup+25.503 s]
/proc/loadavg: 0.85 0.95 0.98 2/86 21939
/proc/meminfo: memFree=1404856/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790424 CPUtime=25.6
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17831 0 1 0 2549 11 0 0 18 0 9 0 285440667 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447606 17226 1865 9 0 442191 0
[pid=21930/tid=21932] ppid=21928 vsize=1790424 CPUtime=25.43
/proc/21930/task/21932/stat : 21932 (java) R 21928 21930 21861 0 -1 64 16716 0 1 0 2533 10 0 0 25 0 9 0 285440668 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126798442 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790424 CPUtime=0.15
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 393 0 0 0 15 0 0 0 17 0 9 0 285440672 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21938/stat : 21938 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 285440672 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21939] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21939/stat : 21939 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 285440672 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 1790424

[startup+51.1019 s]
/proc/loadavg: 0.90 0.96 0.98 2/86 21939
/proc/meminfo: memFree=1404792/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790424 CPUtime=51.19
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17831 0 1 0 5108 11 0 0 18 0 9 0 285440667 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447606 17226 1865 9 0 442191 0
[pid=21930/tid=21932] ppid=21928 vsize=1790424 CPUtime=51.02
/proc/21930/task/21932/stat : 21932 (java) R 21928 21930 21861 0 -1 64 16716 0 1 0 5092 10 0 0 25 0 9 0 285440668 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126591114 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790424 CPUtime=0.15
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 393 0 0 0 15 0 0 0 17 0 9 0 285440672 1833394176 17226 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790424 CPUtime=0

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

/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17833 0 1 0 14064 12 0 0 18 0 9 0 285440667 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447606 17227 1865 9 0 442191 0
[pid=21930/tid=21932] ppid=21928 vsize=1790424 CPUtime=140.59
/proc/21930/task/21932/stat : 21932 (java) R 21928 21930 21861 0 -1 64 16716 0 1 0 14049 10 0 0 25 0 9 0 285440668 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126779390 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790424 CPUtime=0.15
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 395 0 0 0 15 0 0 0 16 0 9 0 285440672 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21938/stat : 21938 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 285440672 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21939] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21939/stat : 21939 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 285440672 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 140.76
Current children cumulated vsize (KiB) 1790424

[startup+147.103 s]
/proc/loadavg: 0.98 0.96 0.98 2/86 21939
/proc/meminfo: memFree=1404792/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790424 CPUtime=147.16
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17833 0 1 0 14704 12 0 0 18 0 9 0 285440667 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447606 17227 1865 9 0 442191 0
[pid=21930/tid=21932] ppid=21928 vsize=1790424 CPUtime=146.98
/proc/21930/task/21932/stat : 21932 (java) R 21928 21930 21861 0 -1 64 16716 0 1 0 14688 10 0 0 25 0 9 0 285440668 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126758746 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790424 CPUtime=0.15
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 395 0 0 0 15 0 0 0 16 0 9 0 285440672 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21938/stat : 21938 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 285440672 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21939] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21939/stat : 21939 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 285440672 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 147.16
Current children cumulated vsize (KiB) 1790424

[startup+150.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/86 21939
/proc/meminfo: memFree=1404792/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790424 CPUtime=150.35
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17833 0 1 0 15023 12 0 0 18 0 9 0 285440667 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447606 17227 1865 9 0 442191 0
[pid=21930/tid=21932] ppid=21928 vsize=1790424 CPUtime=150.18
/proc/21930/task/21932/stat : 21932 (java) R 21928 21930 21861 0 -1 64 16716 0 1 0 15008 10 0 0 25 0 9 0 285440668 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126779350 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790424 CPUtime=0.15
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 395 0 0 0 15 0 0 0 16 0 9 0 285440672 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21938/stat : 21938 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 285440672 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21939] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21939/stat : 21939 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 285440672 1833394176 17227 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 150.35
Current children cumulated vsize (KiB) 1790424

[startup+151.902 s]
/proc/loadavg: 0.98 0.97 0.98 2/86 21939
/proc/meminfo: memFree=1404792/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790424 CPUtime=151.95
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17873 0 1 0 15183 12 0 0 18 0 9 0 285440667 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447606 17267 1865 9 0 442191 0
[pid=21930/tid=21932] ppid=21928 vsize=1790424 CPUtime=151.78
/proc/21930/task/21932/stat : 21932 (java) R 21928 21930 21861 0 -1 64 16755 0 1 0 15168 10 0 0 25 0 9 0 285440668 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126773532 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790424 CPUtime=0.15
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 396 0 0 0 15 0 0 0 16 0 9 0 285440672 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21938/stat : 21938 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 285440672 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21939] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21939/stat : 21939 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 285440672 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 151.95
Current children cumulated vsize (KiB) 1790424

[startup+152.701 s]
/proc/loadavg: 0.98 0.97 0.98 2/86 21939
/proc/meminfo: memFree=1404792/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790424 CPUtime=152.75
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17873 0 1 0 15263 12 0 0 18 0 9 0 285440667 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447606 17267 1865 9 0 442191 0
[pid=21930/tid=21932] ppid=21928 vsize=1790424 CPUtime=152.57
/proc/21930/task/21932/stat : 21932 (java) R 21928 21930 21861 0 -1 64 16755 0 1 0 15247 10 0 0 18 0 9 0 285440668 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126773495 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790424 CPUtime=0.15
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 396 0 0 0 15 0 0 0 16 0 9 0 285440672 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21938/stat : 21938 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 285440672 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21939] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21939/stat : 21939 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 285440672 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 152.75
Current children cumulated vsize (KiB) 1790424

[startup+153.101 s]
/proc/loadavg: 0.98 0.97 0.98 2/86 21939
/proc/meminfo: memFree=1404600/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790424 CPUtime=153.15
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17873 0 1 0 15303 12 0 0 18 0 9 0 285440667 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447606 17267 1865 9 0 442191 0
[pid=21930/tid=21932] ppid=21928 vsize=1790424 CPUtime=152.97
/proc/21930/task/21932/stat : 21932 (java) R 21928 21930 21861 0 -1 64 16755 0 1 0 15287 10 0 0 21 0 9 0 285440668 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126781001 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790424 CPUtime=0.15
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 396 0 0 0 15 0 0 0 16 0 9 0 285440672 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21938/stat : 21938 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 285440672 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21939] ppid=21928 vsize=1790424 CPUtime=0
/proc/21930/task/21939/stat : 21939 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 285440672 1833394176 17267 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 153.15
Current children cumulated vsize (KiB) 1790424

[startup+153.501 s]
/proc/loadavg: 0.98 0.97 0.98 2/86 21939
/proc/meminfo: memFree=1404600/2055920 swapFree=4163676/4192956
[pid=21930] ppid=21928 vsize=1790748 CPUtime=153.52
/proc/21930/stat : 21930 (java) S 21928 21930 21861 0 -1 0 17911 0 1 0 15340 12 0 0 18 0 9 0 285440667 1833725952 17304 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21930/statm: 447687 17304 1868 9 0 442272 0
[pid=21930/tid=21932] ppid=21928 vsize=1790748 CPUtime=153.34
/proc/21930/task/21932/stat : 21932 (java) S 21928 21930 21861 0 -1 64 16787 0 1 0 15324 10 0 0 17 0 9 0 285440668 1833725952 17304 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21933] ppid=21928 vsize=1790748 CPUtime=0
/proc/21930/task/21933/stat : 21933 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285440670 1833725952 17304 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21934] ppid=21928 vsize=1790748 CPUtime=0
/proc/21930/task/21934/stat : 21934 (java) S 21928 21930 21861 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285440670 1833725952 17304 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21935] ppid=21928 vsize=1790748 CPUtime=0
/proc/21930/task/21935/stat : 21935 (java) S 21928 21930 21861 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 285440670 1833725952 17304 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21936] ppid=21928 vsize=1790748 CPUtime=0
/proc/21930/task/21936/stat : 21936 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 285440672 1833725952 17304 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21937] ppid=21928 vsize=1790748 CPUtime=0.15
/proc/21930/task/21937/stat : 21937 (java) S 21928 21930 21861 0 -1 64 396 0 0 0 15 0 0 0 16 0 9 0 285440672 1833725952 17304 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21930/tid=21938] ppid=21928 vsize=1790748 CPUtime=0
/proc/21930/task/21938/stat : 21938 (java) S 21928 21930 21861 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 285440672 1833725952 17304 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21930/tid=21939] ppid=21928 vsize=1790748 CPUtime=0
/proc/21930/task/21939/stat : 21939 (java) S 21928 21930 21861 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 285440672 1833725952 17304 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 153.52
Current children cumulated vsize (KiB) 1790748

Child status: 0
Real time (s): 153.517
CPU time (s): 153.54
CPU user time (s): 153.402
CPU system time (s): 0.137979
CPU usage (%): 100.015
Max. virtual memory (cumulated for all children) (KiB): 1790748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.402
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17915
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= 3584
involuntary context switches= 6379

runsolver used 0.154976 second user time and 0.412937 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Sat May  5 14:27:09 UTC 2007

IDJOB= 457909
IDBENCH= 48373
IDSOLVER= 155
FILE ID= node22/457909-1178375229

PBS_JOBID= 5189228

Free space on /tmp= 66541 MiB

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

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

META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5
MD5SUM BENCH=  6d36c2461bcbe18a397b3deab9e30c2d

RANDOM SEED= 151165202

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1467592 kB
Buffers:         38936 kB
Cached:         426584 kB
SwapCached:       7420 kB
Active:         229404 kB
Inactive:       258796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1467592 kB
SwapTotal:     4192956 kB
SwapFree:      4163676 kB
Dirty:            2592 kB
Writeback:           0 kB
Mapped:          29784 kB
Slab:            85836 kB
Committed_AS:  4511980 kB
PageTables:       1676 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= 66540 MiB

End job on node22 on Sat May  5 14:29:44 UTC 2007