Trace number 365615

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)0 1800.28 1782.67

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sc205.opb
MD5SUMcfa0de6a5c077caf94404f012a430180
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark16.9554
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables6090
Total number of constraints204
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 constraints204
Minimum length of a constraint30
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 8589934592
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 22548578283
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.95 3/77 17847
/proc/meminfo: memFree=1569592/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1800 CPUtime=0
/proc/17847/stat : 17847 (java) D 17845 17847 15948 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 153051788 1843200 138 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/17847/statm: 450 138 101 9 0 92 0

[startup+0.0688369 s]
/proc/loadavg: 0.99 0.97 0.95 3/77 17847
/proc/meminfo: memFree=1569592/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1777708 CPUtime=0.05
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 3694 0 1 0 3 2 0 0 18 0 7 0 153051788 1820372992 3437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 444427 3437 1081 9 0 442063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1777708

[startup+0.101866 s]
/proc/loadavg: 0.99 0.97 0.95 3/77 17847
/proc/meminfo: memFree=1569592/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1780112 CPUtime=0.09
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 3978 0 1 0 6 3 0 0 18 0 12 0 153051788 1822834688 3720 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 445028 3720 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780112

[startup+0.301889 s]
/proc/loadavg: 0.99 0.97 0.95 3/77 17847
/proc/meminfo: memFree=1569592/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1781452 CPUtime=0.32
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 5195 0 1 0 29 3 0 0 18 0 12 0 153051788 1824206848 4934 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 445363 4934 1269 9 0 442974 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1781452

[startup+0.701977 s]
/proc/loadavg: 0.99 0.97 0.95 3/77 17847
/proc/meminfo: memFree=1569592/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1792428 CPUtime=1.06
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 9450 0 1 0 101 5 0 0 18 0 12 0 153051788 1835446272 8281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 448107 8281 1310 9 0 445718 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 1792428

[startup+1.50214 s]
/proc/loadavg: 0.99 0.97 0.95 4/89 17859
/proc/meminfo: memFree=1534936/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1793140 CPUtime=2.6
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 18850 0 1 0 251 9 0 0 18 0 13 0 153051788 1836175360 13883 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 448285 13884 1322 9 0 445896 0
[pid=17847/tid=17849] ppid=17845 vsize=1793140 CPUtime=0.8
/proc/17847/task/17849/stat : 17849 (java) R 17845 17847 15948 0 -1 64 10091 0 1 0 75 5 0 0 18 0 13 0 153051789 1836175360 13884 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109503978 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17850] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17850/stat : 17850 (java) S 17845 17847 15948 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153051791 1836175360 13884 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17851] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17851/stat : 17851 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153051791 1836175360 13885 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17852] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17852/stat : 17852 (java) S 17845 17847 15948 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153051793 1836175360 13885 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17853] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17853/stat : 17853 (java) S 17845 17847 15948 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 153051793 1836175360 13885 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17854] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17854/stat : 17854 (java) S 17845 17847 15948 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153051793 1836175360 13888 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17855] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17855/stat : 17855 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153051797 1836175360 13888 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17856] ppid=17845 vsize=1793140 CPUtime=0.76
/proc/17847/task/17856/stat : 17856 (java) R 17845 17847 15948 0 -1 64 3426 0 0 0 75 1 0 0 18 0 13 0 153051797 1836175360 13889 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17857] ppid=17845 vsize=1793140 CPUtime=1.02
/proc/17847/task/17857/stat : 17857 (java) R 17845 17847 15948 0 -1 64 4608 0 0 0 100 2 0 0 16 0 13 0 153051797 1836175360 13889 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105422244 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17858] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17858/stat : 17858 (java) S 17845 17847 15948 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153051797 1836175360 13889 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17859] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17859/stat : 17859 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153051797 1836175360 13891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 1793140

[startup+3.10249 s]
/proc/loadavg: 0.99 0.97 0.95 2/90 17860
/proc/meminfo: memFree=1458768/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1793140 CPUtime=4.53
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 47877 0 1 0 431 22 0 0 18 0 13 0 153051788 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 448285 42663 1331 9 0 445896 0
[pid=17847/tid=17849] ppid=17845 vsize=1793140 CPUtime=2.23
/proc/17847/task/17849/stat : 17849 (java) R 17845 17847 15948 0 -1 64 37716 0 1 0 207 16 0 0 25 0 13 0 153051789 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109507265 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17850] ppid=17845 vsize=1793140 CPUtime=0.01
/proc/17847/task/17850/stat : 17850 (java) S 17845 17847 15948 0 -1 64 630 0 0 0 1 0 0 0 16 0 13 0 153051791 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17851] ppid=17845 vsize=1793140 CPUtime=0.01
/proc/17847/task/17851/stat : 17851 (java) S 17845 17847 15948 0 -1 64 498 0 0 0 1 0 0 0 16 0 13 0 153051791 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17852] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17852/stat : 17852 (java) S 17845 17847 15948 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 153051793 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17853] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17853/stat : 17853 (java) S 17845 17847 15948 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153051793 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17854] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17854/stat : 17854 (java) S 17845 17847 15948 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153051793 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17855] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17855/stat : 17855 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153051797 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17856] ppid=17845 vsize=1793140 CPUtime=0.98
/proc/17847/task/17856/stat : 17856 (java) S 17845 17847 15948 0 -1 64 3448 0 0 0 97 1 0 0 15 0 13 0 153051797 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17857] ppid=17845 vsize=1793140 CPUtime=1.25
/proc/17847/task/17857/stat : 17857 (java) S 17845 17847 15948 0 -1 64 4854 0 0 0 123 2 0 0 16 0 13 0 153051797 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17858] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17858/stat : 17858 (java) S 17845 17847 15948 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153051797 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17859] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17859/stat : 17859 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153051797 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17860] ppid=17845 vsize=1793140 CPUtime=0
/proc/17847/task/17860/stat : 17860 (java) S 17845 17847 15948 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 153051900 1836175360 42663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 1793140

[startup+6.30216 s]
/proc/loadavg: 0.99 0.97 0.95 2/90 17861
/proc/meminfo: memFree=1394896/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1793076 CPUtime=7.89
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 50606 0 1 0 766 23 0 0 18 0 13 0 153051788 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 448269 45324 1333 9 0 445880 0
[pid=17847/tid=17849] ppid=17845 vsize=1793076 CPUtime=5.3
/proc/17847/task/17849/stat : 17849 (java) R 17845 17847 15948 0 -1 64 37724 0 1 0 514 16 0 0 25 0 13 0 153051789 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109529946 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17850] ppid=17845 vsize=1793076 CPUtime=0.09
/proc/17847/task/17850/stat : 17850 (java) S 17845 17847 15948 0 -1 64 2039 0 0 0 9 0 0 0 17 0 13 0 153051791 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17851] ppid=17845 vsize=1793076 CPUtime=0.09
/proc/17847/task/17851/stat : 17851 (java) S 17845 17847 15948 0 -1 64 1797 0 0 0 8 1 0 0 16 0 13 0 153051791 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17852] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17852/stat : 17852 (java) S 17845 17847 15948 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17853] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17853/stat : 17853 (java) S 17845 17847 15948 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17854] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17854/stat : 17854 (java) S 17845 17847 15948 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17855] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17855/stat : 17855 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153051797 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17856] ppid=17845 vsize=1793076 CPUtime=1.02
/proc/17847/task/17856/stat : 17856 (java) S 17845 17847 15948 0 -1 64 3450 0 0 0 101 1 0 0 16 0 13 0 153051797 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17857] ppid=17845 vsize=1793076 CPUtime=1.33
/proc/17847/task/17857/stat : 17857 (java) S 17845 17847 15948 0 -1 64 4857 0 0 0 131 2 0 0 16 0 13 0 153051797 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17858] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17858/stat : 17858 (java) S 17845 17847 15948 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153051797 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17859] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17859/stat : 17859 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153051797 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17861] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17861/stat : 17861 (java) S 17845 17847 15948 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153052177 1836109824 45324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 1793076

[startup+12.7025 s]
/proc/loadavg: 0.99 0.97 0.95 2/90 17861
/proc/meminfo: memFree=1383056/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1793076 CPUtime=14.45
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 56913 0 1 0 1419 26 0 0 18 0 13 0 153051788 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 448269 49346 1333 9 0 445880 0
[pid=17847/tid=17849] ppid=17845 vsize=1793076 CPUtime=11.53
/proc/17847/task/17849/stat : 17849 (java) R 17845 17847 15948 0 -1 64 37730 0 1 0 1137 16 0 0 19 0 13 0 153051789 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109747372 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17850] ppid=17845 vsize=1793076 CPUtime=0.23
/proc/17847/task/17850/stat : 17850 (java) S 17845 17847 15948 0 -1 64 5104 0 0 0 22 1 0 0 16 0 13 0 153051791 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17851] ppid=17845 vsize=1793076 CPUtime=0.23
/proc/17847/task/17851/stat : 17851 (java) S 17845 17847 15948 0 -1 64 5015 0 0 0 21 2 0 0 16 0 13 0 153051791 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17852] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17852/stat : 17852 (java) S 17845 17847 15948 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17853] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17853/stat : 17853 (java) S 17845 17847 15948 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17854] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17854/stat : 17854 (java) S 17845 17847 15948 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17855] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17855/stat : 17855 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153051797 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17856] ppid=17845 vsize=1793076 CPUtime=1.04
/proc/17847/task/17856/stat : 17856 (java) S 17845 17847 15948 0 -1 64 3452 0 0 0 103 1 0 0 17 0 13 0 153051797 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17857] ppid=17845 vsize=1793076 CPUtime=1.34
/proc/17847/task/17857/stat : 17857 (java) S 17845 17847 15948 0 -1 64 4858 0 0 0 132 2 0 0 16 0 13 0 153051797 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17858] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17858/stat : 17858 (java) S 17845 17847 15948 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153051797 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17859] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17859/stat : 17859 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153051797 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17861] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17861/stat : 17861 (java) S 17845 17847 15948 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153052177 1836109824 49346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.45
Current children cumulated vsize (KiB) 1793076

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.95 2/90 17861
/proc/meminfo: memFree=1361808/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1793076 CPUtime=27.32
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 61144 0 1 0 2705 27 0 0 18 0 13 0 153051788 1836109824 52994 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 448269 52994 1333 9 0 445880 0
[pid=17847/tid=17849] ppid=17845 vsize=1793076 CPUtime=24.24
/proc/17847/task/17849/stat : 17849 (java) R 17845 17847 15948 0 -1 64 38565 0 1 0 2407 17 0 0 25 0 13 0 153051789 1836109824 52994 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109747372 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17850] ppid=17845 vsize=1793076 CPUtime=0.32
/proc/17847/task/17850/stat : 17850 (java) S 17845 17847 15948 0 -1 64 6996 0 0 0 30 2 0 0 16 0 13 0 153051791 1836109824 52994 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17851] ppid=17845 vsize=1793076 CPUtime=0.31
/proc/17847/task/17851/stat : 17851 (java) S 17845 17847 15948 0 -1 64 6519 0 0 0 29 2 0 0 16 0 13 0 153051791 1836109824 52994 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17852] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17852/stat : 17852 (java) S 17845 17847 15948 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 52994 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=17847/tid=17852] ppid=17845 vsize=1793076 CPUtime=0.26
/proc/17847/task/17852/stat : 17852 (java) S 17845 17847 15948 0 -1 64 401 0 0 0 12 14 0 0 16 0 13 0 153051793 1836109824 108436 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17853] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17853/stat : 17853 (java) S 17845 17847 15948 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 108436 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17854] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17854/stat : 17854 (java) S 17845 17847 15948 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 108436 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17855] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17855/stat : 17855 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153051797 1836109824 108436 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17856] ppid=17845 vsize=1793076 CPUtime=1.07
/proc/17847/task/17856/stat : 17856 (java) S 17845 17847 15948 0 -1 64 3452 0 0 0 106 1 0 0 16 0 13 0 153051797 1836109824 108436 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17857] ppid=17845 vsize=1793076 CPUtime=1.4
/proc/17847/task/17857/stat : 17857 (java) S 17845 17847 15948 0 -1 64 4867 0 0 0 138 2 0 0 16 0 13 0 153051797 1836109824 108436 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17858] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17858/stat : 17858 (java) S 17845 17847 15948 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153051797 1836109824 108436 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17859] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17859/stat : 17859 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153051797 1836109824 108436 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17861] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17861/stat : 17861 (java) S 17845 17847 15948 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153052177 1836109824 108436 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1618.15
Current children cumulated vsize (KiB) 1793076

[startup+1662.3 s]
/proc/loadavg: 1.05 1.00 0.96 2/90 18059
/proc/meminfo: memFree=1126096/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1793076 CPUtime=1678.72
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 206698 0 1 0 167754 118 0 0 18 0 13 0 153051788 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 448269 111698 1335 9 0 445880 0
[pid=17847/tid=17849] ppid=17845 vsize=1793076 CPUtime=1644.41
/proc/17847/task/17849/stat : 17849 (java) R 17845 17847 15948 0 -1 64 89439 0 1 0 164393 48 0 0 25 0 13 0 153051789 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109747906 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17850] ppid=17845 vsize=1793076 CPUtime=15.77
/proc/17847/task/17850/stat : 17850 (java) S 17845 17847 15948 0 -1 64 54551 0 0 0 1554 23 0 0 17 0 13 0 153051791 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17851] ppid=17845 vsize=1793076 CPUtime=15.74
/proc/17847/task/17851/stat : 17851 (java) S 17845 17847 15948 0 -1 64 53258 0 0 0 1548 26 0 0 16 0 13 0 153051791 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17852] ppid=17845 vsize=1793076 CPUtime=0.26
/proc/17847/task/17852/stat : 17852 (java) S 17845 17847 15948 0 -1 64 407 0 0 0 12 14 0 0 16 0 13 0 153051793 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17853] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17853/stat : 17853 (java) S 17845 17847 15948 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17854] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17854/stat : 17854 (java) S 17845 17847 15948 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17855] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17855/stat : 17855 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153051797 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17856] ppid=17845 vsize=1793076 CPUtime=1.07
/proc/17847/task/17856/stat : 17856 (java) S 17845 17847 15948 0 -1 64 3452 0 0 0 106 1 0 0 16 0 13 0 153051797 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17857] ppid=17845 vsize=1793076 CPUtime=1.4
/proc/17847/task/17857/stat : 17857 (java) S 17845 17847 15948 0 -1 64 4867 0 0 0 138 2 0 0 16 0 13 0 153051797 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17858] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17858/stat : 17858 (java) S 17845 17847 15948 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153051797 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17859] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17859/stat : 17859 (java) R 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153051797 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17861] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17861/stat : 17861 (java) S 17845 17847 15948 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153052177 1836109824 111698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1678.72
Current children cumulated vsize (KiB) 1793076

[startup+1722.3 s]
/proc/loadavg: 1.02 1.00 0.96 2/90 18059
/proc/meminfo: memFree=1114128/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1793076 CPUtime=1739.25
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 211698 0 1 0 173804 121 0 0 18 0 13 0 153051788 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 448269 114694 1335 9 0 445880 0
[pid=17847/tid=17849] ppid=17845 vsize=1793076 CPUtime=1703.8
/proc/17847/task/17849/stat : 17849 (java) R 17845 17847 15948 0 -1 64 91023 0 1 0 170331 49 0 0 25 0 13 0 153051789 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109747372 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17850] ppid=17845 vsize=1793076 CPUtime=16.34
/proc/17847/task/17850/stat : 17850 (java) S 17845 17847 15948 0 -1 64 56281 0 0 0 1610 24 0 0 16 0 13 0 153051791 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17851] ppid=17845 vsize=1793076 CPUtime=16.31
/proc/17847/task/17851/stat : 17851 (java) S 17845 17847 15948 0 -1 64 54936 0 0 0 1604 27 0 0 16 0 13 0 153051791 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17852] ppid=17845 vsize=1793076 CPUtime=0.26
/proc/17847/task/17852/stat : 17852 (java) S 17845 17847 15948 0 -1 64 415 0 0 0 12 14 0 0 16 0 13 0 153051793 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17853] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17853/stat : 17853 (java) S 17845 17847 15948 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17854] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17854/stat : 17854 (java) S 17845 17847 15948 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17855] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17855/stat : 17855 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153051797 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17856] ppid=17845 vsize=1793076 CPUtime=1.07
/proc/17847/task/17856/stat : 17856 (java) S 17845 17847 15948 0 -1 64 3452 0 0 0 106 1 0 0 16 0 13 0 153051797 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17857] ppid=17845 vsize=1793076 CPUtime=1.4
/proc/17847/task/17857/stat : 17857 (java) S 17845 17847 15948 0 -1 64 4867 0 0 0 138 2 0 0 16 0 13 0 153051797 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17858] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17858/stat : 17858 (java) S 17845 17847 15948 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153051797 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17859] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17859/stat : 17859 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153051797 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17861] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17861/stat : 17861 (java) S 17845 17847 15948 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153052177 1836109824 114694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1739.25
Current children cumulated vsize (KiB) 1793076

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/90 18059
/proc/meminfo: memFree=1103824/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1793076 CPUtime=1799.82
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 216132 0 1 0 179859 123 0 0 18 0 13 0 153051788 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 448269 117292 1335 9 0 445880 0
[pid=17847/tid=17849] ppid=17845 vsize=1793076 CPUtime=1763.15
/proc/17847/task/17849/stat : 17849 (java) R 17845 17847 15948 0 -1 64 91040 0 1 0 176266 49 0 0 23 0 13 0 153051789 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109747372 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17850] ppid=17845 vsize=1793076 CPUtime=16.95
/proc/17847/task/17850/stat : 17850 (java) S 17845 17847 15948 0 -1 64 58491 0 0 0 1670 25 0 0 17 0 13 0 153051791 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17851] ppid=17845 vsize=1793076 CPUtime=16.92
/proc/17847/task/17851/stat : 17851 (java) S 17845 17847 15948 0 -1 64 57140 0 0 0 1664 28 0 0 16 0 13 0 153051791 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17852] ppid=17845 vsize=1793076 CPUtime=0.26
/proc/17847/task/17852/stat : 17852 (java) S 17845 17847 15948 0 -1 64 418 0 0 0 12 14 0 0 16 0 13 0 153051793 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17853] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17853/stat : 17853 (java) S 17845 17847 15948 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17854] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17854/stat : 17854 (java) S 17845 17847 15948 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17855] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17855/stat : 17855 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153051797 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17856] ppid=17845 vsize=1793076 CPUtime=1.07
/proc/17847/task/17856/stat : 17856 (java) S 17845 17847 15948 0 -1 64 3452 0 0 0 106 1 0 0 16 0 13 0 153051797 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17857] ppid=17845 vsize=1793076 CPUtime=1.4
/proc/17847/task/17857/stat : 17857 (java) S 17845 17847 15948 0 -1 64 4867 0 0 0 138 2 0 0 16 0 13 0 153051797 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17858] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17858/stat : 17858 (java) S 17845 17847 15948 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153051797 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17859] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17859/stat : 17859 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153051797 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17861] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17861/stat : 17861 (java) S 17845 17847 15948 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153052177 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.82
Current children cumulated vsize (KiB) 1793076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.5 s]
/proc/loadavg: 1.00 1.00 0.96 3/90 18059
/proc/meminfo: memFree=1103824/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=1793076 CPUtime=1800.03
/proc/17847/stat : 17847 (java) S 17845 17847 15948 0 -1 0 216132 0 1 0 179880 123 0 0 18 0 13 0 153051788 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17847/statm: 448269 117292 1335 9 0 445880 0
[pid=17847/tid=17849] ppid=17845 vsize=1793076 CPUtime=1763.36
/proc/17847/task/17849/stat : 17849 (java) R 17845 17847 15948 0 -1 64 91040 0 1 0 176287 49 0 0 25 0 13 0 153051789 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109744379 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17850] ppid=17845 vsize=1793076 CPUtime=16.95
/proc/17847/task/17850/stat : 17850 (java) S 17845 17847 15948 0 -1 64 58491 0 0 0 1670 25 0 0 17 0 13 0 153051791 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17847/tid=17851] ppid=17845 vsize=1793076 CPUtime=16.92
/proc/17847/task/17851/stat : 17851 (java) S 17845 17847 15948 0 -1 64 57140 0 0 0 1664 28 0 0 16 0 13 0 153051791 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17852] ppid=17845 vsize=1793076 CPUtime=0.26
/proc/17847/task/17852/stat : 17852 (java) S 17845 17847 15948 0 -1 64 418 0 0 0 12 14 0 0 16 0 13 0 153051793 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17853] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17853/stat : 17853 (java) S 17845 17847 15948 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17854] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17854/stat : 17854 (java) S 17845 17847 15948 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153051793 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17855] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17855/stat : 17855 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153051797 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17856] ppid=17845 vsize=1793076 CPUtime=1.07
/proc/17847/task/17856/stat : 17856 (java) S 17845 17847 15948 0 -1 64 3452 0 0 0 106 1 0 0 16 0 13 0 153051797 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17857] ppid=17845 vsize=1793076 CPUtime=1.4
/proc/17847/task/17857/stat : 17857 (java) S 17845 17847 15948 0 -1 64 4867 0 0 0 138 2 0 0 16 0 13 0 153051797 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17858] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17858/stat : 17858 (java) S 17845 17847 15948 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153051797 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17859] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17859/stat : 17859 (java) S 17845 17847 15948 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153051797 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17847/tid=17861] ppid=17845 vsize=1793076 CPUtime=0
/proc/17847/task/17861/stat : 17861 (java) S 17845 17847 15948 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153052177 1836109824 117292 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1793076

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

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

[startup+1782.61 s]
/proc/loadavg: 1.00 1.00 0.96 3/90 18059
/proc/meminfo: memFree=1103824/2055920 swapFree=4159420/4192956
[pid=17847] ppid=17845 vsize=0 CPUtime=1800.21
/proc/17847/stat : 17847 (java) Z 17845 17847 15948 0 -1 1036 216152 0 1 0 179896 125 0 0 15 0 2 0 153051788 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17847/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1782.67
CPU time (s): 1800.28
CPU user time (s): 1798.97
CPU system time (s): 1.3078
CPU usage (%): 100.988
Max. virtual memory (cumulated for all children) (KiB): 1795560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.3078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216152
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= 43139
involuntary context switches= 26198

runsolver used 1.66975 second user time and 4.92125 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Fri Apr 20 06:42:20 UTC 2007

IDJOB= 365615
IDBENCH= 2450
IDSOLVER= 164
FILE ID= node13/365615-1177051339

PBS_JOBID= 4640128

Free space on /tmp= 66317 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365615-1177051339/sat4jPseudoCPClause.jar /tmp/evaluation/365615-1177051339/instance-365615-1177051339.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-365615-1177051339 -o ROOT/results/node13/solver-365615-1177051339 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365615-1177051339/sat4jPseudoCPClause.jar /tmp/evaluation/365615-1177051339/instance-365615-1177051339.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  cfa0de6a5c077caf94404f012a430180

RANDOM SEED= 843775085

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1570000 kB
Buffers:         39088 kB
Cached:         380496 kB
SwapCached:      12760 kB
Active:         122192 kB
Inactive:       321252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1570000 kB
SwapTotal:     4192956 kB
SwapFree:      4159420 kB
Dirty:            3812 kB
Writeback:           0 kB
Mapped:          30784 kB
Slab:            27872 kB
Committed_AS:  6706576 kB
PageTables:       1876 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= 66317 MiB

End job on node13 on Fri Apr 20 07:12:04 UTC 2007