Trace number 457984

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 344.773 345.068

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_4_15.opb
MD5SUMfd85a298c6b3aae093c5550dd4aa27b8
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)12520
Sum of products size (including duplicates)25040
Number of different products6260
Sum of products size12520

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/457984-1178375841/instance-457984-1178375841.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.91 2/77 1860
/proc/meminfo: memFree=1791280/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=0 CPUtime=0
/proc/1860/stat : 1860 (runsolver) R 1858 1860 1733 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 285501454 0 0 18446744073709551615 0 0 0 18446744073709551615 273952599335 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1860/statm: 0 0 0 0 0 0 0

[startup+0.0974851 s]
/proc/loadavg: 0.92 0.97 0.91 2/77 1860
/proc/meminfo: memFree=1791280/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1783732 CPUtime=0.03
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 1851 0 33 0 0 3 0 0 18 0 2 0 285501454 1826541568 1618 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 445933 1618 444 9 0 440935 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1783732

[startup+0.101679 s]
/proc/loadavg: 0.92 0.97 0.91 2/77 1860
/proc/meminfo: memFree=1791280/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1783732 CPUtime=0.03
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 1869 0 34 0 0 3 0 0 18 0 2 0 285501454 1826541568 1636 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 445933 1636 457 9 0 440935 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1783732

[startup+0.301715 s]
/proc/loadavg: 0.92 0.97 0.91 2/77 1860
/proc/meminfo: memFree=1791280/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1789240 CPUtime=0.16
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 4352 0 65 0 9 7 0 0 18 0 9 0 285501454 1832181760 3856 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447310 3856 1736 9 0 441902 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 1789240

[startup+0.701796 s]
/proc/loadavg: 0.92 0.97 0.91 2/77 1860
/proc/meminfo: memFree=1791280/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=0.56
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 12725 0 67 0 45 11 0 0 18 0 9 0 285501454 1833373696 12195 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 12196 1858 9 0 442186 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 1790404

[startup+1.50295 s]
/proc/loadavg: 0.92 0.97 0.91 2/86 1870
/proc/meminfo: memFree=1711656/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=1.44
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 17808 0 67 0 130 14 0 0 18 0 9 0 285501454 1833373696 17275 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 17275 1864 9 0 442186 0
[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=1.25
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16722 0 39 0 114 11 0 0 23 0 9 0 285501461 1833373696 17275 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126773532 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 285501465 1833373696 17275 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17275 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17275 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17275 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.15
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 391 0 2 0 15 0 0 0 16 0 9 0 285501471 1833373696 17275 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1869/stat : 1869 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 285501471 1833373696 17275 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1870] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1870/stat : 1870 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 285501471 1833373696 17275 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 1790404

[startup+3.10127 s]
/proc/loadavg: 0.93 0.97 0.91 2/86 1870
/proc/meminfo: memFree=1711400/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=3.04
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 17810 0 67 0 290 14 0 0 18 0 9 0 285501454 1833373696 17277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 17277 1864 9 0 442186 0
[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=2.85
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16722 0 39 0 274 11 0 0 25 0 9 0 285501461 1833373696 17277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126787693 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 285501465 1833373696 17277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.15
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 393 0 2 0 15 0 0 0 16 0 9 0 285501471 1833373696 17277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1869/stat : 1869 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 285501471 1833373696 17277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1870] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1870/stat : 1870 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 285501471 1833373696 17277 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 1790404

[startup+6.30291 s]
/proc/loadavg: 0.93 0.97 0.91 2/86 1870
/proc/meminfo: memFree=1711208/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=6.24
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 17815 0 67 0 610 14 0 0 18 0 9 0 285501454 1833373696 17278 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 17278 1865 9 0 442186 0
[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=6.05
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16724 0 39 0 594 11 0 0 25 0 9 0 285501461 1833373696 17278 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126791286 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285501465 1833373696 17278 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17278 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17278 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17278 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.15
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 395 0 2 0 15 0 0 0 16 0 9 0 285501471 1833373696 17278 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1869/stat : 1869 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 285501471 1833373696 17278 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1870] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1870/stat : 1870 (java) S 1858 1860 1733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 285501471 1833373696 17278 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 1790404

[startup+12.7012 s]
/proc/loadavg: 0.94 0.97 0.91 2/86 1870
/proc/meminfo: memFree=1711024/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=12.64
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 17836 0 67 0 1250 14 0 0 18 0 9 0 285501454 1833373696 17293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 17293 1865 9 0 442186 0
[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=12.44
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16728 0 39 0 1233 11 0 0 19 0 9 0 285501461 1833373696 17293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126591952 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285501465 1833373696 17293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.17
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 412 0 2 0 17 0 0 0 16 0 9 0 285501471 1833373696 17293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1869/stat : 1869 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 285501471 1833373696 17293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1870] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1870/stat : 1870 (java) S 1858 1860 1733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 285501471 1833373696 17293 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 1790404

[startup+25.5028 s]
/proc/loadavg: 0.95 0.97 0.91 2/86 1870
/proc/meminfo: memFree=1711088/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=25.44
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 17842 0 67 0 2530 14 0 0 18 0 9 0 285501454 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 17296 1865 9 0 442186 0
[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=25.24
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16730 0 39 0 2513 11 0 0 25 0 9 0 285501461 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126787093 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285501465 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.17
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 416 0 2 0 17 0 0 0 16 0 9 0 285501471 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1869/stat : 1869 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 285501471 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1870] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1870/stat : 1870 (java) S 1858 1860 1733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 285501471 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 1790404

[startup+51.1029 s]
/proc/loadavg: 0.96 0.97 0.91 2/86 1870
/proc/meminfo: memFree=1711088/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=51.02
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 17842 0 67 0 5088 14 0 0 18 0 9 0 285501454 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 17296 1865 9 0 442186 0
[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=50.82
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16730 0 39 0 5071 11 0 0 25 0 9 0 285501461 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126759128 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285501465 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.17
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 416 0 2 0 17 0 0 0 16 0 9 0 285501471 1833373696 17296 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0

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

[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=221.88
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16730 0 39 0 22177 11 0 0 25 0 9 0 285501461 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126758746 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285501465 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.17
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 448 0 2 0 17 0 0 0 17 0 9 0 285501471 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1869/stat : 1869 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 285501471 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1870] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1870/stat : 1870 (java) S 1858 1860 1733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 285501471 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 1790404

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/86 1870
/proc/meminfo: memFree=1710832/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=282.05
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 17874 0 67 0 28191 14 0 0 18 0 9 0 285501454 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 17328 1865 9 0 442186 0
[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=281.84
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16730 0 39 0 28173 11 0 0 25 0 9 0 285501461 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126781597 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285501465 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.17
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 448 0 2 0 17 0 0 0 17 0 9 0 285501471 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1869/stat : 1869 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 285501471 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1870] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1870/stat : 1870 (java) S 1858 1860 1733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 285501471 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 1790404

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/86 1872
/proc/meminfo: memFree=1710832/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=342
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 17874 0 67 0 34186 14 0 0 18 0 9 0 285501454 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 17328 1865 9 0 442186 0
[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=341.79
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16730 0 39 0 34168 11 0 0 25 0 9 0 285501461 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126779350 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285501465 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.17
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 448 0 2 0 17 0 0 0 17 0 9 0 285501471 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1869/stat : 1869 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 285501471 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1870] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1870/stat : 1870 (java) S 1858 1860 1733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 285501471 1833373696 17328 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 1790404

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

[startup+343.902 s]
/proc/loadavg: 0.99 0.97 0.91 2/86 1872
/proc/meminfo: memFree=1710832/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=343.6
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 17914 0 67 0 34346 14 0 0 18 0 9 0 285501454 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 17368 1865 9 0 442186 0
[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=343.39
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16769 0 39 0 34328 11 0 0 21 0 9 0 285501461 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126798485 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285501465 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.17
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 449 0 2 0 17 0 0 0 16 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1869/stat : 1869 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1870] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1870/stat : 1870 (java) S 1858 1860 1733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 343.6
Current children cumulated vsize (KiB) 1790404

[startup+344.702 s]
/proc/loadavg: 0.99 0.97 0.91 2/86 1872
/proc/meminfo: memFree=1710832/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=344.4
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 17914 0 67 0 34426 14 0 0 18 0 9 0 285501454 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 17368 1865 9 0 442186 0
[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=344.19
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16769 0 39 0 34408 11 0 0 22 0 9 0 285501461 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126834994 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285501465 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.17
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 449 0 2 0 17 0 0 0 16 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1869/stat : 1869 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1870] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1870/stat : 1870 (java) S 1858 1860 1733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 344.4
Current children cumulated vsize (KiB) 1790404

[startup+344.902 s]
/proc/loadavg: 0.99 0.97 0.91 2/86 1872
/proc/meminfo: memFree=1710832/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=344.6
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 17914 0 67 0 34446 14 0 0 18 0 9 0 285501454 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 17368 1865 9 0 442186 0
[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=344.39
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16769 0 39 0 34428 11 0 0 24 0 9 0 285501461 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126798469 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285501465 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.17
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 449 0 2 0 17 0 0 0 16 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1869/stat : 1869 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1870] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1870/stat : 1870 (java) S 1858 1860 1733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 344.6
Current children cumulated vsize (KiB) 1790404

[startup+345.002 s]
/proc/loadavg: 0.99 0.97 0.91 2/86 1872
/proc/meminfo: memFree=1710832/2055920 swapFree=4154952/4192956
[pid=1860] ppid=1858 vsize=1790404 CPUtime=344.7
/proc/1860/stat : 1860 (java) S 1858 1860 1733 0 -1 0 17914 0 67 0 34456 14 0 0 18 0 9 0 285501454 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1860/statm: 447601 17368 1865 9 0 442186 0
[pid=1860/tid=1862] ppid=1858 vsize=1790404 CPUtime=344.49
/proc/1860/task/1862/stat : 1862 (java) R 1858 1860 1733 0 -1 64 16769 0 39 0 34438 11 0 0 25 0 9 0 285501461 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4126798442 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1863] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1863/stat : 1863 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 285501465 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1864] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1864/stat : 1864 (java) S 1858 1860 1733 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1865] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1865/stat : 1865 (java) S 1858 1860 1733 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 285501467 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1866] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1866/stat : 1866 (java) S 1858 1860 1733 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1867] ppid=1858 vsize=1790404 CPUtime=0.17
/proc/1860/task/1867/stat : 1867 (java) S 1858 1860 1733 0 -1 64 449 0 2 0 17 0 0 0 16 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1860/tid=1869] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1869/stat : 1869 (java) S 1858 1860 1733 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1860/tid=1870] ppid=1858 vsize=1790404 CPUtime=0
/proc/1860/task/1870/stat : 1870 (java) S 1858 1860 1733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 285501471 1833373696 17368 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 344.7
Current children cumulated vsize (KiB) 1790404

Child status: 0
Real time (s): 345.068
CPU time (s): 344.773
CPU user time (s): 344.614
CPU system time (s): 0.158975
CPU usage (%): 99.9145
Max. virtual memory (cumulated for all children) (KiB): 1790404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 344.614
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17955
page faults= 67
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7664
involuntary context switches= 14942

runsolver used 0.301954 second user time and 0.962853 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat May  5 14:37:21 UTC 2007

IDJOB= 457984
IDBENCH= 48378
IDSOLVER= 155
FILE ID= node20/457984-1178375841

PBS_JOBID= 5188992

Free space on /tmp= 66563 MiB

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

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

META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5
MD5SUM BENCH=  fd85a298c6b3aae093c5550dd4aa27b8

RANDOM SEED= 139653260

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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:       1791688 kB
Buffers:         36300 kB
Cached:         127884 kB
SwapCached:      16628 kB
Active:         120664 kB
Inactive:        66640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1791688 kB
SwapTotal:     4192956 kB
SwapFree:      4154952 kB
Dirty:            2476 kB
Writeback:           0 kB
Mapped:          30096 kB
Slab:            62516 kB
Committed_AS:  6711264 kB
PageTables:       1744 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node20 on Sat May  5 14:43:06 UTC 2007