Trace number 42338

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)4492 1800.98 1783.57

General information on the benchmark

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

Verifier Data (download as text)

OK	4492

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/node15/watcher-42338-1149322495 -o ROOT/results/node15/solver-42338-1149322495 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node15/42338-1149322495/instance-42338-1149322495.opb 917484399 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.78 0.93 0.97 3/64 6299
/proc/meminfo: memFree=1191184/2055920 swapFree=4181408/4192956
[pid=6299] ppid=6297 vsize=168 CPUtime=0
/proc/6299/stat : 6299 (java) R 6297 6299 6253 0 -1 0 34 0 0 0 0 0 0 0 19 0 1 0 197912338 172032 18 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 7449547 0 0 4096 0 0 0 0 17 1 0 0
/proc/6299/statm: 42 23 18 14 0 2 0

[startup+10.002 s]
/proc/loadavg: 0.89 0.94 0.98 2/76 6314
/proc/meminfo: memFree=1016000/2055920 swapFree=4181408/4192956
[pid=6299] ppid=6297 vsize=1712656 CPUtime=11.59
/proc/6299/stat : 6299 (java) R 6297 6299 6253 0 -1 0 50969 0 1 0 1135 24 0 0 25 0 13 0 197912338 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071760055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6299/statm: 428164 45556 1912 14 0 414911 0
[pid=6299/tid=6300] ppid=6297 vsize=1712656 CPUtime=0.27
/proc/6299/task/6300/stat : 6300 (java) S 6297 6299 6253 0 -1 64 5622 0 0 0 24 3 0 0 16 0 13 0 197912343 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6301] ppid=6297 vsize=1712656 CPUtime=0.27
/proc/6299/task/6301/stat : 6301 (java) S 6297 6299 6253 0 -1 64 5317 0 0 0 23 4 0 0 15 0 13 0 197912343 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6302] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6302/stat : 6302 (java) S 6297 6299 6253 0 -1 64 22 0 0 0 0 0 0 0 17 0 13 0 197912346 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6303] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6303/stat : 6303 (java) S 6297 6299 6253 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197912346 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6304] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6304/stat : 6304 (java) S 6297 6299 6253 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197912346 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6305] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6305/stat : 6305 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197912350 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6306] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6306/stat : 6306 (java) S 6297 6299 6253 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 197912350 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6307] ppid=6297 vsize=1712656 CPUtime=1.05
/proc/6299/task/6307/stat : 6307 (java) S 6297 6299 6253 0 -1 64 851 0 0 0 105 0 0 0 17 0 13 0 197912350 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6308] ppid=6297 vsize=1712656 CPUtime=0.98
/proc/6299/task/6308/stat : 6308 (java) S 6297 6299 6253 0 -1 64 2590 0 0 0 97 1 0 0 16 0 13 0 197912350 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6309] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6309/stat : 6309 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197912350 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6310] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6310/stat : 6310 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197912350 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6314] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6314/stat : 6314 (java) S 6297 6299 6253 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 197912643 1753759744 45556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (Kb) 1712656

[startup+20.0087 s]
/proc/loadavg: 0.90 0.94 0.98 2/76 6314
/proc/meminfo: memFree=1048000/2055920 swapFree=4181408/4192956
[pid=6299] ppid=6297 vsize=1712656 CPUtime=21.62
/proc/6299/stat : 6299 (java) R 6297 6299 6253 0 -1 0 51121 0 1 0 2137 25 0 0 25 0 13 0 197912338 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071669820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6299/statm: 428164 37560 1912 14 0 414911 0
[pid=6299/tid=6300] ppid=6297 vsize=1712656 CPUtime=0.28
/proc/6299/task/6300/stat : 6300 (java) S 6297 6299 6253 0 -1 64 5644 0 0 0 25 3 0 0 16 0 13 0 197912343 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6301] ppid=6297 vsize=1712656 CPUtime=0.28
/proc/6299/task/6301/stat : 6301 (java) S 6297 6299 6253 0 -1 64 5410 0 0 0 24 4 0 0 16 0 13 0 197912343 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6302] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6302/stat : 6302 (java) S 6297 6299 6253 0 -1 64 22 0 0 0 0 0 0 0 17 0 13 0 197912346 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6303] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6303/stat : 6303 (java) S 6297 6299 6253 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197912346 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6304] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6304/stat : 6304 (java) S 6297 6299 6253 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197912346 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6305] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6305/stat : 6305 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197912350 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6306] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6306/stat : 6306 (java) S 6297 6299 6253 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 197912350 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6307] ppid=6297 vsize=1712656 CPUtime=1.08
/proc/6299/task/6307/stat : 6307 (java) S 6297 6299 6253 0 -1 64 852 0 0 0 108 0 0 0 17 0 13 0 197912350 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6308] ppid=6297 vsize=1712656 CPUtime=0.99
/proc/6299/task/6308/stat : 6308 (java) S 6297 6299 6253 0 -1 64 2590 0 0 0 98 1 0 0 17 0 13 0 197912350 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6309] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6309/stat : 6309 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197912350 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6310] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6310/stat : 6310 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197912350 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6314] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6314/stat : 6314 (java) S 6297 6299 6253 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 197912643 1753759744 37560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.62
Current children cumulated vsize (Kb) 1712656

[startup+30.0154 s]
/proc/loadavg: 0.92 0.95 0.98 2/76 6314
/proc/meminfo: memFree=1052352/2055920 swapFree=4181408/4192956
[pid=6299] ppid=6297 vsize=1712656 CPUtime=31.62
/proc/6299/stat : 6299 (java) R 6297 6299 6253 0 -1 0 51266 0 1 0 3136 26 0 0 25 0 13 0 197912338 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071460389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6299/statm: 428164 36467 1912 14 0 414911 0
[pid=6299/tid=6300] ppid=6297 vsize=1712656 CPUtime=0.29
/proc/6299/task/6300/stat : 6300 (java) S 6297 6299 6253 0 -1 64 5659 0 0 0 26 3 0 0 16 0 13 0 197912343 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6301] ppid=6297 vsize=1712656 CPUtime=0.29
/proc/6299/task/6301/stat : 6301 (java) S 6297 6299 6253 0 -1 64 5498 0 0 0 25 4 0 0 17 0 13 0 197912343 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6302] ppid=6297 vsize=1712656 CPUtime=0.02
/proc/6299/task/6302/stat : 6302 (java) S 6297 6299 6253 0 -1 64 22 0 0 0 1 1 0 0 16 0 13 0 197912346 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6303] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6303/stat : 6303 (java) S 6297 6299 6253 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197912346 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6304] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6304/stat : 6304 (java) S 6297 6299 6253 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197912346 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6305] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6305/stat : 6305 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197912350 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6306] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6306/stat : 6306 (java) S 6297 6299 6253 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 197912350 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6307] ppid=6297 vsize=1712656 CPUtime=1.08
/proc/6299/task/6307/stat : 6307 (java) S 6297 6299 6253 0 -1 64 852 0 0 0 108 0 0 0 17 0 13 0 197912350 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6308] ppid=6297 vsize=1712656 CPUtime=0.99
/proc/6299/task/6308/stat : 6308 (java) S 6297 6299 6253 0 -1 64 2590 0 0 0 98 1 0 0 17 0 13 0 197912350 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6309] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6309/stat : 6309 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197912350 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6310] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6310/stat : 6310 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197912350 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6314] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6314/stat : 6314 (java) S 6297 6299 6253 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 197912643 1753759744 36467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.62
Current children cumulated vsize (Kb) 1712656

[startup+40.0221 s]
/proc/loadavg: 0.93 0.95 0.98 2/76 6314
/proc/meminfo: memFree=1053248/2055920 swapFree=4181408/4192956
[pid=6299] ppid=6297 vsize=1712656 CPUtime=41.63
/proc/6299/stat : 6299 (java) R 6297 6299 6253 0 -1 0 51418 0 1 0 4137 26 0 0 25 0 13 0 197912338 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071757635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6299/statm: 428164 36250 1912 14 0 414911 0
[pid=6299/tid=6300] ppid=6297 vsize=1712656 CPUtime=0.3
/proc/6299/task/6300/stat : 6300 (java) S 6297 6299 6253 0 -1 64 5713 0 0 0 27 3 0 0 15 0 13 0 197912343 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6301] ppid=6297 vsize=1712656 CPUtime=0.3
/proc/6299/task/6301/stat : 6301 (java) S 6297 6299 6253 0 -1 64 5548 0 0 0 26 4 0 0 16 0 13 0 197912343 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6302] ppid=6297 vsize=1712656 CPUtime=0.03
/proc/6299/task/6302/stat : 6302 (java) S 6297 6299 6253 0 -1 64 22 0 0 0 2 1 0 0 16 0 13 0 197912346 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6303] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6303/stat : 6303 (java) S 6297 6299 6253 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197912346 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6304] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6304/stat : 6304 (java) S 6297 6299 6253 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197912346 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6305] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6305/stat : 6305 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197912350 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6306] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6306/stat : 6306 (java) S 6297 6299 6253 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 197912350 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6307] ppid=6297 vsize=1712656 CPUtime=1.08
/proc/6299/task/6307/stat : 6307 (java) S 6297 6299 6253 0 -1 64 852 0 0 0 108 0 0 0 17 0 13 0 197912350 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6308] ppid=6297 vsize=1712656 CPUtime=0.99
/proc/6299/task/6308/stat : 6308 (java) S 6297 6299 6253 0 -1 64 2590 0 0 0 98 1 0 0 17 0 13 0 197912350 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6309] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6309/stat : 6309 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197912350 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6310] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6310/stat : 6310 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197912350 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6314] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6314/stat : 6314 (java) S 6297 6299 6253 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197912643 1753759744 36250 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.63
Current children cumulated vsize (Kb) 1712656

[startup+50.0289 s]
/proc/loadavg: 0.94 0.95 0.98 2/76 6314
/proc/meminfo: memFree=1053696/2055920 swapFree=4181408/4192956
[pid=6299] ppid=6297 vsize=1712656 CPUtime=51.64
/proc/6299/stat : 6299 (java) R 6297 6299 6253 0 -1 0 51575 0 1 0 5137 27 0 0 25 0 13 0 197912338 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071462297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6299/statm: 428164 36127 1912 14 0 414911 0
[pid=6299/tid=6300] ppid=6297 vsize=1712656 CPUtime=0.32
/proc/6299/task/6300/stat : 6300 (java) S 6297 6299 6253 0 -1 64 5804 0 0 0 29 3 0 0 16 0 13 0 197912343 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6301] ppid=6297 vsize=1712656 CPUtime=0.31
/proc/6299/task/6301/stat : 6301 (java) S 6297 6299 6253 0 -1 64 5560 0 0 0 27 4 0 0 15 0 13 0 197912343 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6302] ppid=6297 vsize=1712656 CPUtime=0.04
/proc/6299/task/6302/stat : 6302 (java) S 6297 6299 6253 0 -1 64 22 0 0 0 3 1 0 0 16 0 13 0 197912346 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6303] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6303/stat : 6303 (java) S 6297 6299 6253 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197912346 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6304] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6304/stat : 6304 (java) S 6297 6299 6253 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197912346 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6305] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6305/stat : 6305 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197912350 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6306] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6306/stat : 6306 (java) S 6297 6299 6253 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 197912350 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6307] ppid=6297 vsize=1712656 CPUtime=1.08
/proc/6299/task/6307/stat : 6307 (java) S 6297 6299 6253 0 -1 64 852 0 0 0 108 0 0 0 17 0 13 0 197912350 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6308] ppid=6297 vsize=1712656 CPUtime=0.99
/proc/6299/task/6308/stat : 6308 (java) S 6297 6299 6253 0 -1 64 2590 0 0 0 98 1 0 0 16 0 13 0 197912350 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6309] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6309/stat : 6309 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197912350 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6310] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6310/stat : 6310 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197912350 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6314] ppid=6297 vsize=1712656 CPUtime=0
/proc/6299/task/6314/stat : 6314 (java) S 6297 6299 6253 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197912643 1753759744 36127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.64
Current children cumulated vsize (Kb) 1712656

[startup+60.0356 s]
/proc/loadavg: 0.95 0.95 0.98 2/76 6314
/proc/meminfo: memFree=1036928/2055920 swapFree=4181408/4192956
[pid=6299] ppid=6297 vsize=1713680 CPUtime=61.76
/proc/6299/stat : 6299 (java) R 6297 6299 6253 0 -1 0 56466 0 1 0 6145 31 0 0 25 0 13 0 197912338 1754808320 40372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071748705 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6299/statm: 428420 40372 1912 14 0 415167 0
[pid=6299/tid=6300] ppid=6297 vsize=1713680 CPUtime=0.36
/proc/6299/task/6300/stat : 6300 (java) S 6297 6299 6253 0 -1 64 6520 0 0 0 32 4 0 0 16 0 13 0 197912343 1754808320 40372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6301] ppid=6297 vsize=1713680 CPUtime=0.35
/proc/6299/task/6301/stat : 6301 (java) S 6297 6299 6253 0 -1 64 6345 0 0 0 31 4 0 0 15 0 13 0 197912343 1754808320 40372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6302] ppid=6297 vsize=1713680 CPUtime=0.06
/proc/6299/task/6302/stat : 6302 (java) S 6297 6299 6253 0 -1 64 40 0 0 0 4 2 0 0 16 0 13 0 197912346 1754808320 40372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6303] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6303/stat : 6303 (java) S 6297 6299 6253 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 40372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6304] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6304/stat : 6304 (java) S 6297 6299 6253 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197912346 1754808320 40372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6305] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6305/stat : 6305 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197912350 1754808320 40372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=6299/tid=6303] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6303/stat : 6303 (java) S 6297 6299 6253 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6304] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6304/stat : 6304 (java) S 6297 6299 6253 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6305] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6305/stat : 6305 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6306] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6306/stat : 6306 (java) S 6297 6299 6253 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6307] ppid=6297 vsize=1713680 CPUtime=1.12
/proc/6299/task/6307/stat : 6307 (java) S 6297 6299 6253 0 -1 64 854 0 0 0 112 0 0 0 17 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6308] ppid=6297 vsize=1713680 CPUtime=1.12
/proc/6299/task/6308/stat : 6308 (java) S 6297 6299 6253 0 -1 64 3163 0 0 0 111 1 0 0 16 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6309] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6309/stat : 6309 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6310] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6310/stat : 6310 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6325] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6325/stat : 6325 (java) S 6297 6299 6253 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197938881 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.56
Current children cumulated vsize (Kb) 1713680

[startup+1780.32 s]
/proc/loadavg: 1.02 1.03 1.00 2/76 6327
/proc/meminfo: memFree=713872/2055920 swapFree=4181408/4192956
[pid=6299] ppid=6297 vsize=1713680 CPUtime=1797.58
/proc/6299/stat : 6299 (java) R 6297 6299 6253 0 -1 0 210699 0 1 0 179461 297 0 0 25 0 13 0 197912338 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071460528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6299/statm: 428420 120781 1912 14 0 415167 0
[pid=6299/tid=6300] ppid=6297 vsize=1713680 CPUtime=16.72
/proc/6299/task/6300/stat : 6300 (java) S 6297 6299 6253 0 -1 64 50756 0 0 0 1570 102 0 0 16 0 13 0 197912343 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6301] ppid=6297 vsize=1713680 CPUtime=16.67
/proc/6299/task/6301/stat : 6301 (java) S 6297 6299 6253 0 -1 64 51710 0 0 0 1574 93 0 0 16 0 13 0 197912343 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6302] ppid=6297 vsize=1713680 CPUtime=0.98
/proc/6299/task/6302/stat : 6302 (java) S 6297 6299 6253 0 -1 64 246 0 0 0 56 42 0 0 15 0 13 0 197912346 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6303] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6303/stat : 6303 (java) S 6297 6299 6253 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6304] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6304/stat : 6304 (java) S 6297 6299 6253 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6305] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6305/stat : 6305 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6306] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6306/stat : 6306 (java) S 6297 6299 6253 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6307] ppid=6297 vsize=1713680 CPUtime=1.12
/proc/6299/task/6307/stat : 6307 (java) S 6297 6299 6253 0 -1 64 854 0 0 0 112 0 0 0 17 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6308] ppid=6297 vsize=1713680 CPUtime=1.12
/proc/6299/task/6308/stat : 6308 (java) S 6297 6299 6253 0 -1 64 3163 0 0 0 111 1 0 0 16 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6309] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6309/stat : 6309 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6310] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6310/stat : 6310 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6325] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6325/stat : 6325 (java) S 6297 6299 6253 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197938881 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (Kb) 1713680

[startup+1781.33 s]
/proc/loadavg: 1.02 1.03 1.00 2/76 6327
/proc/meminfo: memFree=713872/2055920 swapFree=4181408/4192956
[pid=6299] ppid=6297 vsize=1713680 CPUtime=1798.59
/proc/6299/stat : 6299 (java) R 6297 6299 6253 0 -1 0 210701 0 1 0 179562 297 0 0 25 0 13 0 197912338 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071460743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6299/statm: 428420 120781 1912 14 0 415167 0
[pid=6299/tid=6300] ppid=6297 vsize=1713680 CPUtime=16.73
/proc/6299/task/6300/stat : 6300 (java) S 6297 6299 6253 0 -1 64 50756 0 0 0 1571 102 0 0 16 0 13 0 197912343 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6301] ppid=6297 vsize=1713680 CPUtime=16.68
/proc/6299/task/6301/stat : 6301 (java) S 6297 6299 6253 0 -1 64 51710 0 0 0 1575 93 0 0 16 0 13 0 197912343 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6302] ppid=6297 vsize=1713680 CPUtime=0.98
/proc/6299/task/6302/stat : 6302 (java) S 6297 6299 6253 0 -1 64 246 0 0 0 56 42 0 0 15 0 13 0 197912346 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6303] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6303/stat : 6303 (java) S 6297 6299 6253 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6304] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6304/stat : 6304 (java) S 6297 6299 6253 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6305] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6305/stat : 6305 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6306] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6306/stat : 6306 (java) S 6297 6299 6253 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6307] ppid=6297 vsize=1713680 CPUtime=1.12
/proc/6299/task/6307/stat : 6307 (java) S 6297 6299 6253 0 -1 64 854 0 0 0 112 0 0 0 17 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6308] ppid=6297 vsize=1713680 CPUtime=1.12
/proc/6299/task/6308/stat : 6308 (java) S 6297 6299 6253 0 -1 64 3163 0 0 0 111 1 0 0 16 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6309] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6309/stat : 6309 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6310] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6310/stat : 6310 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197912350 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6325] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6325/stat : 6325 (java) S 6297 6299 6253 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197938881 1754808320 120781 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (Kb) 1713680

[startup+1782.34 s]
/proc/loadavg: 1.02 1.03 1.00 2/76 6327
/proc/meminfo: memFree=713872/2055920 swapFree=4181408/4192956
[pid=6299] ppid=6297 vsize=1713680 CPUtime=1799.62
/proc/6299/stat : 6299 (java) R 6297 6299 6253 0 -1 0 210703 0 1 0 179664 298 0 0 25 0 13 0 197912338 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071460488 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6299/statm: 428420 120773 1912 14 0 415167 0
[pid=6299/tid=6300] ppid=6297 vsize=1713680 CPUtime=16.74
/proc/6299/task/6300/stat : 6300 (java) S 6297 6299 6253 0 -1 64 50756 0 0 0 1572 102 0 0 16 0 13 0 197912343 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6301] ppid=6297 vsize=1713680 CPUtime=16.7
/proc/6299/task/6301/stat : 6301 (java) S 6297 6299 6253 0 -1 64 51710 0 0 0 1576 94 0 0 16 0 13 0 197912343 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6302] ppid=6297 vsize=1713680 CPUtime=0.98
/proc/6299/task/6302/stat : 6302 (java) S 6297 6299 6253 0 -1 64 246 0 0 0 56 42 0 0 15 0 13 0 197912346 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6303] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6303/stat : 6303 (java) S 6297 6299 6253 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6304] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6304/stat : 6304 (java) S 6297 6299 6253 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6305] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6305/stat : 6305 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197912350 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6306] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6306/stat : 6306 (java) S 6297 6299 6253 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197912350 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6307] ppid=6297 vsize=1713680 CPUtime=1.12
/proc/6299/task/6307/stat : 6307 (java) S 6297 6299 6253 0 -1 64 854 0 0 0 112 0 0 0 17 0 13 0 197912350 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6308] ppid=6297 vsize=1713680 CPUtime=1.12
/proc/6299/task/6308/stat : 6308 (java) S 6297 6299 6253 0 -1 64 3163 0 0 0 111 1 0 0 16 0 13 0 197912350 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6309] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6309/stat : 6309 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197912350 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6310] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6310/stat : 6310 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197912350 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6325] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6325/stat : 6325 (java) S 6297 6299 6253 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197938881 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (Kb) 1713680

[startup+1783.34 s]
/proc/loadavg: 1.02 1.03 1.00 2/76 6327
/proc/meminfo: memFree=713872/2055920 swapFree=4181408/4192956
[pid=6299] ppid=6297 vsize=1713680 CPUtime=1800.63
/proc/6299/stat : 6299 (java) R 6297 6299 6253 0 -1 0 210705 0 1 0 179765 298 0 0 25 0 13 0 197912338 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6299/statm: 428420 120773 1912 14 0 415167 0
[pid=6299/tid=6300] ppid=6297 vsize=1713680 CPUtime=16.75
/proc/6299/task/6300/stat : 6300 (java) R 6297 6299 6253 0 -1 64 50756 0 0 0 1573 102 0 0 16 0 13 0 197912343 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6301] ppid=6297 vsize=1713680 CPUtime=16.71
/proc/6299/task/6301/stat : 6301 (java) R 6297 6299 6253 0 -1 64 51710 0 0 0 1577 94 0 0 15 0 13 0 197912343 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4151726533 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6302] ppid=6297 vsize=1713680 CPUtime=0.98
/proc/6299/task/6302/stat : 6302 (java) S 6297 6299 6253 0 -1 64 246 0 0 0 56 42 0 0 15 0 13 0 197912346 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6303] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6303/stat : 6303 (java) S 6297 6299 6253 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6304] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6304/stat : 6304 (java) S 6297 6299 6253 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6305] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6305/stat : 6305 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197912350 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6306] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6306/stat : 6306 (java) S 6297 6299 6253 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197912350 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6307] ppid=6297 vsize=1713680 CPUtime=1.12
/proc/6299/task/6307/stat : 6307 (java) S 6297 6299 6253 0 -1 64 854 0 0 0 112 0 0 0 17 0 13 0 197912350 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6308] ppid=6297 vsize=1713680 CPUtime=1.12
/proc/6299/task/6308/stat : 6308 (java) S 6297 6299 6253 0 -1 64 3163 0 0 0 111 1 0 0 16 0 13 0 197912350 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6309] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6309/stat : 6309 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197912350 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6310] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6310/stat : 6310 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197912350 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6325] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6325/stat : 6325 (java) S 6297 6299 6253 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197938881 1754808320 120773 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 1713680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.35 s]
/proc/loadavg: 1.02 1.03 1.00 4/76 6327
/proc/meminfo: memFree=713872/2055920 swapFree=4181408/4192956
[pid=6299] ppid=6297 vsize=1713680 CPUtime=1800.64
/proc/6299/stat : 6299 (java) R 6297 6299 6253 0 -1 0 210714 0 1 0 179766 298 0 0 25 0 13 0 197912338 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6299/statm: 428420 120782 1912 14 0 415167 0
[pid=6299/tid=6300] ppid=6297 vsize=1713680 CPUtime=16.75
/proc/6299/task/6300/stat : 6300 (java) R 6297 6299 6253 0 -1 64 50756 0 0 0 1573 102 0 0 16 0 13 0 197912343 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154649095 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6301] ppid=6297 vsize=1713680 CPUtime=16.71
/proc/6299/task/6301/stat : 6301 (java) R 6297 6299 6253 0 -1 64 51719 0 0 0 1577 94 0 0 15 0 13 0 197912343 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6302] ppid=6297 vsize=1713680 CPUtime=0.98
/proc/6299/task/6302/stat : 6302 (java) S 6297 6299 6253 0 -1 64 246 0 0 0 56 42 0 0 15 0 13 0 197912346 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6303] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6303/stat : 6303 (java) S 6297 6299 6253 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6304] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6304/stat : 6304 (java) S 6297 6299 6253 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197912346 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6305] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6305/stat : 6305 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197912350 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6306] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6306/stat : 6306 (java) S 6297 6299 6253 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197912350 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6307] ppid=6297 vsize=1713680 CPUtime=1.12
/proc/6299/task/6307/stat : 6307 (java) S 6297 6299 6253 0 -1 64 854 0 0 0 112 0 0 0 17 0 13 0 197912350 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6308] ppid=6297 vsize=1713680 CPUtime=1.12
/proc/6299/task/6308/stat : 6308 (java) S 6297 6299 6253 0 -1 64 3163 0 0 0 111 1 0 0 16 0 13 0 197912350 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6309] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6309/stat : 6309 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197912350 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6299/tid=6310] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6310/stat : 6310 (java) S 6297 6299 6253 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197912350 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6299/tid=6325] ppid=6297 vsize=1713680 CPUtime=0
/proc/6299/task/6325/stat : 6325 (java) S 6297 6299 6253 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197938881 1754808320 120782 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 1713680

Sending SIGTERM to -6299
Sleeping 2 seconds

Child status: 143
Real time (s): 1783.57
CPU time (s): 1800.98
CPU user time (s): 1797.93
CPU system time (s): 3.05353
CPU usage (%): 100.976
Max. virtual memory (cumulated for all children) (Kb): 1713680

Launcher Data (download as text)

Begin job on node15 on Sat Jun  3 08:14:55 UTC 2006


FILE ID= 42338-1149322495

PBS_JOBID= 309433

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node15/42338-1149322495/instance-42338-1149322495.opb 917484399
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-42338-1149322495 -o ROOT/results/node15/solver-42338-1149322495 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node15/42338-1149322495/instance-42338-1149322495.opb 917484399

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  3f00532e02ccc246cb25b1a4f0a837d4

RANDOM SEED= 917484399


/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.285
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.285
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:       1191392 kB
Buffers:         40844 kB
Cached:         749272 kB
SwapCached:       3308 kB
Active:         124844 kB
Inactive:       674000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1191392 kB
SwapTotal:     4192956 kB
SwapFree:      4181408 kB
Dirty:             292 kB
Writeback:           0 kB
Mapped:          14692 kB
Slab:            51636 kB
Committed_AS:   316208 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node15 on Sat Jun  3 08:44:39 UTC 2006