Trace number 43355

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPSEUDO 2006.2 HeuristicsSAT (TO)2147483646 1800.24 1788.54

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
MD5SUM6eba7367ef128fb0872fe815e4ef2398
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1207959552
Best CPU time to get the best result obtained on this benchmark1800.35
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1207959552
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	2147483646

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node17/watcher-43355-1149317007 -o ROOT/results/node17/solver-43355-1149317007 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node17/43355-1149317007/instance-43355-1149317007.opb 408990401 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.96 1.00 1.00 2/64 32213
/proc/meminfo: memFree=1861768/2055920 swapFree=4180996/4192956
[pid=32213] ppid=32211 vsize=1784 CPUtime=0
/proc/32213/stat : 32213 (java) R 32211 32213 32167 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 197364002 1826816 148 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32213/statm: 446 148 113 14 0 91 0

[startup+10.0021 s]
/proc/loadavg: 0.96 1.00 1.00 2/76 32226
/proc/meminfo: memFree=1659624/2055920 swapFree=4180996/4192956
[pid=32213] ppid=32211 vsize=1712852 CPUtime=11.33
/proc/32213/stat : 32213 (java) R 32211 32213 32167 0 -1 0 55315 0 1 0 1108 25 0 0 25 0 13 0 197364002 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071406104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32213/statm: 428213 52298 1910 14 0 414960 0
[pid=32213/tid=32214] ppid=32211 vsize=1712852 CPUtime=0.44
/proc/32213/task/32214/stat : 32214 (java) S 32211 32213 32167 0 -1 64 8155 0 0 0 41 3 0 0 16 0 13 0 197364005 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32215] ppid=32211 vsize=1712852 CPUtime=0.44
/proc/32213/task/32215/stat : 32215 (java) S 32211 32213 32167 0 -1 64 8853 0 0 0 41 3 0 0 16 0 13 0 197364005 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32216] ppid=32211 vsize=1712852 CPUtime=0
/proc/32213/task/32216/stat : 32216 (java) S 32211 32213 32167 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 197364008 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32217] ppid=32211 vsize=1712852 CPUtime=0
/proc/32213/task/32217/stat : 32217 (java) S 32211 32213 32167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197364008 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32218] ppid=32211 vsize=1712852 CPUtime=0
/proc/32213/task/32218/stat : 32218 (java) S 32211 32213 32167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197364008 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32219] ppid=32211 vsize=1712852 CPUtime=0
/proc/32213/task/32219/stat : 32219 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197364012 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32220] ppid=32211 vsize=1712852 CPUtime=0
/proc/32213/task/32220/stat : 32220 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 197364012 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32221] ppid=32211 vsize=1712852 CPUtime=0.56
/proc/32213/task/32221/stat : 32221 (java) S 32211 32213 32167 0 -1 64 401 0 0 0 56 0 0 0 16 0 13 0 197364012 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32222] ppid=32211 vsize=1712852 CPUtime=0.76
/proc/32213/task/32222/stat : 32222 (java) S 32211 32213 32167 0 -1 64 1319 0 0 0 76 0 0 0 16 0 13 0 197364012 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32223] ppid=32211 vsize=1712852 CPUtime=0
/proc/32213/task/32223/stat : 32223 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197364012 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32224] ppid=32211 vsize=1712852 CPUtime=0
/proc/32213/task/32224/stat : 32224 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197364012 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32226] ppid=32211 vsize=1712852 CPUtime=0
/proc/32213/task/32226/stat : 32226 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 197364287 1753960448 52298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (Kb) 1712852

[startup+20.009 s]
/proc/loadavg: 0.97 1.00 1.00 2/76 32226
/proc/meminfo: memFree=1695080/2055920 swapFree=4180996/4192956
[pid=32213] ppid=32211 vsize=1711956 CPUtime=21.44
/proc/32213/stat : 32213 (java) R 32211 32213 32167 0 -1 0 55445 0 1 0 2118 26 0 0 23 0 13 0 197364002 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071425500 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32213/statm: 427989 43423 1911 14 0 414736 0
[pid=32213/tid=32214] ppid=32211 vsize=1711956 CPUtime=0.45
/proc/32213/task/32214/stat : 32214 (java) S 32211 32213 32167 0 -1 64 8172 0 0 0 42 3 0 0 16 0 13 0 197364005 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32215] ppid=32211 vsize=1711956 CPUtime=0.45
/proc/32213/task/32215/stat : 32215 (java) S 32211 32213 32167 0 -1 64 8866 0 0 0 42 3 0 0 15 0 13 0 197364005 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32216] ppid=32211 vsize=1711956 CPUtime=0.01
/proc/32213/task/32216/stat : 32216 (java) S 32211 32213 32167 0 -1 64 26 0 0 0 1 0 0 0 16 0 13 0 197364008 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32217] ppid=32211 vsize=1711956 CPUtime=0
/proc/32213/task/32217/stat : 32217 (java) S 32211 32213 32167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197364008 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32218] ppid=32211 vsize=1711956 CPUtime=0
/proc/32213/task/32218/stat : 32218 (java) S 32211 32213 32167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197364008 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32219] ppid=32211 vsize=1711956 CPUtime=0
/proc/32213/task/32219/stat : 32219 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197364012 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32220] ppid=32211 vsize=1711956 CPUtime=0
/proc/32213/task/32220/stat : 32220 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 197364012 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32221] ppid=32211 vsize=1711956 CPUtime=0.64
/proc/32213/task/32221/stat : 32221 (java) S 32211 32213 32167 0 -1 64 471 0 0 0 64 0 0 0 17 0 13 0 197364012 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32222] ppid=32211 vsize=1711956 CPUtime=0.82
/proc/32213/task/32222/stat : 32222 (java) S 32211 32213 32167 0 -1 64 1323 0 0 0 82 0 0 0 16 0 13 0 197364012 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32223] ppid=32211 vsize=1711956 CPUtime=0
/proc/32213/task/32223/stat : 32223 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197364012 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32224] ppid=32211 vsize=1711956 CPUtime=0
/proc/32213/task/32224/stat : 32224 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197364012 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32226] ppid=32211 vsize=1711956 CPUtime=0
/proc/32213/task/32226/stat : 32226 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 197364287 1753042944 43423 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.44
Current children cumulated vsize (Kb) 1711956

[startup+30.0158 s]
/proc/loadavg: 0.97 1.00 1.00 2/76 32226
/proc/meminfo: memFree=1714408/2055920 swapFree=4180996/4192956
[pid=32213] ppid=32211 vsize=1711772 CPUtime=31.48
/proc/32213/stat : 32213 (java) R 32211 32213 32167 0 -1 0 55514 0 1 0 3121 27 0 0 25 0 13 0 197364002 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071621717 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32213/statm: 427943 38641 1911 14 0 414690 0
[pid=32213/tid=32214] ppid=32211 vsize=1711772 CPUtime=0.46
/proc/32213/task/32214/stat : 32214 (java) S 32211 32213 32167 0 -1 64 8173 0 0 0 43 3 0 0 15 0 13 0 197364005 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32215] ppid=32211 vsize=1711772 CPUtime=0.46
/proc/32213/task/32215/stat : 32215 (java) S 32211 32213 32167 0 -1 64 8905 0 0 0 43 3 0 0 16 0 13 0 197364005 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32216] ppid=32211 vsize=1711772 CPUtime=0.02
/proc/32213/task/32216/stat : 32216 (java) S 32211 32213 32167 0 -1 64 26 0 0 0 1 1 0 0 16 0 13 0 197364008 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32217] ppid=32211 vsize=1711772 CPUtime=0
/proc/32213/task/32217/stat : 32217 (java) S 32211 32213 32167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197364008 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32218] ppid=32211 vsize=1711772 CPUtime=0
/proc/32213/task/32218/stat : 32218 (java) S 32211 32213 32167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197364008 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32219] ppid=32211 vsize=1711772 CPUtime=0
/proc/32213/task/32219/stat : 32219 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197364012 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32220] ppid=32211 vsize=1711772 CPUtime=0
/proc/32213/task/32220/stat : 32220 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 197364012 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32221] ppid=32211 vsize=1711772 CPUtime=0.67
/proc/32213/task/32221/stat : 32221 (java) S 32211 32213 32167 0 -1 64 471 0 0 0 67 0 0 0 17 0 13 0 197364012 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32222] ppid=32211 vsize=1711772 CPUtime=0.84
/proc/32213/task/32222/stat : 32222 (java) S 32211 32213 32167 0 -1 64 1324 0 0 0 84 0 0 0 17 0 13 0 197364012 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32223] ppid=32211 vsize=1711772 CPUtime=0
/proc/32213/task/32223/stat : 32223 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197364012 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32224] ppid=32211 vsize=1711772 CPUtime=0
/proc/32213/task/32224/stat : 32224 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197364012 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32226] ppid=32211 vsize=1711772 CPUtime=0
/proc/32213/task/32226/stat : 32226 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 197364287 1752854528 38641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.48
Current children cumulated vsize (Kb) 1711772

[startup+40.0227 s]
/proc/loadavg: 0.98 1.00 1.00 2/76 32226
/proc/meminfo: memFree=1716840/2055920 swapFree=4180996/4192956
[pid=32213] ppid=32211 vsize=1711708 CPUtime=41.52
/proc/32213/stat : 32213 (java) R 32211 32213 32167 0 -1 0 55568 0 1 0 4124 28 0 0 25 0 13 0 197364002 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071621790 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32213/statm: 427927 38038 1911 14 0 414674 0
[pid=32213/tid=32214] ppid=32211 vsize=1711708 CPUtime=0.48
/proc/32213/task/32214/stat : 32214 (java) S 32211 32213 32167 0 -1 64 8185 0 0 0 45 3 0 0 16 0 13 0 197364005 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32215] ppid=32211 vsize=1711708 CPUtime=0.47
/proc/32213/task/32215/stat : 32215 (java) S 32211 32213 32167 0 -1 64 8915 0 0 0 44 3 0 0 15 0 13 0 197364005 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32216] ppid=32211 vsize=1711708 CPUtime=0.03
/proc/32213/task/32216/stat : 32216 (java) S 32211 32213 32167 0 -1 64 26 0 0 0 1 2 0 0 16 0 13 0 197364008 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32217] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32217/stat : 32217 (java) S 32211 32213 32167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32218] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32218/stat : 32218 (java) S 32211 32213 32167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32219] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32219/stat : 32219 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197364012 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32220] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32220/stat : 32220 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 197364012 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32221] ppid=32211 vsize=1711708 CPUtime=0.67
/proc/32213/task/32221/stat : 32221 (java) S 32211 32213 32167 0 -1 64 471 0 0 0 67 0 0 0 17 0 13 0 197364012 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32222] ppid=32211 vsize=1711708 CPUtime=0.87
/proc/32213/task/32222/stat : 32222 (java) S 32211 32213 32167 0 -1 64 1325 0 0 0 87 0 0 0 17 0 13 0 197364012 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32223] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32223/stat : 32223 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197364012 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32224] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32224/stat : 32224 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197364012 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32226] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32226/stat : 32226 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197364287 1752788992 38038 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.52
Current children cumulated vsize (Kb) 1711708

[startup+50.0295 s]
/proc/loadavg: 0.98 1.00 1.00 2/76 32226
/proc/meminfo: memFree=1716840/2055920 swapFree=4180996/4192956
[pid=32213] ppid=32211 vsize=1711708 CPUtime=51.54
/proc/32213/stat : 32213 (java) R 32211 32213 32167 0 -1 0 55621 0 1 0 5125 29 0 0 25 0 13 0 197364002 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071425308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32213/statm: 427927 38059 1911 14 0 414674 0
[pid=32213/tid=32214] ppid=32211 vsize=1711708 CPUtime=0.49
/proc/32213/task/32214/stat : 32214 (java) S 32211 32213 32167 0 -1 64 8205 0 0 0 46 3 0 0 16 0 13 0 197364005 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32215] ppid=32211 vsize=1711708 CPUtime=0.48
/proc/32213/task/32215/stat : 32215 (java) S 32211 32213 32167 0 -1 64 8916 0 0 0 45 3 0 0 15 0 13 0 197364005 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32216] ppid=32211 vsize=1711708 CPUtime=0.04
/proc/32213/task/32216/stat : 32216 (java) S 32211 32213 32167 0 -1 64 26 0 0 0 2 2 0 0 16 0 13 0 197364008 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32217] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32217/stat : 32217 (java) S 32211 32213 32167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32218] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32218/stat : 32218 (java) S 32211 32213 32167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32219] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32219/stat : 32219 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197364012 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32220] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32220/stat : 32220 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 197364012 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32221] ppid=32211 vsize=1711708 CPUtime=0.67
/proc/32213/task/32221/stat : 32221 (java) S 32211 32213 32167 0 -1 64 471 0 0 0 67 0 0 0 17 0 13 0 197364012 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32222] ppid=32211 vsize=1711708 CPUtime=0.87
/proc/32213/task/32222/stat : 32222 (java) S 32211 32213 32167 0 -1 64 1325 0 0 0 87 0 0 0 17 0 13 0 197364012 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32223] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32223/stat : 32223 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197364012 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32224] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32224/stat : 32224 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197364012 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32226] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32226/stat : 32226 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197364287 1752788992 38059 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.54
Current children cumulated vsize (Kb) 1711708

[startup+60.0363 s]
/proc/loadavg: 0.98 1.00 1.00 2/76 32226
/proc/meminfo: memFree=1716328/2055920 swapFree=4180996/4192956
[pid=32213] ppid=32211 vsize=1711708 CPUtime=61.53
/proc/32213/stat : 32213 (java) R 32211 32213 32167 0 -1 0 55779 0 1 0 6124 29 0 0 25 0 13 0 197364002 1752788992 38183 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071514933 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32213/statm: 427927 38183 1911 14 0 414674 0
[pid=32213/tid=32214] ppid=32211 vsize=1711708 CPUtime=0.51
/proc/32213/task/32214/stat : 32214 (java) S 32211 32213 32167 0 -1 64 8312 0 0 0 48 3 0 0 16 0 13 0 197364005 1752788992 38183 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32215] ppid=32211 vsize=1711708 CPUtime=0.51
/proc/32213/task/32215/stat : 32215 (java) S 32211 32213 32167 0 -1 64 8933 0 0 0 47 4 0 0 16 0 13 0 197364005 1752788992 38183 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32216] ppid=32211 vsize=1711708 CPUtime=0.05
/proc/32213/task/32216/stat : 32216 (java) S 32211 32213 32167 0 -1 64 26 0 0 0 2 3 0 0 16 0 13 0 197364008 1752788992 38183 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32217] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32217/stat : 32217 (java) S 32211 32213 32167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 38183 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32218] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32218/stat : 32218 (java) S 32211 32213 32167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 38183 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32219] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32219/stat : 32219 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197364012 1752788992 38183 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=32213/tid=32217] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32217/stat : 32217 (java) S 32211 32213 32167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32218] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32218/stat : 32218 (java) S 32211 32213 32167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32219] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32219/stat : 32219 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197364012 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32220] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32220/stat : 32220 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197364012 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32221] ppid=32211 vsize=1711708 CPUtime=0.74
/proc/32213/task/32221/stat : 32221 (java) S 32211 32213 32167 0 -1 64 477 0 0 0 74 0 0 0 17 0 13 0 197364012 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32222] ppid=32211 vsize=1711708 CPUtime=0.89
/proc/32213/task/32222/stat : 32222 (java) S 32211 32213 32167 0 -1 64 1325 0 0 0 89 0 0 0 17 0 13 0 197364012 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32223] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32223/stat : 32223 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197364012 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32224] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32224/stat : 32224 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197364012 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32227] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32227/stat : 32227 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 197411263 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (Kb) 1711708

[startup+1785.37 s]
/proc/loadavg: 1.04 1.04 1.00 2/76 32422
/proc/meminfo: memFree=1574496/2055920 swapFree=4180996/4192956
[pid=32213] ppid=32211 vsize=1711708 CPUtime=1796.95
/proc/32213/stat : 32213 (java) R 32211 32213 32167 0 -1 0 114028 0 1 0 179498 197 0 0 18 0 13 0 197364002 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071621204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32213/statm: 427927 73374 1911 14 0 414674 0
[pid=32213/tid=32214] ppid=32211 vsize=1711708 CPUtime=12.09
/proc/32213/task/32214/stat : 32214 (java) S 32211 32213 32167 0 -1 64 19899 0 0 0 1159 50 0 0 16 0 13 0 197364005 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32215] ppid=32211 vsize=1711708 CPUtime=12.33
/proc/32213/task/32215/stat : 32215 (java) S 32211 32213 32167 0 -1 64 21319 0 0 0 1177 56 0 0 15 0 13 0 197364005 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32216] ppid=32211 vsize=1711708 CPUtime=0.91
/proc/32213/task/32216/stat : 32216 (java) S 32211 32213 32167 0 -1 64 111 0 0 0 56 35 0 0 16 0 13 0 197364008 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32217] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32217/stat : 32217 (java) S 32211 32213 32167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32218] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32218/stat : 32218 (java) S 32211 32213 32167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32219] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32219/stat : 32219 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197364012 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32220] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32220/stat : 32220 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197364012 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32221] ppid=32211 vsize=1711708 CPUtime=0.74
/proc/32213/task/32221/stat : 32221 (java) S 32211 32213 32167 0 -1 64 477 0 0 0 74 0 0 0 17 0 13 0 197364012 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32222] ppid=32211 vsize=1711708 CPUtime=0.89
/proc/32213/task/32222/stat : 32222 (java) S 32211 32213 32167 0 -1 64 1325 0 0 0 89 0 0 0 17 0 13 0 197364012 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32223] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32223/stat : 32223 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197364012 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32224] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32224/stat : 32224 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197364012 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32227] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32227/stat : 32227 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 197411263 1752788992 73374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (Kb) 1711708

[startup+1786.37 s]
/proc/loadavg: 1.04 1.04 1.00 2/76 32422
/proc/meminfo: memFree=1574432/2055920 swapFree=4180996/4192956
[pid=32213] ppid=32211 vsize=1711708 CPUtime=1797.97
/proc/32213/stat : 32213 (java) R 32211 32213 32167 0 -1 0 114030 0 1 0 179599 198 0 0 19 0 13 0 197364002 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071614711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32213/statm: 427927 73373 1911 14 0 414674 0
[pid=32213/tid=32214] ppid=32211 vsize=1711708 CPUtime=12.09
/proc/32213/task/32214/stat : 32214 (java) S 32211 32213 32167 0 -1 64 19899 0 0 0 1159 50 0 0 16 0 13 0 197364005 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32215] ppid=32211 vsize=1711708 CPUtime=12.33
/proc/32213/task/32215/stat : 32215 (java) S 32211 32213 32167 0 -1 64 21320 0 0 0 1177 56 0 0 16 0 13 0 197364005 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32216] ppid=32211 vsize=1711708 CPUtime=0.91
/proc/32213/task/32216/stat : 32216 (java) S 32211 32213 32167 0 -1 64 111 0 0 0 56 35 0 0 15 0 13 0 197364008 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32217] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32217/stat : 32217 (java) S 32211 32213 32167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32218] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32218/stat : 32218 (java) S 32211 32213 32167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32219] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32219/stat : 32219 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197364012 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32220] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32220/stat : 32220 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197364012 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32221] ppid=32211 vsize=1711708 CPUtime=0.74
/proc/32213/task/32221/stat : 32221 (java) S 32211 32213 32167 0 -1 64 477 0 0 0 74 0 0 0 17 0 13 0 197364012 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32222] ppid=32211 vsize=1711708 CPUtime=0.89
/proc/32213/task/32222/stat : 32222 (java) S 32211 32213 32167 0 -1 64 1325 0 0 0 89 0 0 0 17 0 13 0 197364012 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32223] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32223/stat : 32223 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197364012 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32224] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32224/stat : 32224 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197364012 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32227] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32227/stat : 32227 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 197411263 1752788992 73373 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (Kb) 1711708

[startup+1787.38 s]
/proc/loadavg: 1.04 1.03 1.00 2/76 32422
/proc/meminfo: memFree=1574368/2055920 swapFree=4180996/4192956
[pid=32213] ppid=32211 vsize=1711708 CPUtime=1798.98
/proc/32213/stat : 32213 (java) R 32211 32213 32167 0 -1 0 114046 0 1 0 179700 198 0 0 17 0 13 0 197364002 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071425390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32213/statm: 427927 73386 1911 14 0 414674 0
[pid=32213/tid=32214] ppid=32211 vsize=1711708 CPUtime=12.1
/proc/32213/task/32214/stat : 32214 (java) S 32211 32213 32167 0 -1 64 19899 0 0 0 1160 50 0 0 16 0 13 0 197364005 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32215] ppid=32211 vsize=1711708 CPUtime=12.34
/proc/32213/task/32215/stat : 32215 (java) S 32211 32213 32167 0 -1 64 21334 0 0 0 1178 56 0 0 16 0 13 0 197364005 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32216] ppid=32211 vsize=1711708 CPUtime=0.91
/proc/32213/task/32216/stat : 32216 (java) S 32211 32213 32167 0 -1 64 111 0 0 0 56 35 0 0 16 0 13 0 197364008 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32217] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32217/stat : 32217 (java) S 32211 32213 32167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32218] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32218/stat : 32218 (java) S 32211 32213 32167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32219] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32219/stat : 32219 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197364012 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32220] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32220/stat : 32220 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197364012 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32221] ppid=32211 vsize=1711708 CPUtime=0.74
/proc/32213/task/32221/stat : 32221 (java) S 32211 32213 32167 0 -1 64 477 0 0 0 74 0 0 0 17 0 13 0 197364012 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32222] ppid=32211 vsize=1711708 CPUtime=0.89
/proc/32213/task/32222/stat : 32222 (java) S 32211 32213 32167 0 -1 64 1325 0 0 0 89 0 0 0 17 0 13 0 197364012 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32223] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32223/stat : 32223 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197364012 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32224] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32224/stat : 32224 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197364012 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32227] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32227/stat : 32227 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 197411263 1752788992 73386 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.98
Current children cumulated vsize (Kb) 1711708

[startup+1788.38 s]
/proc/loadavg: 1.04 1.03 1.00 2/76 32422
/proc/meminfo: memFree=1574240/2055920 swapFree=4180996/4192956
[pid=32213] ppid=32211 vsize=1711708 CPUtime=1800
/proc/32213/stat : 32213 (java) R 32211 32213 32167 0 -1 0 114081 0 1 0 179802 198 0 0 16 0 13 0 197364002 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071614591 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32213/statm: 427927 73418 1911 14 0 414674 0
[pid=32213/tid=32214] ppid=32211 vsize=1711708 CPUtime=12.12
/proc/32213/task/32214/stat : 32214 (java) S 32211 32213 32167 0 -1 64 19900 0 0 0 1162 50 0 0 16 0 13 0 197364005 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32215] ppid=32211 vsize=1711708 CPUtime=12.35
/proc/32213/task/32215/stat : 32215 (java) S 32211 32213 32167 0 -1 64 21335 0 0 0 1179 56 0 0 16 0 13 0 197364005 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32216] ppid=32211 vsize=1711708 CPUtime=0.91
/proc/32213/task/32216/stat : 32216 (java) S 32211 32213 32167 0 -1 64 111 0 0 0 56 35 0 0 15 0 13 0 197364008 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32217] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32217/stat : 32217 (java) S 32211 32213 32167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32218] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32218/stat : 32218 (java) S 32211 32213 32167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32219] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32219/stat : 32219 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197364012 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32220] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32220/stat : 32220 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197364012 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32221] ppid=32211 vsize=1711708 CPUtime=0.74
/proc/32213/task/32221/stat : 32221 (java) S 32211 32213 32167 0 -1 64 477 0 0 0 74 0 0 0 17 0 13 0 197364012 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32222] ppid=32211 vsize=1711708 CPUtime=0.89
/proc/32213/task/32222/stat : 32222 (java) S 32211 32213 32167 0 -1 64 1325 0 0 0 89 0 0 0 17 0 13 0 197364012 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32223] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32223/stat : 32223 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197364012 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32224] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32224/stat : 32224 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197364012 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32227] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32227/stat : 32227 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 197411263 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (Kb) 1711708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.39 s]
/proc/loadavg: 1.04 1.03 1.00 2/76 32422
/proc/meminfo: memFree=1574240/2055920 swapFree=4180996/4192956
[pid=32213] ppid=32211 vsize=1711708 CPUtime=1800.01
/proc/32213/stat : 32213 (java) R 32211 32213 32167 0 -1 0 114081 0 1 0 179803 198 0 0 16 0 13 0 197364002 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071425592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32213/statm: 427927 73418 1911 14 0 414674 0
[pid=32213/tid=32214] ppid=32211 vsize=1711708 CPUtime=12.12
/proc/32213/task/32214/stat : 32214 (java) S 32211 32213 32167 0 -1 64 19900 0 0 0 1162 50 0 0 16 0 13 0 197364005 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32215] ppid=32211 vsize=1711708 CPUtime=12.35
/proc/32213/task/32215/stat : 32215 (java) S 32211 32213 32167 0 -1 64 21335 0 0 0 1179 56 0 0 16 0 13 0 197364005 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32216] ppid=32211 vsize=1711708 CPUtime=0.91
/proc/32213/task/32216/stat : 32216 (java) S 32211 32213 32167 0 -1 64 111 0 0 0 56 35 0 0 15 0 13 0 197364008 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32217] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32217/stat : 32217 (java) S 32211 32213 32167 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32218] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32218/stat : 32218 (java) S 32211 32213 32167 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197364008 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32219] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32219/stat : 32219 (java) S 32211 32213 32167 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197364012 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32220] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32220/stat : 32220 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197364012 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32221] ppid=32211 vsize=1711708 CPUtime=0.74
/proc/32213/task/32221/stat : 32221 (java) S 32211 32213 32167 0 -1 64 477 0 0 0 74 0 0 0 17 0 13 0 197364012 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32222] ppid=32211 vsize=1711708 CPUtime=0.89
/proc/32213/task/32222/stat : 32222 (java) S 32211 32213 32167 0 -1 64 1325 0 0 0 89 0 0 0 17 0 13 0 197364012 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32223] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32223/stat : 32223 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197364012 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32213/tid=32224] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32224/stat : 32224 (java) S 32211 32213 32167 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197364012 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32213/tid=32227] ppid=32211 vsize=1711708 CPUtime=0
/proc/32213/task/32227/stat : 32227 (java) S 32211 32213 32167 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 197411263 1752788992 73418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (Kb) 1711708

Sending SIGTERM to -32213
Sleeping 2 seconds

Child status: 143
Real time (s): 1788.54
CPU time (s): 1800.24
CPU user time (s): 1798.21
CPU system time (s): 2.02969
CPU usage (%): 100.655
Max. virtual memory (cumulated for all children) (Kb): 1712852

Launcher Data (download as text)

Begin job on node17 on Sat Jun  3 06:43:27 UTC 2006


FILE ID= 43355-1149317007

PBS_JOBID= 308412

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node17/43355-1149317007/instance-43355-1149317007.opb 408990401
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-43355-1149317007 -o ROOT/results/node17/solver-43355-1149317007 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node17/43355-1149317007/instance-43355-1149317007.opb 408990401

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  6eba7367ef128fb0872fe815e4ef2398

RANDOM SEED= 408990401


/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.278
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.278
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:       1861976 kB
Buffers:         17868 kB
Cached:         105060 kB
SwapCached:       3620 kB
Active:          34432 kB
Inactive:        97196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1861976 kB
SwapTotal:     4192956 kB
SwapFree:      4180996 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            48292 kB
Committed_AS:   312124 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node17 on Sat Jun  3 07:13:16 UTC 2006