Trace number 373334

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
SAT4JPseudoResolution 2007-03-23SAT (TO)44 1800.43 1797.94

General information on the benchmark

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

Verifier Data (download as text)

OK	44

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-373334-1177184187 -o ROOT/results/node5/solver-373334-1177184187 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373334-1177184187/sat4jPseudoResolution.jar /tmp/evaluation/373334-1177184187/instance-373334-1177184187.opb 

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 11007
/proc/meminfo: memFree=1755904/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1832 CPUtime=0
/proc/11007/stat : 11007 (java) R 11005 11007 10169 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 194456415 1875968 149 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11007/statm: 450 148 111 9 0 92 0

[startup+0.080689 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 11007
/proc/meminfo: memFree=1755904/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1777844 CPUtime=0.06
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 3795 0 1 0 5 1 0 0 18 0 7 0 194456415 1820512256 3538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/11007/statm: 444461 3538 1086 9 0 442097 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777844

[startup+0.101694 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 11007
/proc/meminfo: memFree=1755904/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1780108 CPUtime=0.08
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 3983 0 1 0 6 2 0 0 18 0 12 0 194456415 1822830592 3725 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11007/statm: 445027 3725 1123 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301719 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 11007
/proc/meminfo: memFree=1755904/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1782012 CPUtime=0.32
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 5117 0 1 0 29 3 0 0 18 0 12 0 194456415 1824780288 4854 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11007/statm: 445503 4854 1264 9 0 443115 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782012

[startup+0.701761 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 11007
/proc/meminfo: memFree=1755904/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1784516 CPUtime=0.93
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 7413 0 1 0 88 5 0 0 18 0 12 0 194456415 1827344384 6711 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11007/statm: 446129 6711 1300 9 0 443741 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 1784516

[startup+1.50285 s]
/proc/loadavg: 0.99 0.97 0.97 2/89 11019
/proc/meminfo: memFree=1727008/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1785864 CPUtime=2.15
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 14953 0 1 0 206 9 0 0 18 0 12 0 194456415 1828724736 12675 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11007/statm: 446466 12675 1311 9 0 444078 0
[pid=11007/tid=11009] ppid=11005 vsize=1785864 CPUtime=1.03
/proc/11007/task/11009/stat : 11009 (java) R 11005 11007 10169 0 -1 64 10839 0 1 0 96 7 0 0 20 0 12 0 194456416 1828724736 12675 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109187781 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11010] ppid=11005 vsize=1785864 CPUtime=0
/proc/11007/task/11010/stat : 11010 (java) S 11005 11007 10169 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 194456418 1828724736 12675 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11011] ppid=11005 vsize=1785864 CPUtime=0
/proc/11007/task/11011/stat : 11011 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 194456418 1828724736 12675 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11012] ppid=11005 vsize=1785864 CPUtime=0
/proc/11007/task/11012/stat : 11012 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 194456420 1828724736 12675 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11013] ppid=11005 vsize=1785864 CPUtime=0
/proc/11007/task/11013/stat : 11013 (java) S 11005 11007 10169 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 194456420 1828724736 12675 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11014] ppid=11005 vsize=1785864 CPUtime=0
/proc/11007/task/11014/stat : 11014 (java) S 11005 11007 10169 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 194456420 1828724736 12675 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11015] ppid=11005 vsize=1785864 CPUtime=0
/proc/11007/task/11015/stat : 11015 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 194456424 1828724736 12675 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11016] ppid=11005 vsize=1785864 CPUtime=0.46
/proc/11007/task/11016/stat : 11016 (java) S 11005 11007 10169 0 -1 64 1552 0 0 0 46 0 0 0 16 0 12 0 194456424 1828724736 12675 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11017] ppid=11005 vsize=1785864 CPUtime=0.63
/proc/11007/task/11017/stat : 11017 (java) S 11005 11007 10169 0 -1 64 1834 0 0 0 63 0 0 0 16 0 12 0 194456424 1828724736 12675 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11018] ppid=11005 vsize=1785864 CPUtime=0
/proc/11007/task/11018/stat : 11018 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 194456424 1828724736 12675 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11019] ppid=11005 vsize=1785864 CPUtime=0
/proc/11007/task/11019/stat : 11019 (java) R 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 194456424 1828724736 12675 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 1785864

[startup+3.10203 s]
/proc/loadavg: 0.99 0.97 0.97 3/90 11022
/proc/meminfo: memFree=1703896/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1786152 CPUtime=4.27
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 17238 0 1 0 417 10 0 0 18 0 13 0 194456415 1829019648 14247 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11007/statm: 446538 14247 1317 9 0 444150 0
[pid=11007/tid=11009] ppid=11005 vsize=1786152 CPUtime=2.34
/proc/11007/task/11009/stat : 11009 (java) R 11005 11007 10169 0 -1 64 12253 0 1 0 227 7 0 0 19 0 13 0 194456416 1829019648 14247 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109884426 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11010] ppid=11005 vsize=1786152 CPUtime=0
/proc/11007/task/11010/stat : 11010 (java) S 11005 11007 10169 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 194456418 1829019648 14247 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11011] ppid=11005 vsize=1786152 CPUtime=0
/proc/11007/task/11011/stat : 11011 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 194456418 1829019648 14247 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11012] ppid=11005 vsize=1786152 CPUtime=0
/proc/11007/task/11012/stat : 11012 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 194456420 1829019648 14247 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11013] ppid=11005 vsize=1786152 CPUtime=0
/proc/11007/task/11013/stat : 11013 (java) S 11005 11007 10169 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 194456420 1829019648 14247 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11014] ppid=11005 vsize=1786152 CPUtime=0
/proc/11007/task/11014/stat : 11014 (java) S 11005 11007 10169 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 194456420 1829019648 14247 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11015] ppid=11005 vsize=1786152 CPUtime=0
/proc/11007/task/11015/stat : 11015 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194456424 1829019648 14247 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11016] ppid=11005 vsize=1786152 CPUtime=0.89
/proc/11007/task/11016/stat : 11016 (java) S 11005 11007 10169 0 -1 64 1714 0 0 0 89 0 0 0 16 0 13 0 194456424 1829019648 14247 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11017] ppid=11005 vsize=1786152 CPUtime=1.01
/proc/11007/task/11017/stat : 11017 (java) S 11005 11007 10169 0 -1 64 2543 0 0 0 100 1 0 0 16 0 13 0 194456424 1829019648 14247 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11018] ppid=11005 vsize=1786152 CPUtime=0
/proc/11007/task/11018/stat : 11018 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 194456424 1829019648 14247 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11019] ppid=11005 vsize=1786152 CPUtime=0
/proc/11007/task/11019/stat : 11019 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194456424 1829019648 14248 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11022] ppid=11005 vsize=1786152 CPUtime=0
/proc/11007/task/11022/stat : 11022 (java) S 11005 11007 10169 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 194456609 1829019648 14248 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 1786152

[startup+6.30139 s]
/proc/loadavg: 0.99 0.97 0.97 2/90 11022
/proc/meminfo: memFree=1703064/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1785772 CPUtime=7.46
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 17440 0 1 0 736 10 0 0 18 0 13 0 194456415 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11007/statm: 446443 14329 1317 9 0 444055 0
[pid=11007/tid=11009] ppid=11005 vsize=1785772 CPUtime=5.54
/proc/11007/task/11009/stat : 11009 (java) R 11005 11007 10169 0 -1 64 12455 0 1 0 546 8 0 0 25 0 13 0 194456416 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109899699 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11010] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11010/stat : 11010 (java) S 11005 11007 10169 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 194456418 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11011] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11011/stat : 11011 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 194456418 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11012] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11012/stat : 11012 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 194456420 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11013] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11013/stat : 11013 (java) S 11005 11007 10169 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 194456420 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11014] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11014/stat : 11014 (java) S 11005 11007 10169 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 194456420 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11015] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11015/stat : 11015 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194456424 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11016] ppid=11005 vsize=1785772 CPUtime=0.89
/proc/11007/task/11016/stat : 11016 (java) S 11005 11007 10169 0 -1 64 1714 0 0 0 89 0 0 0 16 0 13 0 194456424 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11017] ppid=11005 vsize=1785772 CPUtime=1.01
/proc/11007/task/11017/stat : 11017 (java) S 11005 11007 10169 0 -1 64 2543 0 0 0 100 1 0 0 16 0 13 0 194456424 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11018] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11018/stat : 11018 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 194456424 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11019] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11019/stat : 11019 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194456424 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11022] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11022/stat : 11022 (java) S 11005 11007 10169 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 194456609 1828630528 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 1785772

[startup+12.7021 s]
/proc/loadavg: 0.99 0.97 0.97 2/90 11022
/proc/meminfo: memFree=1701016/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1785772 CPUtime=13.89
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 17982 0 1 0 1378 11 0 0 18 0 13 0 194456415 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11007/statm: 446443 14870 1317 9 0 444055 0
[pid=11007/tid=11009] ppid=11005 vsize=1785772 CPUtime=11.91
/proc/11007/task/11009/stat : 11009 (java) R 11005 11007 10169 0 -1 64 12993 0 1 0 1183 8 0 0 25 0 13 0 194456416 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109899699 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11010] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11010/stat : 11010 (java) S 11005 11007 10169 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 194456418 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11011] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11011/stat : 11011 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 194456418 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11012] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11012/stat : 11012 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 194456420 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11013] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11013/stat : 11013 (java) S 11005 11007 10169 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 194456420 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11014] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11014/stat : 11014 (java) S 11005 11007 10169 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 194456420 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11015] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11015/stat : 11015 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194456424 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11016] ppid=11005 vsize=1785772 CPUtime=0.91
/proc/11007/task/11016/stat : 11016 (java) S 11005 11007 10169 0 -1 64 1717 0 0 0 91 0 0 0 16 0 13 0 194456424 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11017] ppid=11005 vsize=1785772 CPUtime=1.04
/proc/11007/task/11017/stat : 11017 (java) S 11005 11007 10169 0 -1 64 2544 0 0 0 103 1 0 0 16 0 13 0 194456424 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11018] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11018/stat : 11018 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 194456424 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11019] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11019/stat : 11019 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194456424 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11022] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11022/stat : 11022 (java) S 11005 11007 10169 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 194456609 1828630528 14870 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.89
Current children cumulated vsize (KiB) 1785772

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.97 2/90 11022
/proc/meminfo: memFree=1696472/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1785772 CPUtime=26.69
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 19095 0 1 0 2657 12 0 0 18 0 13 0 194456415 1828630528 15983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11007/statm: 446443 15983 1317 9 0 444055 0
[pid=11007/tid=11009] ppid=11005 vsize=1785772 CPUtime=24.7
/proc/11007/task/11009/stat : 11009 (java) R 11005 11007 10169 0 -1 64 14106 0 1 0 2460 10 0 0 25 0 13 0 194456416 1828630528 15983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109884426 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11010] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11010/stat : 11010 (java) S 11005 11007 10169 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 194456418 1828630528 15983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11011] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11011/stat : 11011 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 194456418 1828630528 15983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11012] ppid=11005 vsize=1785772 CPUtime=0
/proc/11007/task/11012/stat : 11012 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 194456420 1828630528 15983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=11007/tid=11012] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11012/stat : 11012 (java) S 11005 11007 10169 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 194456420 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11013] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11013/stat : 11013 (java) S 11005 11007 10169 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 194456420 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11014] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11014/stat : 11014 (java) S 11005 11007 10169 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 194456420 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11015] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11015/stat : 11015 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11016] ppid=11005 vsize=1796020 CPUtime=0.93
/proc/11007/task/11016/stat : 11016 (java) S 11005 11007 10169 0 -1 64 1718 0 0 0 93 0 0 0 17 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11017] ppid=11005 vsize=1796020 CPUtime=1.06
/proc/11007/task/11017/stat : 11017 (java) S 11005 11007 10169 0 -1 64 2544 0 0 0 105 1 0 0 17 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11018] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11018/stat : 11018 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11019] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11019/stat : 11019 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11022] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11022/stat : 11022 (java) S 11005 11007 10169 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 194456609 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.7
Current children cumulated vsize (KiB) 1796020

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/90 11220
/proc/meminfo: memFree=1218840/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1796020 CPUtime=1724.68
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 162149 0 1 0 172368 100 0 0 18 0 13 0 194456415 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11007/statm: 449005 134996 1326 9 0 446617 0
[pid=11007/tid=11009] ppid=11005 vsize=1796020 CPUtime=1719.03
/proc/11007/task/11009/stat : 11009 (java) R 11005 11007 10169 0 -1 64 37721 0 1 0 171862 41 0 0 25 0 13 0 194456416 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109868055 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11010] ppid=11005 vsize=1796020 CPUtime=1.77
/proc/11007/task/11010/stat : 11010 (java) S 11005 11007 10169 0 -1 64 62502 0 0 0 148 29 0 0 16 0 13 0 194456418 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11011] ppid=11005 vsize=1796020 CPUtime=1.85
/proc/11007/task/11011/stat : 11011 (java) S 11005 11007 10169 0 -1 64 56932 0 0 0 158 27 0 0 16 0 13 0 194456418 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11012] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11012/stat : 11012 (java) S 11005 11007 10169 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 194456420 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11013] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11013/stat : 11013 (java) S 11005 11007 10169 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 194456420 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11014] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11014/stat : 11014 (java) S 11005 11007 10169 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 194456420 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11015] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11015/stat : 11015 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11016] ppid=11005 vsize=1796020 CPUtime=0.93
/proc/11007/task/11016/stat : 11016 (java) S 11005 11007 10169 0 -1 64 1718 0 0 0 93 0 0 0 17 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11017] ppid=11005 vsize=1796020 CPUtime=1.06
/proc/11007/task/11017/stat : 11017 (java) S 11005 11007 10169 0 -1 64 2544 0 0 0 105 1 0 0 17 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11018] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11018/stat : 11018 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11019] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11019/stat : 11019 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11022] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11022/stat : 11022 (java) S 11005 11007 10169 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 194456609 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.68
Current children cumulated vsize (KiB) 1796020

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/90 11220
/proc/meminfo: memFree=1218840/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1796020 CPUtime=1784.67
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 162149 0 1 0 178366 101 0 0 18 0 13 0 194456415 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11007/statm: 449005 134996 1326 9 0 446617 0
[pid=11007/tid=11009] ppid=11005 vsize=1796020 CPUtime=1779.01
/proc/11007/task/11009/stat : 11009 (java) R 11005 11007 10169 0 -1 64 37721 0 1 0 177860 41 0 0 25 0 13 0 194456416 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109899740 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11010] ppid=11005 vsize=1796020 CPUtime=1.77
/proc/11007/task/11010/stat : 11010 (java) S 11005 11007 10169 0 -1 64 62502 0 0 0 148 29 0 0 16 0 13 0 194456418 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11011] ppid=11005 vsize=1796020 CPUtime=1.85
/proc/11007/task/11011/stat : 11011 (java) S 11005 11007 10169 0 -1 64 56932 0 0 0 158 27 0 0 16 0 13 0 194456418 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11012] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11012/stat : 11012 (java) S 11005 11007 10169 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 194456420 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11013] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11013/stat : 11013 (java) S 11005 11007 10169 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 194456420 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11014] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11014/stat : 11014 (java) S 11005 11007 10169 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 194456420 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11015] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11015/stat : 11015 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11016] ppid=11005 vsize=1796020 CPUtime=0.93
/proc/11007/task/11016/stat : 11016 (java) S 11005 11007 10169 0 -1 64 1718 0 0 0 93 0 0 0 17 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11017] ppid=11005 vsize=1796020 CPUtime=1.06
/proc/11007/task/11017/stat : 11017 (java) S 11005 11007 10169 0 -1 64 2544 0 0 0 105 1 0 0 17 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11018] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11018/stat : 11018 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11019] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11019/stat : 11019 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11022] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11022/stat : 11022 (java) S 11005 11007 10169 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 194456609 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.67
Current children cumulated vsize (KiB) 1796020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.7 s]
/proc/loadavg: 1.00 0.99 0.97 2/90 11220
/proc/meminfo: memFree=1218840/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1796020 CPUtime=1800.07
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 162149 0 1 0 179906 101 0 0 18 0 13 0 194456415 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11007/statm: 449005 134996 1326 9 0 446617 0
[pid=11007/tid=11009] ppid=11005 vsize=1796020 CPUtime=1794.42
/proc/11007/task/11009/stat : 11009 (java) R 11005 11007 10169 0 -1 64 37721 0 1 0 179400 42 0 0 25 0 13 0 194456416 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109809649 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11010] ppid=11005 vsize=1796020 CPUtime=1.77
/proc/11007/task/11010/stat : 11010 (java) S 11005 11007 10169 0 -1 64 62502 0 0 0 148 29 0 0 16 0 13 0 194456418 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11011] ppid=11005 vsize=1796020 CPUtime=1.85
/proc/11007/task/11011/stat : 11011 (java) S 11005 11007 10169 0 -1 64 56932 0 0 0 158 27 0 0 16 0 13 0 194456418 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11012] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11012/stat : 11012 (java) S 11005 11007 10169 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 194456420 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11013] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11013/stat : 11013 (java) S 11005 11007 10169 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 194456420 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11014] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11014/stat : 11014 (java) S 11005 11007 10169 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 194456420 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11015] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11015/stat : 11015 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11016] ppid=11005 vsize=1796020 CPUtime=0.93
/proc/11007/task/11016/stat : 11016 (java) S 11005 11007 10169 0 -1 64 1718 0 0 0 93 0 0 0 17 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11017] ppid=11005 vsize=1796020 CPUtime=1.06
/proc/11007/task/11017/stat : 11017 (java) S 11005 11007 10169 0 -1 64 2544 0 0 0 105 1 0 0 17 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11018] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11018/stat : 11018 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11019] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11019/stat : 11019 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194456424 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11022] ppid=11005 vsize=1796020 CPUtime=0
/proc/11007/task/11022/stat : 11022 (java) S 11005 11007 10169 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 194456609 1839124480 134996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1796020

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1797.81 s]
/proc/loadavg: 1.00 0.99 0.97 2/90 11220
/proc/meminfo: memFree=1218840/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=1796668 CPUtime=1800.27
/proc/11007/stat : 11007 (java) S 11005 11007 10169 0 -1 0 162167 0 1 0 179926 101 0 0 16 0 15 0 194456415 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11007/statm: 449167 135014 1326 9 0 446779 0
[pid=11007/tid=11009] ppid=11005 vsize=1796668 CPUtime=1794.53
/proc/11007/task/11009/stat : 11009 (java) R 11005 11007 10169 0 -1 64 37721 0 1 0 179411 42 0 0 25 0 15 0 194456416 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109883658 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11010] ppid=11005 vsize=1796668 CPUtime=1.77
/proc/11007/task/11010/stat : 11010 (java) S 11005 11007 10169 0 -1 64 62502 0 0 0 148 29 0 0 16 0 15 0 194456418 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11011] ppid=11005 vsize=1796668 CPUtime=1.85
/proc/11007/task/11011/stat : 11011 (java) S 11005 11007 10169 0 -1 64 56932 0 0 0 158 27 0 0 16 0 15 0 194456418 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11012] ppid=11005 vsize=1796668 CPUtime=0
/proc/11007/task/11012/stat : 11012 (java) S 11005 11007 10169 0 -1 64 8 0 0 0 0 0 0 0 16 0 15 0 194456420 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11013] ppid=11005 vsize=1796668 CPUtime=0
/proc/11007/task/11013/stat : 11013 (java) S 11005 11007 10169 0 -1 64 10 0 0 0 0 0 0 0 17 0 15 0 194456420 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11014] ppid=11005 vsize=1796668 CPUtime=0
/proc/11007/task/11014/stat : 11014 (java) S 11005 11007 10169 0 -1 64 6 0 0 0 0 0 0 0 16 0 15 0 194456420 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11007/tid=11015] ppid=11005 vsize=1796668 CPUtime=0
/proc/11007/task/11015/stat : 11015 (java) S 11005 11007 10169 0 -1 64 6 0 0 0 0 0 0 0 18 0 15 0 194456424 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11016] ppid=11005 vsize=1796668 CPUtime=0.96
/proc/11007/task/11016/stat : 11016 (java) S 11005 11007 10169 0 -1 64 1718 0 0 0 96 0 0 0 16 0 15 0 194456424 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11017] ppid=11005 vsize=1796668 CPUtime=1.09
/proc/11007/task/11017/stat : 11017 (java) S 11005 11007 10169 0 -1 64 2544 0 0 0 108 1 0 0 16 0 15 0 194456424 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11018] ppid=11005 vsize=1796668 CPUtime=0
/proc/11007/task/11018/stat : 11018 (java) S 11005 11007 10169 0 -1 64 2 0 0 0 0 0 0 0 25 0 15 0 194456424 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11019] ppid=11005 vsize=1796668 CPUtime=0
/proc/11007/task/11019/stat : 11019 (java) S 11005 11007 10169 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 194456424 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11007/tid=11022] ppid=11005 vsize=1796668 CPUtime=0
/proc/11007/task/11022/stat : 11022 (java) S 11005 11007 10169 0 -1 64 0 0 0 0 0 0 0 0 19 0 15 0 194456609 1839788032 135014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 1796668

[startup+1797.9 s]
/proc/loadavg: 1.00 0.99 0.97 2/90 11220
/proc/meminfo: memFree=1218840/2055920 swapFree=4151632/4192956
[pid=11007] ppid=11005 vsize=0 CPUtime=1800.39
/proc/11007/stat : 11007 (java) Z 11005 11007 10169 0 -1 1036 162170 0 1 0 179933 106 0 0 15 0 2 0 194456415 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11007/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1797.94
CPU time (s): 1800.43
CPU user time (s): 1799.34
CPU system time (s): 1.09583
CPU usage (%): 100.139
Max. virtual memory (cumulated for all children) (KiB): 1796668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 1.09583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162170
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37209
involuntary context switches= 39034

runsolver used 1.63775 second user time and 4.98524 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Apr 21 19:36:28 UTC 2007

IDJOB= 373334
IDBENCH= 25036
IDSOLVER= 159
FILE ID= node5/373334-1177184187

PBS_JOBID= 4649010

Free space on /tmp= 66355 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373334-1177184187/sat4jPseudoResolution.jar /tmp/evaluation/373334-1177184187/instance-373334-1177184187.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-373334-1177184187 -o ROOT/results/node5/solver-373334-1177184187 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373334-1177184187/sat4jPseudoResolution.jar /tmp/evaluation/373334-1177184187/instance-373334-1177184187.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  fb30dc68ef00299e3d850b79fb8a2728

RANDOM SEED= 550429481

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
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.232
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:       1756440 kB
Buffers:         61740 kB
Cached:         172096 kB
SwapCached:       9400 kB
Active:          37076 kB
Inactive:       220512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1756440 kB
SwapTotal:     4192956 kB
SwapFree:      4151632 kB
Dirty:            4088 kB
Writeback:           0 kB
Mapped:          30064 kB
Slab:            27436 kB
Committed_AS:  8993412 kB
PageTables:       1720 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66355 MiB

End job on node5 on Sat Apr 21 20:06:27 UTC 2007