Trace number 453841

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)74 1800.35 1740.53

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_3.opb
MD5SUM31a0e10ee8ac2049545ec8eab33f6948
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark69
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 69
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 constraint23
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)6316
Sum of products size (including duplicates)12632
Number of different products6316
Sum of products size12632

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	74

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16176
/proc/meminfo: memFree=1663280/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=152 CPUtime=0
/proc/16176/stat : 16176 (java) D 16174 16176 14912 0 -1 0 40 0 0 0 0 0 0 0 20 0 1 0 263863789 155648 26 18446744073709551615 134512640 134550740 4294956512 18446744073709551615 2859812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16176/statm: 38 26 19 9 0 4 0

[startup+0.015879 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16176
/proc/meminfo: memFree=1663280/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=12424 CPUtime=0
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 765 0 0 0 0 0 0 0 18 0 2 0 263863789 12722176 550 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 3106 550 239 9 0 1242 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12424

[startup+0.101892 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16176
/proc/meminfo: memFree=1663280/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=1780112 CPUtime=0.08
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 3965 0 1 0 6 2 0 0 18 0 12 0 263863789 1822834688 3708 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 445028 3708 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780112

[startup+0.301915 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16176
/proc/meminfo: memFree=1663280/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=1781412 CPUtime=0.31
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 5156 0 1 0 28 3 0 0 18 0 12 0 263863789 1824165888 4896 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 445353 4896 1269 9 0 442964 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1781412

[startup+0.701956 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16176
/proc/meminfo: memFree=1663280/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=1782500 CPUtime=0.91
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 6456 0 1 0 87 4 0 0 18 0 12 0 263863789 1825280000 5964 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 445625 5964 1301 9 0 443236 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1782500

[startup+1.50204 s]
/proc/loadavg: 0.92 0.98 0.99 3/89 16188
/proc/meminfo: memFree=1637968/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=1788308 CPUtime=2.04
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 11354 0 1 0 198 6 0 0 18 0 12 0 263863789 1831227392 8553 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 447077 8553 1304 9 0 444688 0
[pid=16176/tid=16178] ppid=16174 vsize=1788308 CPUtime=1.14
/proc/16176/task/16178/stat : 16178 (java) R 16174 16176 14912 0 -1 64 6117 0 1 0 111 3 0 0 25 0 12 0 263863790 1831227392 8553 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109490408 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16179] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16179/stat : 16179 (java) S 16174 16176 14912 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 263863792 1831227392 8553 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16180] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16180/stat : 16180 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 263863792 1831227392 8553 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16181] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16181/stat : 16181 (java) S 16174 16176 14912 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 263863794 1831227392 8553 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16182] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16182/stat : 16182 (java) S 16174 16176 14912 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 263863795 1831227392 8553 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16183] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16183/stat : 16183 (java) S 16174 16176 14912 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 263863795 1831227392 8553 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16184] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16184/stat : 16184 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 263863798 1831227392 8553 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16185] ppid=16174 vsize=1788308 CPUtime=0.39
/proc/16176/task/16185/stat : 16185 (java) S 16174 16176 14912 0 -1 64 1811 0 0 0 39 0 0 0 16 0 12 0 263863799 1831227392 8553 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16186] ppid=16174 vsize=1788308 CPUtime=0.47
/proc/16176/task/16186/stat : 16186 (java) S 16174 16176 14912 0 -1 64 2709 0 0 0 46 1 0 0 16 0 12 0 263863799 1831227392 8553 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16187] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16187/stat : 16187 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 263863799 1831227392 8554 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16188] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16188/stat : 16188 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 263863799 1831227392 8554 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 1788308

[startup+3.10221 s]
/proc/loadavg: 0.92 0.98 0.99 3/89 16188
/proc/meminfo: memFree=1631504/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=1788308 CPUtime=3.74
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 12977 0 1 0 367 7 0 0 18 0 12 0 263863789 1831227392 9737 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 447077 9737 1304 9 0 444688 0
[pid=16176/tid=16178] ppid=16174 vsize=1788308 CPUtime=2.7
/proc/16176/task/16178/stat : 16178 (java) R 16174 16176 14912 0 -1 64 7291 0 1 0 266 4 0 0 25 0 12 0 263863790 1831227392 9737 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109490302 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16179] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16179/stat : 16179 (java) S 16174 16176 14912 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 263863792 1831227392 9737 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16180] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16180/stat : 16180 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 263863792 1831227392 9737 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16181] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16181/stat : 16181 (java) S 16174 16176 14912 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 263863794 1831227392 9737 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16182] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16182/stat : 16182 (java) S 16174 16176 14912 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 263863795 1831227392 9737 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16183] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16183/stat : 16183 (java) S 16174 16176 14912 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 263863795 1831227392 9737 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16184] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16184/stat : 16184 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 263863798 1831227392 9737 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16185] ppid=16174 vsize=1788308 CPUtime=0.5
/proc/16176/task/16185/stat : 16185 (java) S 16174 16176 14912 0 -1 64 2258 0 0 0 50 0 0 0 16 0 12 0 263863799 1831227392 9737 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16186] ppid=16174 vsize=1788308 CPUtime=0.51
/proc/16176/task/16186/stat : 16186 (java) S 16174 16176 14912 0 -1 64 2711 0 0 0 50 1 0 0 16 0 12 0 263863799 1831227392 9737 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16187] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16187/stat : 16187 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 263863799 1831227392 9737 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16188] ppid=16174 vsize=1788308 CPUtime=0
/proc/16176/task/16188/stat : 16188 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 263863799 1831227392 9737 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 1788308

[startup+6.30153 s]
/proc/loadavg: 0.93 0.98 0.99 2/89 16188
/proc/meminfo: memFree=1626832/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=1786608 CPUtime=7.03
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 14212 0 1 0 695 8 0 0 18 0 12 0 263863789 1829486592 10532 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 446652 10532 1304 9 0 444263 0
[pid=16176/tid=16178] ppid=16174 vsize=1786608 CPUtime=5.85
/proc/16176/task/16178/stat : 16178 (java) R 16174 16176 14912 0 -1 64 8497 0 1 0 580 5 0 0 25 0 12 0 263863790 1829486592 10532 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109489875 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16179] ppid=16174 vsize=1786608 CPUtime=0
/proc/16176/task/16179/stat : 16179 (java) S 16174 16176 14912 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 263863792 1829486592 10532 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16180] ppid=16174 vsize=1786608 CPUtime=0
/proc/16176/task/16180/stat : 16180 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 263863792 1829486592 10532 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16181] ppid=16174 vsize=1786608 CPUtime=0
/proc/16176/task/16181/stat : 16181 (java) S 16174 16176 14912 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 263863794 1829486592 10532 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16182] ppid=16174 vsize=1786608 CPUtime=0
/proc/16176/task/16182/stat : 16182 (java) S 16174 16176 14912 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 263863795 1829486592 10532 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16183] ppid=16174 vsize=1786608 CPUtime=0
/proc/16176/task/16183/stat : 16183 (java) S 16174 16176 14912 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 263863795 1829486592 10532 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16184] ppid=16174 vsize=1786608 CPUtime=0
/proc/16176/task/16184/stat : 16184 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 263863798 1829486592 10532 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16185] ppid=16174 vsize=1786608 CPUtime=0.56
/proc/16176/task/16185/stat : 16185 (java) S 16174 16176 14912 0 -1 64 2264 0 0 0 55 1 0 0 17 0 12 0 263863799 1829486592 10532 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16186] ppid=16174 vsize=1786608 CPUtime=0.6
/proc/16176/task/16186/stat : 16186 (java) S 16174 16176 14912 0 -1 64 2734 0 0 0 59 1 0 0 16 0 12 0 263863799 1829486592 10532 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16187] ppid=16174 vsize=1786608 CPUtime=0
/proc/16176/task/16187/stat : 16187 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 263863799 1829486592 10532 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16188] ppid=16174 vsize=1786608 CPUtime=0
/proc/16176/task/16188/stat : 16188 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 263863799 1829486592 10532 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 1786608

[startup+12.7022 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 16191
/proc/meminfo: memFree=1487488/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=1794016 CPUtime=15.11
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 53273 0 1 0 1484 27 0 0 18 0 13 0 263863789 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 448504 45228 1327 9 0 446115 0
[pid=16176/tid=16178] ppid=16174 vsize=1794016 CPUtime=11.68
/proc/16176/task/16178/stat : 16178 (java) R 16174 16176 14912 0 -1 64 37730 0 1 0 1149 19 0 0 21 0 13 0 263863790 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109641219 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16179] ppid=16174 vsize=1794016 CPUtime=0.09
/proc/16176/task/16179/stat : 16179 (java) S 16174 16176 14912 0 -1 64 1037 0 0 0 9 0 0 0 16 0 13 0 263863792 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16180] ppid=16174 vsize=1794016 CPUtime=0.15
/proc/16176/task/16180/stat : 16180 (java) S 16174 16176 14912 0 -1 64 2461 0 0 0 14 1 0 0 16 0 13 0 263863792 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16181] ppid=16174 vsize=1794016 CPUtime=0
/proc/16176/task/16181/stat : 16181 (java) S 16174 16176 14912 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 263863794 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16182] ppid=16174 vsize=1794016 CPUtime=0
/proc/16176/task/16182/stat : 16182 (java) S 16174 16176 14912 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263863795 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16183] ppid=16174 vsize=1794016 CPUtime=0
/proc/16176/task/16183/stat : 16183 (java) S 16174 16176 14912 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 263863795 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16184] ppid=16174 vsize=1794016 CPUtime=0
/proc/16176/task/16184/stat : 16184 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263863798 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16185] ppid=16174 vsize=1794016 CPUtime=1.2
/proc/16176/task/16185/stat : 16185 (java) R 16174 16176 14912 0 -1 64 3845 0 0 0 118 2 0 0 16 0 13 0 263863799 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 3326940 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16186] ppid=16174 vsize=1794016 CPUtime=1.94
/proc/16176/task/16186/stat : 16186 (java) S 16174 16176 14912 0 -1 64 7461 0 0 0 191 3 0 0 16 0 13 0 263863799 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16187] ppid=16174 vsize=1794016 CPUtime=0
/proc/16176/task/16187/stat : 16187 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 263863799 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16188] ppid=16174 vsize=1794016 CPUtime=0
/proc/16176/task/16188/stat : 16188 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263863799 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16191] ppid=16174 vsize=1794016 CPUtime=0
/proc/16176/task/16191/stat : 16191 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 263864818 1837072384 45228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.11
Current children cumulated vsize (KiB) 1794016

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/90 16193
/proc/meminfo: memFree=1452144/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=1793532 CPUtime=28.41
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 64422 0 1 0 2808 33 0 0 18 0 13 0 263863789 1836576768 53837 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 448383 53837 1328 9 0 445994 0
[pid=16176/tid=16178] ppid=16174 vsize=1793532 CPUtime=24.17
/proc/16176/task/16178/stat : 16178 (java) R 16174 16176 14912 0 -1 64 40665 0 1 0 2397 20 0 0 21 0 13 0 263863790 1836576768 53837 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109843843 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16179] ppid=16174 vsize=1793532 CPUtime=0.32
/proc/16176/task/16179/stat : 16179 (java) S 16174 16176 14912 0 -1 64 4976 0 0 0 30 2 0 0 16 0 13 0 263863792 1836576768 53837 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16180] ppid=16174 vsize=1793532 CPUtime=0.38
/proc/16176/task/16180/stat : 16180 (java) S 16174 16176 14912 0 -1 64 6647 0 0 0 35 3 0 0 15 0 13 0 263863792 1836576768 53837 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16181] ppid=16174 vsize=1793532 CPUtime=0.01
/proc/16176/task/16181/stat : 16181 (java) S 16174 16176 14912 0 -1 64 32 0 0 0 1 0 0 0 15 0 13 0 263863794 1836576768 53837 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16182] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16182/stat : 16182 (java) S 16174 16176 14912 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263863795 1836576768 53837 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16183] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16183/stat : 16183 (java) S 16174 16176 14912 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 263863795 1836576768 53837 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/16176/task/16185/stat : 16185 (java) S 16174 16176 14912 0 -1 64 3906 0 0 0 136 2 0 0 17 0 13 0 263863799 1836576768 206195 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16186] ppid=16174 vsize=1793532 CPUtime=2.18
/proc/16176/task/16186/stat : 16186 (java) S 16174 16176 14912 0 -1 64 7476 0 0 0 215 3 0 0 16 0 13 0 263863799 1836576768 206195 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16187] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16187/stat : 16187 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 263863799 1836576768 206195 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16188] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16188/stat : 16188 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263863799 1836576768 206195 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16194] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16194/stat : 16194 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 263922292 1836576768 206195 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.62
Current children cumulated vsize (KiB) 1793532

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 16196
/proc/meminfo: memFree=823784/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=1793532 CPUtime=1655.37
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 253511 0 1 0 165396 141 0 0 18 0 13 0 263863789 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 448383 210673 1329 9 0 445994 0
[pid=16176/tid=16178] ppid=16174 vsize=1793532 CPUtime=1548.32
/proc/16176/task/16178/stat : 16178 (java) R 16174 16176 14912 0 -1 64 53186 0 1 0 154799 33 0 0 24 0 13 0 263863790 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109848360 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16179] ppid=16174 vsize=1793532 CPUtime=51.47
/proc/16176/task/16179/stat : 16179 (java) S 16174 16176 14912 0 -1 64 93272 0 0 0 5104 43 0 0 16 0 13 0 263863792 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16180] ppid=16174 vsize=1793532 CPUtime=51.52
/proc/16176/task/16180/stat : 16180 (java) S 16174 16176 14912 0 -1 64 94868 0 0 0 5111 41 0 0 16 0 13 0 263863792 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16181] ppid=16174 vsize=1793532 CPUtime=0.44
/proc/16176/task/16181/stat : 16181 (java) S 16174 16176 14912 0 -1 64 76 0 0 0 28 16 0 0 16 0 13 0 263863794 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16182] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16182/stat : 16182 (java) S 16174 16176 14912 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263863795 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16183] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16183/stat : 16183 (java) S 16174 16176 14912 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 263863795 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16184] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16184/stat : 16184 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263863798 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16185] ppid=16174 vsize=1793532 CPUtime=1.38
/proc/16176/task/16185/stat : 16185 (java) S 16174 16176 14912 0 -1 64 3906 0 0 0 136 2 0 0 17 0 13 0 263863799 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16186] ppid=16174 vsize=1793532 CPUtime=2.18
/proc/16176/task/16186/stat : 16186 (java) S 16174 16176 14912 0 -1 64 7476 0 0 0 215 3 0 0 16 0 13 0 263863799 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16187] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16187/stat : 16187 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 263863799 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16188] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16188/stat : 16188 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263863799 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16194] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16194/stat : 16194 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 263922292 1836576768 210673 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.37
Current children cumulated vsize (KiB) 1793532

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 16196
/proc/meminfo: memFree=807976/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=1793532 CPUtime=1718.15
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 257753 0 1 0 171672 143 0 0 18 0 13 0 263863789 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 448383 214544 1329 9 0 445994 0
[pid=16176/tid=16178] ppid=16174 vsize=1793532 CPUtime=1605.58
/proc/16176/task/16178/stat : 16178 (java) R 16174 16176 14912 0 -1 64 53238 0 1 0 160525 33 0 0 25 0 13 0 263863790 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109848503 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16179] ppid=16174 vsize=1793532 CPUtime=54.17
/proc/16176/task/16179/stat : 16179 (java) S 16174 16176 14912 0 -1 64 96464 0 0 0 5373 44 0 0 16 0 13 0 263863792 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16180] ppid=16174 vsize=1793532 CPUtime=54.2
/proc/16176/task/16180/stat : 16180 (java) S 16174 16176 14912 0 -1 64 95858 0 0 0 5378 42 0 0 16 0 13 0 263863792 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16181] ppid=16174 vsize=1793532 CPUtime=0.46
/proc/16176/task/16181/stat : 16181 (java) S 16174 16176 14912 0 -1 64 76 0 0 0 30 16 0 0 15 0 13 0 263863794 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16182] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16182/stat : 16182 (java) S 16174 16176 14912 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263863795 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16183] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16183/stat : 16183 (java) S 16174 16176 14912 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 263863795 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16184] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16184/stat : 16184 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263863798 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16185] ppid=16174 vsize=1793532 CPUtime=1.46
/proc/16176/task/16185/stat : 16185 (java) S 16174 16176 14912 0 -1 64 3912 0 0 0 144 2 0 0 17 0 13 0 263863799 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16186] ppid=16174 vsize=1793532 CPUtime=2.22
/proc/16176/task/16186/stat : 16186 (java) S 16174 16176 14912 0 -1 64 7478 0 0 0 219 3 0 0 16 0 13 0 263863799 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16187] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16187/stat : 16187 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 263863799 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16188] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16188/stat : 16188 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263863799 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16194] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16194/stat : 16194 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 263922292 1836576768 214544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.15
Current children cumulated vsize (KiB) 1793532

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 16196
/proc/meminfo: memFree=769576/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=1793532 CPUtime=1781.04
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 267864 0 1 0 177954 150 0 0 18 0 13 0 263863789 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 448383 224115 1329 9 0 445994 0
[pid=16176/tid=16178] ppid=16174 vsize=1793532 CPUtime=1662.6
/proc/16176/task/16178/stat : 16178 (java) R 16174 16176 14912 0 -1 64 53290 0 1 0 166227 33 0 0 25 0 13 0 263863790 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109641703 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16179] ppid=16174 vsize=1793532 CPUtime=57.1
/proc/16176/task/16179/stat : 16179 (java) S 16174 16176 14912 0 -1 64 102699 0 0 0 5663 47 0 0 16 0 13 0 263863792 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16180] ppid=16174 vsize=1793532 CPUtime=57.13
/proc/16176/task/16180/stat : 16180 (java) S 16174 16176 14912 0 -1 64 99682 0 0 0 5668 45 0 0 16 0 13 0 263863792 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16181] ppid=16174 vsize=1793532 CPUtime=0.47
/proc/16176/task/16181/stat : 16181 (java) S 16174 16176 14912 0 -1 64 76 0 0 0 30 17 0 0 15 0 13 0 263863794 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16182] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16182/stat : 16182 (java) S 16174 16176 14912 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263863795 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16183] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16183/stat : 16183 (java) S 16174 16176 14912 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 263863795 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16184] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16184/stat : 16184 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263863798 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16185] ppid=16174 vsize=1793532 CPUtime=1.46
/proc/16176/task/16185/stat : 16185 (java) S 16174 16176 14912 0 -1 64 3912 0 0 0 144 2 0 0 17 0 13 0 263863799 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16186] ppid=16174 vsize=1793532 CPUtime=2.22
/proc/16176/task/16186/stat : 16186 (java) S 16174 16176 14912 0 -1 64 7478 0 0 0 219 3 0 0 16 0 13 0 263863799 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16187] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16187/stat : 16187 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 263863799 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16188] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16188/stat : 16188 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263863799 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16194] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16194/stat : 16194 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 263922292 1836576768 224115 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.04
Current children cumulated vsize (KiB) 1793532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1740.3 s]
/proc/loadavg: 1.14 1.03 1.01 2/90 16196
/proc/meminfo: memFree=764008/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=1793532 CPUtime=1800.06
/proc/16176/stat : 16176 (java) S 16174 16176 14912 0 -1 0 269306 0 1 0 179855 151 0 0 18 0 13 0 263863789 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 448383 225516 1329 9 0 445994 0
[pid=16176/tid=16178] ppid=16174 vsize=1793532 CPUtime=1679.56
/proc/16176/task/16178/stat : 16178 (java) R 16174 16176 14912 0 -1 64 53306 0 1 0 167923 33 0 0 21 0 13 0 263863790 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109844131 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16179] ppid=16174 vsize=1793532 CPUtime=58.13
/proc/16176/task/16179/stat : 16179 (java) S 16174 16176 14912 0 -1 64 103923 0 0 0 5766 47 0 0 17 0 13 0 263863792 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16180] ppid=16174 vsize=1793532 CPUtime=58.16
/proc/16176/task/16180/stat : 16180 (java) S 16174 16176 14912 0 -1 64 99884 0 0 0 5771 45 0 0 17 0 13 0 263863792 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16181] ppid=16174 vsize=1793532 CPUtime=0.47
/proc/16176/task/16181/stat : 16181 (java) S 16174 16176 14912 0 -1 64 76 0 0 0 30 17 0 0 15 0 13 0 263863794 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16182] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16182/stat : 16182 (java) S 16174 16176 14912 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263863795 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16183] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16183/stat : 16183 (java) S 16174 16176 14912 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 263863795 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16184] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16184/stat : 16184 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263863798 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16185] ppid=16174 vsize=1793532 CPUtime=1.46
/proc/16176/task/16185/stat : 16185 (java) S 16174 16176 14912 0 -1 64 3912 0 0 0 144 2 0 0 17 0 13 0 263863799 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16186] ppid=16174 vsize=1793532 CPUtime=2.22
/proc/16176/task/16186/stat : 16186 (java) S 16174 16176 14912 0 -1 64 7478 0 0 0 219 3 0 0 16 0 13 0 263863799 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16176/tid=16187] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16187/stat : 16187 (java) S 16174 16176 14912 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 263863799 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16188] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16188/stat : 16188 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263863799 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16176/tid=16194] ppid=16174 vsize=1793532 CPUtime=0
/proc/16176/task/16194/stat : 16194 (java) S 16174 16176 14912 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 263922292 1836576768 225516 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1793532

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

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

[startup+1740.41 s]
/proc/loadavg: 1.14 1.03 1.01 2/90 16196
/proc/meminfo: memFree=764008/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=0 CPUtime=1800.24
/proc/16176/stat : 16176 (java) Z 16174 16176 14912 0 -1 1036 269325 0 1 0 179870 154 0 0 15 0 2 0 263863789 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

[startup+1740.5 s]
/proc/loadavg: 1.14 1.03 1.01 2/90 16196
/proc/meminfo: memFree=764008/2055920 swapFree=4140116/4192956
[pid=16176] ppid=16174 vsize=0 CPUtime=1800.33
/proc/16176/stat : 16176 (java) Z 16174 16176 14912 0 -1 1036 269325 0 1 0 179870 163 0 0 15 0 2 0 263863789 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16176/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1740.53
CPU time (s): 1800.35
CPU user time (s): 1798.7
CPU system time (s): 1.65275
CPU usage (%): 103.437
Max. virtual memory (cumulated for all children) (KiB): 1794960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.65275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269325
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= 53884
involuntary context switches= 65973

runsolver used 1.86672 second user time and 5.05223 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Thu May  3 02:31:03 UTC 2007

IDJOB= 453841
IDBENCH= 48157
IDSOLVER= 164
FILE ID= node17/453841-1178159463

PBS_JOBID= 4751079

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_3.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453841-1178159463/sat4jPseudoCPClause.jar /tmp/evaluation/453841-1178159463/instance-453841-1178159463.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-453841-1178159463 -o ROOT/results/node17/solver-453841-1178159463 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453841-1178159463/sat4jPseudoCPClause.jar /tmp/evaluation/453841-1178159463/instance-453841-1178159463.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  31a0e10ee8ac2049545ec8eab33f6948

RANDOM SEED= 315664736

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1663816 kB
Buffers:         81680 kB
Cached:         211080 kB
SwapCached:      15008 kB
Active:         180096 kB
Inactive:       144968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1663816 kB
SwapTotal:     4192956 kB
SwapFree:      4140116 kB
Dirty:            3696 kB
Writeback:           0 kB
Mapped:          37904 kB
Slab:            52516 kB
Committed_AS:  9821252 kB
PageTables:       1824 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 node17 on Thu May  3 03:00:05 UTC 2007