Trace number 351864

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)649 1800.39 1762.97

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb
MD5SUMa5b00f1ae7deac89a36da7a8be4b1f6d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark301
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 291
Optimality of the best value was proved NO
Number of variables5380
Total number of constraints630
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints542
Minimum length of a constraint2
Maximum length of a constraint77
Number of terms in the objective function 3720
Biggest coefficient in the objective function 2115
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527620
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262086
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527620
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	649

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16909
/proc/meminfo: memFree=1594816/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=308 CPUtime=0
/proc/16909/stat : 16909 (java) R 16907 16909 15899 0 -1 0 58 0 0 0 0 0 0 0 18 0 1 0 137601803 315392 41 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 8663611 0 0 4096 0 0 0 0 17 1 0 0
/proc/16909/statm: 81 44 33 9 0 6 0

[startup+0.0911051 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16909
/proc/meminfo: memFree=1594816/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1777708 CPUtime=0.06
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 3760 0 1 0 4 2 0 0 18 0 7 0 137601803 1820372992 3502 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 444427 3502 1085 9 0 442063 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777708

[startup+0.101105 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16909
/proc/meminfo: memFree=1594816/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1777844 CPUtime=0.07
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 3833 0 1 0 5 2 0 0 18 0 7 0 137601803 1820512256 3575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 444461 3575 1091 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.301129 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16909
/proc/meminfo: memFree=1594816/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1782372 CPUtime=0.3
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 5085 0 1 0 27 3 0 0 18 0 12 0 137601803 1825148928 4823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 445593 4823 1264 9 0 443204 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1782372

[startup+0.701173 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16909
/proc/meminfo: memFree=1594816/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1785152 CPUtime=0.9
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 7510 0 1 0 86 4 0 0 18 0 12 0 137601803 1827995648 6898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 446288 6898 1308 9 0 443899 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 1785152

[startup+1.50227 s]
/proc/loadavg: 0.92 0.98 0.99 4/89 16921
/proc/meminfo: memFree=1562720/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1796636 CPUtime=2.49
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 16697 0 1 0 241 8 0 0 18 0 13 0 137601803 1839755264 11894 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 449159 11898 1318 9 0 446770 0
[pid=16909/tid=16911] ppid=16907 vsize=1796636 CPUtime=0.94
/proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 7578 0 1 0 89 5 0 0 18 0 13 0 137601804 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109368139 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=1796636 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 137601806 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=1796636 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 137601806 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16914] ppid=16907 vsize=1796636 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 137601808 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=1796636 CPUtime=0
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 137601808 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=1796636 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 137601808 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=1796636 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16918] ppid=16907 vsize=1796636 CPUtime=0.61
/proc/16909/task/16918/stat : 16918 (java) R 16907 16909 15899 0 -1 64 3183 0 0 0 61 0 0 0 18 0 13 0 137601814 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105295842 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16919] ppid=16907 vsize=1796636 CPUtime=0.91
/proc/16909/task/16919/stat : 16919 (java) R 16907 16909 15899 0 -1 64 5212 0 0 0 90 1 0 0 22 0 13 0 137601814 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103335960 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16920] ppid=16907 vsize=1796636 CPUtime=0
/proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16921] ppid=16907 vsize=1796636 CPUtime=0
/proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 1796636

[startup+3.10245 s]
/proc/loadavg: 1.09 1.02 1.01 4/90 16922
/proc/meminfo: memFree=1543896/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1798928 CPUtime=5.52
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 38596 0 1 0 530 22 0 0 18 0 13 0 137601803 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 449732 27663 1324 9 0 447343 0
[pid=16909/tid=16911] ppid=16907 vsize=1798928 CPUtime=1.92
/proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 22460 0 1 0 179 13 0 0 18 0 13 0 137601804 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109765847 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=1798928 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 137601806 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=1798928 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 137601806 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16914] ppid=16907 vsize=1798928 CPUtime=0.02
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 3 0 0 0 0 2 0 0 16 0 13 0 137601808 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=1798928 CPUtime=0
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 137601808 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=1798928 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 137601808 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=1798928 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16918] ppid=16907 vsize=1798928 CPUtime=1.92
/proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 7913 0 0 0 190 2 0 0 19 0 13 0 137601814 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16919] ppid=16907 vsize=1798928 CPUtime=1.61
/proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7494 0 0 0 159 2 0 0 16 0 13 0 137601814 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16920] ppid=16907 vsize=1798928 CPUtime=0
/proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16921] ppid=16907 vsize=1798928 CPUtime=0
/proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 1798928

[startup+6.3018 s]
/proc/loadavg: 1.09 1.02 1.01 2/90 16924
/proc/meminfo: memFree=1418184/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1798788 CPUtime=9.07
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 56272 0 1 0 878 29 0 0 18 0 13 0 137601803 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 449697 45190 1334 9 0 447308 0
[pid=16909/tid=16911] ppid=16907 vsize=1798788 CPUtime=4.86
/proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 37755 0 1 0 466 20 0 0 25 0 13 0 137601804 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109727859 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16912] ppid=16907 vsize=1798788 CPUtime=0.06
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 1182 0 0 0 6 0 0 0 16 0 13 0 137601806 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=1798788 CPUtime=0.06
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 1171 0 0 0 6 0 0 0 16 0 13 0 137601806 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.03
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 12 0 0 0 1 2 0 0 17 0 13 0 137601808 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16918] ppid=16907 vsize=1798788 CPUtime=2.16
/proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 7921 0 0 0 214 2 0 0 16 0 13 0 137601814 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16919] ppid=16907 vsize=1798788 CPUtime=1.85
/proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7505 0 0 0 183 2 0 0 16 0 13 0 137601814 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16920] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16921] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16924] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 137602309 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.07
Current children cumulated vsize (KiB) 1798788

[startup+12.7025 s]
/proc/loadavg: 1.07 1.02 1.00 2/90 16924
/proc/meminfo: memFree=1395216/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1798788 CPUtime=15.64
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 63585 0 1 0 1532 32 0 0 18 0 13 0 137601803 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 449697 50926 1335 9 0 447308 0
[pid=16909/tid=16911] ppid=16907 vsize=1798788 CPUtime=11.08
/proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 37760 0 1 0 1088 20 0 0 25 0 13 0 137601804 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109715306 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16912] ppid=16907 vsize=1798788 CPUtime=0.23
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 5088 0 0 0 22 1 0 0 16 0 13 0 137601806 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=1798788 CPUtime=0.22
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 4557 0 0 0 21 1 0 0 16 0 13 0 137601806 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.03
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 27 0 0 0 1 2 0 0 16 0 13 0 137601808 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16918] ppid=16907 vsize=1798788 CPUtime=2.16
/proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 7921 0 0 0 214 2 0 0 17 0 13 0 137601814 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16919] ppid=16907 vsize=1798788 CPUtime=1.86
/proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7506 0 0 0 184 2 0 0 16 0 13 0 137601814 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16920] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16921] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16924] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 137602309 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.64
Current children cumulated vsize (KiB) 1798788

[startup+25.502 s]
/proc/loadavg: 1.06 1.01 1.00 2/90 16924
/proc/meminfo: memFree=1374224/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1798788 CPUtime=28.56
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 69945 0 1 0 2822 34 0 0 18 0 13 0 137601803 1841958912 56196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 449697 56196 1335 9 0 447308 0
[pid=16909/tid=16911] ppid=16907 vsize=1798788 CPUtime=23.74
/proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 39303 0 1 0 2354 20 0 0 25 0 13 0 137601804 1841958912 56196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109722113 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16912] ppid=16907 vsize=1798788 CPUtime=0.35
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 7970 0 0 0 33 2 0 0 16 0 13 0 137601806 1841958912 56196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=1798788 CPUtime=0.35
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 6492 0 0 0 33 2 0 0 16 0 13 0 137601806 1841958912 56196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.03
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 27 0 0 0 1 2 0 0 17 0 13 0 137601808 1841958912 56196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 56196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.28
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 144 0 0 0 15 13 0 0 16 0 13 0 137601808 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16918] ppid=16907 vsize=1798788 CPUtime=2.48
/proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 8104 0 0 0 245 3 0 0 17 0 13 0 137601814 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16919] ppid=16907 vsize=1798788 CPUtime=1.97
/proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7513 0 0 0 195 2 0 0 17 0 13 0 137601814 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16920] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16921] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16924] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 137602309 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1636.38
Current children cumulated vsize (KiB) 1798788

[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/90 17121
/proc/meminfo: memFree=834448/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1798788 CPUtime=1697.55
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 279587 0 1 0 169592 163 0 0 18 0 13 0 137601803 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 449697 190685 1335 9 0 447308 0
[pid=16909/tid=16911] ppid=16907 vsize=1798788 CPUtime=1626.99
/proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 78128 0 1 0 162642 57 0 0 25 0 13 0 137601804 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109722048 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=1798788 CPUtime=32.86
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 99620 0 0 0 3241 45 0 0 17 0 13 0 137601806 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16913] ppid=16907 vsize=1798788 CPUtime=32.88
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 85352 0 0 0 3249 39 0 0 16 0 13 0 137601806 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.3
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 144 0 0 0 16 14 0 0 16 0 13 0 137601808 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16918] ppid=16907 vsize=1798788 CPUtime=2.48
/proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 8104 0 0 0 245 3 0 0 17 0 13 0 137601814 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16919] ppid=16907 vsize=1798788 CPUtime=1.97
/proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7513 0 0 0 195 2 0 0 17 0 13 0 137601814 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16920] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16921] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16924] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 137602309 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1697.55
Current children cumulated vsize (KiB) 1798788

[startup+1722.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/90 17121
/proc/meminfo: memFree=830992/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1798788 CPUtime=1758.76
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 280554 0 1 0 175712 164 0 0 18 0 13 0 137601803 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 449697 191574 1335 9 0 447308 0
[pid=16909/tid=16911] ppid=16907 vsize=1798788 CPUtime=1685.73
/proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 78158 0 1 0 168516 57 0 0 25 0 13 0 137601804 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109722101 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=1798788 CPUtime=34.1
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 100176 0 0 0 3364 46 0 0 17 0 13 0 137601806 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=1798788 CPUtime=34.12
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 85733 0 0 0 3372 40 0 0 16 0 13 0 137601806 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.31
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 144 0 0 0 17 14 0 0 16 0 13 0 137601808 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16918] ppid=16907 vsize=1798788 CPUtime=2.48
/proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 8104 0 0 0 245 3 0 0 17 0 13 0 137601814 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16919] ppid=16907 vsize=1798788 CPUtime=1.97
/proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7513 0 0 0 195 2 0 0 17 0 13 0 137601814 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16920] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16921] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16924] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 137602309 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1758.76
Current children cumulated vsize (KiB) 1798788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1762.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 17121
/proc/meminfo: memFree=828624/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1798788 CPUtime=1800.01
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 281158 0 1 0 179836 165 0 0 18 0 13 0 137601803 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 449697 192134 1335 9 0 447308 0
[pid=16909/tid=16911] ppid=16907 vsize=1798788 CPUtime=1725.26
/proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 78178 0 1 0 172469 57 0 0 25 0 13 0 137601804 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109775137 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=1798788 CPUtime=34.95
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 100643 0 0 0 3449 46 0 0 16 0 13 0 137601806 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=1798788 CPUtime=34.98
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 85850 0 0 0 3458 40 0 0 17 0 13 0 137601806 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.31
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 144 0 0 0 17 14 0 0 16 0 13 0 137601808 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16918] ppid=16907 vsize=1798788 CPUtime=2.48
/proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 8104 0 0 0 245 3 0 0 17 0 13 0 137601814 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16919] ppid=16907 vsize=1798788 CPUtime=1.97
/proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7513 0 0 0 195 2 0 0 17 0 13 0 137601814 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16920] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16921] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16924] ppid=16907 vsize=1798788 CPUtime=0
/proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 137602309 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1798788

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

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

[startup+1762.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 17121
/proc/meminfo: memFree=828624/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=1799436 CPUtime=1800.21
/proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 281177 0 1 0 179856 165 0 0 16 0 15 0 137601803 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 449859 192153 1335 9 0 447470 0
[pid=16909/tid=16911] ppid=16907 vsize=1799436 CPUtime=1725.37
/proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 78178 0 1 0 172480 57 0 0 25 0 15 0 137601804 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109721567 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=1799436 CPUtime=34.95
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 100643 0 0 0 3449 46 0 0 16 0 15 0 137601806 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=1799436 CPUtime=34.98
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 85850 0 0 0 3458 40 0 0 17 0 15 0 137601806 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16914] ppid=16907 vsize=1799436 CPUtime=0.31
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 144 0 0 0 17 14 0 0 16 0 15 0 137601808 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16915] ppid=16907 vsize=1799436 CPUtime=0
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 15 0 137601808 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=1799436 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 15 0 137601808 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=1799436 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 137601814 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16918] ppid=16907 vsize=1799436 CPUtime=2.5
/proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 8104 0 0 0 247 3 0 0 16 0 15 0 137601814 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16919] ppid=16907 vsize=1799436 CPUtime=2
/proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7515 0 0 0 198 2 0 0 16 0 15 0 137601814 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16909/tid=16920] ppid=16907 vsize=1799436 CPUtime=0
/proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 15 0 137601814 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16921] ppid=16907 vsize=1799436 CPUtime=0
/proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 137601814 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16924] ppid=16907 vsize=1799436 CPUtime=0
/proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 15 0 137602309 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 1799436

[startup+1762.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 17121
/proc/meminfo: memFree=828624/2055920 swapFree=4158676/4192956
[pid=16909] ppid=16907 vsize=0 CPUtime=1800.31
/proc/16909/stat : 16909 (java) Z 16907 16909 15899 0 -1 1036 281179 0 1 0 179860 171 0 0 15 0 2 0 137601803 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16909/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1762.97
CPU time (s): 1800.39
CPU user time (s): 1798.61
CPU system time (s): 1.77873
CPU usage (%): 102.122
Max. virtual memory (cumulated for all children) (KiB): 1802400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.61
system time used= 1.77873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281179
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= 45143
involuntary context switches= 63077

runsolver used 2.14167 second user time and 5.56815 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Sun Apr 15 05:40:42 UTC 2007

IDJOB= 351864
IDBENCH= 1831
IDSOLVER= 164
FILE ID= node9/351864-1176615642

PBS_JOBID= 4556829

Free space on /tmp= 66553 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  a5b00f1ae7deac89a36da7a8be4b1f6d

RANDOM SEED= 661052129

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1595224 kB
Buffers:         80604 kB
Cached:         252732 kB
SwapCached:      10540 kB
Active:         211804 kB
Inactive:       178364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1595224 kB
SwapTotal:     4192956 kB
SwapFree:      4158676 kB
Dirty:            3728 kB
Writeback:           0 kB
Mapped:          53660 kB
Slab:            55992 kB
Committed_AS:  4828152 kB
PageTables:       1848 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= 66553 MiB

End job on node9 on Sun Apr 15 06:10:07 UTC 2007