Trace number 363216

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCP 2007-03-23SAT (TO)-37719 1800.45 1781.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb
MD5SUMe2f15e37dec17456fb4044387114eb48
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-98107
Best CPU time to get the best result obtained on this benchmark47.8667
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -98107
Optimality of the best value was proved YES
Number of variables6000
Total number of constraints2171
Number of constraints which are clauses222
Number of constraints which are cardinality constraints (but not clauses)1914
Number of constraints which are nor clauses,nor cardinality constraints35
Minimum length of a constraint2
Maximum length of a constraint5998
Number of terms in the objective function 5995
Biggest coefficient in the objective function 3684
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527319
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 25616
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 527319
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-37719

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.04 1.00 2/77 25754
/proc/meminfo: memFree=1815568/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=140 CPUtime=0
/proc/25754/stat : 25754 (java) R 25752 25754 31569 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 178459479 143360 3 18446744073709551615 0 0 4294956993 18446744073709551615 206381313319 0 0 4096 0 0 0 0 17 1 0 0
/proc/25754/statm: 35 13 9 9 0 1 0

[startup+0.0994519 s]
/proc/loadavg: 1.00 1.04 1.00 2/77 25754
/proc/meminfo: memFree=1815568/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1780108 CPUtime=0.07
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 3942 0 1 0 5 2 0 0 18 0 12 0 178459479 1822830592 3683 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 445027 3683 1119 9 0 442646 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1780108

[startup+0.102446 s]
/proc/loadavg: 1.00 1.04 1.00 2/77 25754
/proc/meminfo: memFree=1815568/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1780108 CPUtime=0.08
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 3970 0 1 0 6 2 0 0 18 0 12 0 178459479 1822830592 3711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 445027 3711 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.302474 s]
/proc/loadavg: 1.00 1.04 1.00 2/77 25754
/proc/meminfo: memFree=1815568/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1781420 CPUtime=0.33
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 5106 0 1 0 30 3 0 0 18 0 12 0 178459479 1824174080 4844 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 445355 4844 1264 9 0 442967 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1781420

[startup+0.702514 s]
/proc/loadavg: 1.00 1.04 1.00 2/77 25754
/proc/meminfo: memFree=1815568/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1782540 CPUtime=0.94
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 7475 0 1 0 90 4 0 0 18 0 12 0 178459479 1825320960 6934 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 445635 6934 1302 9 0 443247 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 1782540

[startup+1.5016 s]
/proc/loadavg: 1.00 1.04 1.00 3/89 25766
/proc/meminfo: memFree=1783216/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1786236 CPUtime=2.3
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 13981 0 1 0 222 8 0 0 18 0 13 0 178459479 1829105664 11519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 446559 11519 1317 9 0 444171 0
[pid=25754/tid=25756] ppid=25752 vsize=1786236 CPUtime=0.91
/proc/25754/task/25756/stat : 25756 (java) R 25752 25754 31569 0 -1 64 9663 0 1 0 86 5 0 0 18 0 13 0 178459480 1829105664 11519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25757] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25757/stat : 25757 (java) S 25752 25754 31569 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 178459482 1829105664 11519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25758] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25758/stat : 25758 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 178459482 1829105664 11519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25759] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25759/stat : 25759 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 178459484 1829105664 11519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25760] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25760/stat : 25760 (java) S 25752 25754 31569 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 178459484 1829105664 11519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25761] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25761/stat : 25761 (java) S 25752 25754 31569 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 178459484 1829105664 11519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25762] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25762/stat : 25762 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 178459488 1829105664 11519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25763] ppid=25752 vsize=1786236 CPUtime=0.71
/proc/25754/task/25763/stat : 25763 (java) R 25752 25754 31569 0 -1 64 2086 0 0 0 70 1 0 0 17 0 13 0 178459488 1829105664 11519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105057376 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25764] ppid=25752 vsize=1786236 CPUtime=0.64
/proc/25754/task/25764/stat : 25764 (java) R 25752 25754 31569 0 -1 64 1508 0 0 0 64 0 0 0 17 0 13 0 178459488 1829105664 11519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103322448 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25765] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25765/stat : 25765 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 178459488 1829105664 11519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25766] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25766/stat : 25766 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178459488 1829105664 11519 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 1786236

[startup+3.10176 s]
/proc/loadavg: 1.08 1.05 1.00 3/90 25767
/proc/meminfo: memFree=1705384/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1786236 CPUtime=4.22
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 43979 0 1 0 399 23 0 0 18 0 13 0 178459479 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 446559 41504 1326 9 0 444171 0
[pid=25754/tid=25756] ppid=25752 vsize=1786236 CPUtime=2.4
/proc/25754/task/25756/stat : 25756 (java) R 25752 25754 31569 0 -1 64 37744 0 1 0 221 19 0 0 21 0 13 0 178459480 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109811859 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25757] ppid=25752 vsize=1786236 CPUtime=0.03
/proc/25754/task/25757/stat : 25757 (java) S 25752 25754 31569 0 -1 64 1021 0 0 0 3 0 0 0 16 0 13 0 178459482 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25758] ppid=25752 vsize=1786236 CPUtime=0.03
/proc/25754/task/25758/stat : 25758 (java) S 25752 25754 31569 0 -1 64 871 0 0 0 3 0 0 0 16 0 13 0 178459482 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25759] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25759/stat : 25759 (java) S 25752 25754 31569 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178459484 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25760] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25760/stat : 25760 (java) S 25752 25754 31569 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178459484 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25761] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25761/stat : 25761 (java) S 25752 25754 31569 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178459484 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25762] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25762/stat : 25762 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 178459488 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25763] ppid=25752 vsize=1786236 CPUtime=0.87
/proc/25754/task/25763/stat : 25763 (java) S 25752 25754 31569 0 -1 64 2092 0 0 0 86 1 0 0 16 0 13 0 178459488 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25764] ppid=25752 vsize=1786236 CPUtime=0.84
/proc/25754/task/25764/stat : 25764 (java) S 25752 25754 31569 0 -1 64 1519 0 0 0 84 0 0 0 16 0 13 0 178459488 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25765] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25765/stat : 25765 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 178459488 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25766] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25766/stat : 25766 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178459488 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25767] ppid=25752 vsize=1786236 CPUtime=0
/proc/25754/task/25767/stat : 25767 (java) S 25752 25754 31569 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178459606 1829105664 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 1786236

[startup+6.30209 s]
/proc/loadavg: 1.08 1.05 1.00 2/90 25767
/proc/meminfo: memFree=1654504/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1786204 CPUtime=7.77
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 49175 0 1 0 751 26 0 0 18 0 13 0 178459479 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 446551 45226 1326 9 0 444163 0
[pid=25754/tid=25756] ppid=25752 vsize=1786204 CPUtime=5.38
/proc/25754/task/25756/stat : 25756 (java) R 25752 25754 31569 0 -1 64 38426 0 1 0 518 20 0 0 25 0 13 0 178459480 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576921 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25757] ppid=25752 vsize=1786204 CPUtime=0.15
/proc/25754/task/25757/stat : 25757 (java) S 25752 25754 31569 0 -1 64 3321 0 0 0 14 1 0 0 16 0 13 0 178459482 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25758] ppid=25752 vsize=1786204 CPUtime=0.14
/proc/25754/task/25758/stat : 25758 (java) S 25752 25754 31569 0 -1 64 2992 0 0 0 13 1 0 0 16 0 13 0 178459482 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25759] ppid=25752 vsize=1786204 CPUtime=0
/proc/25754/task/25759/stat : 25759 (java) S 25752 25754 31569 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 178459484 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25760] ppid=25752 vsize=1786204 CPUtime=0
/proc/25754/task/25760/stat : 25760 (java) S 25752 25754 31569 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178459484 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25761] ppid=25752 vsize=1786204 CPUtime=0
/proc/25754/task/25761/stat : 25761 (java) S 25752 25754 31569 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178459484 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25762] ppid=25752 vsize=1786204 CPUtime=0
/proc/25754/task/25762/stat : 25762 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 178459488 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25763] ppid=25752 vsize=1786204 CPUtime=1.08
/proc/25754/task/25763/stat : 25763 (java) S 25752 25754 31569 0 -1 64 2159 0 0 0 107 1 0 0 16 0 13 0 178459488 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25764] ppid=25752 vsize=1786204 CPUtime=0.97
/proc/25754/task/25764/stat : 25764 (java) S 25752 25754 31569 0 -1 64 1525 0 0 0 97 0 0 0 16 0 13 0 178459488 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25765] ppid=25752 vsize=1786204 CPUtime=0
/proc/25754/task/25765/stat : 25765 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 178459488 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25766] ppid=25752 vsize=1786204 CPUtime=0
/proc/25754/task/25766/stat : 25766 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178459488 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25767] ppid=25752 vsize=1786204 CPUtime=0
/proc/25754/task/25767/stat : 25767 (java) S 25752 25754 31569 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178459606 1829072896 45226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 1786204

[startup+12.7017 s]
/proc/loadavg: 1.07 1.05 1.00 2/90 25767
/proc/meminfo: memFree=1611376/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1787088 CPUtime=14.42
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 56688 0 1 0 1412 30 0 0 18 0 13 0 178459479 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 446772 52181 1327 9 0 444384 0
[pid=25754/tid=25756] ppid=25752 vsize=1787088 CPUtime=11.63
/proc/25754/task/25756/stat : 25756 (java) R 25752 25754 31569 0 -1 64 41560 0 1 0 1141 22 0 0 25 0 13 0 178459480 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109811859 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25757] ppid=25752 vsize=1787088 CPUtime=0.25
/proc/25754/task/25757/stat : 25757 (java) S 25752 25754 31569 0 -1 64 5379 0 0 0 23 2 0 0 15 0 13 0 178459482 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25758] ppid=25752 vsize=1787088 CPUtime=0.24
/proc/25754/task/25758/stat : 25758 (java) S 25752 25754 31569 0 -1 64 4874 0 0 0 22 2 0 0 16 0 13 0 178459482 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25759] ppid=25752 vsize=1787088 CPUtime=0
/proc/25754/task/25759/stat : 25759 (java) S 25752 25754 31569 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 178459484 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25760] ppid=25752 vsize=1787088 CPUtime=0
/proc/25754/task/25760/stat : 25760 (java) S 25752 25754 31569 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178459484 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25761] ppid=25752 vsize=1787088 CPUtime=0
/proc/25754/task/25761/stat : 25761 (java) S 25752 25754 31569 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178459484 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25762] ppid=25752 vsize=1787088 CPUtime=0
/proc/25754/task/25762/stat : 25762 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 178459488 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25763] ppid=25752 vsize=1787088 CPUtime=1.15
/proc/25754/task/25763/stat : 25763 (java) S 25752 25754 31569 0 -1 64 2168 0 0 0 114 1 0 0 16 0 13 0 178459488 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25764] ppid=25752 vsize=1787088 CPUtime=1.11
/proc/25754/task/25764/stat : 25764 (java) S 25752 25754 31569 0 -1 64 1955 0 0 0 110 1 0 0 16 0 13 0 178459488 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25765] ppid=25752 vsize=1787088 CPUtime=0
/proc/25754/task/25765/stat : 25765 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 178459488 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25766] ppid=25752 vsize=1787088 CPUtime=0
/proc/25754/task/25766/stat : 25766 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178459488 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25767] ppid=25752 vsize=1787088 CPUtime=0
/proc/25754/task/25767/stat : 25767 (java) S 25752 25754 31569 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 178459606 1829978112 52181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.42
Current children cumulated vsize (KiB) 1787088

[startup+25.5021 s]
/proc/loadavg: 1.06 1.05 1.00 2/90 25767
/proc/meminfo: memFree=1597936/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1786204 CPUtime=27.42
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 62778 0 1 0 2709 33 0 0 18 0 13 0 178459479 1829072896 55437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 446551 55437 1327 9 0 444163 0
[pid=25754/tid=25756] ppid=25752 vsize=1786204 CPUtime=24.23
/proc/25754/task/25756/stat : 25756 (java) R 25752 25754 31569 0 -1 64 43003 0 1 0 2401 22 0 0 25 0 13 0 178459480 1829072896 55437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831276 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25757] ppid=25752 vsize=1786204 CPUtime=0.39
/proc/25754/task/25757/stat : 25757 (java) S 25752 25754 31569 0 -1 64 7624 0 0 0 36 3 0 0 16 0 13 0 178459482 1829072896 55437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25758] ppid=25752 vsize=1786204 CPUtime=0.38
/proc/25754/task/25758/stat : 25758 (java) S 25752 25754 31569 0 -1 64 7267 0 0 0 35 3 0 0 16 0 13 0 178459482 1829072896 55437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25759] ppid=25752 vsize=1786204 CPUtime=0.01
/proc/25754/task/25759/stat : 25759 (java) S 25752 25754 31569 0 -1 64 37 0 0 0 1 0 0 0 16 0 13 0 178459484 1829072896 55437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=25754/tid=25759] ppid=25752 vsize=1790008 CPUtime=0.67
/proc/25754/task/25759/stat : 25759 (java) S 25752 25754 31569 0 -1 64 451 0 0 0 36 31 0 0 17 0 13 0 178459484 1832968192 179460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25760] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25760/stat : 25760 (java) S 25752 25754 31569 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178459484 1832968192 179460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25761] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25761/stat : 25761 (java) S 25752 25754 31569 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178459484 1832968192 179460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25762] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25762/stat : 25762 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 178459488 1832968192 179460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25763] ppid=25752 vsize=1790008 CPUtime=1.81
/proc/25754/task/25763/stat : 25763 (java) S 25752 25754 31569 0 -1 64 4206 0 0 0 179 2 0 0 17 0 13 0 178459488 1832968192 179460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25764] ppid=25752 vsize=1790008 CPUtime=1.84
/proc/25754/task/25764/stat : 25764 (java) S 25752 25754 31569 0 -1 64 4077 0 0 0 183 1 0 0 17 0 13 0 178459488 1832968192 179460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25765] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25765/stat : 25765 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 178459488 1832968192 179460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25766] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25766/stat : 25766 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178459488 1832968192 179460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25770] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25770/stat : 25770 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 178536432 1832968192 179460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1558.3
Current children cumulated vsize (KiB) 1790008

[startup+1602.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/90 25772
/proc/meminfo: memFree=1086488/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1790008 CPUtime=1618.91
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 334831 0 1 0 161681 210 0 0 18 0 13 0 178459479 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 447502 183125 1329 9 0 445114 0
[pid=25754/tid=25756] ppid=25752 vsize=1790008 CPUtime=1584.16
/proc/25754/task/25756/stat : 25756 (java) R 25752 25754 31569 0 -1 64 140694 0 1 0 158339 77 0 0 25 0 13 0 178459480 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110162435 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25757] ppid=25752 vsize=1790008 CPUtime=15.18
/proc/25754/task/25757/stat : 25757 (java) S 25752 25754 31569 0 -1 64 93545 0 0 0 1469 49 0 0 16 0 13 0 178459482 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25758] ppid=25752 vsize=1790008 CPUtime=15.16
/proc/25754/task/25758/stat : 25758 (java) S 25752 25754 31569 0 -1 64 91129 0 0 0 1471 45 0 0 16 0 13 0 178459482 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25759] ppid=25752 vsize=1790008 CPUtime=0.68
/proc/25754/task/25759/stat : 25759 (java) S 25752 25754 31569 0 -1 64 452 0 0 0 37 31 0 0 16 0 13 0 178459484 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25760] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25760/stat : 25760 (java) S 25752 25754 31569 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178459484 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25761] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25761/stat : 25761 (java) S 25752 25754 31569 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178459484 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25762] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25762/stat : 25762 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 178459488 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25763] ppid=25752 vsize=1790008 CPUtime=1.81
/proc/25754/task/25763/stat : 25763 (java) S 25752 25754 31569 0 -1 64 4206 0 0 0 179 2 0 0 17 0 13 0 178459488 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25764] ppid=25752 vsize=1790008 CPUtime=1.84
/proc/25754/task/25764/stat : 25764 (java) S 25752 25754 31569 0 -1 64 4077 0 0 0 183 1 0 0 17 0 13 0 178459488 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25765] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25765/stat : 25765 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 178459488 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25766] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25766/stat : 25766 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178459488 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25770] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25770/stat : 25770 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 178536432 1832968192 183125 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1618.91
Current children cumulated vsize (KiB) 1790008

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 25772
/proc/meminfo: memFree=1071576/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1790008 CPUtime=1679.51
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 339604 0 1 0 167737 214 0 0 18 0 13 0 178459479 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 447502 186605 1329 9 0 445114 0
[pid=25754/tid=25756] ppid=25752 vsize=1790008 CPUtime=1643.45
/proc/25754/task/25756/stat : 25756 (java) R 25752 25754 31569 0 -1 64 140857 0 1 0 164267 78 0 0 25 0 13 0 178459480 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831484 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25757] ppid=25752 vsize=1790008 CPUtime=15.84
/proc/25754/task/25757/stat : 25757 (java) S 25752 25754 31569 0 -1 64 96009 0 0 0 1534 50 0 0 16 0 13 0 178459482 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25758] ppid=25752 vsize=1790008 CPUtime=15.81
/proc/25754/task/25758/stat : 25758 (java) S 25752 25754 31569 0 -1 64 93275 0 0 0 1533 48 0 0 16 0 13 0 178459482 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25759] ppid=25752 vsize=1790008 CPUtime=0.7
/proc/25754/task/25759/stat : 25759 (java) S 25752 25754 31569 0 -1 64 452 0 0 0 38 32 0 0 15 0 13 0 178459484 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25760] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25760/stat : 25760 (java) S 25752 25754 31569 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178459484 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25761] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25761/stat : 25761 (java) S 25752 25754 31569 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178459484 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25762] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25762/stat : 25762 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 178459488 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25763] ppid=25752 vsize=1790008 CPUtime=1.81
/proc/25754/task/25763/stat : 25763 (java) S 25752 25754 31569 0 -1 64 4206 0 0 0 179 2 0 0 17 0 13 0 178459488 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25764] ppid=25752 vsize=1790008 CPUtime=1.84
/proc/25754/task/25764/stat : 25764 (java) S 25752 25754 31569 0 -1 64 4077 0 0 0 183 1 0 0 17 0 13 0 178459488 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25765] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25765/stat : 25765 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 178459488 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25766] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25766/stat : 25766 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178459488 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25770] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25770/stat : 25770 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 178536432 1832968192 186605 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1679.51
Current children cumulated vsize (KiB) 1790008

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/90 25772
/proc/meminfo: memFree=1054936/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1790008 CPUtime=1740.17
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 344798 0 1 0 173798 219 0 0 18 0 13 0 178459479 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 447502 190729 1329 9 0 445114 0
[pid=25754/tid=25756] ppid=25752 vsize=1790008 CPUtime=1702.69
/proc/25754/task/25756/stat : 25756 (java) R 25752 25754 31569 0 -1 64 140944 0 1 0 170191 78 0 0 25 0 13 0 178459480 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576415 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25757] ppid=25752 vsize=1790008 CPUtime=16.53
/proc/25754/task/25757/stat : 25757 (java) S 25752 25754 31569 0 -1 64 98749 0 0 0 1602 51 0 0 15 0 13 0 178459482 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25758] ppid=25752 vsize=1790008 CPUtime=16.5
/proc/25754/task/25758/stat : 25758 (java) S 25752 25754 31569 0 -1 64 95642 0 0 0 1601 49 0 0 16 0 13 0 178459482 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25759] ppid=25752 vsize=1790008 CPUtime=0.71
/proc/25754/task/25759/stat : 25759 (java) S 25752 25754 31569 0 -1 64 452 0 0 0 39 32 0 0 15 0 13 0 178459484 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25760] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25760/stat : 25760 (java) S 25752 25754 31569 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178459484 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25761] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25761/stat : 25761 (java) S 25752 25754 31569 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178459484 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25762] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25762/stat : 25762 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 178459488 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25763] ppid=25752 vsize=1790008 CPUtime=1.81
/proc/25754/task/25763/stat : 25763 (java) S 25752 25754 31569 0 -1 64 4206 0 0 0 179 2 0 0 17 0 13 0 178459488 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25764] ppid=25752 vsize=1790008 CPUtime=1.84
/proc/25754/task/25764/stat : 25764 (java) S 25752 25754 31569 0 -1 64 4077 0 0 0 183 1 0 0 17 0 13 0 178459488 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25765] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25765/stat : 25765 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 178459488 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25766] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25766/stat : 25766 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178459488 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25770] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25770/stat : 25770 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 178536432 1832968192 190729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1740.17
Current children cumulated vsize (KiB) 1790008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/90 25772
/proc/meminfo: memFree=1039192/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=1790008 CPUtime=1800.02
/proc/25754/stat : 25754 (java) S 25752 25754 31569 0 -1 0 350865 0 1 0 179778 224 0 0 18 0 13 0 178459479 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 447502 194654 1329 9 0 445114 0
[pid=25754/tid=25756] ppid=25752 vsize=1790008 CPUtime=1761.14
/proc/25754/task/25756/stat : 25756 (java) R 25752 25754 31569 0 -1 64 141173 0 1 0 176035 79 0 0 25 0 13 0 178459480 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109837613 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25757] ppid=25752 vsize=1790008 CPUtime=17.22
/proc/25754/task/25757/stat : 25757 (java) S 25752 25754 31569 0 -1 64 101429 0 0 0 1668 54 0 0 15 0 13 0 178459482 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25758] ppid=25752 vsize=1790008 CPUtime=17.2
/proc/25754/task/25758/stat : 25758 (java) S 25752 25754 31569 0 -1 64 98799 0 0 0 1670 50 0 0 16 0 13 0 178459482 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25759] ppid=25752 vsize=1790008 CPUtime=0.74
/proc/25754/task/25759/stat : 25759 (java) S 25752 25754 31569 0 -1 64 453 0 0 0 40 34 0 0 16 0 13 0 178459484 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25760] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25760/stat : 25760 (java) S 25752 25754 31569 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178459484 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25761] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25761/stat : 25761 (java) S 25752 25754 31569 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178459484 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25762] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25762/stat : 25762 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 178459488 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25763] ppid=25752 vsize=1790008 CPUtime=1.81
/proc/25754/task/25763/stat : 25763 (java) S 25752 25754 31569 0 -1 64 4206 0 0 0 179 2 0 0 17 0 13 0 178459488 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25764] ppid=25752 vsize=1790008 CPUtime=1.84
/proc/25754/task/25764/stat : 25764 (java) S 25752 25754 31569 0 -1 64 4077 0 0 0 183 1 0 0 17 0 13 0 178459488 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25765] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25765/stat : 25765 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 178459488 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25754/tid=25766] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25766/stat : 25766 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178459488 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25754/tid=25770] ppid=25752 vsize=1790008 CPUtime=0
/proc/25754/task/25770/stat : 25770 (java) S 25752 25754 31569 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 178536432 1832968192 194654 18446744073709551615 134512640 134550740 4294956448 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) 1790008

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

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

[startup+1781.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/90 25772
/proc/meminfo: memFree=1039192/2055920 swapFree=4149072/4192956
[pid=25754] ppid=25752 vsize=0 CPUtime=1800.43
/proc/25754/stat : 25754 (java) Z 25752 25754 31569 0 -1 1036 350884 0 1 0 179807 236 0 0 15 0 2 0 178459479 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1781.81
CPU time (s): 1800.45
CPU user time (s): 1798.07
CPU system time (s): 2.37264
CPU usage (%): 101.046
Max. virtual memory (cumulated for all children) (KiB): 1792000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.07
system time used= 2.37264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350884
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= 64053
involuntary context switches= 58736

runsolver used 2.17067 second user time and 5.41518 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Thu Apr 19 23:10:17 UTC 2007

IDJOB= 363216
IDBENCH= 1760
IDSOLVER= 160
FILE ID= node2/363216-1177024217

PBS_JOBID= 4630567

Free space on /tmp= 66398 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363216-1177024217/sat4jPseudoCP.jar /tmp/evaluation/363216-1177024217/instance-363216-1177024217.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-363216-1177024217 -o ROOT/results/node2/solver-363216-1177024217 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363216-1177024217/sat4jPseudoCP.jar /tmp/evaluation/363216-1177024217/instance-363216-1177024217.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  e2f15e37dec17456fb4044387114eb48

RANDOM SEED= 195614360

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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.234
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.234
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:       1816040 kB
Buffers:         64788 kB
Cached:          93448 kB
SwapCached:      12240 kB
Active:          94392 kB
Inactive:        92368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1816040 kB
SwapTotal:     4192956 kB
SwapFree:      4149072 kB
Dirty:            3912 kB
Writeback:           0 kB
Mapped:          33396 kB
Slab:            38564 kB
Committed_AS:  8144476 kB
PageTables:       1872 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= 66398 MiB

End job on node2 on Thu Apr 19 23:40:01 UTC 2007