Trace number 351786

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCPClause 2007-03-23SAT (TO)-3121 1800.44 1778.28

General information on the benchmark

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

Verifier Data (download as text)

OK	-3121

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 1527
/proc/meminfo: memFree=1727016/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=152 CPUtime=0
/proc/1527/stat : 1527 (java) R 1525 1527 904 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 109269878 155648 26 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 8438564 0 0 4096 0 0 0 0 17 1 0 0
/proc/1527/statm: 38 26 19 9 0 4 0

[startup+0.032113 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 1527
/proc/meminfo: memFree=1727016/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1774248 CPUtime=0.01
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 2627 0 1 0 0 1 0 0 18 0 4 0 109269878 1816829952 2375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 443562 2375 439 9 0 441576 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1774248

[startup+0.101109 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 1527
/proc/meminfo: memFree=1727016/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1777844 CPUtime=0.06
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 3807 0 1 0 4 2 0 0 18 0 7 0 109269878 1820512256 3549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 444461 3549 1087 9 0 442097 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777844

[startup+0.301127 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 1527
/proc/meminfo: memFree=1727016/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1782424 CPUtime=0.32
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 5117 0 1 0 29 3 0 0 18 0 12 0 109269878 1825202176 4855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 445606 4855 1264 9 0 443217 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782424

[startup+0.701175 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 1527
/proc/meminfo: memFree=1727016/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1789356 CPUtime=1
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 8298 0 1 0 96 4 0 0 18 0 12 0 109269878 1832300544 7427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 447339 7427 1302 9 0 444950 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 1789356

[startup+1.50226 s]
/proc/loadavg: 0.92 0.98 0.99 4/89 1539
/proc/meminfo: memFree=1691592/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1794688 CPUtime=2.52
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 16390 0 1 0 243 9 0 0 18 0 13 0 109269878 1837760512 12553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 448672 12553 1312 9 0 446283 0
[pid=1527/tid=1529] ppid=1525 vsize=1794688 CPUtime=0.9
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 904 0 -1 64 8595 0 1 0 85 5 0 0 17 0 13 0 109269879 1837760512 12553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109221860 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1530] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 904 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 109269881 1837760512 12553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1531] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 109269881 1837760512 12553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1532] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 904 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 109269883 1837760512 12553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1533] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 904 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 109269883 1837760512 12553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 904 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 109269883 1837760512 12553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1535] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 109269889 1837760512 12553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=1794688 CPUtime=0.61
/proc/1527/task/1536/stat : 1536 (java) R 1525 1527 904 0 -1 64 2035 0 0 0 61 0 0 0 16 0 13 0 109269889 1837760512 12553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102352033 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1537] ppid=1525 vsize=1794688 CPUtime=0.98
/proc/1527/task/1537/stat : 1537 (java) R 1525 1527 904 0 -1 64 5033 0 0 0 96 2 0 0 17 0 13 0 109269889 1837760512 12553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1538] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1538/stat : 1538 (java) S 1525 1527 904 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 109269889 1837760512 12553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1539] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1539/stat : 1539 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109269889 1837760512 12553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 1794688

[startup+3.10143 s]
/proc/loadavg: 0.92 0.98 0.99 4/89 1541
/proc/meminfo: memFree=1670856/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1794688 CPUtime=4.59
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 46939 0 1 0 436 23 0 0 18 0 13 0 109269878 1837760512 42658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 448672 42658 1327 9 0 446283 0
[pid=1527/tid=1529] ppid=1525 vsize=1794688 CPUtime=2.3
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 904 0 -1 64 37758 0 1 0 212 18 0 0 18 0 13 0 109269879 1837760512 42658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109810467 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1530] ppid=1525 vsize=1794688 CPUtime=0.01
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 904 0 -1 64 511 0 0 0 1 0 0 0 16 0 13 0 109269881 1837760512 42658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1531] ppid=1525 vsize=1794688 CPUtime=0.01
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 904 0 -1 64 389 0 0 0 1 0 0 0 16 0 13 0 109269881 1837760512 42658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1532] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 904 0 -1 64 8 0 0 0 0 0 0 0 15 0 13 0 109269883 1837760512 42658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1533] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 904 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 109269883 1837760512 42658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 904 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109269883 1837760512 42658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1535] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 109269889 1837760512 42658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=1794688 CPUtime=0.97
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 904 0 -1 64 2498 0 0 0 97 0 0 0 16 0 13 0 109269889 1837760512 42658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1537] ppid=1525 vsize=1794688 CPUtime=1.25
/proc/1527/task/1537/stat : 1537 (java) S 1525 1527 904 0 -1 64 5051 0 0 0 123 2 0 0 16 0 13 0 109269889 1837760512 42658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1538] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1538/stat : 1538 (java) S 1525 1527 904 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 109269889 1837760512 42658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1539] ppid=1525 vsize=1794688 CPUtime=0
/proc/1527/task/1539/stat : 1539 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109269889 1837760512 42658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 1794688

[startup+6.30179 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 1542
/proc/meminfo: memFree=1556736/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1794096 CPUtime=8.22
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 49787 0 1 0 797 25 0 0 18 0 13 0 109269878 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 448524 42663 1327 9 0 446135 0
[pid=1527/tid=1529] ppid=1525 vsize=1794096 CPUtime=5.3
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 904 0 -1 64 37764 0 1 0 512 18 0 0 25 0 13 0 109269879 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109810771 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1530] ppid=1525 vsize=1794096 CPUtime=0.07
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 904 0 -1 64 1038 0 0 0 7 0 0 0 17 0 13 0 109269881 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1531] ppid=1525 vsize=1794096 CPUtime=0.06
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 904 0 -1 64 956 0 0 0 6 0 0 0 16 0 13 0 109269881 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1532] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 904 0 -1 64 19 0 0 0 0 0 0 0 17 0 13 0 109269883 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1533] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 904 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 904 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1535] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 109269889 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=1794096 CPUtime=1.12
/proc/1527/task/1536/stat : 1536 (java) R 1525 1527 904 0 -1 64 2504 0 0 0 112 0 0 0 17 0 13 0 109269889 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 101756481 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1537] ppid=1525 vsize=1794096 CPUtime=1.6
/proc/1527/task/1537/stat : 1537 (java) S 1525 1527 904 0 -1 64 6782 0 0 0 157 3 0 0 17 0 13 0 109269889 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1538] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1538/stat : 1538 (java) S 1525 1527 904 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 109269889 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1539] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1539/stat : 1539 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109269889 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1542] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1542/stat : 1542 (java) S 1525 1527 904 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 109270090 1837154304 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.22
Current children cumulated vsize (KiB) 1794096

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 1542
/proc/meminfo: memFree=1522752/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1794096 CPUtime=14.73
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 59429 0 1 0 1444 29 0 0 18 0 13 0 109269878 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 448524 51818 1327 9 0 446135 0
[pid=1527/tid=1529] ppid=1525 vsize=1794096 CPUtime=11.62
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 904 0 -1 64 44282 0 1 0 1141 21 0 0 22 0 13 0 109269879 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109804489 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1530] ppid=1525 vsize=1794096 CPUtime=0.13
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 904 0 -1 64 2602 0 0 0 12 1 0 0 16 0 13 0 109269881 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1531] ppid=1525 vsize=1794096 CPUtime=0.13
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 904 0 -1 64 2498 0 0 0 12 1 0 0 16 0 13 0 109269881 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1532] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 904 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1533] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 904 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 904 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1535] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 109269889 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=1794096 CPUtime=1.14
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 904 0 -1 64 2508 0 0 0 114 0 0 0 17 0 13 0 109269889 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1537] ppid=1525 vsize=1794096 CPUtime=1.65
/proc/1527/task/1537/stat : 1537 (java) S 1525 1527 904 0 -1 64 6783 0 0 0 162 3 0 0 17 0 13 0 109269889 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1538] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1538/stat : 1538 (java) S 1525 1527 904 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 109269889 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1539] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1539/stat : 1539 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109269889 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1542] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1542/stat : 1542 (java) S 1525 1527 904 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 109270090 1837154304 51818 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.73
Current children cumulated vsize (KiB) 1794096

[startup+25.5029 s]
/proc/loadavg: 0.95 0.98 0.99 3/90 1542
/proc/meminfo: memFree=1556416/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1794096 CPUtime=27.74
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 60996 0 1 0 2743 31 0 0 18 0 13 0 109269878 1837154304 43635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 448524 43635 1327 9 0 446135 0
[pid=1527/tid=1529] ppid=1525 vsize=1794096 CPUtime=24.3
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 904 0 -1 64 44305 0 1 0 2409 21 0 0 17 0 13 0 109269879 1837154304 43635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109805149 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1530] ppid=1525 vsize=1794096 CPUtime=0.19
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 904 0 -1 64 3204 0 0 0 18 1 0 0 16 0 13 0 109269881 1837154304 43635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1531] ppid=1525 vsize=1794096 CPUtime=0.19
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 904 0 -1 64 3421 0 0 0 18 1 0 0 16 0 13 0 109269881 1837154304 43635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1532] ppid=1525 vsize=1794096 CPUtime=0.01
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 904 0 -1 64 32 0 0 0 0 1 0 0 15 0 13 0 109269883 1837154304 43635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1533] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 904 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 43635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=1527/tid=1532] ppid=1525 vsize=1794096 CPUtime=0.62
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 904 0 -1 64 443 0 0 0 32 30 0 0 16 0 13 0 109269883 1837154304 171371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1533] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 904 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 171371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 904 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 171371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1535] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 109269889 1837154304 171371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=1794096 CPUtime=1.38
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 904 0 -1 64 2525 0 0 0 138 0 0 0 16 0 13 0 109269889 1837154304 171371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1537] ppid=1525 vsize=1794096 CPUtime=1.81
/proc/1527/task/1537/stat : 1537 (java) S 1525 1527 904 0 -1 64 6789 0 0 0 178 3 0 0 16 0 13 0 109269889 1837154304 171371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1538] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1538/stat : 1538 (java) S 1525 1527 904 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 109269889 1837154304 171371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1539] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1539/stat : 1539 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109269889 1837154304 171371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1542] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1542/stat : 1542 (java) S 1525 1527 904 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 109270090 1837154304 171371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1560.66
Current children cumulated vsize (KiB) 1794096

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 1542
/proc/meminfo: memFree=1029248/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1794096 CPUtime=1621.59
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 300925 0 1 0 161973 186 0 0 18 0 13 0 109269878 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 448524 174964 1328 9 0 446135 0
[pid=1527/tid=1529] ppid=1525 vsize=1794096 CPUtime=1581.87
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 904 0 -1 64 127616 0 1 0 158117 70 0 0 17 0 13 0 109269879 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109804648 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1530] ppid=1525 vsize=1794096 CPUtime=17.91
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 904 0 -1 64 81727 0 0 0 1749 42 0 0 16 0 13 0 109269881 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1531] ppid=1525 vsize=1794096 CPUtime=17.91
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 904 0 -1 64 81101 0 0 0 1754 37 0 0 17 0 13 0 109269881 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1532] ppid=1525 vsize=1794096 CPUtime=0.63
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 904 0 -1 64 443 0 0 0 33 30 0 0 16 0 13 0 109269883 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1533] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 904 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 904 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1535] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 109269889 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=1794096 CPUtime=1.38
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 904 0 -1 64 2525 0 0 0 138 0 0 0 16 0 13 0 109269889 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1537] ppid=1525 vsize=1794096 CPUtime=1.81
/proc/1527/task/1537/stat : 1537 (java) S 1525 1527 904 0 -1 64 6789 0 0 0 178 3 0 0 16 0 13 0 109269889 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1538] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1538/stat : 1538 (java) S 1525 1527 904 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 109269889 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1539] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1539/stat : 1539 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109269889 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1542] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1542/stat : 1542 (java) S 1525 1527 904 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 109270090 1837154304 174964 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1621.59
Current children cumulated vsize (KiB) 1794096

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 1542
/proc/meminfo: memFree=1015360/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1794096 CPUtime=1682.47
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 304702 0 1 0 168058 189 0 0 18 0 13 0 109269878 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 448524 178429 1328 9 0 446135 0
[pid=1527/tid=1529] ppid=1525 vsize=1794096 CPUtime=1640.91
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 904 0 -1 64 127683 0 1 0 164020 71 0 0 21 0 13 0 109269879 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109810793 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1530] ppid=1525 vsize=1794096 CPUtime=18.82
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 904 0 -1 64 83612 0 0 0 1839 43 0 0 17 0 13 0 109269881 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1531] ppid=1525 vsize=1794096 CPUtime=18.83
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 904 0 -1 64 82926 0 0 0 1845 38 0 0 16 0 13 0 109269881 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1532] ppid=1525 vsize=1794096 CPUtime=0.65
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 904 0 -1 64 443 0 0 0 34 31 0 0 16 0 13 0 109269883 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1533] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 904 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 904 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1535] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 109269889 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=1794096 CPUtime=1.38
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 904 0 -1 64 2525 0 0 0 138 0 0 0 16 0 13 0 109269889 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1537] ppid=1525 vsize=1794096 CPUtime=1.81
/proc/1527/task/1537/stat : 1537 (java) S 1525 1527 904 0 -1 64 6789 0 0 0 178 3 0 0 16 0 13 0 109269889 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1538] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1538/stat : 1538 (java) S 1525 1527 904 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 109269889 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1539] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1539/stat : 1539 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109269889 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1542] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1542/stat : 1542 (java) S 1525 1527 904 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 109270090 1837154304 178429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1682.47
Current children cumulated vsize (KiB) 1794096

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 1542
/proc/meminfo: memFree=1000704/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1794096 CPUtime=1743.43
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 308727 0 1 0 174151 192 0 0 18 0 13 0 109269878 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 448524 182122 1328 9 0 446135 0
[pid=1527/tid=1529] ppid=1525 vsize=1794096 CPUtime=1699.89
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 904 0 -1 64 127750 0 1 0 169917 72 0 0 25 0 13 0 109269879 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109810905 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1530] ppid=1525 vsize=1794096 CPUtime=19.81
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 904 0 -1 64 85268 0 0 0 1937 44 0 0 16 0 13 0 109269881 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1531] ppid=1525 vsize=1794096 CPUtime=19.82
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 904 0 -1 64 85227 0 0 0 1943 39 0 0 16 0 13 0 109269881 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1532] ppid=1525 vsize=1794096 CPUtime=0.65
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 904 0 -1 64 444 0 0 0 34 31 0 0 16 0 13 0 109269883 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1533] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 904 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 904 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1535] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 109269889 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=1794096 CPUtime=1.38
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 904 0 -1 64 2525 0 0 0 138 0 0 0 16 0 13 0 109269889 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1537] ppid=1525 vsize=1794096 CPUtime=1.81
/proc/1527/task/1537/stat : 1537 (java) S 1525 1527 904 0 -1 64 6789 0 0 0 178 3 0 0 16 0 13 0 109269889 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1538] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1538/stat : 1538 (java) S 1525 1527 904 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 109269889 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1539] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1539/stat : 1539 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109269889 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1542] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1542/stat : 1542 (java) S 1525 1527 904 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 109270090 1837154304 182122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1743.43
Current children cumulated vsize (KiB) 1794096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 1542
/proc/meminfo: memFree=986688/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=1794096 CPUtime=1800.03
/proc/1527/stat : 1527 (java) S 1525 1527 904 0 -1 0 312446 0 1 0 179808 195 0 0 18 0 13 0 109269878 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1527/statm: 448524 185553 1328 9 0 446135 0
[pid=1527/tid=1529] ppid=1525 vsize=1794096 CPUtime=1754.64
/proc/1527/task/1529/stat : 1529 (java) R 1525 1527 904 0 -1 64 127812 0 1 0 175391 73 0 0 24 0 13 0 109269879 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109811073 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1530] ppid=1525 vsize=1794096 CPUtime=20.73
/proc/1527/task/1530/stat : 1530 (java) S 1525 1527 904 0 -1 64 86858 0 0 0 2029 44 0 0 16 0 13 0 109269881 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1531] ppid=1525 vsize=1794096 CPUtime=20.74
/proc/1527/task/1531/stat : 1531 (java) S 1525 1527 904 0 -1 64 87294 0 0 0 2033 41 0 0 16 0 13 0 109269881 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1532] ppid=1525 vsize=1794096 CPUtime=0.67
/proc/1527/task/1532/stat : 1532 (java) S 1525 1527 904 0 -1 64 444 0 0 0 35 32 0 0 16 0 13 0 109269883 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1527/tid=1533] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1533/stat : 1533 (java) S 1525 1527 904 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1534] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1534/stat : 1534 (java) S 1525 1527 904 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109269883 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1535] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1535/stat : 1535 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 109269889 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1536] ppid=1525 vsize=1794096 CPUtime=1.38
/proc/1527/task/1536/stat : 1536 (java) S 1525 1527 904 0 -1 64 2525 0 0 0 138 0 0 0 16 0 13 0 109269889 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1537] ppid=1525 vsize=1794096 CPUtime=1.81
/proc/1527/task/1537/stat : 1537 (java) S 1525 1527 904 0 -1 64 6789 0 0 0 178 3 0 0 16 0 13 0 109269889 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1538] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1538/stat : 1538 (java) S 1525 1527 904 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 109269889 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1539] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1539/stat : 1539 (java) S 1525 1527 904 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109269889 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1527/tid=1542] ppid=1525 vsize=1794096 CPUtime=0
/proc/1527/task/1542/stat : 1542 (java) S 1525 1527 904 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 109270090 1837154304 185553 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1794096

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

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

[startup+1778.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 1542
/proc/meminfo: memFree=986688/2055920 swapFree=4191876/4192956
[pid=1527] ppid=1525 vsize=0 CPUtime=1800.35
/proc/1527/stat : 1527 (java) Z 1525 1527 904 0 -1 1036 312466 0 1 0 179836 199 0 0 15 0 2 0 109269878 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1527/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1778.28
CPU time (s): 1800.44
CPU user time (s): 1798.37
CPU system time (s): 2.07069
CPU usage (%): 101.246
Max. virtual memory (cumulated for all children) (KiB): 1797964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.37
system time used= 2.07069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312466
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= 62432
involuntary context switches= 47660

runsolver used 1.83072 second user time and 5.11322 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Sun Apr 15 05:05:26 UTC 2007

IDJOB= 351786
IDBENCH= 1810
IDSOLVER= 164
FILE ID= node21/351786-1176613526

PBS_JOBID= 4557030

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  7ddc5796bc843f2bf9bc94a0b22fd8e4

RANDOM SEED= 524014843

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1727488 kB
Buffers:         30064 kB
Cached:         149520 kB
SwapCached:        480 kB
Active:         114020 kB
Inactive:       110776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1727488 kB
SwapTotal:     4192956 kB
SwapFree:      4191876 kB
Dirty:            3808 kB
Writeback:           0 kB
Mapped:          61256 kB
Slab:            89240 kB
Committed_AS:   345276 kB
PageTables:       1788 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= 66561 MiB

End job on node21 on Sun Apr 15 05:35:06 UTC 2007