Trace number 351782

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
sat4jPseudoCP 2007-03-23SAT (TO)-3819 1800.38 1781.35

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb
MD5SUM7ddc5796bc843f2bf9bc94a0b22fd8e4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-4362
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -4362
Optimality of the best value was proved NO
Number of variables5383
Total number of constraints3279
Number of constraints which are clauses2977
Number of constraints which are cardinality constraints (but not clauses)276
Number of constraints which are nor clauses,nor cardinality constraints26
Minimum length of a constraint2
Maximum length of a constraint2952
Number of terms in the objective function 2946
Biggest coefficient in the objective function 334
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 526119
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 254588
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 526119
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-3819

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-351782-1176613344 -o ROOT/results/node47/solver-351782-1176613344 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351782-1176613344/sat4jPseudoCP.jar /tmp/evaluation/351782-1176613344/instance-351782-1176613344.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 3/64 19083
/proc/meminfo: memFree=1751968/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=152 CPUtime=0
/proc/19083/stat : 19083 (java) D 19081 19083 18230 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 16179750 155648 26 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 10519332 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/19083/statm: 38 26 19 9 0 4 0

[startup+0.0965389 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 19083
/proc/meminfo: memFree=1751968/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1780040 CPUtime=0.07
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 3908 0 1 0 5 2 0 0 18 0 12 0 16179750 1822760960 3649 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 445010 3649 1099 9 0 442646 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1780040

[startup+0.102538 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 19083
/proc/meminfo: memFree=1751968/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1780108 CPUtime=0.08
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 3973 0 1 0 6 2 0 0 18 0 12 0 16179750 1822830592 3714 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 445027 3714 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301561 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 19083
/proc/meminfo: memFree=1751968/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1781420 CPUtime=0.32
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 5099 0 1 0 29 3 0 0 18 0 12 0 16179750 1824174080 4837 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 445355 4838 1267 9 0 442967 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1781420

[startup+0.702609 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 19083
/proc/meminfo: memFree=1751968/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1788572 CPUtime=0.99
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 8378 0 1 0 95 4 0 0 18 0 12 0 16179750 1831497728 7470 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 447143 7472 1302 9 0 444755 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 1788572

[startup+1.50269 s]
/proc/loadavg: 0.92 0.98 0.99 4/76 19095
/proc/meminfo: memFree=1716736/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1795484 CPUtime=2.47
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 16459 0 1 0 239 8 0 0 18 0 13 0 16179750 1838575616 12595 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 448871 12595 1312 9 0 446483 0
[pid=19083/tid=19085] ppid=19081 vsize=1795484 CPUtime=0.89
/proc/19083/task/19085/stat : 19085 (java) R 19081 19083 18230 0 -1 64 8504 0 1 0 84 5 0 0 25 0 13 0 16179751 1838575616 12595 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19086] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19086/stat : 19086 (java) S 19081 19083 18230 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 16179753 1838575616 12595 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19087] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19087/stat : 19087 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 16179753 1838575616 12595 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19088] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19088/stat : 19088 (java) S 19081 19083 18230 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 16179755 1838575616 12595 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19089] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19089/stat : 19089 (java) S 19081 19083 18230 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 16179755 1838575616 12595 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19090] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19090/stat : 19090 (java) S 19081 19083 18230 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 16179755 1838575616 12595 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19091] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19091/stat : 19091 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16179759 1838575616 12595 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19092] ppid=19081 vsize=1795484 CPUtime=0.93
/proc/19083/task/19092/stat : 19092 (java) S 19081 19083 18230 0 -1 64 5079 0 0 0 92 1 0 0 16 0 13 0 16179759 1838575616 12595 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19093] ppid=19081 vsize=1795484 CPUtime=0.62
/proc/19083/task/19093/stat : 19093 (java) R 19081 19083 18230 0 -1 64 2151 0 0 0 62 0 0 0 16 0 13 0 16179759 1838575616 12595 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 105044229 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19094] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19094/stat : 19094 (java) S 19081 19083 18230 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16179759 1838575616 12595 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19095] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19095/stat : 19095 (java) S 19081 19083 18230 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 16179759 1838575616 12595 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 1795484

[startup+3.10186 s]
/proc/loadavg: 1.09 1.02 1.01 3/76 19097
/proc/meminfo: memFree=1695808/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1795484 CPUtime=4.61
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 47554 0 1 0 439 22 0 0 18 0 13 0 16179750 1838575616 42819 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 448871 42819 1327 9 0 446483 0
[pid=19083/tid=19085] ppid=19081 vsize=1795484 CPUtime=2.22
/proc/19083/task/19085/stat : 19085 (java) R 19081 19083 18230 0 -1 64 37723 0 1 0 205 17 0 0 18 0 13 0 16179751 1838575616 42819 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109557424 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19086] ppid=19081 vsize=1795484 CPUtime=0.01
/proc/19083/task/19086/stat : 19086 (java) S 19081 19083 18230 0 -1 64 504 0 0 0 1 0 0 0 17 0 13 0 16179753 1838575616 42819 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19087] ppid=19081 vsize=1795484 CPUtime=0.01
/proc/19083/task/19087/stat : 19087 (java) S 19081 19083 18230 0 -1 64 403 0 0 0 1 0 0 0 16 0 13 0 16179753 1838575616 42819 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19088] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19088/stat : 19088 (java) S 19081 19083 18230 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 16179755 1838575616 42819 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19089] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19089/stat : 19089 (java) S 19081 19083 18230 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 16179755 1838575616 42819 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19090] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19090/stat : 19090 (java) S 19081 19083 18230 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16179755 1838575616 42819 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19091] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19091/stat : 19091 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16179759 1838575616 42819 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19092] ppid=19081 vsize=1795484 CPUtime=1.23
/proc/19083/task/19092/stat : 19092 (java) S 19081 19083 18230 0 -1 64 5117 0 0 0 122 1 0 0 16 0 13 0 16179759 1838575616 42819 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19093] ppid=19081 vsize=1795484 CPUtime=1.09
/proc/19083/task/19093/stat : 19093 (java) S 19081 19083 18230 0 -1 64 3076 0 0 0 108 1 0 0 16 0 13 0 16179759 1838575616 42819 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19094] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19094/stat : 19094 (java) S 19081 19083 18230 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16179759 1838575616 42819 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19095] ppid=19081 vsize=1795484 CPUtime=0
/proc/19083/task/19095/stat : 19095 (java) S 19081 19083 18230 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 16179759 1838575616 42819 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 1795484

[startup+6.3022 s]
/proc/loadavg: 1.09 1.02 1.01 2/77 19098
/proc/meminfo: memFree=1580856/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1795452 CPUtime=7.94
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 48670 0 1 0 771 23 0 0 18 0 13 0 16179750 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 448863 42924 1327 9 0 446475 0
[pid=19083/tid=19085] ppid=19081 vsize=1795452 CPUtime=5.3
/proc/19083/task/19085/stat : 19085 (java) R 19081 19083 18230 0 -1 64 37729 0 1 0 512 18 0 0 25 0 13 0 16179751 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109794445 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19086] ppid=19081 vsize=1795452 CPUtime=0.07
/proc/19083/task/19086/stat : 19086 (java) S 19081 19083 18230 0 -1 64 1105 0 0 0 7 0 0 0 16 0 13 0 16179753 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19087] ppid=19081 vsize=1795452 CPUtime=0.07
/proc/19083/task/19087/stat : 19087 (java) S 19081 19083 18230 0 -1 64 886 0 0 0 6 1 0 0 17 0 13 0 16179753 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19088] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19088/stat : 19088 (java) S 19081 19083 18230 0 -1 64 17 0 0 0 0 0 0 0 17 0 13 0 16179755 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19089] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19089/stat : 19089 (java) S 19081 19083 18230 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19090] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19090/stat : 19090 (java) S 19081 19083 18230 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19091] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19091/stat : 19091 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16179759 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19092] ppid=19081 vsize=1795452 CPUtime=1.32
/proc/19083/task/19092/stat : 19092 (java) S 19081 19083 18230 0 -1 64 5121 0 0 0 131 1 0 0 16 0 13 0 16179759 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19093] ppid=19081 vsize=1795452 CPUtime=1.14
/proc/19083/task/19093/stat : 19093 (java) S 19081 19083 18230 0 -1 64 3089 0 0 0 113 1 0 0 16 0 13 0 16179759 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19094] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19094/stat : 19094 (java) S 19081 19083 18230 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16179759 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19095] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19095/stat : 19095 (java) S 19081 19083 18230 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 16179759 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19098] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19098/stat : 19098 (java) S 19081 19083 18230 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 16179965 1838542848 42924 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.94
Current children cumulated vsize (KiB) 1795452

[startup+12.7019 s]
/proc/loadavg: 1.07 1.02 1.00 2/77 19098
/proc/meminfo: memFree=1546616/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1795452 CPUtime=14.6
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 58389 0 1 0 1433 27 0 0 18 0 13 0 16179750 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 448863 52121 1327 9 0 446475 0
[pid=19083/tid=19085] ppid=19081 vsize=1795452 CPUtime=11.55
/proc/19083/task/19085/stat : 19085 (java) R 19081 19083 18230 0 -1 64 44248 0 1 0 1135 20 0 0 21 0 13 0 16179751 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109557685 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19086] ppid=19081 vsize=1795452 CPUtime=0.13
/proc/19083/task/19086/stat : 19086 (java) S 19081 19083 18230 0 -1 64 2763 0 0 0 12 1 0 0 16 0 13 0 16179753 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19087] ppid=19081 vsize=1795452 CPUtime=0.13
/proc/19083/task/19087/stat : 19087 (java) S 19081 19083 18230 0 -1 64 2382 0 0 0 12 1 0 0 16 0 13 0 16179753 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19088] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19088/stat : 19088 (java) S 19081 19083 18230 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19089] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19089/stat : 19089 (java) S 19081 19083 18230 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19090] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19090/stat : 19090 (java) S 19081 19083 18230 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19091] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19091/stat : 19091 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16179759 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19092] ppid=19081 vsize=1795452 CPUtime=1.42
/proc/19083/task/19092/stat : 19092 (java) S 19081 19083 18230 0 -1 64 5137 0 0 0 141 1 0 0 16 0 13 0 16179759 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19093] ppid=19081 vsize=1795452 CPUtime=1.32
/proc/19083/task/19093/stat : 19093 (java) S 19081 19083 18230 0 -1 64 3106 0 0 0 131 1 0 0 16 0 13 0 16179759 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19094] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19094/stat : 19094 (java) S 19081 19083 18230 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16179759 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19095] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19095/stat : 19095 (java) S 19081 19083 18230 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 16179759 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19098] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19098/stat : 19098 (java) S 19081 19083 18230 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 16179965 1838542848 52121 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.6
Current children cumulated vsize (KiB) 1795452

[startup+25.5023 s]
/proc/loadavg: 1.06 1.01 1.00 2/77 19098
/proc/meminfo: memFree=1578616/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1795452 CPUtime=27.68
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 59919 0 1 0 2740 28 0 0 18 0 13 0 16179750 1838542848 44347 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 448863 44347 1327 9 0 446475 0
[pid=19083/tid=19085] ppid=19081 vsize=1795452 CPUtime=24.14
/proc/19083/task/19085/stat : 19085 (java) R 19081 19083 18230 0 -1 64 44268 0 1 0 2394 20 0 0 25 0 13 0 16179751 1838542848 44347 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109819511 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19086] ppid=19081 vsize=1795452 CPUtime=0.18
/proc/19083/task/19086/stat : 19086 (java) S 19081 19083 18230 0 -1 64 3638 0 0 0 17 1 0 0 16 0 13 0 16179753 1838542848 44347 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19087] ppid=19081 vsize=1795452 CPUtime=0.19
/proc/19083/task/19087/stat : 19087 (java) S 19081 19083 18230 0 -1 64 2990 0 0 0 17 2 0 0 16 0 13 0 16179753 1838542848 44347 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19088] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19088/stat : 19088 (java) S 19081 19083 18230 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 16179755 1838542848 44347 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19089] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19089/stat : 19089 (java) S 19081 19083 18230 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 44347 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

[pid=19083/tid=19088] ppid=19081 vsize=1795452 CPUtime=0.69
/proc/19083/task/19088/stat : 19088 (java) S 19081 19083 18230 0 -1 64 512 0 0 0 38 31 0 0 16 0 13 0 16179755 1838542848 195736 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19089] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19089/stat : 19089 (java) S 19081 19083 18230 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 195736 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19090] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19090/stat : 19090 (java) S 19081 19083 18230 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 195736 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19091] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19091/stat : 19091 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16179759 1838542848 195736 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19092] ppid=19081 vsize=1795452 CPUtime=2.03
/proc/19083/task/19092/stat : 19092 (java) S 19081 19083 18230 0 -1 64 5248 0 0 0 201 2 0 0 16 0 13 0 16179759 1838542848 195736 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19093] ppid=19081 vsize=1795452 CPUtime=1.91
/proc/19083/task/19093/stat : 19093 (java) S 19081 19083 18230 0 -1 64 3141 0 0 0 190 1 0 0 17 0 13 0 16179759 1838542848 195736 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19094] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19094/stat : 19094 (java) S 19081 19083 18230 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16179759 1838542848 195736 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19095] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19095/stat : 19095 (java) S 19081 19083 18230 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 16179759 1838542848 195736 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19102] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19102/stat : 19102 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 16249511 1838542848 195736 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1619.21
Current children cumulated vsize (KiB) 1795452

[startup+1662.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/77 19102
/proc/meminfo: memFree=949096/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1795452 CPUtime=1679.99
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 369543 0 1 0 167788 211 0 0 18 0 13 0 16179750 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 448863 201364 1329 9 0 446475 0
[pid=19083/tid=19085] ppid=19081 vsize=1795452 CPUtime=1643.02
/proc/19083/task/19085/stat : 19085 (java) R 19081 19083 18230 0 -1 64 150742 0 1 0 164228 74 0 0 25 0 13 0 16179751 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109557586 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19086] ppid=19081 vsize=1795452 CPUtime=16.11
/proc/19083/task/19086/stat : 19086 (java) S 19081 19083 18230 0 -1 64 105651 0 0 0 1561 50 0 0 16 0 13 0 16179753 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19087] ppid=19081 vsize=1795452 CPUtime=16.14
/proc/19083/task/19087/stat : 19087 (java) S 19081 19083 18230 0 -1 64 103524 0 0 0 1566 48 0 0 16 0 13 0 16179753 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19088] ppid=19081 vsize=1795452 CPUtime=0.71
/proc/19083/task/19088/stat : 19088 (java) S 19081 19083 18230 0 -1 64 512 0 0 0 39 32 0 0 15 0 13 0 16179755 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19089] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19089/stat : 19089 (java) S 19081 19083 18230 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19090] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19090/stat : 19090 (java) S 19081 19083 18230 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19091] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19091/stat : 19091 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16179759 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19092] ppid=19081 vsize=1795452 CPUtime=2.03
/proc/19083/task/19092/stat : 19092 (java) S 19081 19083 18230 0 -1 64 5248 0 0 0 201 2 0 0 16 0 13 0 16179759 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19093] ppid=19081 vsize=1795452 CPUtime=1.91
/proc/19083/task/19093/stat : 19093 (java) S 19081 19083 18230 0 -1 64 3141 0 0 0 190 1 0 0 17 0 13 0 16179759 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19094] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19094/stat : 19094 (java) S 19081 19083 18230 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16179759 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19095] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19095/stat : 19095 (java) S 19081 19083 18230 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 16179759 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19102] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19102/stat : 19102 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 16249511 1838542848 201364 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1679.99
Current children cumulated vsize (KiB) 1795452

[startup+1722.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/77 19102
/proc/meminfo: memFree=930536/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1795452 CPUtime=1740.53
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 380115 0 1 0 173835 218 0 0 18 0 13 0 16179750 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 448863 206063 1329 9 0 446475 0
[pid=19083/tid=19085] ppid=19081 vsize=1795452 CPUtime=1702.38
/proc/19083/task/19085/stat : 19085 (java) R 19081 19083 18230 0 -1 64 153310 0 1 0 170162 76 0 0 25 0 13 0 16179751 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109557770 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19086] ppid=19081 vsize=1795452 CPUtime=16.68
/proc/19083/task/19086/stat : 19086 (java) S 19081 19083 18230 0 -1 64 109901 0 0 0 1616 52 0 0 16 0 13 0 16179753 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19087] ppid=19081 vsize=1795452 CPUtime=16.73
/proc/19083/task/19087/stat : 19087 (java) S 19081 19083 18230 0 -1 64 107266 0 0 0 1622 51 0 0 16 0 13 0 16179753 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19088] ppid=19081 vsize=1795452 CPUtime=0.73
/proc/19083/task/19088/stat : 19088 (java) S 19081 19083 18230 0 -1 64 524 0 0 0 40 33 0 0 17 0 13 0 16179755 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19089] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19089/stat : 19089 (java) S 19081 19083 18230 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19090] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19090/stat : 19090 (java) S 19081 19083 18230 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19091] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19091/stat : 19091 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16179759 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19092] ppid=19081 vsize=1795452 CPUtime=2.03
/proc/19083/task/19092/stat : 19092 (java) S 19081 19083 18230 0 -1 64 5248 0 0 0 201 2 0 0 16 0 13 0 16179759 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19093] ppid=19081 vsize=1795452 CPUtime=1.91
/proc/19083/task/19093/stat : 19093 (java) S 19081 19083 18230 0 -1 64 3141 0 0 0 190 1 0 0 17 0 13 0 16179759 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19094] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19094/stat : 19094 (java) S 19081 19083 18230 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16179759 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19095] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19095/stat : 19095 (java) S 19081 19083 18230 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 16179759 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19102] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19102/stat : 19102 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 16249511 1838542848 206063 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1740.53
Current children cumulated vsize (KiB) 1795452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.1 s]
/proc/loadavg: 1.08 1.05 1.00 2/77 19102
/proc/meminfo: memFree=906472/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1795452 CPUtime=1800.03
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 388185 0 1 0 179780 223 0 0 18 0 13 0 16179750 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 448863 211977 1329 9 0 446475 0
[pid=19083/tid=19085] ppid=19081 vsize=1795452 CPUtime=1760.39
/proc/19083/task/19085/stat : 19085 (java) R 19081 19083 18230 0 -1 64 153755 0 1 0 175963 76 0 0 17 0 13 0 16179751 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109557836 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19086] ppid=19081 vsize=1795452 CPUtime=17.42
/proc/19083/task/19086/stat : 19086 (java) S 19081 19083 18230 0 -1 64 113820 0 0 0 1688 54 0 0 16 0 13 0 16179753 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19087] ppid=19081 vsize=1795452 CPUtime=17.46
/proc/19083/task/19087/stat : 19087 (java) S 19081 19083 18230 0 -1 64 110972 0 0 0 1693 53 0 0 15 0 13 0 16179753 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19088] ppid=19081 vsize=1795452 CPUtime=0.76
/proc/19083/task/19088/stat : 19088 (java) S 19081 19083 18230 0 -1 64 524 0 0 0 42 34 0 0 16 0 13 0 16179755 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19089] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19089/stat : 19089 (java) S 19081 19083 18230 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19090] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19090/stat : 19090 (java) S 19081 19083 18230 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16179755 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19091] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19091/stat : 19091 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16179759 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19092] ppid=19081 vsize=1795452 CPUtime=2.03
/proc/19083/task/19092/stat : 19092 (java) S 19081 19083 18230 0 -1 64 5248 0 0 0 201 2 0 0 16 0 13 0 16179759 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19093] ppid=19081 vsize=1795452 CPUtime=1.91
/proc/19083/task/19093/stat : 19093 (java) S 19081 19083 18230 0 -1 64 3141 0 0 0 190 1 0 0 17 0 13 0 16179759 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19094] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19094/stat : 19094 (java) S 19081 19083 18230 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16179759 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19095] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19095/stat : 19095 (java) S 19081 19083 18230 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 16179759 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19102] ppid=19081 vsize=1795452 CPUtime=0
/proc/19083/task/19102/stat : 19102 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 16249511 1838542848 211977 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1795452

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

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

[startup+1781.21 s]
/proc/loadavg: 1.08 1.05 1.00 2/77 19102
/proc/meminfo: memFree=906472/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=1796100 CPUtime=1800.23
/proc/19083/stat : 19083 (java) S 19081 19083 18230 0 -1 0 388204 0 1 0 179800 223 0 0 16 0 14 0 16179750 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 449025 211996 1329 9 0 446637 0
[pid=19083/tid=19085] ppid=19081 vsize=1796100 CPUtime=1760.5
/proc/19083/task/19085/stat : 19085 (java) R 19081 19083 18230 0 -1 64 153755 0 1 0 175974 76 0 0 18 0 14 0 16179751 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109557836 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19086] ppid=19081 vsize=1796100 CPUtime=17.42
/proc/19083/task/19086/stat : 19086 (java) S 19081 19083 18230 0 -1 64 113820 0 0 0 1688 54 0 0 16 0 14 0 16179753 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19087] ppid=19081 vsize=1796100 CPUtime=17.46
/proc/19083/task/19087/stat : 19087 (java) S 19081 19083 18230 0 -1 64 110972 0 0 0 1693 53 0 0 15 0 14 0 16179753 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19088] ppid=19081 vsize=1796100 CPUtime=0.76
/proc/19083/task/19088/stat : 19088 (java) S 19081 19083 18230 0 -1 64 524 0 0 0 42 34 0 0 16 0 14 0 16179755 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19089] ppid=19081 vsize=1796100 CPUtime=0
/proc/19083/task/19089/stat : 19089 (java) S 19081 19083 18230 0 -1 64 10 0 0 0 0 0 0 0 16 0 14 0 16179755 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19090] ppid=19081 vsize=1796100 CPUtime=0
/proc/19083/task/19090/stat : 19090 (java) S 19081 19083 18230 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 16179755 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19091] ppid=19081 vsize=1796100 CPUtime=0
/proc/19083/task/19091/stat : 19091 (java) S 19081 19083 18230 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 16179759 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19092] ppid=19081 vsize=1796100 CPUtime=2.05
/proc/19083/task/19092/stat : 19092 (java) S 19081 19083 18230 0 -1 64 5248 0 0 0 203 2 0 0 16 0 14 0 16179759 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19093] ppid=19081 vsize=1796100 CPUtime=1.95
/proc/19083/task/19093/stat : 19093 (java) S 19081 19083 18230 0 -1 64 3141 0 0 0 194 1 0 0 16 0 14 0 16179759 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19094] ppid=19081 vsize=1796100 CPUtime=0
/proc/19083/task/19094/stat : 19094 (java) S 19081 19083 18230 0 -1 64 2 0 0 0 0 0 0 0 25 0 14 0 16179759 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19083/tid=19095] ppid=19081 vsize=1796100 CPUtime=0
/proc/19083/task/19095/stat : 19095 (java) S 19081 19083 18230 0 -1 64 0 0 0 0 0 0 0 0 15 0 14 0 16179759 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19083/tid=19102] ppid=19081 vsize=1796100 CPUtime=0
/proc/19083/task/19102/stat : 19102 (java) S 19081 19083 18230 0 -1 64 1 0 0 0 0 0 0 0 25 0 14 0 16249511 1839206400 211996 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1796100

[startup+1781.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/77 19102
/proc/meminfo: memFree=906472/2055920 swapFree=4192956/4192956
[pid=19083] ppid=19081 vsize=0 CPUtime=1800.32
/proc/19083/stat : 19083 (java) Z 19081 19083 18230 0 -1 1036 388204 0 1 0 179800 232 0 0 15 0 2 0 16179750 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19083/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1781.35
CPU time (s): 1800.38
CPU user time (s): 1798.01
CPU system time (s): 2.37264
CPU usage (%): 101.068
Max. virtual memory (cumulated for all children) (KiB): 1797648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.01
system time used= 2.37264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388204
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= 63844
involuntary context switches= 34510

runsolver used 2.23766 second user time and 5.21221 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Sun Apr 15 05:02:24 UTC 2007

IDJOB= 351782
IDBENCH= 1810
IDSOLVER= 160
FILE ID= node47/351782-1176613344

PBS_JOBID= 4557029

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  7ddc5796bc843f2bf9bc94a0b22fd8e4

RANDOM SEED= 916438190

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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:       1752448 kB
Buffers:         55164 kB
Cached:         139316 kB
SwapCached:          0 kB
Active:          86204 kB
Inactive:       132760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1752448 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3780 kB
Writeback:           0 kB
Mapped:          26388 kB
Slab:            70468 kB
Committed_AS:  2074788 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB

End job on node47 on Sun Apr 15 05:32:07 UTC 2007