Trace number 373040

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23SAT (TO)27 1800.43 1796

General information on the benchmark

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

Verifier Data (download as text)

OK	27

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node39/watcher-373040-1177159774 -o ROOT/results/node39/solver-373040-1177159774 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373040-1177159774/sat4jPseudoResolution.jar /tmp/evaluation/373040-1177159774/instance-373040-1177159774.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 1.00 1.00 2/77 21427
/proc/meminfo: memFree=1598984/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=18568 CPUtime=0
/proc/21427/stat : 21427 (runsolver) R 21425 21427 20886 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 163889483 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/21427/statm: 4642 292 257 24 0 2626 0

[startup+0.0240769 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21427
/proc/meminfo: memFree=1598984/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1772952 CPUtime=0
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 1362 0 1 0 0 0 0 0 18 0 2 0 163889483 1815502848 1112 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/21427/statm: 443238 1125 381 9 0 441252 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1772952

[startup+0.101078 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21427
/proc/meminfo: memFree=1598984/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1780108 CPUtime=0.08
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 3968 0 1 0 6 2 0 0 18 0 12 0 163889483 1822830592 3710 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21427/statm: 445027 3710 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301119 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21427
/proc/meminfo: memFree=1598984/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1781428 CPUtime=0.3
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 5127 0 1 0 28 2 0 0 18 0 12 0 163889483 1824182272 4866 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21427/statm: 445357 4866 1264 9 0 442969 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1781428

[startup+0.701186 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21427
/proc/meminfo: memFree=1598984/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1783684 CPUtime=0.91
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 6920 0 1 0 87 4 0 0 18 0 12 0 163889483 1826492416 6478 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21427/statm: 445921 6478 1301 9 0 443533 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1783684

[startup+1.50232 s]
/proc/loadavg: 1.00 1.00 1.00 2/89 21439
/proc/meminfo: memFree=1569704/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1785692 CPUtime=2.28
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 16961 0 1 0 220 8 0 0 18 0 12 0 163889483 1828548608 14720 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21427/statm: 446423 14720 1305 9 0 444035 0
[pid=21427/tid=21429] ppid=21425 vsize=1785692 CPUtime=1.03
/proc/21427/task/21429/stat : 21429 (java) R 21425 21427 20886 0 -1 64 12825 0 1 0 97 6 0 0 19 0 12 0 163889484 1828548608 14720 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109479882 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21430] ppid=21425 vsize=1785692 CPUtime=0
/proc/21427/task/21430/stat : 21430 (java) S 21425 21427 20886 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 163889486 1828548608 14720 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21431] ppid=21425 vsize=1785692 CPUtime=0
/proc/21427/task/21431/stat : 21431 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 163889486 1828548608 14720 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21432] ppid=21425 vsize=1785692 CPUtime=0
/proc/21427/task/21432/stat : 21432 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 163889488 1828548608 14720 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21433] ppid=21425 vsize=1785692 CPUtime=0
/proc/21427/task/21433/stat : 21433 (java) S 21425 21427 20886 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 163889489 1828548608 14720 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21434] ppid=21425 vsize=1785692 CPUtime=0
/proc/21427/task/21434/stat : 21434 (java) S 21425 21427 20886 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 163889489 1828548608 14720 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21435] ppid=21425 vsize=1785692 CPUtime=0
/proc/21427/task/21435/stat : 21435 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 163889492 1828548608 14720 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21436] ppid=21425 vsize=1785692 CPUtime=0.61
/proc/21427/task/21436/stat : 21436 (java) R 21425 21427 20886 0 -1 64 2510 0 0 0 60 1 0 0 18 0 12 0 163889492 1828548608 14720 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 106125969 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21437] ppid=21425 vsize=1785692 CPUtime=0.62
/proc/21427/task/21437/stat : 21437 (java) S 21425 21427 20886 0 -1 64 907 0 0 0 62 0 0 0 16 0 12 0 163889493 1828548608 14720 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21438] ppid=21425 vsize=1785692 CPUtime=0
/proc/21427/task/21438/stat : 21438 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 163889493 1828548608 14720 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21439] ppid=21425 vsize=1785692 CPUtime=0
/proc/21427/task/21439/stat : 21439 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 163889493 1828548608 14720 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 1785692

[startup+3.10259 s]
/proc/loadavg: 1.00 1.00 1.00 4/90 21443
/proc/meminfo: memFree=1533920/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1786292 CPUtime=4.32
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 21092 0 1 0 422 10 0 0 18 0 13 0 163889483 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21427/statm: 446573 17513 1314 9 0 444185 0
[pid=21427/tid=21429] ppid=21425 vsize=1786292 CPUtime=2.33
/proc/21427/task/21429/stat : 21429 (java) R 21425 21427 20886 0 -1 64 15509 0 1 0 225 8 0 0 25 0 13 0 163889484 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109827859 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21430] ppid=21425 vsize=1786292 CPUtime=0
/proc/21427/task/21430/stat : 21430 (java) S 21425 21427 20886 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 163889486 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21431] ppid=21425 vsize=1786292 CPUtime=0
/proc/21427/task/21431/stat : 21431 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 163889486 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21432] ppid=21425 vsize=1786292 CPUtime=0
/proc/21427/task/21432/stat : 21432 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 163889488 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21433] ppid=21425 vsize=1786292 CPUtime=0
/proc/21427/task/21433/stat : 21433 (java) S 21425 21427 20886 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 163889489 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21434] ppid=21425 vsize=1786292 CPUtime=0
/proc/21427/task/21434/stat : 21434 (java) S 21425 21427 20886 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 163889489 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21435] ppid=21425 vsize=1786292 CPUtime=0
/proc/21427/task/21435/stat : 21435 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 163889492 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21436] ppid=21425 vsize=1786292 CPUtime=1.01
/proc/21427/task/21436/stat : 21436 (java) S 21425 21427 20886 0 -1 64 3780 0 0 0 100 1 0 0 16 0 13 0 163889492 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21437] ppid=21425 vsize=1786292 CPUtime=0.96
/proc/21427/task/21437/stat : 21437 (java) S 21425 21427 20886 0 -1 64 1078 0 0 0 96 0 0 0 15 0 13 0 163889493 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21438] ppid=21425 vsize=1786292 CPUtime=0
/proc/21427/task/21438/stat : 21438 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 163889493 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21439] ppid=21425 vsize=1786292 CPUtime=0
/proc/21427/task/21439/stat : 21439 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 163889493 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21443] ppid=21425 vsize=1786292 CPUtime=0
/proc/21427/task/21443/stat : 21443 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 163889690 1829163008 17513 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 1786292

[startup+6.30193 s]
/proc/loadavg: 1.00 1.00 1.00 3/90 21443
/proc/meminfo: memFree=1533088/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1786144 CPUtime=7.59
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 21233 0 1 0 748 11 0 0 18 0 13 0 163889483 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21427/statm: 446536 17570 1316 9 0 444148 0
[pid=21427/tid=21429] ppid=21425 vsize=1786144 CPUtime=5.53
/proc/21427/task/21429/stat : 21429 (java) R 21425 21427 20886 0 -1 64 15642 0 1 0 544 9 0 0 17 0 13 0 163889484 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109861911 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21430] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21430/stat : 21430 (java) S 21425 21427 20886 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 163889486 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21431] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21431/stat : 21431 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 163889486 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21432] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21432/stat : 21432 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 163889488 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21433] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21433/stat : 21433 (java) S 21425 21427 20886 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 163889489 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21434] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21434/stat : 21434 (java) S 21425 21427 20886 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 163889489 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21435] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21435/stat : 21435 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 163889492 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21436] ppid=21425 vsize=1786144 CPUtime=1.03
/proc/21427/task/21436/stat : 21436 (java) S 21425 21427 20886 0 -1 64 3784 0 0 0 102 1 0 0 16 0 13 0 163889492 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21437] ppid=21425 vsize=1786144 CPUtime=1
/proc/21427/task/21437/stat : 21437 (java) S 21425 21427 20886 0 -1 64 1082 0 0 0 100 0 0 0 16 0 13 0 163889493 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21438] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21438/stat : 21438 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 163889493 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21439] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21439/stat : 21439 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 163889493 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21443] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21443/stat : 21443 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 163889690 1829011456 17570 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 1786144

[startup+12.703 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 21443
/proc/meminfo: memFree=1531744/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1786144 CPUtime=13.99
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 21577 0 1 0 1387 12 0 0 18 0 13 0 163889483 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21427/statm: 446536 17914 1316 9 0 444148 0
[pid=21427/tid=21429] ppid=21425 vsize=1786144 CPUtime=11.93
/proc/21427/task/21429/stat : 21429 (java) R 21425 21427 20886 0 -1 64 15986 0 1 0 1183 10 0 0 25 0 13 0 163889484 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109877436 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21430] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21430/stat : 21430 (java) S 21425 21427 20886 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 163889486 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21431] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21431/stat : 21431 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 163889486 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21432] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21432/stat : 21432 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 163889488 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21433] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21433/stat : 21433 (java) S 21425 21427 20886 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 163889489 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21434] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21434/stat : 21434 (java) S 21425 21427 20886 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 163889489 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21435] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21435/stat : 21435 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 163889492 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21436] ppid=21425 vsize=1786144 CPUtime=1.03
/proc/21427/task/21436/stat : 21436 (java) S 21425 21427 20886 0 -1 64 3784 0 0 0 102 1 0 0 16 0 13 0 163889492 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21437] ppid=21425 vsize=1786144 CPUtime=1
/proc/21427/task/21437/stat : 21437 (java) S 21425 21427 20886 0 -1 64 1082 0 0 0 100 0 0 0 16 0 13 0 163889493 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21438] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21438/stat : 21438 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 163889493 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21439] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21439/stat : 21439 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 163889493 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21443] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21443/stat : 21443 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 163889690 1829011456 17914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.99
Current children cumulated vsize (KiB) 1786144

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 21443
/proc/meminfo: memFree=1528992/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1786144 CPUtime=26.82
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 22249 0 1 0 2670 12 0 0 18 0 13 0 163889483 1829011456 18585 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21427/statm: 446536 18585 1316 9 0 444148 0
[pid=21427/tid=21429] ppid=21425 vsize=1786144 CPUtime=24.72
/proc/21427/task/21429/stat : 21429 (java) R 21425 21427 20886 0 -1 64 16655 0 1 0 2462 10 0 0 25 0 13 0 163889484 1829011456 18585 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109915310 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21430] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21430/stat : 21430 (java) S 21425 21427 20886 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 163889486 1829011456 18585 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21431] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21431/stat : 21431 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 163889486 1829011456 18585 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21432] ppid=21425 vsize=1786144 CPUtime=0
/proc/21427/task/21432/stat : 21432 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 163889488 1829011456 18585 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=21427/tid=21432] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21432/stat : 21432 (java) S 21425 21427 20886 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 163889488 1834262528 252803 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21433] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21433/stat : 21433 (java) S 21425 21427 20886 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 163889489 1834262528 252803 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21434] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21434/stat : 21434 (java) S 21425 21427 20886 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 163889489 1834262528 252803 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21435] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21435/stat : 21435 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 163889492 1834262528 252803 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21436] ppid=21425 vsize=1791272 CPUtime=1.07
/proc/21427/task/21436/stat : 21436 (java) S 21425 21427 20886 0 -1 64 3787 0 0 0 106 1 0 0 16 0 13 0 163889492 1834262528 252803 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21437] ppid=21425 vsize=1791272 CPUtime=1.04
/proc/21427/task/21437/stat : 21437 (java) S 21425 21427 20886 0 -1 64 1084 0 0 0 104 0 0 0 16 0 13 0 163889493 1834262528 252803 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21438] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21438/stat : 21438 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 163889493 1834262528 252803 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21439] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21439/stat : 21439 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 163889493 1834262528 252803 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21443] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21443/stat : 21443 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 163889690 1834262528 252803 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1665.94
Current children cumulated vsize (KiB) 1791272

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 21641
/proc/meminfo: memFree=527968/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1791272 CPUtime=1726.3
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 356145 0 1 0 172439 191 0 0 18 0 13 0 163889483 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21427/statm: 447818 268314 1325 9 0 445430 0
[pid=21427/tid=21429] ppid=21425 vsize=1791272 CPUtime=1717.45
/proc/21427/task/21429/stat : 21429 (java) R 21425 21427 20886 0 -1 64 37722 0 1 0 171704 41 0 0 25 0 13 0 163889484 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109829594 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21430] ppid=21425 vsize=1791272 CPUtime=3.33
/proc/21427/task/21430/stat : 21430 (java) S 21425 21427 20886 0 -1 64 159899 0 0 0 259 74 0 0 16 0 13 0 163889486 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21431] ppid=21425 vsize=1791272 CPUtime=3.37
/proc/21427/task/21431/stat : 21431 (java) S 21425 21427 20886 0 -1 64 152924 0 0 0 264 73 0 0 16 0 13 0 163889486 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21432] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21432/stat : 21432 (java) S 21425 21427 20886 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 163889488 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21433] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21433/stat : 21433 (java) S 21425 21427 20886 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 163889489 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21434] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21434/stat : 21434 (java) S 21425 21427 20886 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 163889489 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21435] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21435/stat : 21435 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 163889492 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21436] ppid=21425 vsize=1791272 CPUtime=1.07
/proc/21427/task/21436/stat : 21436 (java) S 21425 21427 20886 0 -1 64 3787 0 0 0 106 1 0 0 16 0 13 0 163889492 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21437] ppid=21425 vsize=1791272 CPUtime=1.04
/proc/21427/task/21437/stat : 21437 (java) S 21425 21427 20886 0 -1 64 1084 0 0 0 104 0 0 0 16 0 13 0 163889493 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21438] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21438/stat : 21438 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 163889493 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21439] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21439/stat : 21439 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 163889493 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21443] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21443/stat : 21443 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 163889690 1834262528 268314 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1726.3
Current children cumulated vsize (KiB) 1791272

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 21641
/proc/meminfo: memFree=468832/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1791272 CPUtime=1786.65
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 377449 0 1 0 178463 202 0 0 18 0 13 0 163889483 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21427/statm: 447818 283013 1325 9 0 445430 0
[pid=21427/tid=21429] ppid=21425 vsize=1791272 CPUtime=1777.06
/proc/21427/task/21429/stat : 21429 (java) R 21425 21427 20886 0 -1 64 37723 0 1 0 177665 41 0 0 25 0 13 0 163889484 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109877427 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21430] ppid=21425 vsize=1791272 CPUtime=3.69
/proc/21427/task/21430/stat : 21430 (java) S 21425 21427 20886 0 -1 64 171357 0 0 0 290 79 0 0 16 0 13 0 163889486 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21431] ppid=21425 vsize=1791272 CPUtime=3.74
/proc/21427/task/21431/stat : 21431 (java) S 21425 21427 20886 0 -1 64 162769 0 0 0 295 79 0 0 20 0 13 0 163889486 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21432] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21432/stat : 21432 (java) S 21425 21427 20886 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 163889488 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21433] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21433/stat : 21433 (java) S 21425 21427 20886 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 163889489 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21434] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21434/stat : 21434 (java) S 21425 21427 20886 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 163889489 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21435] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21435/stat : 21435 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 163889492 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21436] ppid=21425 vsize=1791272 CPUtime=1.07
/proc/21427/task/21436/stat : 21436 (java) S 21425 21427 20886 0 -1 64 3787 0 0 0 106 1 0 0 16 0 13 0 163889492 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21437] ppid=21425 vsize=1791272 CPUtime=1.04
/proc/21427/task/21437/stat : 21437 (java) S 21425 21427 20886 0 -1 64 1084 0 0 0 104 0 0 0 16 0 13 0 163889493 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21438] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21438/stat : 21438 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 163889493 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21439] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21439/stat : 21439 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 163889493 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21443] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21443/stat : 21443 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 163889690 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1786.65
Current children cumulated vsize (KiB) 1791272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 21641
/proc/meminfo: memFree=468832/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1791272 CPUtime=1800.05
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 377449 0 1 0 179803 202 0 0 18 0 13 0 163889483 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21427/statm: 447818 283013 1325 9 0 445430 0
[pid=21427/tid=21429] ppid=21425 vsize=1791272 CPUtime=1790.46
/proc/21427/task/21429/stat : 21429 (java) R 21425 21427 20886 0 -1 64 37723 0 1 0 179005 41 0 0 25 0 13 0 163889484 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109861911 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21430] ppid=21425 vsize=1791272 CPUtime=3.69
/proc/21427/task/21430/stat : 21430 (java) S 21425 21427 20886 0 -1 64 171357 0 0 0 290 79 0 0 16 0 13 0 163889486 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21431] ppid=21425 vsize=1791272 CPUtime=3.74
/proc/21427/task/21431/stat : 21431 (java) S 21425 21427 20886 0 -1 64 162769 0 0 0 295 79 0 0 20 0 13 0 163889486 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21432] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21432/stat : 21432 (java) S 21425 21427 20886 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 163889488 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21433] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21433/stat : 21433 (java) S 21425 21427 20886 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 163889489 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21434] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21434/stat : 21434 (java) S 21425 21427 20886 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 163889489 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21435] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21435/stat : 21435 (java) S 21425 21427 20886 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 163889492 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21436] ppid=21425 vsize=1791272 CPUtime=1.07
/proc/21427/task/21436/stat : 21436 (java) S 21425 21427 20886 0 -1 64 3787 0 0 0 106 1 0 0 16 0 13 0 163889492 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21437] ppid=21425 vsize=1791272 CPUtime=1.04
/proc/21427/task/21437/stat : 21437 (java) S 21425 21427 20886 0 -1 64 1084 0 0 0 104 0 0 0 16 0 13 0 163889493 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21438] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21438/stat : 21438 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 163889493 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21439] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21439/stat : 21439 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 163889493 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21443] ppid=21425 vsize=1791272 CPUtime=0
/proc/21427/task/21443/stat : 21443 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 163889690 1834262528 283013 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1791272

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

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

[startup+1795.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 21641
/proc/meminfo: memFree=468832/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=1791920 CPUtime=1800.23
/proc/21427/stat : 21427 (java) S 21425 21427 20886 0 -1 0 377467 0 1 0 179821 202 0 0 16 0 14 0 163889483 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21427/statm: 447980 283031 1325 9 0 445592 0
[pid=21427/tid=21429] ppid=21425 vsize=1791920 CPUtime=1790.57
/proc/21427/task/21429/stat : 21429 (java) R 21425 21427 20886 0 -1 64 37723 0 1 0 179016 41 0 0 25 0 14 0 163889484 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109861987 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21427/tid=21430] ppid=21425 vsize=1791920 CPUtime=3.69
/proc/21427/task/21430/stat : 21430 (java) S 21425 21427 20886 0 -1 64 171357 0 0 0 290 79 0 0 16 0 14 0 163889486 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21431] ppid=21425 vsize=1791920 CPUtime=3.74
/proc/21427/task/21431/stat : 21431 (java) S 21425 21427 20886 0 -1 64 162769 0 0 0 295 79 0 0 20 0 14 0 163889486 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21432] ppid=21425 vsize=1791920 CPUtime=0
/proc/21427/task/21432/stat : 21432 (java) S 21425 21427 20886 0 -1 64 7 0 0 0 0 0 0 0 16 0 14 0 163889488 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21433] ppid=21425 vsize=1791920 CPUtime=0
/proc/21427/task/21433/stat : 21433 (java) S 21425 21427 20886 0 -1 64 10 0 0 0 0 0 0 0 17 0 14 0 163889489 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21434] ppid=21425 vsize=1791920 CPUtime=0
/proc/21427/task/21434/stat : 21434 (java) S 21425 21427 20886 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 163889489 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21435] ppid=21425 vsize=1791920 CPUtime=0
/proc/21427/task/21435/stat : 21435 (java) S 21425 21427 20886 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 163889492 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21436] ppid=21425 vsize=1791920 CPUtime=1.08
/proc/21427/task/21436/stat : 21436 (java) S 21425 21427 20886 0 -1 64 3787 0 0 0 107 1 0 0 16 0 14 0 163889492 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21437] ppid=21425 vsize=1791920 CPUtime=1.07
/proc/21427/task/21437/stat : 21437 (java) S 21425 21427 20886 0 -1 64 1084 0 0 0 107 0 0 0 16 0 14 0 163889493 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21438] ppid=21425 vsize=1791920 CPUtime=0
/proc/21427/task/21438/stat : 21438 (java) S 21425 21427 20886 0 -1 64 2 0 0 0 0 0 0 0 25 0 14 0 163889493 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21439] ppid=21425 vsize=1791920 CPUtime=0
/proc/21427/task/21439/stat : 21439 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 15 0 14 0 163889493 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21427/tid=21443] ppid=21425 vsize=1791920 CPUtime=0
/proc/21427/task/21443/stat : 21443 (java) S 21425 21427 20886 0 -1 64 0 0 0 0 0 0 0 0 23 0 14 0 163889690 1834926080 283031 18446744073709551615 134512640 134550740 4294956400 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) 1791920

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 21641
/proc/meminfo: memFree=468832/2055920 swapFree=4158472/4192956
[pid=21427] ppid=21425 vsize=0 CPUtime=1800.33
/proc/21427/stat : 21427 (java) Z 21425 21427 20886 0 -1 1036 377467 0 1 0 179824 209 0 0 15 0 2 0 163889483 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21427/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1796
CPU time (s): 1800.43
CPU user time (s): 1798.24
CPU system time (s): 2.19267
CPU usage (%): 100.247
Max. virtual memory (cumulated for all children) (KiB): 1791920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.24
system time used= 2.19267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377467
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= 37066
involuntary context switches= 38077

runsolver used 1.61575 second user time and 5.00224 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Sat Apr 21 12:49:34 UTC 2007

IDJOB= 373040
IDBENCH= 25015
IDSOLVER= 159
FILE ID= node39/373040-1177159774

PBS_JOBID= 4648904

Free space on /tmp= 66485 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  d25f6086317f033c233c4700493f03d1

RANDOM SEED= 882337097

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1599456 kB
Buffers:         39432 kB
Cached:         328436 kB
SwapCached:      14564 kB
Active:         300716 kB
Inactive:        91988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1599456 kB
SwapTotal:     4192956 kB
SwapFree:      4158472 kB
Dirty:            4288 kB
Writeback:           0 kB
Mapped:          30936 kB
Slab:            49052 kB
Committed_AS:  1893868 kB
PageTables:       2012 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= 66485 MiB

End job on node39 on Sat Apr 21 13:19:32 UTC 2007