Trace number 453657

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)14 1800.3 1754.83

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_2.opb
MD5SUMfaa00895e2f6f80e77634e2be522df62
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint45
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6220
Sum of products size (including duplicates)12440
Number of different products6220
Sum of products size12440

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

Verifier Data (download as text)

OK	14

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16315
/proc/meminfo: memFree=1773816/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1800 CPUtime=0
/proc/16315/stat : 16315 (java) D 16313 16315 14920 0 -1 0 175 0 0 0 0 0 0 0 20 0 1 0 290720995 1843200 148 18446744073709551615 134512640 134550740 4294956528 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/16315/statm: 450 148 111 9 0 92 0

[startup+0.0653149 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16315
/proc/meminfo: memFree=1773816/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1778140 CPUtime=0.05
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 3685 0 1 0 3 2 0 0 20 0 7 0 290720995 1820815360 3429 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 444535 3430 1081 9 0 442171 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1778140

[startup+0.10132 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16315
/proc/meminfo: memFree=1773816/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1780404 CPUtime=0.08
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 3980 0 1 0 6 2 0 0 20 0 12 0 290720995 1823133696 3724 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 445101 3726 1123 9 0 442720 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780404

[startup+0.301372 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16315
/proc/meminfo: memFree=1773816/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1781552 CPUtime=0.31
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 5154 0 1 0 28 3 0 0 20 0 12 0 290720995 1824309248 4894 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 445388 4894 1263 9 0 443000 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1781552

[startup+0.701455 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16315
/proc/meminfo: memFree=1773816/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1781992 CPUtime=0.87
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 6206 0 1 0 84 3 0 0 20 0 12 0 290720995 1824759808 5899 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 445498 5899 1301 9 0 443110 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 1781992

[startup+1.50263 s]
/proc/loadavg: 0.92 0.98 0.99 2/89 16327
/proc/meminfo: memFree=1748504/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1787828 CPUtime=2.11
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 11467 0 1 0 204 7 0 0 20 0 12 0 290720995 1830735872 8349 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 446957 8349 1304 9 0 444569 0
[pid=16315/tid=16317] ppid=16313 vsize=1787828 CPUtime=1.17
/proc/16315/task/16317/stat : 16317 (java) R 16313 16315 14920 0 -1 64 5983 0 1 0 114 3 0 0 23 0 12 0 290720996 1830735872 8349 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109551870 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16318] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16318/stat : 16318 (java) S 16313 16315 14920 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 290720997 1830735872 8349 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16319] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16319/stat : 16319 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 290720997 1830735872 8349 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16320] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16320/stat : 16320 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 290721000 1830735872 8349 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16321] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16321/stat : 16321 (java) S 16313 16315 14920 0 -1 64 11 0 0 0 0 0 0 0 20 0 12 0 290721000 1830735872 8349 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16322] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16322/stat : 16322 (java) S 16313 16315 14920 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 290721000 1830735872 8349 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16323] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16323/stat : 16323 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 290721004 1830735872 8349 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16324] ppid=16313 vsize=1787828 CPUtime=0.49
/proc/16315/task/16324/stat : 16324 (java) S 16313 16315 14920 0 -1 64 3021 0 0 0 48 1 0 0 16 0 12 0 290721004 1830735872 8349 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16325] ppid=16313 vsize=1787828 CPUtime=0.42
/proc/16315/task/16325/stat : 16325 (java) S 16313 16315 14920 0 -1 64 1744 0 0 0 41 1 0 0 16 0 12 0 290721004 1830735872 8349 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16326] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16326/stat : 16326 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 290721004 1830735872 8349 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16327] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16327/stat : 16327 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 290721004 1830735872 8349 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 1787828

[startup+3.10198 s]
/proc/loadavg: 0.92 0.98 0.99 2/89 16327
/proc/meminfo: memFree=1742872/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1787828 CPUtime=3.78
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 12664 0 1 0 370 8 0 0 20 0 12 0 290720995 1830735872 9525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 446957 9525 1304 9 0 444569 0
[pid=16315/tid=16317] ppid=16313 vsize=1787828 CPUtime=2.73
/proc/16315/task/16317/stat : 16317 (java) R 16313 16315 14920 0 -1 64 7144 0 1 0 269 4 0 0 25 0 12 0 290720996 1830735872 9525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109486411 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16318] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16318/stat : 16318 (java) S 16313 16315 14920 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 290720997 1830735872 9525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16319] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16319/stat : 16319 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 290720997 1830735872 9525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16320] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16320/stat : 16320 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 290721000 1830735872 9525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16321] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16321/stat : 16321 (java) S 16313 16315 14920 0 -1 64 11 0 0 0 0 0 0 0 20 0 12 0 290721000 1830735872 9525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16322] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16322/stat : 16322 (java) S 16313 16315 14920 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 290721000 1830735872 9525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16323] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16323/stat : 16323 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 290721004 1830735872 9525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16324] ppid=16313 vsize=1787828 CPUtime=0.56
/proc/16315/task/16324/stat : 16324 (java) S 16313 16315 14920 0 -1 64 3057 0 0 0 55 1 0 0 16 0 12 0 290721004 1830735872 9525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16325] ppid=16313 vsize=1787828 CPUtime=0.46
/proc/16315/task/16325/stat : 16325 (java) S 16313 16315 14920 0 -1 64 1744 0 0 0 45 1 0 0 16 0 12 0 290721004 1830735872 9525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16326] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16326/stat : 16326 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 290721004 1830735872 9525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16327] ppid=16313 vsize=1787828 CPUtime=0
/proc/16315/task/16327/stat : 16327 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 290721004 1830735872 9525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 1787828

[startup+6.30146 s]
/proc/loadavg: 0.93 0.98 0.99 2/89 16327
/proc/meminfo: memFree=1736800/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1787072 CPUtime=7.06
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 13940 0 1 0 697 9 0 0 20 0 12 0 290720995 1829961728 10635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 446768 10635 1304 9 0 444380 0
[pid=16315/tid=16317] ppid=16313 vsize=1787072 CPUtime=5.88
/proc/16315/task/16317/stat : 16317 (java) R 16313 16315 14920 0 -1 64 8400 0 1 0 582 6 0 0 25 0 12 0 290720996 1829961728 10635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109486411 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16318] ppid=16313 vsize=1787072 CPUtime=0
/proc/16315/task/16318/stat : 16318 (java) S 16313 16315 14920 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 290720997 1829961728 10635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16319] ppid=16313 vsize=1787072 CPUtime=0
/proc/16315/task/16319/stat : 16319 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 290720997 1829961728 10635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16320] ppid=16313 vsize=1787072 CPUtime=0
/proc/16315/task/16320/stat : 16320 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 290721000 1829961728 10635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16321] ppid=16313 vsize=1787072 CPUtime=0
/proc/16315/task/16321/stat : 16321 (java) S 16313 16315 14920 0 -1 64 11 0 0 0 0 0 0 0 20 0 12 0 290721000 1829961728 10635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16322] ppid=16313 vsize=1787072 CPUtime=0
/proc/16315/task/16322/stat : 16322 (java) S 16313 16315 14920 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 290721000 1829961728 10635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16323] ppid=16313 vsize=1787072 CPUtime=0
/proc/16315/task/16323/stat : 16323 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 290721004 1829961728 10635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16324] ppid=16313 vsize=1787072 CPUtime=0.62
/proc/16315/task/16324/stat : 16324 (java) S 16313 16315 14920 0 -1 64 3067 0 0 0 61 1 0 0 16 0 12 0 290721004 1829961728 10635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16325] ppid=16313 vsize=1787072 CPUtime=0.54
/proc/16315/task/16325/stat : 16325 (java) S 16313 16315 14920 0 -1 64 1754 0 0 0 53 1 0 0 16 0 12 0 290721004 1829961728 10635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16326] ppid=16313 vsize=1787072 CPUtime=0
/proc/16315/task/16326/stat : 16326 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 290721004 1829961728 10635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16327] ppid=16313 vsize=1787072 CPUtime=0
/proc/16315/task/16327/stat : 16327 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 290721004 1829961728 10635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 1787072

[startup+12.7029 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 16331
/proc/meminfo: memFree=1597136/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1794660 CPUtime=15.52
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 55294 0 1 0 1522 30 0 0 20 0 13 0 290720995 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 448665 45378 1327 9 0 446277 0
[pid=16315/tid=16317] ppid=16313 vsize=1794660 CPUtime=11.4
/proc/16315/task/16317/stat : 16317 (java) S 16313 16315 14920 0 -1 64 37725 0 1 0 1119 21 0 0 22 0 13 0 290720996 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16318] ppid=16313 vsize=1794660 CPUtime=0.11
/proc/16315/task/16318/stat : 16318 (java) R 16313 16315 14920 0 -1 64 1686 0 0 0 11 0 0 0 16 0 13 0 290720997 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 105368850 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16319] ppid=16313 vsize=1794660 CPUtime=0.12
/proc/16315/task/16319/stat : 16319 (java) R 16313 16315 14920 0 -1 64 1757 0 0 0 12 0 0 0 17 0 13 0 290720997 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 105369151 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16320] ppid=16313 vsize=1794660 CPUtime=0
/proc/16315/task/16320/stat : 16320 (java) S 16313 16315 14920 0 -1 64 14 0 0 0 0 0 0 0 15 0 13 0 290721000 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16321] ppid=16313 vsize=1794660 CPUtime=0
/proc/16315/task/16321/stat : 16321 (java) S 16313 16315 14920 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 290721000 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16322] ppid=16313 vsize=1794660 CPUtime=0
/proc/16315/task/16322/stat : 16322 (java) S 16313 16315 14920 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 290721000 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16323] ppid=16313 vsize=1794660 CPUtime=0
/proc/16315/task/16323/stat : 16323 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 290721004 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16324] ppid=16313 vsize=1794660 CPUtime=2.21
/proc/16315/task/16324/stat : 16324 (java) S 16313 16315 14920 0 -1 64 11065 0 0 0 216 5 0 0 16 0 13 0 290721004 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16325] ppid=16313 vsize=1794660 CPUtime=1.63
/proc/16315/task/16325/stat : 16325 (java) S 16313 16315 14920 0 -1 64 2319 0 0 0 162 1 0 0 15 0 13 0 290721004 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16326] ppid=16313 vsize=1794660 CPUtime=0
/proc/16315/task/16326/stat : 16326 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 290721004 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16327] ppid=16313 vsize=1794660 CPUtime=0
/proc/16315/task/16327/stat : 16327 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 290721004 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16331] ppid=16313 vsize=1794660 CPUtime=0
/proc/16315/task/16331/stat : 16331 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 290722103 1837731840 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.52
Current children cumulated vsize (KiB) 1794660

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/90 16332
/proc/meminfo: memFree=1566088/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1794292 CPUtime=28.95
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 67793 0 1 0 2859 36 0 0 20 0 13 0 290720995 1837355008 53193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 448573 53193 1328 9 0 446185 0
[pid=16315/tid=16317] ppid=16313 vsize=1794292 CPUtime=23.71
/proc/16315/task/16317/stat : 16317 (java) R 16313 16315 14920 0 -1 64 40121 0 1 0 2349 22 0 0 17 0 13 0 290720996 1837355008 53193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4110004434 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16318] ppid=16313 vsize=1794292 CPUtime=0.35
/proc/16315/task/16318/stat : 16318 (java) S 16313 16315 14920 0 -1 64 5686 0 0 0 33 2 0 0 16 0 13 0 290720997 1837355008 53193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16319] ppid=16313 vsize=1794292 CPUtime=0.35
/proc/16315/task/16319/stat : 16319 (java) S 16313 16315 14920 0 -1 64 5610 0 0 0 34 1 0 0 16 0 13 0 290720997 1837355008 53193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16320] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16320/stat : 16320 (java) S 16313 16315 14920 0 -1 64 34 0 0 0 0 0 0 0 15 0 13 0 290721000 1837355008 53193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16321] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16321/stat : 16321 (java) S 16313 16315 14920 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 290721000 1837355008 53193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16322] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16322/stat : 16322 (java) S 16313 16315 14920 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 290721000 1837355008 53193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

[pid=16315/tid=16320] ppid=16313 vsize=1794292 CPUtime=0.33
/proc/16315/task/16320/stat : 16320 (java) S 16313 16315 14920 0 -1 64 78 0 0 0 21 12 0 0 15 0 13 0 290721000 1837355008 190856 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16321] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16321/stat : 16321 (java) S 16313 16315 14920 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 290721000 1837355008 190856 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16322] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16322/stat : 16322 (java) S 16313 16315 14920 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 290721000 1837355008 190856 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16323] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16323/stat : 16323 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 290721004 1837355008 190856 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16324] ppid=16313 vsize=1794292 CPUtime=2.56
/proc/16315/task/16324/stat : 16324 (java) S 16313 16315 14920 0 -1 64 11827 0 0 0 250 6 0 0 17 0 13 0 290721004 1837355008 190856 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16325] ppid=16313 vsize=1794292 CPUtime=1.98
/proc/16315/task/16325/stat : 16325 (java) S 16313 16315 14920 0 -1 64 3790 0 0 0 196 2 0 0 16 0 13 0 290721004 1837355008 190856 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16326] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16326/stat : 16326 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 290721004 1837355008 190856 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16327] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16327/stat : 16327 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 290721004 1837355008 190856 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16332] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16332/stat : 16332 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 17 0 13 0 290723264 1837355008 190856 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1580.28
Current children cumulated vsize (KiB) 1794292

[startup+1602.3 s]
/proc/loadavg: 1.03 1.08 1.04 2/90 16530
/proc/meminfo: memFree=996104/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1794292 CPUtime=1642.3
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 239194 0 1 0 164092 138 0 0 20 0 13 0 290720995 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 448573 195148 1329 9 0 446185 0
[pid=16315/tid=16317] ppid=16313 vsize=1794292 CPUtime=1561.35
/proc/16315/task/16317/stat : 16317 (java) R 16313 16315 14920 0 -1 64 52185 0 1 0 156090 45 0 0 25 0 13 0 290720996 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109923746 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16318] ppid=16313 vsize=1794292 CPUtime=38
/proc/16315/task/16318/stat : 16318 (java) S 16313 16315 14920 0 -1 64 83232 0 0 0 3765 35 0 0 16 0 13 0 290720997 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16319] ppid=16313 vsize=1794292 CPUtime=38.02
/proc/16315/task/16319/stat : 16319 (java) S 16313 16315 14920 0 -1 64 87353 0 0 0 3767 35 0 0 16 0 13 0 290720997 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16320] ppid=16313 vsize=1794292 CPUtime=0.34
/proc/16315/task/16320/stat : 16320 (java) S 16313 16315 14920 0 -1 64 78 0 0 0 22 12 0 0 16 0 13 0 290721000 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16321] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16321/stat : 16321 (java) S 16313 16315 14920 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 290721000 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16322] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16322/stat : 16322 (java) S 16313 16315 14920 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 290721000 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16323] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16323/stat : 16323 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 290721004 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16324] ppid=16313 vsize=1794292 CPUtime=2.56
/proc/16315/task/16324/stat : 16324 (java) S 16313 16315 14920 0 -1 64 11827 0 0 0 250 6 0 0 17 0 13 0 290721004 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16325] ppid=16313 vsize=1794292 CPUtime=1.98
/proc/16315/task/16325/stat : 16325 (java) S 16313 16315 14920 0 -1 64 3790 0 0 0 196 2 0 0 16 0 13 0 290721004 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16326] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16326/stat : 16326 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 290721004 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16327] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16327/stat : 16327 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 290721004 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16332] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16332/stat : 16332 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 17 0 13 0 290723264 1837355008 195148 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1642.3
Current children cumulated vsize (KiB) 1794292

[startup+1662.3 s]
/proc/loadavg: 1.01 1.07 1.04 2/90 16530
/proc/meminfo: memFree=978440/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1794292 CPUtime=1704.36
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 243826 0 1 0 170295 141 0 0 20 0 13 0 290720995 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 448573 199437 1329 9 0 446185 0
[pid=16315/tid=16317] ppid=16313 vsize=1794292 CPUtime=1619.2
/proc/16315/task/16317/stat : 16317 (java) R 16313 16315 14920 0 -1 64 52231 0 1 0 161875 45 0 0 25 0 13 0 290720996 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109853003 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16318] ppid=16313 vsize=1794292 CPUtime=40.09
/proc/16315/task/16318/stat : 16318 (java) S 16313 16315 14920 0 -1 64 84588 0 0 0 3973 36 0 0 17 0 13 0 290720997 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16319] ppid=16313 vsize=1794292 CPUtime=40.13
/proc/16315/task/16319/stat : 16319 (java) S 16313 16315 14920 0 -1 64 90582 0 0 0 3976 37 0 0 17 0 13 0 290720997 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16320] ppid=16313 vsize=1794292 CPUtime=0.36
/proc/16315/task/16320/stat : 16320 (java) S 16313 16315 14920 0 -1 64 79 0 0 0 23 13 0 0 16 0 13 0 290721000 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16321] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16321/stat : 16321 (java) S 16313 16315 14920 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 290721000 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16322] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16322/stat : 16322 (java) S 16313 16315 14920 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 290721000 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16323] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16323/stat : 16323 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 290721004 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16324] ppid=16313 vsize=1794292 CPUtime=2.56
/proc/16315/task/16324/stat : 16324 (java) S 16313 16315 14920 0 -1 64 11827 0 0 0 250 6 0 0 17 0 13 0 290721004 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16325] ppid=16313 vsize=1794292 CPUtime=1.98
/proc/16315/task/16325/stat : 16325 (java) S 16313 16315 14920 0 -1 64 3790 0 0 0 196 2 0 0 16 0 13 0 290721004 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16326] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16326/stat : 16326 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 290721004 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16327] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16327/stat : 16327 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 290721004 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16332] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16332/stat : 16332 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 17 0 13 0 290723264 1837355008 199437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1704.36
Current children cumulated vsize (KiB) 1794292

[startup+1722.3 s]
/proc/loadavg: 1.00 1.05 1.03 2/90 16530
/proc/meminfo: memFree=962312/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1794292 CPUtime=1766.44
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 248265 0 1 0 176500 144 0 0 20 0 13 0 290720995 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 448573 203474 1329 9 0 446185 0
[pid=16315/tid=16317] ppid=16313 vsize=1794292 CPUtime=1677.02
/proc/16315/task/16317/stat : 16317 (java) R 16313 16315 14920 0 -1 64 52277 0 1 0 167656 46 0 0 25 0 13 0 290720996 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109636931 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16318] ppid=16313 vsize=1794292 CPUtime=42.23
/proc/16315/task/16318/stat : 16318 (java) S 16313 16315 14920 0 -1 64 86442 0 0 0 4186 37 0 0 17 0 13 0 290720997 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16319] ppid=16313 vsize=1794292 CPUtime=42.25
/proc/16315/task/16319/stat : 16319 (java) S 16313 16315 14920 0 -1 64 93120 0 0 0 4187 38 0 0 17 0 13 0 290720997 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16320] ppid=16313 vsize=1794292 CPUtime=0.36
/proc/16315/task/16320/stat : 16320 (java) S 16313 16315 14920 0 -1 64 80 0 0 0 23 13 0 0 16 0 13 0 290721000 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16321] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16321/stat : 16321 (java) S 16313 16315 14920 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 290721000 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16322] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16322/stat : 16322 (java) S 16313 16315 14920 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 290721000 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16323] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16323/stat : 16323 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 290721004 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16324] ppid=16313 vsize=1794292 CPUtime=2.56
/proc/16315/task/16324/stat : 16324 (java) S 16313 16315 14920 0 -1 64 11827 0 0 0 250 6 0 0 17 0 13 0 290721004 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16325] ppid=16313 vsize=1794292 CPUtime=1.98
/proc/16315/task/16325/stat : 16325 (java) S 16313 16315 14920 0 -1 64 3790 0 0 0 196 2 0 0 16 0 13 0 290721004 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16326] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16326/stat : 16326 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 290721004 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16327] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16327/stat : 16327 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 290721004 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16332] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16332/stat : 16332 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 17 0 13 0 290723264 1837355008 203474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.44
Current children cumulated vsize (KiB) 1794292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1754.6 s]
/proc/loadavg: 1.07 1.06 1.03 2/90 16530
/proc/meminfo: memFree=944072/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=1794292 CPUtime=1800.01
/proc/16315/stat : 16315 (java) S 16313 16315 14920 0 -1 0 253113 0 1 0 179853 148 0 0 20 0 13 0 290720995 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 448573 208010 1329 9 0 446185 0
[pid=16315/tid=16317] ppid=16313 vsize=1794292 CPUtime=1708
/proc/16315/task/16317/stat : 16317 (java) R 16313 16315 14920 0 -1 64 52303 0 1 0 170754 46 0 0 25 0 13 0 290720996 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109852585 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16318] ppid=16313 vsize=1794292 CPUtime=43.53
/proc/16315/task/16318/stat : 16318 (java) S 16313 16315 14920 0 -1 64 89201 0 0 0 4314 39 0 0 16 0 13 0 290720997 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16319] ppid=16313 vsize=1794292 CPUtime=43.53
/proc/16315/task/16319/stat : 16319 (java) S 16313 16315 14920 0 -1 64 95183 0 0 0 4314 39 0 0 16 0 13 0 290720997 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16320] ppid=16313 vsize=1794292 CPUtime=0.37
/proc/16315/task/16320/stat : 16320 (java) S 16313 16315 14920 0 -1 64 80 0 0 0 24 13 0 0 15 0 13 0 290721000 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16321] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16321/stat : 16321 (java) S 16313 16315 14920 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 290721000 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16322] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16322/stat : 16322 (java) S 16313 16315 14920 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 290721000 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16323] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16323/stat : 16323 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 290721004 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16324] ppid=16313 vsize=1794292 CPUtime=2.56
/proc/16315/task/16324/stat : 16324 (java) S 16313 16315 14920 0 -1 64 11827 0 0 0 250 6 0 0 17 0 13 0 290721004 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16325] ppid=16313 vsize=1794292 CPUtime=1.98
/proc/16315/task/16325/stat : 16325 (java) S 16313 16315 14920 0 -1 64 3790 0 0 0 196 2 0 0 16 0 13 0 290721004 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16326] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16326/stat : 16326 (java) S 16313 16315 14920 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 290721004 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16315/tid=16327] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16327/stat : 16327 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 290721004 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16315/tid=16332] ppid=16313 vsize=1794292 CPUtime=0
/proc/16315/task/16332/stat : 16332 (java) S 16313 16315 14920 0 -1 64 0 0 0 0 0 0 0 0 17 0 13 0 290723264 1837355008 208010 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1794292

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

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

[startup+1754.8 s]
/proc/loadavg: 1.07 1.06 1.03 2/90 16530
/proc/meminfo: memFree=944072/2055920 swapFree=4145576/4192956
[pid=16315] ppid=16313 vsize=0 CPUtime=1800.26
/proc/16315/stat : 16315 (java) Z 16313 16315 14920 0 -1 1036 253134 0 1 0 179868 158 0 0 15 0 2 0 290720995 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16315/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1754.83
CPU time (s): 1800.3
CPU user time (s): 1798.69
CPU system time (s): 1.61076
CPU usage (%): 102.591
Max. virtual memory (cumulated for all children) (KiB): 1798372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.61075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253134
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= 51340
involuntary context switches= 61917

runsolver used 1.65075 second user time and 4.81427 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Wed May  2 23:00:35 UTC 2007

IDJOB= 453657
IDBENCH= 48145
IDSOLVER= 160
FILE ID= node10/453657-1178146835

PBS_JOBID= 4751060

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  faa00895e2f6f80e77634e2be522df62

RANDOM SEED= 79355603

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1774224 kB
Buffers:        114712 kB
Cached:          78876 kB
SwapCached:      15988 kB
Active:         112184 kB
Inactive:       110320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1774224 kB
SwapTotal:     4192956 kB
SwapFree:      4145576 kB
Dirty:            3684 kB
Writeback:           0 kB
Mapped:          31692 kB
Slab:            44784 kB
Committed_AS:  4981004 kB
PageTables:       1712 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 node10 on Wed May  2 23:29:52 UTC 2007