Trace number 373129

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
sat4jPseudoCPClause 2007-03-23SAT (TO)26 1800.34 1751.63

General information on the benchmark

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

Verifier Data (download as text)

OK	26

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9001
/proc/meminfo: memFree=1778552/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=152 CPUtime=0
/proc/9001/stat : 9001 (java) D 8999 9001 8198 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 192972513 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 10515236 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/9001/statm: 38 26 19 9 0 4 0

[startup+0.066393 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9001
/proc/meminfo: memFree=1778552/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1777708 CPUtime=0.05
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 3665 0 1 0 3 2 0 0 18 0 7 0 192972513 1820372992 3408 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 444427 3408 1079 9 0 442063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1777708

[startup+0.101397 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9001
/proc/meminfo: memFree=1778552/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1780112 CPUtime=0.08
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 3972 0 1 0 6 2 0 0 18 0 12 0 192972513 1822834688 3714 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 445028 3714 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780112

[startup+0.301413 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9001
/proc/meminfo: memFree=1778552/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1781420 CPUtime=0.31
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 5147 0 1 0 28 3 0 0 18 0 12 0 192972513 1824174080 4886 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 445355 4886 1264 9 0 442966 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1781420

[startup+0.701449 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9001
/proc/meminfo: memFree=1778552/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1782592 CPUtime=0.91
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 6788 0 1 0 87 4 0 0 18 0 12 0 192972513 1825374208 6389 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 445648 6389 1301 9 0 443259 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1782592

[startup+1.50153 s]
/proc/loadavg: 0.92 0.98 0.99 2/76 9013
/proc/meminfo: memFree=1749656/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1786068 CPUtime=2.14
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 17109 0 1 0 206 8 0 0 18 0 12 0 192972513 1828933632 15725 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 446517 15725 1307 9 0 444128 0
[pid=9001/tid=9003] ppid=8999 vsize=1786068 CPUtime=1.06
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8198 0 -1 64 13802 0 1 0 99 7 0 0 19 0 12 0 192972514 1828933632 15725 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109221862 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9004] ppid=8999 vsize=1786068 CPUtime=0
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8198 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 192972515 1828933632 15725 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=1786068 CPUtime=0
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 192972515 1828933632 15725 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9006] ppid=8999 vsize=1786068 CPUtime=0
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8198 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 192972518 1828933632 15726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=1786068 CPUtime=0
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8198 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 192972518 1828933632 15726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=1786068 CPUtime=0
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8198 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 192972518 1828933632 15726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=1786068 CPUtime=0
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 192972522 1828933632 15726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=1786068 CPUtime=0.56
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8198 0 -1 64 1419 0 0 0 56 0 0 0 17 0 12 0 192972522 1828933632 15726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9011] ppid=8999 vsize=1786068 CPUtime=0.51
/proc/9001/task/9011/stat : 9011 (java) R 8999 9001 8198 0 -1 64 1170 0 0 0 51 0 0 0 16 0 12 0 192972522 1828933632 15726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105861555 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=1786068 CPUtime=0
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 192972522 1828933632 15726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=1786068 CPUtime=0
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 192972522 1828933632 15726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 1786068

[startup+3.10267 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 9016
/proc/meminfo: memFree=1711440/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1786392 CPUtime=4.35
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 42856 0 1 0 416 19 0 0 18 0 13 0 192972513 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 446598 40492 1324 9 0 444209 0
[pid=9001/tid=9003] ppid=8999 vsize=1786392 CPUtime=2.29
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8198 0 -1 64 37721 0 1 0 213 16 0 0 20 0 13 0 192972514 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109810147 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9004] ppid=8999 vsize=1786392 CPUtime=0.01
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8198 0 -1 64 431 0 0 0 1 0 0 0 17 0 13 0 192972515 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=1786392 CPUtime=0.01
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8198 0 -1 64 318 0 0 0 1 0 0 0 17 0 13 0 192972515 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9006] ppid=8999 vsize=1786392 CPUtime=0
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8198 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 192972518 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=1786392 CPUtime=0
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8198 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 192972518 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=1786392 CPUtime=0
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192972518 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=1786392 CPUtime=0
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192972522 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=1786392 CPUtime=0.96
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8198 0 -1 64 1448 0 0 0 96 0 0 0 16 0 13 0 192972522 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9011] ppid=8999 vsize=1786392 CPUtime=1.03
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8198 0 -1 64 2209 0 0 0 102 1 0 0 16 0 13 0 192972522 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=1786392 CPUtime=0
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192972522 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=1786392 CPUtime=0
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 192972522 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9016] ppid=8999 vsize=1786392 CPUtime=0
/proc/9001/task/9016/stat : 9016 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 192972719 1829265408 40492 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 1786392

[startup+6.30295 s]
/proc/loadavg: 1.01 1.00 1.00 2/77 9016
/proc/meminfo: memFree=1605776/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1797552 CPUtime=8.6
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 53393 0 1 0 835 25 0 0 18 0 13 0 192972513 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 449388 44490 1324 9 0 446999 0
[pid=9001/tid=9003] ppid=8999 vsize=1797552 CPUtime=5.02
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8198 0 -1 64 37728 0 1 0 486 16 0 0 17 0 13 0 192972514 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109810087 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9004] ppid=8999 vsize=1797552 CPUtime=0.08
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8198 0 -1 64 1616 0 0 0 8 0 0 0 16 0 13 0 192972515 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=1797552 CPUtime=0.08
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8198 0 -1 64 1265 0 0 0 8 0 0 0 16 0 13 0 192972515 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9006] ppid=8999 vsize=1797552 CPUtime=0
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8198 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 192972518 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=1797552 CPUtime=0
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8198 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 192972518 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=1797552 CPUtime=0
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192972518 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=1797552 CPUtime=0
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192972522 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=1797552 CPUtime=1.81
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8198 0 -1 64 6349 0 0 0 178 3 0 0 16 0 13 0 192972522 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9011] ppid=8999 vsize=1797552 CPUtime=1.53
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8198 0 -1 64 5681 0 0 0 151 2 0 0 16 0 13 0 192972522 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=1797552 CPUtime=0
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192972522 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=1797552 CPUtime=0
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 192972522 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9016] ppid=8999 vsize=1797552 CPUtime=0
/proc/9001/task/9016/stat : 9016 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 192972719 1840693248 44490 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.6
Current children cumulated vsize (KiB) 1797552

[startup+12.7025 s]
/proc/loadavg: 1.01 1.00 1.00 2/77 9016
/proc/meminfo: memFree=1571792/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1795388 CPUtime=15.17
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 62784 0 1 0 1488 29 0 0 18 0 13 0 192972513 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 448847 52539 1324 9 0 446458 0
[pid=9001/tid=9003] ppid=8999 vsize=1795388 CPUtime=11.31
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8198 0 -1 64 44344 0 1 0 1112 19 0 0 19 0 13 0 192972514 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109775473 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9004] ppid=8999 vsize=1795388 CPUtime=0.15
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8198 0 -1 64 3203 0 0 0 14 1 0 0 16 0 13 0 192972515 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=1795388 CPUtime=0.15
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8198 0 -1 64 2453 0 0 0 14 1 0 0 16 0 13 0 192972515 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9006] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8198 0 -1 64 33 0 0 0 0 0 0 0 15 0 13 0 192972518 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8198 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 192972518 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192972518 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192972522 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=1795388 CPUtime=1.85
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8198 0 -1 64 6349 0 0 0 182 3 0 0 16 0 13 0 192972522 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9011] ppid=8999 vsize=1795388 CPUtime=1.65
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8198 0 -1 64 5681 0 0 0 163 2 0 0 16 0 13 0 192972522 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192972522 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 192972522 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9016] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9016/stat : 9016 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 192972719 1838477312 52539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.17
Current children cumulated vsize (KiB) 1795388

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 9017
/proc/meminfo: memFree=1603848/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1795388 CPUtime=28.09
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 64132 0 1 0 2778 31 0 0 18 0 13 0 192972513 1838477312 44334 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 448847 44334 1326 9 0 446458 0
[pid=9001/tid=9003] ppid=8999 vsize=1795388 CPUtime=24
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8198 0 -1 64 44368 0 1 0 2380 20 0 0 22 0 13 0 192972514 1838477312 44334 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109803403 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9004] ppid=8999 vsize=1795388 CPUtime=0.22
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8198 0 -1 64 3878 0 0 0 21 1 0 0 16 0 13 0 192972515 1838477312 44334 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9005] ppid=8999 vsize=1795388 CPUtime=0.22
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8198 0 -1 64 3101 0 0 0 21 1 0 0 16 0 13 0 192972515 1838477312 44334 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9006] ppid=8999 vsize=1795388 CPUtime=0.02
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8198 0 -1 64 33 0 0 0 1 1 0 0 16 0 13 0 192972518 1838477312 44334 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=9001/tid=9006] ppid=8999 vsize=1795388 CPUtime=0.41
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8198 0 -1 64 129 0 0 0 24 17 0 0 15 0 13 0 192972518 1838477312 174727 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8198 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 192972518 1838477312 174727 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192972518 1838477312 174727 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192972522 1838477312 174727 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=1795388 CPUtime=2.01
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8198 0 -1 64 6350 0 0 0 198 3 0 0 16 0 13 0 192972522 1838477312 174727 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9011] ppid=8999 vsize=1795388 CPUtime=1.97
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8198 0 -1 64 6331 0 0 0 194 3 0 0 17 0 13 0 192972522 1838477312 174727 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192972522 1838477312 174727 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 192972522 1838477312 174727 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9017] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9017/stat : 9017 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 192974081 1838477312 174727 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1582.19
Current children cumulated vsize (KiB) 1795388

[startup+1602.3 s]
/proc/loadavg: 1.01 1.05 1.01 2/77 9217
/proc/meminfo: memFree=1069128/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1795388 CPUtime=1644.65
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 228249 0 1 0 164328 137 0 0 18 0 13 0 192972513 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 448847 178101 1327 9 0 446458 0
[pid=9001/tid=9003] ppid=8999 vsize=1795388 CPUtime=1558.68
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8198 0 -1 64 66482 0 1 0 155822 46 0 0 20 0 13 0 192972514 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109799136 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9004] ppid=8999 vsize=1795388 CPUtime=40.72
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8198 0 -1 64 71579 0 0 0 4041 31 0 0 16 0 13 0 192972515 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=1795388 CPUtime=40.77
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8198 0 -1 64 76657 0 0 0 4045 32 0 0 16 0 13 0 192972515 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9006] ppid=8999 vsize=1795388 CPUtime=0.42
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8198 0 -1 64 129 0 0 0 24 18 0 0 15 0 13 0 192972518 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8198 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 192972518 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192972518 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192972522 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=1795388 CPUtime=2.01
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8198 0 -1 64 6350 0 0 0 198 3 0 0 16 0 13 0 192972522 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9011] ppid=8999 vsize=1795388 CPUtime=1.97
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8198 0 -1 64 6331 0 0 0 194 3 0 0 17 0 13 0 192972522 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192972522 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 192972522 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9017] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9017/stat : 9017 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 192974081 1838477312 178101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1644.65
Current children cumulated vsize (KiB) 1795388

[startup+1662.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/77 9217
/proc/meminfo: memFree=1052872/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1795388 CPUtime=1707.14
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 232508 0 1 0 170575 139 0 0 18 0 13 0 192972513 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 448847 182105 1327 9 0 446458 0
[pid=9001/tid=9003] ppid=8999 vsize=1795388 CPUtime=1616.06
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8198 0 -1 64 66534 0 1 0 161560 46 0 0 25 0 13 0 192972514 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9004] ppid=8999 vsize=1795388 CPUtime=43.27
/proc/9001/task/9004/stat : 9004 (java) R 8999 9001 8198 0 -1 64 73026 0 0 0 4295 32 0 0 17 0 13 0 192972515 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105070832 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=1795388 CPUtime=43.34
/proc/9001/task/9005/stat : 9005 (java) R 8999 9001 8198 0 -1 64 79417 0 0 0 4300 34 0 0 17 0 13 0 192972515 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105070797 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9006] ppid=8999 vsize=1795388 CPUtime=0.43
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8198 0 -1 64 129 0 0 0 25 18 0 0 15 0 13 0 192972518 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8198 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 192972518 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192972518 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192972522 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=1795388 CPUtime=2.01
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8198 0 -1 64 6350 0 0 0 198 3 0 0 16 0 13 0 192972522 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9011] ppid=8999 vsize=1795388 CPUtime=1.97
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8198 0 -1 64 6331 0 0 0 194 3 0 0 17 0 13 0 192972522 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192972522 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 192972522 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9017] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9017/stat : 9017 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 192974081 1838477312 182105 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1707.14
Current children cumulated vsize (KiB) 1795388

[startup+1722.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/77 9217
/proc/meminfo: memFree=1040456/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1795388 CPUtime=1769.65
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 235908 0 1 0 176824 141 0 0 18 0 13 0 192972513 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 448847 185277 1327 9 0 446458 0
[pid=9001/tid=9003] ppid=8999 vsize=1795388 CPUtime=1673.43
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8198 0 -1 64 66584 0 1 0 167296 47 0 0 25 0 13 0 192972514 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109809805 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9004] ppid=8999 vsize=1795388 CPUtime=45.84
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8198 0 -1 64 75868 0 0 0 4551 33 0 0 16 0 13 0 192972515 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=1795388 CPUtime=45.89
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8198 0 -1 64 79925 0 0 0 4555 34 0 0 17 0 13 0 192972515 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9006] ppid=8999 vsize=1795388 CPUtime=0.45
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8198 0 -1 64 129 0 0 0 26 19 0 0 16 0 13 0 192972518 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9007] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8198 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 192972518 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192972518 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192972522 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=1795388 CPUtime=2.01
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8198 0 -1 64 6350 0 0 0 198 3 0 0 16 0 13 0 192972522 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9011] ppid=8999 vsize=1795388 CPUtime=1.97
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8198 0 -1 64 6331 0 0 0 194 3 0 0 17 0 13 0 192972522 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192972522 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 192972522 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9017] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9017/stat : 9017 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 192974081 1838477312 185277 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.65
Current children cumulated vsize (KiB) 1795388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1751.4 s]
/proc/loadavg: 1.04 1.04 1.00 3/77 9217
/proc/meminfo: memFree=1033992/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=1795388 CPUtime=1800.02
/proc/9001/stat : 9001 (java) S 8999 9001 8198 0 -1 0 237644 0 1 0 179859 143 0 0 18 0 13 0 192972513 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 448847 186897 1327 9 0 446458 0
[pid=9001/tid=9003] ppid=8999 vsize=1795388 CPUtime=1701.23
/proc/9001/task/9003/stat : 9003 (java) S 8999 9001 8198 0 -1 64 66609 0 1 0 170076 47 0 0 25 0 13 0 192972514 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9004] ppid=8999 vsize=1795388 CPUtime=47.12
/proc/9001/task/9004/stat : 9004 (java) R 8999 9001 8198 0 -1 64 77006 0 0 0 4678 34 0 0 17 0 13 0 192972515 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105070772 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9005] ppid=8999 vsize=1795388 CPUtime=47.18
/proc/9001/task/9005/stat : 9005 (java) R 8999 9001 8198 0 -1 64 80498 0 0 0 4684 34 0 0 17 0 13 0 192972515 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105369131 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9006] ppid=8999 vsize=1795388 CPUtime=0.45
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8198 0 -1 64 129 0 0 0 26 19 0 0 15 0 13 0 192972518 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8198 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 192972518 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8198 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 192972518 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192972522 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=1795388 CPUtime=2.01
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8198 0 -1 64 6350 0 0 0 198 3 0 0 16 0 13 0 192972522 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9001/tid=9011] ppid=8999 vsize=1795388 CPUtime=1.97
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8198 0 -1 64 6331 0 0 0 194 3 0 0 17 0 13 0 192972522 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8198 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192972522 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 192972522 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9001/tid=9017] ppid=8999 vsize=1795388 CPUtime=0
/proc/9001/task/9017/stat : 9017 (java) S 8999 9001 8198 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 192974081 1838477312 186897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1795388

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

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

[startup+1751.6 s]
/proc/loadavg: 1.04 1.04 1.00 3/77 9217
/proc/meminfo: memFree=1033992/2055920 swapFree=4183868/4192956
[pid=9001] ppid=8999 vsize=0 CPUtime=1800.3
/proc/9001/stat : 9001 (java) Z 8999 9001 8198 0 -1 1036 237662 0 1 0 179878 152 0 0 15 0 2 0 192972513 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9001/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1751.63
CPU time (s): 1800.34
CPU user time (s): 1798.79
CPU system time (s): 1.54876
CPU usage (%): 102.781
Max. virtual memory (cumulated for all children) (KiB): 1799984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.54876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237662
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= 52440
involuntary context switches= 39165

runsolver used 2.06469 second user time and 4.79227 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Sat Apr 21 15:37:10 UTC 2007

IDJOB= 373129
IDBENCH= 25021
IDSOLVER= 164
FILE ID= node68/373129-1177169830

PBS_JOBID= 4648942

Free space on /tmp= 66323 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  130be24ef6faf784c5a8bf386cbf11b2

RANDOM SEED= 619476463

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1779024 kB
Buffers:         28424 kB
Cached:         185536 kB
SwapCached:       2824 kB
Active:          75488 kB
Inactive:       148748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1779024 kB
SwapTotal:     4192956 kB
SwapFree:      4183868 kB
Dirty:            4128 kB
Writeback:           0 kB
Mapped:          16292 kB
Slab:            38696 kB
Committed_AS:  2826664 kB
PageTables:       1384 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= 66323 MiB

End job on node68 on Sat Apr 21 16:06:23 UTC 2007