Trace number 350755

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
sat4jPseudoCP 2007-03-23SAT (TO)-38 1800.32 1780.2

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb
MD5SUM548627fc5af0dd4663b3515778a6a609
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-55
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -56
Optimality of the best value was proved NO
Number of variables8411
Total number of constraints2456
Number of constraints which are clauses412
Number of constraints which are cardinality constraints (but not clauses)426
Number of constraints which are nor clauses,nor cardinality constraints1618
Minimum length of a constraint2
Maximum length of a constraint270
Number of terms in the objective function 150
Biggest coefficient in the objective function 52429
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524390
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 523753
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524475
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.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.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.20/0.20	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver)
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=10000.0 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/350755-1176546876/instance-350755-1176546876.opb
0.20/0.20	c reading problem ... 
2.16/1.36	c ... done. Wall clock time 1.165s.
2.16/1.36	c CPU time (experimental) 0.84s.
2.16/1.36	c #vars     8411
2.16/1.36	c #constraints  3201
8.99/5.99	c SATISFIABLE
8.99/5.99	c OPTIMIZING...
8.99/5.99	c Got one! Elapsed wall clock time (in seconds):5.793
9.09/6.00	o -28
752.00/742.30	c Got one! Elapsed wall clock time (in seconds):742.099
752.00/742.30	o -38
1800.03/1780.01	c starts		: 6
1800.03/1780.01	c conflicts		: 11028
1800.03/1780.01	c decisions		: 293928
1800.03/1780.01	c propagations		: 5257208
1800.03/1780.01	c inspects		: 315669306
1800.03/1780.01	c learnt literals	: 0
1800.03/1780.01	c learnt binary clauses	: 6
1800.03/1780.01	c learnt ternary clauses	: 2
1800.03/1780.01	c learnt clauses	: 11027
1800.03/1780.01	c root simplifications	: 0
1800.03/1780.01	c removed literals (reason simplification)	: 0
1800.03/1780.01	c reason swapping (by a shorter reason)	: 0
1800.03/1780.01	c Calls to reduceDB	: 0
1800.03/1780.01	c speed (decisions/second)	: 283.2462186040057
1800.03/1780.01	c non guided choices	1771
1800.03/1780.01	s SATISFIABLE
1800.03/1780.06	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29
1800.03/1780.06	v -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 -x55
1800.03/1780.06	v -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 x81
1800.03/1780.06	v -x82 x83 -x84 -x85 -x86 x87 x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 x96 -x97 x98 x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107
1800.03/1780.06	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1800.03/1780.06	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 x141 x142 x143 x144 x145 x146 x147 -x148 -x149 -x150
1800.03/1780.06	v -x151 x152 -x153 -x154 -x155 x156 -x157 x158 x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172
1800.03/1780.06	v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 x183 -x184 -x185 -x186 x187 x188 -x189 -x190 x191 -x192 -x193 -x194
1800.03/1780.06	v -x195 x196 x197 -x198 -x199 x200 x201 x202 -x203 x204 x205 x206 x207 x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217
1800.03/1780.06	v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238
1800.03/1780.06	v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259
1800.03/1780.06	v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
1800.03/1780.06	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301
1800.03/1780.06	v -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322
1800.03/1780.06	v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343
1800.03/1780.06	v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364
1800.03/1780.06	v -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385
1800.03/1780.06	v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 x401 -x402 -x403 -x404 -x405 -x406
1800.03/1780.06	v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427
1800.03/1780.06	v -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448
1800.03/1780.06	v -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469
1800.03/1780.06	v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490
1800.03/1780.06	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511
1800.03/1780.06	v -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532
1800.03/1780.06	v -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553
1800.03/1780.06	v -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574
1800.03/1780.06	v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595
1800.03/1780.06	v -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616
1800.03/1780.06	v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637
1800.03/1780.06	v -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658
1800.03/1780.06	v -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679
1800.03/1780.06	v -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
1800.03/1780.06	v -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 x713 x714 x715 x716 -x717 x718 x719 x720 -x721 -x722
1800.03/1780.06	v x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743
1800.03/1780.06	v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764
1800.03/1780.06	v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785
1800.03/1780.06	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806
1800.03/1780.06	v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 x819 x820 -x821 x822 x823 x824 x825 x826 x827 x828 x829
1800.03/1780.06	v -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
1800.03/1780.06	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871
1800.03/1780.06	v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892
1800.03/1780.06	v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913
1800.03/1780.06	v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934
1800.03/1780.06	v -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955
1800.03/1780.06	v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976
1800.03/1780.06	v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997
1800.03/1780.06	v -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015
1800.03/1780.06	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032
1800.03/1780.06	v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049
1800.03/1780.06	v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066
1800.03/1780.06	v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083
1800.03/1780.06	v -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
1800.03/1780.06	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117
1800.03/1780.06	v -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 x1134 -x1135
1800.03/1780.06	v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152
1800.03/1780.06	v -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169
1800.03/1780.06	v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186
1800.03/1780.06	v -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203
1800.03/1780.06	v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
1800.03/1780.06	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237
1800.03/1780.06	v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
1800.03/1780.06	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271
1800.03/1780.06	v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288
1800.03/1780.06	v -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305
1800.03/1780.06	v -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322
1800.03/1780.06	v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339
1800.03/1780.06	v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356
1800.03/1780.06	v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373
1800.03/1780.06	v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
1800.03/1780.06	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407
1800.03/1780.06	v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424
1800.03/1780.06	v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441
1800.03/1780.06	v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458
1800.03/1780.06	v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475
1800.03/1780.06	v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492
1800.03/1780.06	v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509
1800.03/1780.06	v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526
1800.03/1780.06	v -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543
1800.03/1780.06	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
1800.03/1780.06	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577
1800.03/1780.06	v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594
1800.03/1780.06	v -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611
1800.03/1780.06	v -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628
1800.03/1780.06	v -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645
1800.03/1780.06	v -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662
1800.03/1780.06	v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679
1800.03/1780.06	v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696
1800.03/1780.06	v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713
1800.03/1780.06	v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
1800.03/1780.06	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747
1800.03/1780.06	v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764
1800.03/1780.06	v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781
1800.03/1780.06	v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798
1800.03/1780.06	v -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815
1800.03/1780.06	v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832
1800.03/1780.06	v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849
1800.03/1780.06	v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866
1800.03/1780.06	v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883
1800.03/1780.06	v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
1800.03/1780.06	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917
1800.03/1780.06	v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 x1929 x1930 x1931 x1932 x1933 -x1934 -x1935
1800.03/1780.06	v x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953
1800.03/1780.06	v -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
1800.03/1780.06	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987
1800.03/1780.06	v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004
1800.03/1780.06	v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021
1800.03/1780.06	v -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038
1800.03/1780.06	v -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055
1800.03/1780.06	v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072
1800.03/1780.06	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089
1800.03/1780.06	v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106
1800.03/1780.06	v -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123
1800.03/1780.06	v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
1800.03/1780.06	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157
1800.03/1780.06	v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174
1800.03/1780.06	v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191
1800.03/1780.06	v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208
1800.03/1780.06	v x2209 x2210 x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226
1800.03/1780.06	v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243
1800.03/1780.06	v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
1800.03/1780.06	v -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277
1800.03/1780.06	v -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294
1800.03/1780.06	v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311
1800.03/1780.06	v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328
1800.03/1780.06	v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345
1800.03/1780.06	v x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362
1800.03/1780.06	v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379
1800.03/1780.06	v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396
1800.03/1780.06	v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413
1800.03/1780.06	v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
1800.03/1780.06	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447
1800.03/1780.06	v -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464
1800.03/1780.06	v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 x2478 x2479 -x2480 -x2481 x2482
1800.03/1780.06	v x2483 x2484 -x2485 x2486 x2487 x2488 x2489 x2490 x2491 x2492 -x2493 x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501
1800.03/1780.06	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518
1800.03/1780.06	v -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535
1800.03/1780.06	v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552
1800.03/1780.06	v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569
1800.03/1780.06	v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 -x2586
1800.03/1780.06	v x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603
1800.03/1780.06	v -x2604 -x2605 x2606 -x2607 x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621
1800.03/1780.06	v -x2622 -x2623 -x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638
1800.03/1780.06	v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655
1800.03/1780.06	v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672
1800.03/1780.06	v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689
1800.03/1780.06	v -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706
1800.03/1780.06	v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723
1800.03/1780.06	v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
1800.03/1780.06	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757
1800.03/1780.06	v -x2758 -x2759 -x2760 -x2761 -x2762 x2763 x2764 x2765 -x2766 x2767 x2768 x2769 x2770 x2771 x2772 -x2773 x2774 x2775 -x2776
1800.03/1780.06	v -x2777 x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793
1800.03/1780.06	v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
1800.03/1780.06	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827
1800.03/1780.06	v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844
1800.03/1780.06	v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861
1800.03/1780.06	v -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878
1800.03/1780.06	v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896
1800.03/1780.06	v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913
1800.03/1780.06	v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
1800.03/1780.06	v x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947
1800.03/1780.06	v -x2948 -x2949 -x2950 x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965
1800.03/1780.06	v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982
1800.03/1780.06	v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999
1800.03/1780.06	v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016
1800.03/1780.06	v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033
1800.03/1780.06	v -x3034 -x3035 x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 x3049 x3050 x3051
1800.03/1780.06	v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068
1800.03/1780.06	v -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085
1800.03/1780.06	v -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102
1800.03/1780.06	v -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119
1800.03/1780.06	v -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136
1800.03/1780.06	v -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153
1800.03/1780.06	v -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 x3168 -x3169 -x3170
1800.03/1780.06	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187
1800.03/1780.06	v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204
1800.03/1780.06	v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221
1800.03/1780.06	v -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238
1800.03/1780.06	v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255
1800.03/1780.06	v -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272
1800.03/1780.06	v -x3273 -x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289
1800.03/1780.06	v -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306
1800.03/1780.06	v -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323
1800.03/1780.06	v -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
1800.03/1780.06	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 x3356 -x3357
1800.03/1780.06	v -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374
1800.03/1780.06	v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391
1800.03/1780.06	v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408
1800.03/1780.06	v -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425
1800.03/1780.06	v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442
1800.03/1780.06	v -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 x3457 x3458 x3459 x3460
1800.03/1780.06	v x3461 -x3462 x3463 x3464 x3465 -x3466 -x3467 x3468 x3469 -x3470 -x3471 -x3472 -x3473 x3474 x3475 x3476 x3477 x3478 x3479
1800.03/1780.06	v x3480 x3481 x3482 x3483 -x3484 -x3485 x3486 x3487 x3488 x3489 x3490 x3491 x3492 -x3493 -x3494 -x3495 x3496 x3497 x3498 x3499
1800.03/1780.06	v -x3500 -x3501 -x3502 x3503 -x3504 x3505 x3506 x3507 -x3508 x3509 -x3510 -x3511 x3512 -x3513 x3514 x3515 -x3516 x3517 x3518
1800.03/1780.06	v x3519 x3520 x3521 -x3522 -x3523 -x3524 -x3525 x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536
1800.03/1780.06	v -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553
1800.03/1780.06	v -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
1800.03/1780.06	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587
1800.03/1780.06	v -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604
1800.03/1780.06	v -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621
1800.03/1780.06	v -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638
1800.03/1780.06	v -x3639 -x3640 -x3641 -x3642 x3643 x3644 x3645 x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656
1800.03/1780.06	v x3657 -x3658 -x3659 x3660 x3661 -x3662 -x3663 -x3664 -x3665 x3666 -x3667 -x3668 x3669 -x3670 -x3671 -x3672 x3673 -x3674
1800.03/1780.06	v x3675 -x3676 -x3677 x3678 x3679 -x3680 -x3681 x3682 -x3683 x3684 x3685 -x3686 x3687 x3688 x3689 x3690 x3691 -x3692 -x3693
1800.03/1780.06	v -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 x3701 x3702 x3703 x3704 x3705 -x3706 x3707 -x3708 -x3709 -x3710 x3711 x3712
1800.03/1780.06	v -x3713 x3714 -x3715 -x3716 -x3717 x3718 -x3719 x3720 x3721 x3722 -x3723 x3724 -x3725 -x3726 x3727 -x3728 -x3729 -x3730
1800.03/1780.06	v x3731 x3732 x3733 x3734 x3735 x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748
1800.03/1780.06	v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765
1800.03/1780.06	v -x3766 x3767 -x3768 -x3769 -x3770 x3771 x3772 -x3773 -x3774 x3775 x3776 x3777 x3778 x3779 x3780 x3781 x3782 -x3783 -x3784
1800.03/1780.06	v -x3785 x3786 x3787 -x3788 -x3789 x3790 x3791 x3792 -x3793 x3794 x3795 x3796 x3797 x3798 x3799 x3800 -x3801 -x3802 -x3803
1800.03/1780.06	v -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
1800.03/1780.06	v -x3821 -x3822 -x3823 -x3824 -x3825 x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837
1800.03/1780.06	v -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854
1800.03/1780.06	v -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871
1800.03/1780.06	v -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888
1800.03/1780.06	v -x3889 x3890 x3891 x3892 -x3893 -x3894 -x3895 x3896 x3897 x3898 -x3899 -x3900 -x3901 x3902 x3903 x3904 -x3905 -x3906 -x3907
1800.03/1780.06	v x3908 x3909 x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 x3917 x3918 x3919 -x3920 -x3921 -x3922 x3923 x3924 x3925 -x3926
1800.03/1780.06	v -x3927 -x3928 x3929 x3930 x3931 -x3932 -x3933 -x3934 x3935 x3936 x3937 x3938 -x3939 x3940 x3941 -x3942 -x3943 x3944 -x3945
1800.03/1780.06	v x3946 x3947 -x3948 -x3949 -x3950 x3951 x3952 x3953 -x3954 -x3955 -x3956 x3957 x3958 x3959 -x3960 -x3961 x3962 -x3963 x3964
1800.03/1780.06	v x3965 -x3966 -x3967 x3968 -x3969 x3970 x3971 -x3972 -x3973 -x3974 x3975 x3976 x3977 -x3978 -x3979 -x3980 x3981 x3982 x3983
1800.03/1780.06	v -x3984 -x3985 x3986 x3987 -x3988 -x3989 x3990 -x3991 x3992 x3993 -x3994 -x3995 x3996 -x3997 -x3998 x3999 x4000 -x4001 x4002
1800.03/1780.06	v -x4003 -x4004 x4005 x4006 -x4007 x4008 -x4009 x4010 x4011 -x4012 -x4013 x4014 -x4015 x4016 x4017 -x4018 -x4019 x4020 -x4021
1800.03/1780.06	v -x4022 x4023 x4024 -x4025 x4026 -x4027 -x4028 x4029 x4030 -x4031 x4032 -x4033 x4034 x4035 x4036 -x4037 -x4038 -x4039 x4040
1800.03/1780.06	v x4041 x4042 -x4043 -x4044 -x4045 -x4046 x4047 x4048 x4049 -x4050 -x4051 -x4052 x4053 x4054 x4055 -x4056 -x4057 x4058 x4059
1800.03/1780.06	v x4060 -x4061 -x4062 -x4063 x4064 x4065 x4066 -x4067 -x4068 -x4069 -x4070 x4071 x4072 x4073 -x4074 -x4075 -x4076 x4077 x4078
1800.03/1780.06	v x4079 -x4080 -x4081 x4082 -x4083 -x4084 -x4085 x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096
1800.03/1780.06	v -x4097 -x4098 -x4099 -x4100 -x4101 x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 x4112 -x4113 -x4114
1800.03/1780.06	v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131
1800.03/1780.06	v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148
1800.03/1780.06	v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165
1800.03/1780.06	v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182
1800.03/1780.06	v -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 x4197 -x4198 -x4199
1800.03/1780.06	v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216
1800.03/1780.06	v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 x4224 -x4225 x4226 -x4227 x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234
1800.03/1780.06	v -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 x4248 -x4249 x4250 -x4251 -x4252
1800.03/1780.06	v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 x4264 x4265 x4266 x4267 -x4268 -x4269 -x4270
1800.03/1780.06	v -x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287
1800.03/1780.06	v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304
1800.03/1780.06	v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321
1800.03/1780.06	v -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338
1800.03/1780.06	v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355
1800.03/1780.06	v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372
1800.03/1780.06	v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389
1800.03/1780.06	v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406
1800.03/1780.06	v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423
1800.03/1780.06	v -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440
1800.03/1780.06	v -x4441 -x4442 -x4443 -x4444 -x4445 x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457
1800.03/1780.06	v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474
1800.03/1780.06	v -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492
1800.03/1780.06	v x4493 -x4494 -x4495 -x4496 -x4497 x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510
1800.03/1780.06	v -x4511 -x4512 -x4513 x4514 -x4515 x4516 -x4517 x4518 -x4519 -x4520 x4521 -x4522 -x4523 -x4524 x4525 -x4526 -x4527 -x4528
1800.03/1780.06	v -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545
1800.03/1780.06	v -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562
1800.03/1780.06	v -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 x4577 x4578 -x4579 -x4580
1800.03/1780.06	v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597
1800.03/1780.06	v -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614
1800.03/1780.06	v -x4615 x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631
1800.03/1780.06	v -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648
1800.03/1780.06	v -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665
1800.03/1780.06	v -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682
1800.03/1780.06	v -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699
1800.03/1780.06	v -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716
1800.03/1780.06	v -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733
1800.03/1780.06	v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750
1800.03/1780.06	v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767
1800.03/1780.06	v -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784
1800.03/1780.06	v -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801
1800.03/1780.06	v -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818
1800.03/1780.06	v -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 x4835 -x4836
1800.03/1780.06	v -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853
1800.03/1780.06	v -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870
1800.03/1780.06	v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887
1800.03/1780.06	v -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904
1800.03/1780.06	v -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921
1800.03/1780.06	v -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938
1800.03/1780.06	v -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955
1800.03/1780.06	v -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972
1800.03/1780.06	v -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989
1800.03/1780.06	v -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006
1800.03/1780.06	v -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023
1800.03/1780.06	v -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040
1800.03/1780.06	v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057
1800.03/1780.06	v -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074
1800.03/1780.06	v -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091
1800.03/1780.06	v -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108
1800.03/1780.06	v -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125
1800.03/1780.06	v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142
1800.03/1780.06	v -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159
1800.03/1780.06	v -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176
1800.03/1780.06	v -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193
1800.03/1780.06	v -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210
1800.03/1780.06	v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227
1800.03/1780.06	v -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244
1800.03/1780.06	v -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261
1800.03/1780.06	v -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278
1800.03/1780.06	v -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295
1800.03/1780.06	v -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312
1800.03/1780.06	v -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329
1800.03/1780.06	v -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346
1800.03/1780.06	v -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363
1800.03/1780.06	v -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380
1800.03/1780.06	v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397
1800.03/1780.06	v -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414
1800.03/1780.06	v -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431
1800.03/1780.06	v -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448
1800.03/1780.06	v -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465
1800.03/1780.06	v -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482
1800.03/1780.06	v -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499
1800.03/1780.06	v -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516
1800.03/1780.06	v -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533
1800.03/1780.06	v -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550
1800.03/1780.06	v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567
1800.03/1780.06	v -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584
1800.03/1780.06	v -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601
1800.03/1780.06	v -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 x5618
1800.03/1780.06	v -x5619 -x5620 x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635
1800.03/1780.06	v -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652
1800.03/1780.06	v -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669
1800.03/1780.06	v -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686
1800.03/1780.06	v -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703
1800.03/1780.06	v -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720
1800.03/1780.06	v -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737
1800.03/1780.06	v -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754
1800.03/1780.06	v -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771
1800.03/1780.06	v -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788
1800.03/1780.06	v -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805
1800.03/1780.06	v -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822
1800.03/1780.06	v -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839
1800.03/1780.06	v -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856
1800.03/1780.06	v -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873
1800.03/1780.06	v -x5874 x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890
1800.03/1780.06	v -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907
1800.03/1780.06	v -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924
1800.03/1780.06	v -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941
1800.03/1780.06	v -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958
1800.03/1780.06	v -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975
1800.03/1780.06	v -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992
1800.03/1780.06	v -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009
1800.03/1780.06	v -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026
1800.03/1780.06	v -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043
1800.03/1780.06	v -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060
1800.03/1780.06	v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077
1800.03/1780.06	v -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094
1800.03/1780.06	v -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111
1800.03/1780.06	v -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128
1800.03/1780.06	v -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145
1800.03/1780.06	v -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162
1800.03/1780.06	v -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179
1800.03/1780.06	v -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196
1800.03/1780.06	v -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213
1800.03/1780.06	v -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230
1800.03/1780.06	v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247
1800.03/1780.06	v -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264
1800.03/1780.06	v -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281
1800.03/1780.06	v -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298
1800.03/1780.06	v -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315
1800.03/1780.06	v -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332
1800.03/1780.06	v -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349
1800.03/1780.06	v -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366
1800.03/1780.06	v -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383
1800.03/1780.06	v -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400
1800.03/1780.06	v -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417
1800.03/1780.06	v -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434
1800.03/1780.06	v -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451
1800.03/1780.06	v -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468
1800.03/1780.06	v -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485
1800.03/1780.06	v -x6486 x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502
1800.03/1780.06	v -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519
1800.03/1780.06	v -x6520 -x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536
1800.03/1780.06	v -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553
1800.03/1780.06	v -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570
1800.03/1780.06	v -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587
1800.03/1780.06	v -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604
1800.03/1780.06	v -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621
1800.03/1780.06	v -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638
1800.03/1780.06	v -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655
1800.03/1780.06	v -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672
1800.03/1780.06	v -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689
1800.03/1780.06	v -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706
1800.03/1780.06	v -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723
1800.03/1780.06	v -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740
1800.03/1780.06	v -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757
1800.03/1780.06	v -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774
1800.03/1780.06	v -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791
1800.03/1780.06	v -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808
1800.03/1780.06	v -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825
1800.03/1780.06	v -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842
1800.03/1780.06	v -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859
1800.03/1780.06	v -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876
1800.03/1780.06	v -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893
1800.03/1780.06	v -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910
1800.03/1780.06	v -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927
1800.03/1780.06	v -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944
1800.03/1780.06	v -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961
1800.03/1780.06	v -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978
1800.03/1780.06	v -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995
1800.03/1780.06	v -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 x7009 -x7010 -x7011 -x7012
1800.03/1780.06	v -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029
1800.03/1780.06	v -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046
1800.03/1780.06	v -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063
1800.03/1780.06	v -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080
1800.03/1780.06	v -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 x7092 -x7093 -x7094 -x7095 -x7096 -x7097
1800.03/1780.06	v -x7098 -x7099 x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114
1800.03/1780.06	v -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131
1800.03/1780.06	v -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148
1800.03/1780.06	v -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165
1800.03/1780.06	v -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182
1800.03/1780.06	v -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199
1800.03/1780.06	v -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216
1800.03/1780.06	v -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233
1800.03/1780.06	v -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250
1800.03/1780.06	v -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267
1800.03/1780.06	v -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284
1800.03/1780.06	v -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301
1800.03/1780.06	v -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318
1800.03/1780.06	v -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335
1800.03/1780.06	v -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352
1800.03/1780.06	v -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369
1800.03/1780.06	v -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386
1800.03/1780.06	v -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403
1800.03/1780.06	v -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420
1800.03/1780.06	v -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437
1800.03/1780.06	v -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454
1800.03/1780.06	v -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471
1800.03/1780.06	v -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488
1800.03/1780.06	v -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505
1800.03/1780.06	v -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522
1800.03/1780.06	v -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539
1800.03/1780.06	v -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556
1800.03/1780.06	v -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573
1800.03/1780.06	v -x7574 -x7575 x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591
1800.03/1780.06	v -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608
1800.03/1780.06	v -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625
1800.03/1780.06	v -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642
1800.03/1780.06	v -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659
1800.03/1780.06	v -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676
1800.03/1780.06	v -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693
1800.03/1780.06	v -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710
1800.03/1780.06	v -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727
1800.03/1780.06	v -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744
1800.03/1780.06	v -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761
1800.03/1780.06	v -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778
1800.03/1780.06	v -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795
1800.03/1780.06	v -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812
1800.03/1780.06	v -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829
1800.03/1780.06	v -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846
1800.03/1780.06	v -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863
1800.03/1780.06	v -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880
1800.03/1780.06	v -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897
1800.03/1780.06	v -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914
1800.03/1780.06	v -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931
1800.03/1780.06	v -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948
1800.03/1780.06	v -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965
1800.03/1780.06	v -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982
1800.03/1780.06	v -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999
1800.03/1780.06	v -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016
1800.03/1780.06	v -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033
1800.03/1780.06	v -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050
1800.03/1780.06	v -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067
1800.03/1780.06	v -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084
1800.03/1780.06	v -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101
1800.03/1780.06	v -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118
1800.03/1780.06	v -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135
1800.03/1780.06	v -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152
1800.03/1780.06	v -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169
1800.03/1780.06	v -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186
1800.03/1780.06	v -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203
1800.03/1780.06	v -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220
1800.03/1780.06	v -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237
1800.03/1780.06	v -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254
1800.03/1780.06	v -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271
1800.03/1780.06	v -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288
1800.03/1780.06	v -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 x8302 x8303 x8304 x8305 x8306
1800.03/1780.06	v -x8307 x8308 x8309 x8310 -x8311 -x8312 x8313 x8314 x8315 -x8316 x8317 x8318 x8319 x8320 x8321 -x8322 -x8323 -x8324 -x8325
1800.03/1780.06	v -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342
1800.03/1780.06	v -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 x8356 x8357 -x8358 -x8359 -x8360
1800.03/1780.06	v -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377
1800.03/1780.06	v -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 x8387 x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395
1800.03/1780.06	v -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411
1800.03/1780.10	c objective function=-38
1800.03/1780.10	c Total wall clock time (ms): 1779.905

Verifier Data (download as text)

OK	-38

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-350755-1176546876 -o ROOT/results/node11/solver-350755-1176546876 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350755-1176546876/sat4jPseudoCP.jar /tmp/evaluation/350755-1176546876/instance-350755-1176546876.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: 1.00 0.99 1.00 2/77 18596
/proc/meminfo: memFree=1928024/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1520 CPUtime=0
/proc/18596/stat : 18596 (java) R 18594 18596 17296 0 -1 0 91 0 0 0 0 0 0 0 18 0 1 0 95736510 1556480 73 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 7950944 0 0 4096 0 0 0 0 17 1 0 0
/proc/18596/statm: 380 73 55 9 0 10 0

[startup+0.095668 s]
/proc/loadavg: 1.00 0.99 1.00 2/77 18596
/proc/meminfo: memFree=1928024/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1780108 CPUtime=0.07
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 3935 0 1 0 5 2 0 0 18 0 12 0 95736510 1822830592 3676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 445027 3676 1119 9 0 442646 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1780108

[startup+0.101668 s]
/proc/loadavg: 1.00 0.99 1.00 2/77 18596
/proc/meminfo: memFree=1928024/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1780108 CPUtime=0.08
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 3979 0 1 0 6 2 0 0 18 0 12 0 95736510 1822830592 3720 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 445027 3720 1123 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.30169 s]
/proc/loadavg: 1.00 0.99 1.00 2/77 18596
/proc/meminfo: memFree=1928024/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1782560 CPUtime=0.32
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 5264 0 1 0 29 3 0 0 18 0 12 0 95736510 1825341440 5002 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 445640 5002 1264 9 0 443252 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782560

[startup+0.701737 s]
/proc/loadavg: 1.00 0.99 1.00 2/77 18596
/proc/meminfo: memFree=1928024/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1785040 CPUtime=0.98
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 7775 0 1 0 93 5 0 0 18 0 12 0 95736510 1827880960 6954 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 446260 6954 1310 9 0 443872 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 1785040

[startup+1.50283 s]
/proc/loadavg: 1.08 1.00 1.01 3/89 18608
/proc/meminfo: memFree=1894072/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1795612 CPUtime=2.57
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 20236 0 1 0 245 12 0 0 18 0 13 0 95736510 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 448903 15670 1318 9 0 446515 0
[pid=18596/tid=18598] ppid=18594 vsize=1795612 CPUtime=0.87
/proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 11574 0 1 0 80 7 0 0 18 0 13 0 95736511 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18599] ppid=18594 vsize=1795612 CPUtime=0
/proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 95736512 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18600] ppid=18594 vsize=1795612 CPUtime=0
/proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 95736512 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18601] ppid=18594 vsize=1795612 CPUtime=0
/proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 95736515 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18602] ppid=18594 vsize=1795612 CPUtime=0
/proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 95736515 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18603] ppid=18594 vsize=1795612 CPUtime=0
/proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 95736515 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18604] ppid=18594 vsize=1795612 CPUtime=0
/proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18605] ppid=18594 vsize=1795612 CPUtime=0.88
/proc/18596/task/18605/stat : 18605 (java) R 18594 18596 17296 0 -1 64 3289 0 0 0 87 1 0 0 17 0 13 0 95736519 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102399551 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18606] ppid=18594 vsize=1795612 CPUtime=0.79
/proc/18596/task/18606/stat : 18606 (java) R 18594 18596 17296 0 -1 64 4647 0 0 0 77 2 0 0 20 0 13 0 95736519 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336770 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18607] ppid=18594 vsize=1795612 CPUtime=0
/proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18608] ppid=18594 vsize=1795612 CPUtime=0
/proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1838706688 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 1795612

[startup+3.10302 s]
/proc/loadavg: 1.08 1.00 1.01 4/90 18609
/proc/meminfo: memFree=1840304/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1794364 CPUtime=5.27
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 53380 0 1 0 500 27 0 0 18 0 13 0 95736510 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 448591 43017 1330 9 0 446203 0
[pid=18596/tid=18598] ppid=18594 vsize=1794364 CPUtime=1.92
/proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 37754 0 1 0 173 19 0 0 19 0 13 0 95736511 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18599] ppid=18594 vsize=1794364 CPUtime=0.02
/proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 648 0 0 0 2 0 0 0 17 0 13 0 95736512 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18600] ppid=18594 vsize=1794364 CPUtime=0.02
/proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 651 0 0 0 2 0 0 0 17 0 13 0 95736512 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18601] ppid=18594 vsize=1794364 CPUtime=0
/proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 95736515 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18602] ppid=18594 vsize=1794364 CPUtime=0
/proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18603] ppid=18594 vsize=1794364 CPUtime=0
/proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18604] ppid=18594 vsize=1794364 CPUtime=0
/proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18605] ppid=18594 vsize=1794364 CPUtime=1.78
/proc/18596/task/18605/stat : 18605 (java) R 18594 18596 17296 0 -1 64 7057 0 0 0 175 3 0 0 16 0 13 0 95736519 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102297110 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18606] ppid=18594 vsize=1794364 CPUtime=1.48
/proc/18596/task/18606/stat : 18606 (java) R 18594 18596 17296 0 -1 64 6540 0 0 0 145 3 0 0 17 0 13 0 95736519 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104789924 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18607] ppid=18594 vsize=1794364 CPUtime=0
/proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18608] ppid=18594 vsize=1794364 CPUtime=0
/proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18609] ppid=18594 vsize=1794364 CPUtime=0
/proc/18596/task/18609/stat : 18609 (java) S 18594 18596 17296 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 95736653 1837428736 43017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 1794364

[startup+6.3014 s]
/proc/loadavg: 1.08 1.00 1.01 2/90 18609
/proc/meminfo: memFree=1751472/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1794904 CPUtime=9.4
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 61095 0 1 0 909 31 0 0 18 0 13 0 95736510 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 448726 43842 1332 9 0 446338 0
[pid=18596/tid=18598] ppid=18594 vsize=1794904 CPUtime=4.73
/proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 37761 0 1 0 454 19 0 0 18 0 13 0 95736511 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109880308 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18599] ppid=18594 vsize=1794904 CPUtime=0.11
/proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 1627 0 0 0 11 0 0 0 16 0 13 0 95736512 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18600] ppid=18594 vsize=1794904 CPUtime=0.1
/proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 1674 0 0 0 10 0 0 0 17 0 13 0 95736512 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18601] ppid=18594 vsize=1794904 CPUtime=0
/proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 19 0 0 0 0 0 0 0 17 0 13 0 95736515 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18602] ppid=18594 vsize=1794904 CPUtime=0
/proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18603] ppid=18594 vsize=1794904 CPUtime=0
/proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18604] ppid=18594 vsize=1794904 CPUtime=0
/proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18605] ppid=18594 vsize=1794904 CPUtime=2.36
/proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9781 0 0 0 232 4 0 0 16 0 13 0 95736519 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18606] ppid=18594 vsize=1794904 CPUtime=2.03
/proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9508 0 0 0 199 4 0 0 16 0 13 0 95736519 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18607] ppid=18594 vsize=1794904 CPUtime=0
/proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18608] ppid=18594 vsize=1794904 CPUtime=0
/proc/18596/task/18608/stat : 18608 (java) R 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837981696 43842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.4
Current children cumulated vsize (KiB) 1794904

[startup+12.7022 s]
/proc/loadavg: 1.07 1.00 1.00 2/90 18610
/proc/meminfo: memFree=1720256/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1794332 CPUtime=15.99
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 70904 0 1 0 1564 35 0 0 18 0 13 0 95736510 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 448583 53098 1334 9 0 446195 0
[pid=18596/tid=18598] ppid=18594 vsize=1794332 CPUtime=10.95
/proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 40711 0 1 0 1075 20 0 0 16 0 13 0 95736511 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109555087 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18599] ppid=18594 vsize=1794332 CPUtime=0.26
/proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 5073 0 0 0 24 2 0 0 16 0 13 0 95736512 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18600] ppid=18594 vsize=1794332 CPUtime=0.26
/proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 5072 0 0 0 24 2 0 0 16 0 13 0 95736512 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18601] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18602] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18603] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18604] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18605] ppid=18594 vsize=1794332 CPUtime=2.39
/proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9782 0 0 0 235 4 0 0 15 0 13 0 95736519 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18606] ppid=18594 vsize=1794332 CPUtime=2.07
/proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9509 0 0 0 203 4 0 0 17 0 13 0 95736519 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18607] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18608] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18610] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18610/stat : 18610 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 95737112 1837395968 53098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 1794332

[startup+25.5027 s]
/proc/loadavg: 1.06 1.00 1.00 2/90 18610
/proc/meminfo: memFree=1714176/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1794332 CPUtime=29
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 73831 0 1 0 2864 36 0 0 18 0 13 0 95736510 1837395968 54530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 448583 54530 1335 9 0 446195 0
[pid=18596/tid=18598] ppid=18594 vsize=1794332 CPUtime=23.62
/proc/18596/task/18598/stat : 18598 (java) S 18594 18596 17296 0 -1 64 41212 0 1 0 2341 21 0 0 25 0 13 0 95736511 1837395968 54530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18599] ppid=18594 vsize=1794332 CPUtime=0.38
/proc/18596/task/18599/stat : 18599 (java) R 18594 18596 17296 0 -1 64 6306 0 0 0 36 2 0 0 16 0 13 0 95736512 1837395968 54531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369140 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18600] ppid=18594 vsize=1794332 CPUtime=0.37
/proc/18596/task/18600/stat : 18600 (java) R 18594 18596 17296 0 -1 64 6262 0 0 0 35 2 0 0 16 0 13 0 95736512 1837395968 54531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369151 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18601] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 54531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18602] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 54531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=18596] ppid=18594 vsize=1794332 CPUtime=1620.56
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 160896 0 1 0 161953 103 0 0 18 0 13 0 95736510 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 448583 107644 1335 9 0 446195 0
[pid=18596/tid=18598] ppid=18594 vsize=1794332 CPUtime=1583.97
/proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 55634 0 1 0 158357 40 0 0 25 0 13 0 95736511 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110078304 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18599] ppid=18594 vsize=1794332 CPUtime=15.83
/proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 39709 0 0 0 1563 20 0 0 16 0 13 0 95736512 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18600] ppid=18594 vsize=1794332 CPUtime=15.84
/proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 45432 0 0 0 1564 20 0 0 16 0 13 0 95736512 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18601] ppid=18594 vsize=1794332 CPUtime=0.23
/proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 103 0 0 0 12 11 0 0 16 0 13 0 95736515 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18602] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18603] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18604] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18605] ppid=18594 vsize=1794332 CPUtime=2.46
/proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9782 0 0 0 242 4 0 0 16 0 13 0 95736519 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18606] ppid=18594 vsize=1794332 CPUtime=2.16
/proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9510 0 0 0 212 4 0 0 16 0 13 0 95736519 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18607] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18608] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18613] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18613/stat : 18613 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 95810740 1837395968 107644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1620.56
Current children cumulated vsize (KiB) 1794332

[startup+1662.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/90 18811
/proc/meminfo: memFree=1496560/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1794332 CPUtime=1681.05
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 162358 0 1 0 167993 112 0 0 18 0 13 0 95736510 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 448583 108143 1335 9 0 446195 0
[pid=18596/tid=18598] ppid=18594 vsize=1794332 CPUtime=1643.38
/proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 55655 0 1 0 164289 49 0 0 22 0 13 0 95736511 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109727891 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18599] ppid=18594 vsize=1794332 CPUtime=16.37
/proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 40231 0 0 0 1617 20 0 0 16 0 13 0 95736512 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18600] ppid=18594 vsize=1794332 CPUtime=16.38
/proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 46350 0 0 0 1617 21 0 0 17 0 13 0 95736512 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18601] ppid=18594 vsize=1794332 CPUtime=0.23
/proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 104 0 0 0 12 11 0 0 16 0 13 0 95736515 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18602] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18603] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18604] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18605] ppid=18594 vsize=1794332 CPUtime=2.46
/proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9782 0 0 0 242 4 0 0 16 0 13 0 95736519 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18606] ppid=18594 vsize=1794332 CPUtime=2.16
/proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9510 0 0 0 212 4 0 0 16 0 13 0 95736519 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18607] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18608] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18613] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18613/stat : 18613 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 95810740 1837395968 108143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1681.05
Current children cumulated vsize (KiB) 1794332

[startup+1722.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 18811
/proc/meminfo: memFree=1490288/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1794332 CPUtime=1741.8
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 164017 0 1 0 174066 114 0 0 18 0 13 0 95736510 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 448583 109742 1335 9 0 446195 0
[pid=18596/tid=18598] ppid=18594 vsize=1794332 CPUtime=1702.54
/proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 55687 0 1 0 170205 49 0 0 25 0 13 0 95736511 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110078412 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18599] ppid=18594 vsize=1794332 CPUtime=17.16
/proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 40886 0 0 0 1696 20 0 0 16 0 13 0 95736512 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18600] ppid=18594 vsize=1794332 CPUtime=17.17
/proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 47322 0 0 0 1696 21 0 0 16 0 13 0 95736512 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18601] ppid=18594 vsize=1794332 CPUtime=0.25
/proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 104 0 0 0 13 12 0 0 15 0 13 0 95736515 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18602] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18603] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18604] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18605] ppid=18594 vsize=1794332 CPUtime=2.46
/proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9782 0 0 0 242 4 0 0 16 0 13 0 95736519 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18606] ppid=18594 vsize=1794332 CPUtime=2.16
/proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9510 0 0 0 212 4 0 0 16 0 13 0 95736519 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18607] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18608] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18613] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18613/stat : 18613 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 95810740 1837395968 109742 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1741.8
Current children cumulated vsize (KiB) 1794332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780 s]
/proc/loadavg: 1.00 1.02 1.00 3/90 18811
/proc/meminfo: memFree=1486640/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1794332 CPUtime=1800.03
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 165408 0 1 0 179888 115 0 0 18 0 13 0 95736510 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 448583 110531 1335 9 0 446195 0
[pid=18596/tid=18598] ppid=18594 vsize=1794332 CPUtime=1759.63
/proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 55708 0 1 0 175914 49 0 0 25 0 13 0 95736511 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109755210 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18599] ppid=18594 vsize=1794332 CPUtime=17.73
/proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 41894 0 0 0 1752 21 0 0 16 0 13 0 95736512 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18600] ppid=18594 vsize=1794332 CPUtime=17.73
/proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 47684 0 0 0 1752 21 0 0 16 0 13 0 95736512 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18601] ppid=18594 vsize=1794332 CPUtime=0.25
/proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 104 0 0 0 13 12 0 0 16 0 13 0 95736515 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18602] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18603] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 95736515 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18604] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 95736519 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18605] ppid=18594 vsize=1794332 CPUtime=2.46
/proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9782 0 0 0 242 4 0 0 16 0 13 0 95736519 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18606] ppid=18594 vsize=1794332 CPUtime=2.16
/proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9510 0 0 0 212 4 0 0 16 0 13 0 95736519 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18607] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 95736519 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18608] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 95736519 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18613] ppid=18594 vsize=1794332 CPUtime=0
/proc/18596/task/18613/stat : 18613 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 95810740 1837395968 110531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1794332

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

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

[startup+1780.11 s]
/proc/loadavg: 1.00 1.02 1.00 3/90 18811
/proc/meminfo: memFree=1486640/2055920 swapFree=4140560/4192956
[pid=18596] ppid=18594 vsize=1794980 CPUtime=1800.23
/proc/18596/stat : 18596 (java) S 18594 18596 17296 0 -1 0 165427 0 1 0 179908 115 0 0 16 0 14 0 95736510 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18596/statm: 448745 110550 1335 9 0 446357 0
[pid=18596/tid=18598] ppid=18594 vsize=1794980 CPUtime=1759.74
/proc/18596/task/18598/stat : 18598 (java) R 18594 18596 17296 0 -1 64 55708 0 1 0 175925 49 0 0 25 0 14 0 95736511 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109555164 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18599] ppid=18594 vsize=1794980 CPUtime=17.73
/proc/18596/task/18599/stat : 18599 (java) S 18594 18596 17296 0 -1 64 41894 0 0 0 1752 21 0 0 16 0 14 0 95736512 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18600] ppid=18594 vsize=1794980 CPUtime=17.73
/proc/18596/task/18600/stat : 18600 (java) S 18594 18596 17296 0 -1 64 47684 0 0 0 1752 21 0 0 16 0 14 0 95736512 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18601] ppid=18594 vsize=1794980 CPUtime=0.25
/proc/18596/task/18601/stat : 18601 (java) S 18594 18596 17296 0 -1 64 104 0 0 0 13 12 0 0 16 0 14 0 95736515 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18602] ppid=18594 vsize=1794980 CPUtime=0
/proc/18596/task/18602/stat : 18602 (java) S 18594 18596 17296 0 -1 64 10 0 0 0 0 0 0 0 16 0 14 0 95736515 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18603] ppid=18594 vsize=1794980 CPUtime=0
/proc/18596/task/18603/stat : 18603 (java) S 18594 18596 17296 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 95736515 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18604] ppid=18594 vsize=1794980 CPUtime=0
/proc/18596/task/18604/stat : 18604 (java) S 18594 18596 17296 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 95736519 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18605] ppid=18594 vsize=1794980 CPUtime=2.49
/proc/18596/task/18605/stat : 18605 (java) S 18594 18596 17296 0 -1 64 9782 0 0 0 245 4 0 0 16 0 14 0 95736519 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18606] ppid=18594 vsize=1794980 CPUtime=2.18
/proc/18596/task/18606/stat : 18606 (java) S 18594 18596 17296 0 -1 64 9510 0 0 0 214 4 0 0 16 0 14 0 95736519 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18607] ppid=18594 vsize=1794980 CPUtime=0
/proc/18596/task/18607/stat : 18607 (java) S 18594 18596 17296 0 -1 64 2 0 0 0 0 0 0 0 25 0 14 0 95736519 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18596/tid=18608] ppid=18594 vsize=1794980 CPUtime=0
/proc/18596/task/18608/stat : 18608 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 95736519 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18596/tid=18613] ppid=18594 vsize=1794980 CPUtime=0
/proc/18596/task/18613/stat : 18613 (java) S 18594 18596 17296 0 -1 64 1 0 0 0 0 0 0 0 18 0 14 0 95810740 1838059520 110550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1794980

Child status: 143
Real time (s): 1780.2
CPU time (s): 1800.32
CPU user time (s): 1799.09
CPU system time (s): 1.22581
CPU usage (%): 101.13
Max. virtual memory (cumulated for all children) (KiB): 1799000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.22581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165427
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= 45678
involuntary context switches= 54038

runsolver used 2.06669 second user time and 5.40218 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Apr 14 10:34:36 UTC 2007

IDJOB= 350755
IDBENCH= 1585
IDSOLVER= 160
FILE ID= node11/350755-1176546876

PBS_JOBID= 4556741

Free space on /tmp= 66467 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350755-1176546876/sat4jPseudoCP.jar /tmp/evaluation/350755-1176546876/instance-350755-1176546876.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-350755-1176546876 -o ROOT/results/node11/solver-350755-1176546876 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350755-1176546876/sat4jPseudoCP.jar /tmp/evaluation/350755-1176546876/instance-350755-1176546876.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  548627fc5af0dd4663b3515778a6a609

RANDOM SEED= 340327343

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1928368 kB
Buffers:         12752 kB
Cached:          50020 kB
SwapCached:      21344 kB
Active:          48644 kB
Inactive:        39928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1928368 kB
SwapTotal:     4192956 kB
SwapFree:      4140560 kB
Dirty:            4028 kB
Writeback:           0 kB
Mapped:          26936 kB
Slab:            24392 kB
Committed_AS:  5091556 kB
PageTables:       1856 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= 66467 MiB

End job on node11 on Sat Apr 14 11:04:18 UTC 2007