Trace number 453852

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.35 1747.86

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_3.opb
MD5SUM0e507441d4bf529adaad354902c51a54
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.12
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 constraint46
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)6216
Sum of products size (including duplicates)12432
Number of different products6216
Sum of products size12432

Quality of the solution as a function of time


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

Solver Data (download as text)

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

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/node20/watcher-453852-1178160637 -o ROOT/results/node20/solver-453852-1178160637 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453852-1178160637/sat4jPseudoCP.jar /tmp/evaluation/453852-1178160637/instance-453852-1178160637.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.91 0.97 0.99 3/77 17383
/proc/meminfo: memFree=1552048/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=272 CPUtime=0
/proc/17383/stat : 17383 (java) D 17381 17383 14200 0 -1 0 52 0 0 0 0 0 0 0 18 0 1 0 263981060 278528 37 18446744073709551615 134512640 134550740 4294956528 18446744073709551615 7619364 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/17383/statm: 68 37 28 9 0 6 0

[startup+0.05532 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 17383
/proc/meminfo: memFree=1552048/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1777060 CPUtime=0.04
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 3531 0 1 0 2 2 0 0 18 0 5 0 263981060 1819709440 3277 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 444265 3277 1049 9 0 441901 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1777060

[startup+0.101328 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 17383
/proc/meminfo: memFree=1552048/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1780108 CPUtime=0.08
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 3971 0 1 0 6 2 0 0 18 0 12 0 263981060 1822830592 3714 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 445027 3714 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301367 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 17383
/proc/meminfo: memFree=1552048/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1782444 CPUtime=0.3
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 5168 0 1 0 27 3 0 0 18 0 12 0 263981060 1825222656 4908 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 445611 4908 1260 9 0 443223 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1782444

[startup+0.701447 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 17383
/proc/meminfo: memFree=1552048/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1782768 CPUtime=0.84
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 6162 0 1 0 81 3 0 0 18 0 12 0 263981060 1825554432 5848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 445692 5848 1301 9 0 443304 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 1782768

[startup+1.50261 s]
/proc/loadavg: 0.91 0.97 0.99 2/89 17395
/proc/meminfo: memFree=1527120/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1788080 CPUtime=2.09
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 11001 0 1 0 203 6 0 0 18 0 12 0 263981060 1830993920 8334 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 447020 8334 1304 9 0 444632 0
[pid=17383/tid=17385] ppid=17381 vsize=1788080 CPUtime=1.18
/proc/17383/task/17385/stat : 17385 (java) R 17381 17383 14200 0 -1 64 6020 0 1 0 114 4 0 0 20 0 12 0 263981061 1830993920 8334 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109485769 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17386] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17386/stat : 17386 (java) S 17381 17383 14200 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 263981063 1830993920 8334 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17387] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17387/stat : 17387 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 263981063 1830993920 8334 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17388] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17388/stat : 17388 (java) S 17381 17383 14200 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 263981065 1830993920 8334 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17389] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17389/stat : 17389 (java) S 17381 17383 14200 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 263981065 1830993920 8334 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17390] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17390/stat : 17390 (java) S 17381 17383 14200 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 263981066 1830993920 8334 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17391] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17391/stat : 17391 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 263981069 1830993920 8334 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17392] ppid=17381 vsize=1788080 CPUtime=0.42
/proc/17383/task/17392/stat : 17392 (java) S 17381 17383 14200 0 -1 64 2221 0 0 0 42 0 0 0 16 0 12 0 263981069 1830993920 8334 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17393] ppid=17381 vsize=1788080 CPUtime=0.47
/proc/17383/task/17393/stat : 17393 (java) S 17381 17383 14200 0 -1 64 2039 0 0 0 46 1 0 0 16 0 12 0 263981069 1830993920 8334 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17394] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17394/stat : 17394 (java) S 17381 17383 14200 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 263981069 1830993920 8334 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17395] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17395/stat : 17395 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 263981069 1830993920 8334 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 1788080

[startup+3.10192 s]
/proc/loadavg: 0.91 0.97 0.99 2/89 17395
/proc/meminfo: memFree=1521296/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1788080 CPUtime=3.76
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 12142 0 1 0 369 7 0 0 18 0 12 0 263981060 1830993920 9474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 447020 9474 1304 9 0 444632 0
[pid=17383/tid=17385] ppid=17381 vsize=1788080 CPUtime=2.72
/proc/17383/task/17385/stat : 17385 (java) R 17381 17383 14200 0 -1 64 7148 0 1 0 268 4 0 0 25 0 12 0 263981061 1830993920 9474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109485819 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17386] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17386/stat : 17386 (java) S 17381 17383 14200 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 263981063 1830993920 9474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17387] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17387/stat : 17387 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 263981063 1830993920 9474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17388] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17388/stat : 17388 (java) S 17381 17383 14200 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 263981065 1830993920 9474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17389] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17389/stat : 17389 (java) S 17381 17383 14200 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 263981065 1830993920 9474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17390] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17390/stat : 17390 (java) S 17381 17383 14200 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 263981066 1830993920 9474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17391] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17391/stat : 17391 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 263981069 1830993920 9474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17392] ppid=17381 vsize=1788080 CPUtime=0.46
/proc/17383/task/17392/stat : 17392 (java) S 17381 17383 14200 0 -1 64 2221 0 0 0 46 0 0 0 16 0 12 0 263981069 1830993920 9474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17393] ppid=17381 vsize=1788080 CPUtime=0.54
/proc/17383/task/17393/stat : 17393 (java) S 17381 17383 14200 0 -1 64 2052 0 0 0 53 1 0 0 16 0 12 0 263981069 1830993920 9474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17394] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17394/stat : 17394 (java) S 17381 17383 14200 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 263981069 1830993920 9474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17395] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17395/stat : 17395 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 263981069 1830993920 9474 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 1788080

[startup+6.30257 s]
/proc/loadavg: 0.92 0.97 0.99 2/89 17395
/proc/meminfo: memFree=1514832/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1788080 CPUtime=7.05
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 13390 0 1 0 697 8 0 0 18 0 12 0 263981060 1830993920 10721 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 447020 10721 1304 9 0 444632 0
[pid=17383/tid=17385] ppid=17381 vsize=1788080 CPUtime=5.88
/proc/17383/task/17385/stat : 17385 (java) R 17381 17383 14200 0 -1 64 8380 0 1 0 582 6 0 0 25 0 12 0 263981061 1830993920 10721 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109485769 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17386] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17386/stat : 17386 (java) S 17381 17383 14200 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 263981063 1830993920 10721 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17387] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17387/stat : 17387 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 263981063 1830993920 10721 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17388] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17388/stat : 17388 (java) S 17381 17383 14200 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 263981065 1830993920 10721 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17389] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17389/stat : 17389 (java) S 17381 17383 14200 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 263981065 1830993920 10721 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17390] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17390/stat : 17390 (java) S 17381 17383 14200 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 263981066 1830993920 10721 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17391] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17391/stat : 17391 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 263981069 1830993920 10721 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17392] ppid=17381 vsize=1788080 CPUtime=0.56
/proc/17383/task/17392/stat : 17392 (java) S 17381 17383 14200 0 -1 64 2231 0 0 0 56 0 0 0 16 0 12 0 263981069 1830993920 10721 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17393] ppid=17381 vsize=1788080 CPUtime=0.59
/proc/17383/task/17393/stat : 17393 (java) S 17381 17383 14200 0 -1 64 2058 0 0 0 58 1 0 0 16 0 12 0 263981069 1830993920 10721 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17394] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17394/stat : 17394 (java) S 17381 17383 14200 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 263981069 1830993920 10721 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17395] ppid=17381 vsize=1788080 CPUtime=0
/proc/17383/task/17395/stat : 17395 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 263981069 1830993920 10721 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 1788080

[startup+12.7019 s]
/proc/loadavg: 1.09 1.00 1.00 2/90 17398
/proc/meminfo: memFree=1375632/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1794608 CPUtime=15.31
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 51978 0 1 0 1507 24 0 0 18 0 13 0 263981060 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 448652 45350 1327 9 0 446264 0
[pid=17383/tid=17385] ppid=17381 vsize=1794608 CPUtime=11.56
/proc/17383/task/17385/stat : 17385 (java) R 17381 17383 14200 0 -1 64 37749 0 1 0 1139 17 0 0 21 0 13 0 263981061 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109844714 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17386] ppid=17381 vsize=1794608 CPUtime=0.1
/proc/17383/task/17386/stat : 17386 (java) S 17381 17383 14200 0 -1 64 1894 0 0 0 10 0 0 0 16 0 13 0 263981063 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17387] ppid=17381 vsize=1794608 CPUtime=0.09
/proc/17383/task/17387/stat : 17387 (java) S 17381 17383 14200 0 -1 64 1507 0 0 0 9 0 0 0 16 0 13 0 263981063 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17388] ppid=17381 vsize=1794608 CPUtime=0
/proc/17383/task/17388/stat : 17388 (java) S 17381 17383 14200 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 263981065 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17389] ppid=17381 vsize=1794608 CPUtime=0
/proc/17383/task/17389/stat : 17389 (java) S 17381 17383 14200 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 263981065 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17390] ppid=17381 vsize=1794608 CPUtime=0
/proc/17383/task/17390/stat : 17390 (java) S 17381 17383 14200 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 263981066 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17391] ppid=17381 vsize=1794608 CPUtime=0
/proc/17383/task/17391/stat : 17391 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263981069 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17392] ppid=17381 vsize=1794608 CPUtime=2.08
/proc/17383/task/17392/stat : 17392 (java) S 17381 17383 14200 0 -1 64 6533 0 0 0 205 3 0 0 16 0 13 0 263981069 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17393] ppid=17381 vsize=1794608 CPUtime=1.43
/proc/17383/task/17393/stat : 17393 (java) S 17381 17383 14200 0 -1 64 3555 0 0 0 142 1 0 0 15 0 13 0 263981069 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17394] ppid=17381 vsize=1794608 CPUtime=0
/proc/17383/task/17394/stat : 17394 (java) S 17381 17383 14200 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263981069 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17395] ppid=17381 vsize=1794608 CPUtime=0
/proc/17383/task/17395/stat : 17395 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 263981069 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17398] ppid=17381 vsize=1794608 CPUtime=0
/proc/17383/task/17398/stat : 17398 (java) S 17381 17383 14200 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 263982026 1837678592 45350 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.31
Current children cumulated vsize (KiB) 1794608

[startup+25.5024 s]
/proc/loadavg: 1.07 1.00 1.00 2/90 17400
/proc/meminfo: memFree=1344064/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1794412 CPUtime=28.87
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 64599 0 1 0 2857 30 0 0 18 0 13 0 263981060 1837477888 53279 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 448603 53279 1328 9 0 446215 0
[pid=17383/tid=17385] ppid=17381 vsize=1794412 CPUtime=23.98
/proc/17383/task/17385/stat : 17385 (java) R 17381 17383 14200 0 -1 64 40149 0 1 0 2380 18 0 0 18 0 13 0 263981061 1837477888 53279 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109844504 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17386] ppid=17381 vsize=1794412 CPUtime=0.36
/proc/17383/task/17386/stat : 17386 (java) S 17381 17383 14200 0 -1 64 5673 0 0 0 34 2 0 0 16 0 13 0 263981063 1837477888 53279 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17387] ppid=17381 vsize=1794412 CPUtime=0.36
/proc/17383/task/17387/stat : 17387 (java) S 17381 17383 14200 0 -1 64 5579 0 0 0 34 2 0 0 16 0 13 0 263981063 1837477888 53279 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17388] ppid=17381 vsize=1794412 CPUtime=0.01
/proc/17383/task/17388/stat : 17388 (java) S 17381 17383 14200 0 -1 64 34 0 0 0 1 0 0 0 15 0 13 0 263981065 1837477888 53279 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17389] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17389/stat : 17389 (java) S 17381 17383 14200 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 263981065 1837477888 53279 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17390] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17390/stat : 17390 (java) S 17381 17383 14200 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 263981066 1837477888 53279 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

[pid=17383/tid=17388] ppid=17381 vsize=1794412 CPUtime=0.35
/proc/17383/task/17388/stat : 17388 (java) S 17381 17383 14200 0 -1 64 56 0 0 0 24 11 0 0 16 0 13 0 263981065 1837477888 196396 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17389] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17389/stat : 17389 (java) S 17381 17383 14200 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 263981065 1837477888 196396 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17390] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17390/stat : 17390 (java) S 17381 17383 14200 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 263981066 1837477888 196396 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17391] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17391/stat : 17391 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263981069 1837477888 196396 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17392] ppid=17381 vsize=1794412 CPUtime=2.54
/proc/17383/task/17392/stat : 17392 (java) S 17381 17383 14200 0 -1 64 7326 0 0 0 250 4 0 0 16 0 13 0 263981069 1837477888 196396 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17393] ppid=17381 vsize=1794412 CPUtime=1.84
/proc/17383/task/17393/stat : 17393 (java) S 17381 17383 14200 0 -1 64 5131 0 0 0 182 2 0 0 16 0 13 0 263981069 1837477888 196396 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17394] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17394/stat : 17394 (java) S 17381 17383 14200 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263981069 1837477888 196396 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17395] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17395/stat : 17395 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 263981069 1837477888 196396 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17400] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17400/stat : 17400 (java) S 17381 17383 14200 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 263983209 1837477888 196396 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1586.39
Current children cumulated vsize (KiB) 1794412

[startup+1602.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/90 17598
/proc/meminfo: memFree=753920/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1794412 CPUtime=1648.77
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 234083 0 1 0 164746 131 0 0 18 0 13 0 263981060 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 448603 200215 1335 9 0 446215 0
[pid=17383/tid=17385] ppid=17381 vsize=1794412 CPUtime=1554.89
/proc/17383/task/17385/stat : 17385 (java) R 17381 17383 14200 0 -1 64 46500 0 1 0 155452 37 0 0 25 0 13 0 263981061 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109839965 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17386] ppid=17381 vsize=1794412 CPUtime=44.54
/proc/17383/task/17386/stat : 17386 (java) S 17381 17383 14200 0 -1 64 88454 0 0 0 4417 37 0 0 16 0 13 0 263981063 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17387] ppid=17381 vsize=1794412 CPUtime=44.56
/proc/17383/task/17387/stat : 17387 (java) S 17381 17383 14200 0 -1 64 85890 0 0 0 4418 38 0 0 17 0 13 0 263981063 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17388] ppid=17381 vsize=1794412 CPUtime=0.36
/proc/17383/task/17388/stat : 17388 (java) S 17381 17383 14200 0 -1 64 56 0 0 0 25 11 0 0 15 0 13 0 263981065 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17389] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17389/stat : 17389 (java) S 17381 17383 14200 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 263981065 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17390] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17390/stat : 17390 (java) S 17381 17383 14200 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 263981066 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17391] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17391/stat : 17391 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263981069 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17392] ppid=17381 vsize=1794412 CPUtime=2.54
/proc/17383/task/17392/stat : 17392 (java) S 17381 17383 14200 0 -1 64 7326 0 0 0 250 4 0 0 16 0 13 0 263981069 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17393] ppid=17381 vsize=1794412 CPUtime=1.84
/proc/17383/task/17393/stat : 17393 (java) S 17381 17383 14200 0 -1 64 5131 0 0 0 182 2 0 0 16 0 13 0 263981069 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17394] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17394/stat : 17394 (java) S 17381 17383 14200 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263981069 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17395] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17395/stat : 17395 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 263981069 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17400] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17400/stat : 17400 (java) S 17381 17383 14200 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 263983209 1837477888 200215 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.77
Current children cumulated vsize (KiB) 1794412

[startup+1662.3 s]
/proc/loadavg: 1.22 1.08 1.02 2/90 17598
/proc/meminfo: memFree=736960/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1794412 CPUtime=1711.25
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 238551 0 1 0 170990 135 0 0 18 0 13 0 263981060 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 448603 204352 1335 9 0 446215 0
[pid=17383/tid=17385] ppid=17381 vsize=1794412 CPUtime=1612.33
/proc/17383/task/17385/stat : 17385 (java) R 17381 17383 14200 0 -1 64 46544 0 1 0 161196 37 0 0 20 0 13 0 263981061 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109783762 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17386] ppid=17381 vsize=1794412 CPUtime=47.05
/proc/17383/task/17386/stat : 17386 (java) S 17381 17383 14200 0 -1 64 91153 0 0 0 4667 38 0 0 16 0 13 0 263981063 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17387] ppid=17381 vsize=1794412 CPUtime=47.06
/proc/17383/task/17387/stat : 17387 (java) S 17381 17383 14200 0 -1 64 87615 0 0 0 4667 39 0 0 17 0 13 0 263981063 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17388] ppid=17381 vsize=1794412 CPUtime=0.37
/proc/17383/task/17388/stat : 17388 (java) S 17381 17383 14200 0 -1 64 56 0 0 0 25 12 0 0 15 0 13 0 263981065 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17389] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17389/stat : 17389 (java) S 17381 17383 14200 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 263981065 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17390] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17390/stat : 17390 (java) S 17381 17383 14200 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 263981066 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17391] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17391/stat : 17391 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263981069 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17392] ppid=17381 vsize=1794412 CPUtime=2.54
/proc/17383/task/17392/stat : 17392 (java) S 17381 17383 14200 0 -1 64 7326 0 0 0 250 4 0 0 16 0 13 0 263981069 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17393] ppid=17381 vsize=1794412 CPUtime=1.84
/proc/17383/task/17393/stat : 17393 (java) S 17381 17383 14200 0 -1 64 5131 0 0 0 182 2 0 0 16 0 13 0 263981069 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17394] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17394/stat : 17394 (java) S 17381 17383 14200 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263981069 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17395] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17395/stat : 17395 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 263981069 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17400] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17400/stat : 17400 (java) S 17381 17383 14200 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 263983209 1837477888 204352 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.25
Current children cumulated vsize (KiB) 1794412

[startup+1722.3 s]
/proc/loadavg: 1.17 1.09 1.02 2/90 17598
/proc/meminfo: memFree=722688/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1794412 CPUtime=1773.75
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 242434 0 1 0 177237 138 0 0 18 0 13 0 263981060 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 448603 207987 1335 9 0 446215 0
[pid=17383/tid=17385] ppid=17381 vsize=1794412 CPUtime=1669.8
/proc/17383/task/17385/stat : 17385 (java) R 17381 17383 14200 0 -1 64 46588 0 1 0 166942 38 0 0 18 0 13 0 263981061 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109635651 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17386] ppid=17381 vsize=1794412 CPUtime=49.51
/proc/17383/task/17386/stat : 17386 (java) S 17381 17383 14200 0 -1 64 93116 0 0 0 4911 40 0 0 16 0 13 0 263981063 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17387] ppid=17381 vsize=1794412 CPUtime=49.53
/proc/17383/task/17387/stat : 17387 (java) S 17381 17383 14200 0 -1 64 89482 0 0 0 4913 40 0 0 17 0 13 0 263981063 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17388] ppid=17381 vsize=1794412 CPUtime=0.38
/proc/17383/task/17388/stat : 17388 (java) S 17381 17383 14200 0 -1 64 56 0 0 0 26 12 0 0 16 0 13 0 263981065 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17389] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17389/stat : 17389 (java) S 17381 17383 14200 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 263981065 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17390] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17390/stat : 17390 (java) S 17381 17383 14200 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 263981066 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17391] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17391/stat : 17391 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263981069 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17392] ppid=17381 vsize=1794412 CPUtime=2.54
/proc/17383/task/17392/stat : 17392 (java) S 17381 17383 14200 0 -1 64 7326 0 0 0 250 4 0 0 16 0 13 0 263981069 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17393] ppid=17381 vsize=1794412 CPUtime=1.93
/proc/17383/task/17393/stat : 17393 (java) S 17381 17383 14200 0 -1 64 5140 0 0 0 191 2 0 0 17 0 13 0 263981069 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17394] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17394/stat : 17394 (java) S 17381 17383 14200 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263981069 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17395] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17395/stat : 17395 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 263981069 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17400] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17400/stat : 17400 (java) S 17381 17383 14200 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 263983209 1837477888 207987 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.75
Current children cumulated vsize (KiB) 1794412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1747.6 s]
/proc/loadavg: 1.11 1.08 1.02 2/90 17598
/proc/meminfo: memFree=716992/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=1794412 CPUtime=1800.04
/proc/17383/stat : 17383 (java) S 17381 17383 14200 0 -1 0 243938 0 1 0 179864 140 0 0 18 0 13 0 263981060 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17383/statm: 448603 209327 1335 9 0 446215 0
[pid=17383/tid=17385] ppid=17381 vsize=1794412 CPUtime=1694.05
/proc/17383/task/17385/stat : 17385 (java) R 17381 17383 14200 0 -1 64 46605 0 1 0 169367 38 0 0 25 0 13 0 263981061 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109948331 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17386] ppid=17381 vsize=1794412 CPUtime=50.52
/proc/17383/task/17386/stat : 17386 (java) S 17381 17383 14200 0 -1 64 93971 0 0 0 5012 40 0 0 16 0 13 0 263981063 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17387] ppid=17381 vsize=1794412 CPUtime=50.55
/proc/17383/task/17387/stat : 17387 (java) S 17381 17383 14200 0 -1 64 90114 0 0 0 5015 40 0 0 16 0 13 0 263981063 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17388] ppid=17381 vsize=1794412 CPUtime=0.39
/proc/17383/task/17388/stat : 17388 (java) S 17381 17383 14200 0 -1 64 56 0 0 0 26 13 0 0 16 0 13 0 263981065 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17389] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17389/stat : 17389 (java) S 17381 17383 14200 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 263981065 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17390] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17390/stat : 17390 (java) S 17381 17383 14200 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 263981066 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17391] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17391/stat : 17391 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263981069 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17392] ppid=17381 vsize=1794412 CPUtime=2.54
/proc/17383/task/17392/stat : 17392 (java) S 17381 17383 14200 0 -1 64 7326 0 0 0 250 4 0 0 16 0 13 0 263981069 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17393] ppid=17381 vsize=1794412 CPUtime=1.93
/proc/17383/task/17393/stat : 17393 (java) S 17381 17383 14200 0 -1 64 5140 0 0 0 191 2 0 0 17 0 13 0 263981069 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17394] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17394/stat : 17394 (java) S 17381 17383 14200 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263981069 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17383/tid=17395] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17395/stat : 17395 (java) S 17381 17383 14200 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 263981069 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17383/tid=17400] ppid=17381 vsize=1794412 CPUtime=0
/proc/17383/task/17400/stat : 17400 (java) S 17381 17383 14200 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 263983209 1837477888 209327 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1794412

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

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

[startup+1747.8 s]
/proc/loadavg: 1.11 1.08 1.02 2/80 17601
/proc/meminfo: memFree=1258680/2055920 swapFree=4154924/4192956
[pid=17383] ppid=17381 vsize=0 CPUtime=1800.29
/proc/17383/stat : 17383 (java) Z 17381 17383 14200 0 -1 1036 243956 0 1 0 179881 148 0 0 15 0 2 0 263981060 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17383/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1747.86
CPU time (s): 1800.35
CPU user time (s): 1798.81
CPU system time (s): 1.53677
CPU usage (%): 103.003
Max. virtual memory (cumulated for all children) (KiB): 1797964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.53677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243956
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= 50474
involuntary context switches= 62758

runsolver used 1.59276 second user time and 4.84626 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Thu May  3 02:50:37 UTC 2007

IDJOB= 453852
IDBENCH= 48158
IDSOLVER= 160
FILE ID= node20/453852-1178160637

PBS_JOBID= 4751076

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  0e507441d4bf529adaad354902c51a54

RANDOM SEED= 376634942

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1552456 kB
Buffers:        138988 kB
Cached:         226004 kB
SwapCached:      16896 kB
Active:          98180 kB
Inactive:       291348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1552456 kB
SwapTotal:     4192956 kB
SwapFree:      4154924 kB
Dirty:            3756 kB
Writeback:           0 kB
Mapped:          30976 kB
Slab:            99456 kB
Committed_AS:  6529484 kB
PageTables:       1748 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 node20 on Thu May  3 03:19:47 UTC 2007