Trace number 453256

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)73 1800.42 1741.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_4.opb
MD5SUM7603a459a5769ea7e43f52c522eb87aa
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark68
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 68
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6326
Sum of products size (including duplicates)12652
Number of different products6326
Sum of products size12652

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

Verifier Data (download as text)

OK	73

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node19/watcher-453256-1178126518 -o ROOT/results/node19/solver-453256-1178126518 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453256-1178126518/sat4jPseudoCPClause.jar /tmp/evaluation/453256-1178126518/instance-453256-1178126518.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.99 0.97 0.98 2/77 9653
/proc/meminfo: memFree=1805960/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=152 CPUtime=0
/proc/9653/stat : 9653 (java) D 9651 9653 9108 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 260569185 155648 26 18446744073709551615 134512640 134550740 4294956512 18446744073709551615 7484196 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/9653/statm: 38 26 19 9 0 4 0

[startup+0.0386009 s]
/proc/loadavg: 0.99 0.97 0.98 2/77 9653
/proc/meminfo: memFree=1805960/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1776088 CPUtime=0.02
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 3176 0 1 0 1 1 0 0 18 0 4 0 260569185 1818714112 2925 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 444022 2925 887 9 0 441658 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1776088

[startup+0.101607 s]
/proc/loadavg: 0.99 0.97 0.98 2/77 9653
/proc/meminfo: memFree=1805960/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1777844 CPUtime=0.07
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 3872 0 1 0 5 2 0 0 18 0 7 0 260569185 1820512256 3616 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 444461 3616 1096 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.301626 s]
/proc/loadavg: 0.99 0.97 0.98 2/77 9653
/proc/meminfo: memFree=1805960/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1781412 CPUtime=0.23
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 4971 0 1 0 20 3 0 0 18 0 12 0 260569185 1824165888 4711 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 445353 4711 1246 9 0 442964 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 1781412

[startup+0.701672 s]
/proc/loadavg: 0.99 0.97 0.98 2/77 9653
/proc/meminfo: memFree=1805960/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1782140 CPUtime=0.78
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 6081 0 1 0 75 3 0 0 18 0 12 0 260569185 1824911360 5765 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 445535 5765 1301 9 0 443146 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 1782140

[startup+1.50276 s]
/proc/loadavg: 0.99 0.97 0.98 3/89 9665
/proc/meminfo: memFree=1780968/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1787312 CPUtime=1.98
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 10184 0 1 0 192 6 0 0 18 0 12 0 260569185 1830207488 8458 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 446828 8458 1304 9 0 444439 0
[pid=9653/tid=9655] ppid=9651 vsize=1787312 CPUtime=1.1
/proc/9653/task/9655/stat : 9655 (java) R 9651 9653 9108 0 -1 64 6073 0 1 0 106 4 0 0 20 0 12 0 260569186 1830207488 8458 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109489871 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9656] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9656/stat : 9656 (java) S 9651 9653 9108 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 260569188 1830207488 8458 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9657] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9657/stat : 9657 (java) S 9651 9653 9108 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 260569188 1830207488 8458 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9658] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9658/stat : 9658 (java) S 9651 9653 9108 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 260569190 1830207488 8458 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9659] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9659/stat : 9659 (java) S 9651 9653 9108 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 260569190 1830207488 8458 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9660] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9660/stat : 9660 (java) S 9651 9653 9108 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 260569190 1830207488 8458 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9661] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9661/stat : 9661 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 260569201 1830207488 8458 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9662] ppid=9651 vsize=1787312 CPUtime=0.47
/proc/9653/task/9662/stat : 9662 (java) S 9651 9653 9108 0 -1 64 2148 0 0 0 47 0 0 0 15 0 12 0 260569201 1830207488 8458 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9663] ppid=9651 vsize=1787312 CPUtime=0.38
/proc/9653/task/9663/stat : 9663 (java) S 9651 9653 9108 0 -1 64 1243 0 0 0 38 0 0 0 16 0 12 0 260569201 1830207488 8458 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9664] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9664/stat : 9664 (java) S 9651 9653 9108 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 260569201 1830207488 8458 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9665] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9665/stat : 9665 (java) S 9651 9653 9108 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 260569201 1830207488 8458 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 1787312

[startup+3.10293 s]
/proc/loadavg: 0.99 0.97 0.98 2/89 9665
/proc/meminfo: memFree=1774440/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1787312 CPUtime=3.68
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 11411 0 1 0 361 7 0 0 18 0 12 0 260569185 1830207488 9684 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 446828 9684 1304 9 0 444439 0
[pid=9653/tid=9655] ppid=9651 vsize=1787312 CPUtime=2.66
/proc/9653/task/9655/stat : 9655 (java) R 9651 9653 9108 0 -1 64 7277 0 1 0 262 4 0 0 25 0 12 0 260569186 1830207488 9684 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109489871 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9656] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9656/stat : 9656 (java) S 9651 9653 9108 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 260569188 1830207488 9684 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9657] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9657/stat : 9657 (java) S 9651 9653 9108 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 260569188 1830207488 9684 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9658] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9658/stat : 9658 (java) S 9651 9653 9108 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 260569190 1830207488 9684 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9659] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9659/stat : 9659 (java) S 9651 9653 9108 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 260569190 1830207488 9684 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9660] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9660/stat : 9660 (java) S 9651 9653 9108 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 260569190 1830207488 9684 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9661] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9661/stat : 9661 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 260569201 1830207488 9684 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9662] ppid=9651 vsize=1787312 CPUtime=0.56
/proc/9653/task/9662/stat : 9662 (java) S 9651 9653 9108 0 -1 64 2169 0 0 0 56 0 0 0 16 0 12 0 260569201 1830207488 9684 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9663] ppid=9651 vsize=1787312 CPUtime=0.41
/proc/9653/task/9663/stat : 9663 (java) S 9651 9653 9108 0 -1 64 1245 0 0 0 41 0 0 0 16 0 12 0 260569201 1830207488 9684 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9664] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9664/stat : 9664 (java) S 9651 9653 9108 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 260569201 1830207488 9684 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9665] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9665/stat : 9665 (java) S 9651 9653 9108 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 260569201 1830207488 9684 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 1787312

[startup+6.30127 s]
/proc/loadavg: 0.99 0.97 0.98 2/89 9665
/proc/meminfo: memFree=1767920/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1787312 CPUtime=7
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 12648 0 1 0 692 8 0 0 18 0 12 0 260569185 1830207488 10920 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 446828 10920 1304 9 0 444439 0
[pid=9653/tid=9655] ppid=9651 vsize=1787312 CPUtime=5.83
/proc/9653/task/9655/stat : 9655 (java) R 9651 9653 9108 0 -1 64 8501 0 1 0 578 5 0 0 25 0 12 0 260569186 1830207488 10920 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109490223 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9656] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9656/stat : 9656 (java) S 9651 9653 9108 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 260569188 1830207488 10920 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9657] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9657/stat : 9657 (java) S 9651 9653 9108 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 260569188 1830207488 10920 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9658] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9658/stat : 9658 (java) S 9651 9653 9108 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 260569190 1830207488 10920 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9659] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9659/stat : 9659 (java) S 9651 9653 9108 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 260569190 1830207488 10920 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9660] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9660/stat : 9660 (java) S 9651 9653 9108 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 260569190 1830207488 10920 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9661] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9661/stat : 9661 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 260569201 1830207488 10920 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9662] ppid=9651 vsize=1787312 CPUtime=0.62
/proc/9653/task/9662/stat : 9662 (java) S 9651 9653 9108 0 -1 64 2171 0 0 0 62 0 0 0 16 0 12 0 260569201 1830207488 10920 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9663] ppid=9651 vsize=1787312 CPUtime=0.51
/proc/9653/task/9663/stat : 9663 (java) S 9651 9653 9108 0 -1 64 1256 0 0 0 51 0 0 0 16 0 12 0 260569201 1830207488 10920 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9664] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9664/stat : 9664 (java) S 9651 9653 9108 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 260569201 1830207488 10920 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9665] ppid=9651 vsize=1787312 CPUtime=0
/proc/9653/task/9665/stat : 9665 (java) S 9651 9653 9108 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 260569201 1830207488 10920 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 1787312

[startup+12.703 s]
/proc/loadavg: 1.15 1.00 0.99 2/89 9669
/proc/meminfo: memFree=1628128/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1796760 CPUtime=14.85
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 50876 0 1 0 1459 26 0 0 18 0 13 0 260569185 1839882240 45581 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 449190 45581 1327 9 0 446801 0
[pid=9653/tid=9655] ppid=9651 vsize=1796760 CPUtime=11.58
/proc/9653/task/9655/stat : 9655 (java) R 9651 9653 9108 0 -1 64 37759 0 1 0 1140 18 0 0 17 0 13 0 260569186 1839882240 45581 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109844168 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9656] ppid=9651 vsize=1796760 CPUtime=0.09
/proc/9653/task/9656/stat : 9656 (java) S 9651 9653 9108 0 -1 64 1701 0 0 0 9 0 0 0 16 0 13 0 260569188 1839882240 45581 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9657] ppid=9651 vsize=1796760 CPUtime=0.1
/proc/9653/task/9657/stat : 9657 (java) S 9651 9653 9108 0 -1 64 1616 0 0 0 9 1 0 0 16 0 13 0 260569188 1839882240 45581 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9658] ppid=9651 vsize=1796760 CPUtime=0
/proc/9653/task/9658/stat : 9658 (java) S 9651 9653 9108 0 -1 64 12 0 0 0 0 0 0 0 17 0 13 0 260569190 1839882240 45581 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9659] ppid=9651 vsize=1796760 CPUtime=0
/proc/9653/task/9659/stat : 9659 (java) S 9651 9653 9108 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260569190 1839882240 45581 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9660] ppid=9651 vsize=1796760 CPUtime=0
/proc/9653/task/9660/stat : 9660 (java) S 9651 9653 9108 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 260569190 1839882240 45581 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9661] ppid=9651 vsize=1796760 CPUtime=0
/proc/9653/task/9661/stat : 9661 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 260569201 1839882240 45581 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9662] ppid=9651 vsize=1796760 CPUtime=1.53
/proc/9653/task/9662/stat : 9662 (java) S 9651 9653 9108 0 -1 64 4908 0 0 0 152 1 0 0 16 0 13 0 260569201 1839882240 45581 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9663] ppid=9651 vsize=1796760 CPUtime=1.49
/proc/9653/task/9663/stat : 9663 (java) S 9651 9653 9108 0 -1 64 4152 0 0 0 147 2 0 0 16 0 13 0 260569201 1839882240 45581 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9664] ppid=9651 vsize=1796760 CPUtime=0
/proc/9653/task/9664/stat : 9664 (java) S 9651 9653 9108 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 260569201 1839882240 45581 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9665] ppid=9651 vsize=1796760 CPUtime=0
/proc/9653/task/9665/stat : 9665 (java) S 9651 9653 9108 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260569201 1839882240 45581 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.85
Current children cumulated vsize (KiB) 1796760

[startup+25.5024 s]
/proc/loadavg: 1.13 1.00 0.99 3/90 9673
/proc/meminfo: memFree=1598920/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1795884 CPUtime=28.11
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 61481 0 1 0 2779 32 0 0 18 0 13 0 260569185 1838985216 52798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 448971 52798 1327 9 0 446582 0
[pid=9653/tid=9655] ppid=9651 vsize=1795884 CPUtime=24.07
/proc/9653/task/9655/stat : 9655 (java) R 9651 9653 9108 0 -1 64 40668 0 1 0 2387 20 0 0 25 0 13 0 260569186 1838985216 52798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109843831 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9656] ppid=9651 vsize=1795884 CPUtime=0.35
/proc/9653/task/9656/stat : 9656 (java) S 9651 9653 9108 0 -1 64 5880 0 0 0 32 3 0 0 16 0 13 0 260569188 1838985216 52798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9657] ppid=9651 vsize=1795884 CPUtime=0.34
/proc/9653/task/9657/stat : 9657 (java) S 9651 9653 9108 0 -1 64 5076 0 0 0 31 3 0 0 17 0 13 0 260569188 1838985216 52798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9658] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9658/stat : 9658 (java) S 9651 9653 9108 0 -1 64 36 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 52798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9659] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9659/stat : 9659 (java) S 9651 9653 9108 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 52798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9660] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9660/stat : 9660 (java) S 9651 9653 9108 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 52798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9661] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9661/stat : 9661 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 260569201 1838985216 52798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=9653/tid=9658] ppid=9651 vsize=1795884 CPUtime=0.39
/proc/9653/task/9658/stat : 9658 (java) S 9651 9653 9108 0 -1 64 53 0 0 0 24 15 0 0 16 0 13 0 260569190 1838985216 199905 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9659] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9659/stat : 9659 (java) S 9651 9653 9108 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 199905 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9660] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9660/stat : 9660 (java) S 9651 9653 9108 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 199905 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9661] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9661/stat : 9661 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 260569201 1838985216 199905 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9662] ppid=9651 vsize=1795884 CPUtime=1.71
/proc/9653/task/9662/stat : 9662 (java) S 9651 9653 9108 0 -1 64 4930 0 0 0 170 1 0 0 17 0 13 0 260569201 1838985216 199905 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9663] ppid=9651 vsize=1795884 CPUtime=1.76
/proc/9653/task/9663/stat : 9663 (java) S 9651 9653 9108 0 -1 64 4176 0 0 0 174 2 0 0 16 0 13 0 260569201 1838985216 199905 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9664] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9664/stat : 9664 (java) S 9651 9653 9108 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 260569201 1838985216 199905 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9665] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9665/stat : 9665 (java) S 9651 9653 9108 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260569201 1838985216 199905 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9677] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9677/stat : 9677 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 260577275 1838985216 199905 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.01
Current children cumulated vsize (KiB) 1795884

[startup+1602.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/90 9679
/proc/meminfo: memFree=989480/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1795884 CPUtime=1654
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 238065 0 1 0 165260 140 0 0 18 0 13 0 260569185 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 448971 204732 1330 9 0 446582 0
[pid=9653/tid=9655] ppid=9651 vsize=1795884 CPUtime=1549.78
/proc/9653/task/9655/stat : 9655 (java) R 9651 9653 9108 0 -1 64 47305 0 1 0 154942 36 0 0 25 0 13 0 260569186 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109843963 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9656] ppid=9651 vsize=1795884 CPUtime=50.15
/proc/9653/task/9656/stat : 9656 (java) S 9651 9653 9108 0 -1 64 88279 0 0 0 4974 41 0 0 16 0 13 0 260569188 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9657] ppid=9651 vsize=1795884 CPUtime=50.13
/proc/9653/task/9657/stat : 9657 (java) S 9651 9653 9108 0 -1 64 92588 0 0 0 4972 41 0 0 17 0 13 0 260569188 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9658] ppid=9651 vsize=1795884 CPUtime=0.41
/proc/9653/task/9658/stat : 9658 (java) S 9651 9653 9108 0 -1 64 53 0 0 0 25 16 0 0 16 0 13 0 260569190 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9659] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9659/stat : 9659 (java) S 9651 9653 9108 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9660] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9660/stat : 9660 (java) S 9651 9653 9108 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9661] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9661/stat : 9661 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 260569201 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9662] ppid=9651 vsize=1795884 CPUtime=1.71
/proc/9653/task/9662/stat : 9662 (java) S 9651 9653 9108 0 -1 64 4930 0 0 0 170 1 0 0 17 0 13 0 260569201 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9663] ppid=9651 vsize=1795884 CPUtime=1.76
/proc/9653/task/9663/stat : 9663 (java) S 9651 9653 9108 0 -1 64 4176 0 0 0 174 2 0 0 16 0 13 0 260569201 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9664] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9664/stat : 9664 (java) S 9651 9653 9108 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 260569201 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9665] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9665/stat : 9665 (java) S 9651 9653 9108 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260569201 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9677] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9677/stat : 9677 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 260577275 1838985216 204732 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654
Current children cumulated vsize (KiB) 1795884

[startup+1662.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/90 9679
/proc/meminfo: memFree=971816/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1795884 CPUtime=1716.95
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 242785 0 1 0 171552 143 0 0 18 0 13 0 260569185 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 448971 209048 1330 9 0 446582 0
[pid=9653/tid=9655] ppid=9651 vsize=1795884 CPUtime=1606.74
/proc/9653/task/9655/stat : 9655 (java) R 9651 9653 9108 0 -1 64 47361 0 1 0 160638 36 0 0 25 0 13 0 260569186 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109590738 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9656] ppid=9651 vsize=1795884 CPUtime=53.14
/proc/9653/task/9656/stat : 9656 (java) S 9651 9653 9108 0 -1 64 91918 0 0 0 5272 42 0 0 16 0 13 0 260569188 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9657] ppid=9651 vsize=1795884 CPUtime=53.1
/proc/9653/task/9657/stat : 9657 (java) S 9651 9653 9108 0 -1 64 93613 0 0 0 5269 41 0 0 17 0 13 0 260569188 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9658] ppid=9651 vsize=1795884 CPUtime=0.42
/proc/9653/task/9658/stat : 9658 (java) S 9651 9653 9108 0 -1 64 53 0 0 0 26 16 0 0 16 0 13 0 260569190 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9659] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9659/stat : 9659 (java) S 9651 9653 9108 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9660] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9660/stat : 9660 (java) S 9651 9653 9108 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9661] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9661/stat : 9661 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 260569201 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9662] ppid=9651 vsize=1795884 CPUtime=1.71
/proc/9653/task/9662/stat : 9662 (java) S 9651 9653 9108 0 -1 64 4930 0 0 0 170 1 0 0 17 0 13 0 260569201 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9663] ppid=9651 vsize=1795884 CPUtime=1.76
/proc/9653/task/9663/stat : 9663 (java) S 9651 9653 9108 0 -1 64 4176 0 0 0 174 2 0 0 16 0 13 0 260569201 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9664] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9664/stat : 9664 (java) S 9651 9653 9108 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 260569201 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9665] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9665/stat : 9665 (java) S 9651 9653 9108 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260569201 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9677] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9677/stat : 9677 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 260577275 1838985216 209048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.95
Current children cumulated vsize (KiB) 1795884

[startup+1722.3 s]
/proc/loadavg: 1.16 1.08 1.01 2/90 9679
/proc/meminfo: memFree=953000/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1795884 CPUtime=1780.03
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 247908 0 1 0 177857 146 0 0 18 0 13 0 260569185 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 448971 213798 1330 9 0 446582 0
[pid=9653/tid=9655] ppid=9651 vsize=1795884 CPUtime=1663.61
/proc/9653/task/9655/stat : 9655 (java) R 9651 9653 9108 0 -1 64 47418 0 1 0 166324 37 0 0 25 0 13 0 260569186 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109765583 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9656] ppid=9651 vsize=1795884 CPUtime=56.24
/proc/9653/task/9656/stat : 9656 (java) S 9651 9653 9108 0 -1 64 94170 0 0 0 5581 43 0 0 16 0 13 0 260569188 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9657] ppid=9651 vsize=1795884 CPUtime=56.2
/proc/9653/task/9657/stat : 9657 (java) S 9651 9653 9108 0 -1 64 96427 0 0 0 5578 42 0 0 16 0 13 0 260569188 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9658] ppid=9651 vsize=1795884 CPUtime=0.44
/proc/9653/task/9658/stat : 9658 (java) S 9651 9653 9108 0 -1 64 53 0 0 0 27 17 0 0 16 0 13 0 260569190 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9659] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9659/stat : 9659 (java) S 9651 9653 9108 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9660] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9660/stat : 9660 (java) S 9651 9653 9108 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9661] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9661/stat : 9661 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 260569201 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9662] ppid=9651 vsize=1795884 CPUtime=1.71
/proc/9653/task/9662/stat : 9662 (java) S 9651 9653 9108 0 -1 64 4930 0 0 0 170 1 0 0 17 0 13 0 260569201 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9663] ppid=9651 vsize=1795884 CPUtime=1.76
/proc/9653/task/9663/stat : 9663 (java) S 9651 9653 9108 0 -1 64 4176 0 0 0 174 2 0 0 16 0 13 0 260569201 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9664] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9664/stat : 9664 (java) S 9651 9653 9108 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 260569201 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9665] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9665/stat : 9665 (java) S 9651 9653 9108 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260569201 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9677] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9677/stat : 9677 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 260577275 1838985216 213798 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.03
Current children cumulated vsize (KiB) 1795884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1741.4 s]
/proc/loadavg: 1.11 1.07 1.01 2/90 9679
/proc/meminfo: memFree=947112/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=1795884 CPUtime=1800.13
/proc/9653/stat : 9653 (java) S 9651 9653 9108 0 -1 0 249397 0 1 0 179866 147 0 0 18 0 13 0 260569185 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 448971 215157 1330 9 0 446582 0
[pid=9653/tid=9655] ppid=9651 vsize=1795884 CPUtime=1681.69
/proc/9653/task/9655/stat : 9655 (java) R 9651 9653 9108 0 -1 64 47436 0 1 0 168132 37 0 0 24 0 13 0 260569186 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109839382 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9656] ppid=9651 vsize=1795884 CPUtime=57.25
/proc/9653/task/9656/stat : 9656 (java) S 9651 9653 9108 0 -1 64 94564 0 0 0 5682 43 0 0 17 0 13 0 260569188 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9657] ppid=9651 vsize=1795884 CPUtime=57.22
/proc/9653/task/9657/stat : 9657 (java) S 9651 9653 9108 0 -1 64 97504 0 0 0 5679 43 0 0 16 0 13 0 260569188 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9658] ppid=9651 vsize=1795884 CPUtime=0.44
/proc/9653/task/9658/stat : 9658 (java) S 9651 9653 9108 0 -1 64 53 0 0 0 27 17 0 0 15 0 13 0 260569190 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9659] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9659/stat : 9659 (java) S 9651 9653 9108 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9660] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9660/stat : 9660 (java) S 9651 9653 9108 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260569190 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9661] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9661/stat : 9661 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 260569201 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9662] ppid=9651 vsize=1795884 CPUtime=1.71
/proc/9653/task/9662/stat : 9662 (java) S 9651 9653 9108 0 -1 64 4930 0 0 0 170 1 0 0 17 0 13 0 260569201 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9663] ppid=9651 vsize=1795884 CPUtime=1.76
/proc/9653/task/9663/stat : 9663 (java) S 9651 9653 9108 0 -1 64 4176 0 0 0 174 2 0 0 16 0 13 0 260569201 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9664] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9664/stat : 9664 (java) S 9651 9653 9108 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 260569201 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9653/tid=9665] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9665/stat : 9665 (java) S 9651 9653 9108 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260569201 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9653/tid=9677] ppid=9651 vsize=1795884 CPUtime=0
/proc/9653/task/9677/stat : 9677 (java) S 9651 9653 9108 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 260577275 1838985216 215157 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1795884

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

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

[startup+1741.6 s]
/proc/loadavg: 1.11 1.07 1.01 2/90 9679
/proc/meminfo: memFree=947112/2055920 swapFree=4153644/4192956
[pid=9653] ppid=9651 vsize=0 CPUtime=1800.39
/proc/9653/stat : 9653 (java) Z 9651 9653 9108 0 -1 1036 249419 0 1 0 179880 159 0 0 15 0 2 0 260569185 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9653/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1741.63
CPU time (s): 1800.42
CPU user time (s): 1798.81
CPU system time (s): 1.61175
CPU usage (%): 103.376
Max. virtual memory (cumulated for all children) (KiB): 1797276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.61175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249419
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= 52864
involuntary context switches= 52943

runsolver used 1.70674 second user time and 4.97624 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Wed May  2 17:21:58 UTC 2007

IDJOB= 453256
IDBENCH= 48118
IDSOLVER= 164
FILE ID= node19/453256-1178126518

PBS_JOBID= 4751035

Free space on /tmp= 66561 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_4.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453256-1178126518/sat4jPseudoCPClause.jar /tmp/evaluation/453256-1178126518/instance-453256-1178126518.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-453256-1178126518 -o ROOT/results/node19/solver-453256-1178126518 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453256-1178126518/sat4jPseudoCPClause.jar /tmp/evaluation/453256-1178126518/instance-453256-1178126518.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  7603a459a5769ea7e43f52c522eb87aa

RANDOM SEED= 68120241

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1806432 kB
Buffers:         85208 kB
Cached:          77292 kB
SwapCached:       8384 kB
Active:          91540 kB
Inactive:       102776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1806432 kB
SwapTotal:     4192956 kB
SwapFree:      4153644 kB
Dirty:            3688 kB
Writeback:           0 kB
Mapped:          30076 kB
Slab:            40736 kB
Committed_AS:  8848512 kB
PageTables:       1784 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 node19 on Wed May  2 17:51:02 UTC 2007