Trace number 42450

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)524189 1800.35 1786.52

General information on the benchmark

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

Verifier Data (download as text)

OK	524189

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.90 3/64 1300
/proc/meminfo: memFree=1850512/2055920 swapFree=4181416/4192956
[pid=1300] ppid=1298 vsize=1784 CPUtime=0
/proc/1300/stat : 1300 (java) R 1298 1300 1254 0 -1 0 155 0 0 0 0 0 0 0 18 0 1 0 192433167 1826816 126 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 2819232 0 0 4096 0 0 0 0 17 1 0 0
/proc/1300/statm: 446 137 102 14 0 91 0

[startup+10.0014 s]
/proc/loadavg: 0.87 0.94 0.90 3/82 1385
/proc/meminfo: memFree=1654904/2055920 swapFree=4181416/4192956
[pid=1300] ppid=1298 vsize=1712464 CPUtime=11.36
/proc/1300/stat : 1300 (java) R 1298 1300 1254 0 -1 0 54712 0 1 0 1109 27 0 0 23 0 13 0 192433167 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071404568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 428116 50319 1910 14 0 414863 0
[pid=1300/tid=1301] ppid=1298 vsize=1712464 CPUtime=0.37
/proc/1300/task/1301/stat : 1301 (java) S 1298 1300 1254 0 -1 64 7655 0 0 0 33 4 0 0 16 0 13 0 192433171 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1302] ppid=1298 vsize=1712464 CPUtime=0.37
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 1254 0 -1 64 7752 0 0 0 35 2 0 0 16 0 13 0 192433171 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=1712464 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 1254 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 192433174 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=1712464 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 1254 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192433174 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1305] ppid=1298 vsize=1712464 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 1254 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192433175 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1306] ppid=1298 vsize=1712464 CPUtime=0
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192433178 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1307] ppid=1298 vsize=1712464 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 1254 0 -1 64 20 0 0 0 0 0 0 0 17 0 13 0 192433178 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1308] ppid=1298 vsize=1712464 CPUtime=0.74
/proc/1300/task/1308/stat : 1308 (java) R 1298 1300 1254 0 -1 64 1650 0 0 0 72 2 0 0 17 0 13 0 192433178 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152385877 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1309] ppid=1298 vsize=1712464 CPUtime=0.75
/proc/1300/task/1309/stat : 1309 (java) S 1298 1300 1254 0 -1 64 1071 0 0 0 75 0 0 0 16 0 13 0 192433178 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1310] ppid=1298 vsize=1712464 CPUtime=0
/proc/1300/task/1310/stat : 1310 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192433178 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1311] ppid=1298 vsize=1712464 CPUtime=0
/proc/1300/task/1311/stat : 1311 (java) S 1298 1300 1254 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192433178 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1377] ppid=1298 vsize=1712464 CPUtime=0
/proc/1300/task/1377/stat : 1377 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 192433634 1753563136 50319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (Kb) 1712464

[startup+20.0143 s]
/proc/loadavg: 0.89 0.94 0.90 2/76 1509
/proc/meminfo: memFree=1671528/2055920 swapFree=4181416/4192956
[pid=1300] ppid=1298 vsize=1714840 CPUtime=21.77
/proc/1300/stat : 1300 (java) R 1298 1300 1254 0 -1 0 58523 0 1 0 2145 32 0 0 25 0 13 0 192433167 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071716856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 428710 46456 1910 14 0 415457 0
[pid=1300/tid=1301] ppid=1298 vsize=1714840 CPUtime=0.43
/proc/1300/task/1301/stat : 1301 (java) S 1298 1300 1254 0 -1 64 8472 0 0 0 39 4 0 0 17 0 13 0 192433171 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=1714840 CPUtime=0.43
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 1254 0 -1 64 8892 0 0 0 40 3 0 0 16 0 13 0 192433171 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=1714840 CPUtime=0.01
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 1254 0 -1 64 38 0 0 0 0 1 0 0 16 0 13 0 192433174 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=1714840 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 1254 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192433174 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1305] ppid=1298 vsize=1714840 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 1254 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192433175 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1306] ppid=1298 vsize=1714840 CPUtime=0
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192433178 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1307] ppid=1298 vsize=1714840 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 1254 0 -1 64 20 0 0 0 0 0 0 0 17 0 13 0 192433178 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1308] ppid=1298 vsize=1714840 CPUtime=0.91
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 1254 0 -1 64 2534 0 0 0 89 2 0 0 16 0 13 0 192433178 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1309] ppid=1298 vsize=1714840 CPUtime=0.96
/proc/1300/task/1309/stat : 1309 (java) S 1298 1300 1254 0 -1 64 1993 0 0 0 96 0 0 0 17 0 13 0 192433178 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1310] ppid=1298 vsize=1714840 CPUtime=0
/proc/1300/task/1310/stat : 1310 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192433178 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1311] ppid=1298 vsize=1714840 CPUtime=0
/proc/1300/task/1311/stat : 1311 (java) S 1298 1300 1254 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192433178 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1377] ppid=1298 vsize=1714840 CPUtime=0
/proc/1300/task/1377/stat : 1377 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 192433634 1755996160 46456 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.77
Current children cumulated vsize (Kb) 1714840

[startup+30.0211 s]
/proc/loadavg: 0.90 0.94 0.90 2/76 1509
/proc/meminfo: memFree=1672112/2055920 swapFree=4181416/4192956
[pid=1300] ppid=1298 vsize=1714224 CPUtime=31.78
/proc/1300/stat : 1300 (java) R 1298 1300 1254 0 -1 0 58650 0 1 0 3146 32 0 0 25 0 13 0 192433167 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071671391 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 428556 46288 1910 14 0 415303 0
[pid=1300/tid=1301] ppid=1298 vsize=1714224 CPUtime=0.44
/proc/1300/task/1301/stat : 1301 (java) S 1298 1300 1254 0 -1 64 8517 0 0 0 40 4 0 0 16 0 13 0 192433171 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=1714224 CPUtime=0.45
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 1254 0 -1 64 8949 0 0 0 42 3 0 0 15 0 13 0 192433171 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=1714224 CPUtime=0.01
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 1254 0 -1 64 38 0 0 0 0 1 0 0 16 0 13 0 192433174 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 1254 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192433174 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1305] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 1254 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192433175 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1306] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192433178 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1307] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 1254 0 -1 64 20 0 0 0 0 0 0 0 17 0 13 0 192433178 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1308] ppid=1298 vsize=1714224 CPUtime=0.91
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 1254 0 -1 64 2534 0 0 0 89 2 0 0 17 0 13 0 192433178 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1309] ppid=1298 vsize=1714224 CPUtime=0.97
/proc/1300/task/1309/stat : 1309 (java) S 1298 1300 1254 0 -1 64 1993 0 0 0 97 0 0 0 17 0 13 0 192433178 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1310] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1310/stat : 1310 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192433178 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1311] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1311/stat : 1311 (java) S 1298 1300 1254 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192433178 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1377] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1377/stat : 1377 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 192433634 1755365376 46288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.78
Current children cumulated vsize (Kb) 1714224

[startup+40.0279 s]
/proc/loadavg: 0.92 0.94 0.90 2/76 1509
/proc/meminfo: memFree=1674224/2055920 swapFree=4181416/4192956
[pid=1300] ppid=1298 vsize=1714224 CPUtime=41.82
/proc/1300/stat : 1300 (java) R 1298 1300 1254 0 -1 0 59714 0 1 0 4148 34 0 0 25 0 13 0 192433167 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071670972 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 428556 45755 1910 14 0 415303 0
[pid=1300/tid=1301] ppid=1298 vsize=1714224 CPUtime=0.47
/proc/1300/task/1301/stat : 1301 (java) S 1298 1300 1254 0 -1 64 9102 0 0 0 43 4 0 0 15 0 13 0 192433171 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=1714224 CPUtime=0.48
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 1254 0 -1 64 9406 0 0 0 44 4 0 0 16 0 13 0 192433171 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=1714224 CPUtime=0.02
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 1254 0 -1 64 38 0 0 0 1 1 0 0 17 0 13 0 192433174 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 1254 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192433174 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1305] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 1254 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192433175 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1306] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192433178 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1307] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 1254 0 -1 64 20 0 0 0 0 0 0 0 17 0 13 0 192433178 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1308] ppid=1298 vsize=1714224 CPUtime=0.91
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 1254 0 -1 64 2534 0 0 0 89 2 0 0 17 0 13 0 192433178 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1309] ppid=1298 vsize=1714224 CPUtime=0.97
/proc/1300/task/1309/stat : 1309 (java) S 1298 1300 1254 0 -1 64 1993 0 0 0 97 0 0 0 17 0 13 0 192433178 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1310] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1310/stat : 1310 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192433178 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1311] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1311/stat : 1311 (java) S 1298 1300 1254 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192433178 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1377] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1377/stat : 1377 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 192433634 1755365376 45755 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.82
Current children cumulated vsize (Kb) 1714224

[startup+50.0347 s]
/proc/loadavg: 0.93 0.94 0.90 2/76 1509
/proc/meminfo: memFree=1676720/2055920 swapFree=4181416/4192956
[pid=1300] ppid=1298 vsize=1714224 CPUtime=51.83
/proc/1300/stat : 1300 (java) R 1298 1300 1254 0 -1 0 59762 0 1 0 5149 34 0 0 25 0 13 0 192433167 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071716835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 428556 45137 1910 14 0 415303 0
[pid=1300/tid=1301] ppid=1298 vsize=1714224 CPUtime=0.5
/proc/1300/task/1301/stat : 1301 (java) S 1298 1300 1254 0 -1 64 9122 0 0 0 45 5 0 0 16 0 13 0 192433171 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=1714224 CPUtime=0.49
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 1254 0 -1 64 9410 0 0 0 45 4 0 0 16 0 13 0 192433171 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=1714224 CPUtime=0.02
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 1254 0 -1 64 38 0 0 0 1 1 0 0 15 0 13 0 192433174 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 1254 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192433174 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1305] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 1254 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192433175 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1306] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192433178 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1307] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 1254 0 -1 64 20 0 0 0 0 0 0 0 17 0 13 0 192433178 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1308] ppid=1298 vsize=1714224 CPUtime=0.91
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 1254 0 -1 64 2534 0 0 0 89 2 0 0 17 0 13 0 192433178 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1309] ppid=1298 vsize=1714224 CPUtime=0.97
/proc/1300/task/1309/stat : 1309 (java) S 1298 1300 1254 0 -1 64 1993 0 0 0 97 0 0 0 17 0 13 0 192433178 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1310] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1310/stat : 1310 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192433178 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1311] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1311/stat : 1311 (java) S 1298 1300 1254 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192433178 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1377] ppid=1298 vsize=1714224 CPUtime=0
/proc/1300/task/1377/stat : 1377 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 192433634 1755365376 45137 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.83
Current children cumulated vsize (Kb) 1714224

[startup+60.0416 s]
/proc/loadavg: 0.94 0.95 0.91 2/76 1509
/proc/meminfo: memFree=1678000/2055920 swapFree=4181416/4192956
[pid=1300] ppid=1298 vsize=1713220 CPUtime=61.9
/proc/1300/stat : 1300 (java) R 1298 1300 1254 0 -1 0 59842 0 1 0 6155 35 0 0 17 0 13 0 192433167 1754337280 44788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071716854 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 428305 44788 1910 14 0 415052 0
[pid=1300/tid=1301] ppid=1298 vsize=1713220 CPUtime=0.51
/proc/1300/task/1301/stat : 1301 (java) S 1298 1300 1254 0 -1 64 9144 0 0 0 46 5 0 0 15 0 13 0 192433171 1754337280 44788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=1713220 CPUtime=0.51
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 1254 0 -1 64 9438 0 0 0 47 4 0 0 16 0 13 0 192433171 1754337280 44788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=1713220 CPUtime=0.02
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 1254 0 -1 64 38 0 0 0 1 1 0 0 15 0 13 0 192433174 1754337280 44788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1304] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 1254 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192433174 1754337280 44788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1305] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 1254 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192433175 1754337280 44788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1306] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192433178 1754337280 44788 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=1300/tid=1304] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 1254 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192433174 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1305] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 1254 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192433175 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1306] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1307] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 1254 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1308] ppid=1298 vsize=1713220 CPUtime=1.01
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 1254 0 -1 64 2539 0 0 0 99 2 0 0 16 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1309] ppid=1298 vsize=1713220 CPUtime=1.1
/proc/1300/task/1309/stat : 1309 (java) S 1298 1300 1254 0 -1 64 1998 0 0 0 110 0 0 0 16 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1310] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1310/stat : 1310 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1311] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1311/stat : 1311 (java) S 1298 1300 1254 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1510] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1510/stat : 1510 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 192498249 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (Kb) 1713220

[startup+1783.33 s]
/proc/loadavg: 1.10 1.04 0.94 2/76 1510
/proc/meminfo: memFree=1557168/2055920 swapFree=4181416/4192956
[pid=1300] ppid=1298 vsize=1713220 CPUtime=1797.04
/proc/1300/stat : 1300 (java) R 1298 1300 1254 0 -1 0 122192 0 1 0 179527 177 0 0 18 0 13 0 192433167 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071418639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1300/statm: 428305 74727 1910 14 0 415052 0
[pid=1300/tid=1301] ppid=1298 vsize=1713220 CPUtime=13.12
/proc/1300/task/1301/stat : 1301 (java) S 1298 1300 1254 0 -1 64 20535 0 0 0 1267 45 0 0 16 0 13 0 192433171 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1302] ppid=1298 vsize=1713220 CPUtime=13.14
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 1254 0 -1 64 22039 0 0 0 1268 46 0 0 16 0 13 0 192433171 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=1713220 CPUtime=0.82
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 1254 0 -1 64 130 0 0 0 49 33 0 0 16 0 13 0 192433174 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 1254 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192433174 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1305] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 1254 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192433175 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1306] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1307] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 1254 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1308] ppid=1298 vsize=1713220 CPUtime=1.01
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 1254 0 -1 64 2539 0 0 0 99 2 0 0 16 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1309] ppid=1298 vsize=1713220 CPUtime=1.1
/proc/1300/task/1309/stat : 1309 (java) S 1298 1300 1254 0 -1 64 1998 0 0 0 110 0 0 0 16 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1310] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1310/stat : 1310 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1311] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1311/stat : 1311 (java) S 1298 1300 1254 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1510] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1510/stat : 1510 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 192498249 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (Kb) 1713220

[startup+1784.33 s]
/proc/loadavg: 1.10 1.04 0.94 2/76 1510
/proc/meminfo: memFree=1557168/2055920 swapFree=4181416/4192956
[pid=1300] ppid=1298 vsize=1713220 CPUtime=1798.05
/proc/1300/stat : 1300 (java) R 1298 1300 1254 0 -1 0 122193 0 1 0 179628 177 0 0 19 0 13 0 192433167 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071418865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1300/statm: 428305 74727 1910 14 0 415052 0
[pid=1300/tid=1301] ppid=1298 vsize=1713220 CPUtime=13.13
/proc/1300/task/1301/stat : 1301 (java) S 1298 1300 1254 0 -1 64 20535 0 0 0 1268 45 0 0 16 0 13 0 192433171 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1302] ppid=1298 vsize=1713220 CPUtime=13.14
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 1254 0 -1 64 22039 0 0 0 1268 46 0 0 15 0 13 0 192433171 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=1713220 CPUtime=0.82
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 1254 0 -1 64 130 0 0 0 49 33 0 0 16 0 13 0 192433174 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 1254 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192433174 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1305] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 1254 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192433175 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1306] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1307] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 1254 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1308] ppid=1298 vsize=1713220 CPUtime=1.01
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 1254 0 -1 64 2539 0 0 0 99 2 0 0 16 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1309] ppid=1298 vsize=1713220 CPUtime=1.1
/proc/1300/task/1309/stat : 1309 (java) S 1298 1300 1254 0 -1 64 1998 0 0 0 110 0 0 0 16 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1310] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1310/stat : 1310 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1311] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1311/stat : 1311 (java) S 1298 1300 1254 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192433178 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1510] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1510/stat : 1510 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 192498249 1754337280 74727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (Kb) 1713220

[startup+1785.34 s]
/proc/loadavg: 1.09 1.04 0.94 2/76 1510
/proc/meminfo: memFree=1557168/2055920 swapFree=4181416/4192956
[pid=1300] ppid=1298 vsize=1713220 CPUtime=1799.07
/proc/1300/stat : 1300 (java) R 1298 1300 1254 0 -1 0 122199 0 1 0 179730 177 0 0 20 0 13 0 192433167 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071673132 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1300/statm: 428305 74731 1910 14 0 415052 0
[pid=1300/tid=1301] ppid=1298 vsize=1713220 CPUtime=13.14
/proc/1300/task/1301/stat : 1301 (java) S 1298 1300 1254 0 -1 64 20537 0 0 0 1269 45 0 0 16 0 13 0 192433171 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1302] ppid=1298 vsize=1713220 CPUtime=13.15
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 1254 0 -1 64 22041 0 0 0 1269 46 0 0 16 0 13 0 192433171 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=1713220 CPUtime=0.82
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 1254 0 -1 64 130 0 0 0 49 33 0 0 16 0 13 0 192433174 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 1254 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192433174 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1305] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 1254 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192433175 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1306] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192433178 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1307] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 1254 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 192433178 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1308] ppid=1298 vsize=1713220 CPUtime=1.01
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 1254 0 -1 64 2539 0 0 0 99 2 0 0 16 0 13 0 192433178 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1309] ppid=1298 vsize=1713220 CPUtime=1.1
/proc/1300/task/1309/stat : 1309 (java) S 1298 1300 1254 0 -1 64 1998 0 0 0 110 0 0 0 16 0 13 0 192433178 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1310] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1310/stat : 1310 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192433178 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1311] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1311/stat : 1311 (java) S 1298 1300 1254 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192433178 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1510] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1510/stat : 1510 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 192498249 1754337280 74731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (Kb) 1713220

[startup+1786.35 s]
/proc/loadavg: 1.09 1.04 0.94 2/76 1510
/proc/meminfo: memFree=1557168/2055920 swapFree=4181416/4192956
[pid=1300] ppid=1298 vsize=1713220 CPUtime=1800.08
/proc/1300/stat : 1300 (java) R 1298 1300 1254 0 -1 0 122208 0 1 0 179831 177 0 0 23 0 13 0 192433167 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071418542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1300/statm: 428305 74739 1910 14 0 415052 0
[pid=1300/tid=1301] ppid=1298 vsize=1713220 CPUtime=13.14
/proc/1300/task/1301/stat : 1301 (java) S 1298 1300 1254 0 -1 64 20544 0 0 0 1269 45 0 0 16 0 13 0 192433171 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1302] ppid=1298 vsize=1713220 CPUtime=13.16
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 1254 0 -1 64 22042 0 0 0 1270 46 0 0 16 0 13 0 192433171 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=1713220 CPUtime=0.82
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 1254 0 -1 64 130 0 0 0 49 33 0 0 16 0 13 0 192433174 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 1254 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192433174 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1305] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 1254 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192433175 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1306] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192433178 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1307] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 1254 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 192433178 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1308] ppid=1298 vsize=1713220 CPUtime=1.01
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 1254 0 -1 64 2539 0 0 0 99 2 0 0 16 0 13 0 192433178 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1309] ppid=1298 vsize=1713220 CPUtime=1.1
/proc/1300/task/1309/stat : 1309 (java) S 1298 1300 1254 0 -1 64 1998 0 0 0 110 0 0 0 16 0 13 0 192433178 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1310] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1310/stat : 1310 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192433178 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1311] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1311/stat : 1311 (java) S 1298 1300 1254 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192433178 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1510] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1510/stat : 1510 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 192498249 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (Kb) 1713220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.35 s]
/proc/loadavg: 1.09 1.04 0.94 2/76 1510
/proc/meminfo: memFree=1557168/2055920 swapFree=4181416/4192956
[pid=1300] ppid=1298 vsize=1713220 CPUtime=1800.08
/proc/1300/stat : 1300 (java) R 1298 1300 1254 0 -1 0 122208 0 1 0 179831 177 0 0 23 0 13 0 192433167 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071672195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1300/statm: 428305 74739 1910 14 0 415052 0
[pid=1300/tid=1301] ppid=1298 vsize=1713220 CPUtime=13.14
/proc/1300/task/1301/stat : 1301 (java) S 1298 1300 1254 0 -1 64 20544 0 0 0 1269 45 0 0 16 0 13 0 192433171 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1302] ppid=1298 vsize=1713220 CPUtime=13.16
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 1254 0 -1 64 22042 0 0 0 1270 46 0 0 16 0 13 0 192433171 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=1713220 CPUtime=0.82
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 1254 0 -1 64 130 0 0 0 49 33 0 0 16 0 13 0 192433174 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 1254 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192433174 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1305] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 1254 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192433175 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1306] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 1254 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192433178 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1307] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 1254 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 192433178 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1308] ppid=1298 vsize=1713220 CPUtime=1.01
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 1254 0 -1 64 2539 0 0 0 99 2 0 0 16 0 13 0 192433178 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1309] ppid=1298 vsize=1713220 CPUtime=1.1
/proc/1300/task/1309/stat : 1309 (java) S 1298 1300 1254 0 -1 64 1998 0 0 0 110 0 0 0 16 0 13 0 192433178 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1310] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1310/stat : 1310 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192433178 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1300/tid=1311] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1311/stat : 1311 (java) S 1298 1300 1254 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192433178 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1510] ppid=1298 vsize=1713220 CPUtime=0
/proc/1300/task/1510/stat : 1510 (java) S 1298 1300 1254 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 192498249 1754337280 74739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (Kb) 1713220

Sending SIGTERM to -1300
Sleeping 2 seconds

Child status: 143
Real time (s): 1786.52
CPU time (s): 1800.35
CPU user time (s): 1798.52
CPU system time (s): 1.82672
CPU usage (%): 100.774
Max. virtual memory (cumulated for all children) (Kb): 1714840

Launcher Data (download as text)

Begin job on node49 on Fri Jun  2 17:01:00 UTC 2006


FILE ID= 42450-1149267660

PBS_JOBID= 298915

BENCH NAME= ROOT/tmp/node49/42450-1149267660/instance-42450-1149267660.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node49/42450-1149267660/instance-42450-1149267660.opb 37833431
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node49/watcher-42450-1149267660 -o ROOT/results/node49/solver-42450-1149267660 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node49/42450-1149267660/instance-42450-1149267660.opb 37833431

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  5afe2e688387cc46a3d150d955d27ab1

RANDOM SEED= 37833431


/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.216
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.216
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:       1850784 kB
Buffers:          8580 kB
Cached:         139616 kB
SwapCached:       3036 kB
Active:          27592 kB
Inactive:       129076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1850784 kB
SwapTotal:     4192956 kB
SwapFree:      4181416 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14908 kB
Slab:            34468 kB
Committed_AS:   267304 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node49 on Fri Jun  2 17:30:47 UTC 2006