Trace number 453836

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
SAT4JPseudoResolution 2007-03-23SAT (TO)81 1800.31 1783.69

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_3.opb
MD5SUM31a0e10ee8ac2049545ec8eab33f6948
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark69
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 69
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6316
Sum of products size (including duplicates)12632
Number of different products6316
Sum of products size12632

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

Verifier Data (download as text)

OK	81

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 26099
/proc/meminfo: memFree=1771376/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=18528 CPUtime=0
/proc/26099/stat : 26099 (runsolver) R 26097 26099 24835 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 291939645 18972672 284 18446744073709551615 4194304 4255128 548682068784 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/26099/statm: 4632 284 249 14 0 2626 0

[startup+0.023832 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 26099
/proc/meminfo: memFree=1771376/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1772952 CPUtime=0
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 1321 0 1 0 0 0 0 0 18 0 2 0 291939645 1815502848 1073 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 443238 1085 381 9 0 441252 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1772952

[startup+0.101832 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 26099
/proc/meminfo: memFree=1771376/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1780108 CPUtime=0.08
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 3970 0 1 0 6 2 0 0 18 0 12 0 291939645 1822830592 3713 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 445027 3713 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301859 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 26099
/proc/meminfo: memFree=1771376/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1782008 CPUtime=0.3
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 5160 0 1 0 28 2 0 0 18 0 12 0 291939645 1824776192 4900 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 445502 4900 1269 9 0 443114 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1782008

[startup+0.701908 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 26099
/proc/meminfo: memFree=1771376/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1782776 CPUtime=0.89
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 6425 0 1 0 86 3 0 0 18 0 12 0 291939645 1825562624 5983 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 445694 5983 1301 9 0 443306 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 1782776

[startup+1.503 s]
/proc/loadavg: 0.92 0.97 0.96 2/89 26111
/proc/meminfo: memFree=1746512/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1787728 CPUtime=2.03
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 11181 0 1 0 198 5 0 0 18 0 12 0 291939645 1830633472 8383 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 446932 8383 1304 9 0 444544 0
[pid=26099/tid=26101] ppid=26097 vsize=1787728 CPUtime=1.14
/proc/26099/task/26101/stat : 26101 (java) R 26097 26099 24835 0 -1 64 6105 0 1 0 111 3 0 0 22 0 12 0 291939647 1830633472 8383 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109489801 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26102] ppid=26097 vsize=1787728 CPUtime=0
/proc/26099/task/26102/stat : 26102 (java) S 26097 26099 24835 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 291939648 1830633472 8383 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26103] ppid=26097 vsize=1787728 CPUtime=0
/proc/26099/task/26103/stat : 26103 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 291939648 1830633472 8383 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26104] ppid=26097 vsize=1787728 CPUtime=0
/proc/26099/task/26104/stat : 26104 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 291939650 1830633472 8383 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26105] ppid=26097 vsize=1787728 CPUtime=0
/proc/26099/task/26105/stat : 26105 (java) S 26097 26099 24835 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 291939651 1830633472 8383 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26106] ppid=26097 vsize=1787728 CPUtime=0
/proc/26099/task/26106/stat : 26106 (java) S 26097 26099 24835 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 291939651 1830633472 8383 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26107] ppid=26097 vsize=1787728 CPUtime=0
/proc/26099/task/26107/stat : 26107 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 291939655 1830633472 8383 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26108] ppid=26097 vsize=1787728 CPUtime=0.46
/proc/26099/task/26108/stat : 26108 (java) S 26097 26099 24835 0 -1 64 2623 0 0 0 46 0 0 0 16 0 12 0 291939655 1830633472 8383 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26109] ppid=26097 vsize=1787728 CPUtime=0.4
/proc/26099/task/26109/stat : 26109 (java) S 26097 26099 24835 0 -1 64 1735 0 0 0 40 0 0 0 15 0 12 0 291939655 1830633472 8383 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26110] ppid=26097 vsize=1787728 CPUtime=0
/proc/26099/task/26110/stat : 26110 (java) S 26097 26099 24835 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 291939655 1830633472 8383 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26111] ppid=26097 vsize=1787728 CPUtime=0
/proc/26099/task/26111/stat : 26111 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 291939655 1830633472 8383 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 1787728

[startup+3.10219 s]
/proc/loadavg: 0.92 0.97 0.96 2/89 26111
/proc/meminfo: memFree=1740176/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1787812 CPUtime=3.72
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 12816 0 1 0 366 6 0 0 18 0 12 0 291939645 1830719488 9602 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 446953 9602 1304 9 0 444565 0
[pid=26099/tid=26101] ppid=26097 vsize=1787812 CPUtime=2.69
/proc/26099/task/26101/stat : 26101 (java) R 26097 26099 24835 0 -1 64 7290 0 1 0 265 4 0 0 25 0 12 0 291939647 1830719488 9602 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109490566 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26102] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26102/stat : 26102 (java) S 26097 26099 24835 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 291939648 1830719488 9602 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26103] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26103/stat : 26103 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 291939648 1830719488 9602 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26104] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26104/stat : 26104 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 291939650 1830719488 9602 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26105] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26105/stat : 26105 (java) S 26097 26099 24835 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 291939651 1830719488 9602 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26106] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26106/stat : 26106 (java) S 26097 26099 24835 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 291939651 1830719488 9602 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26107] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26107/stat : 26107 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 291939655 1830719488 9602 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26108] ppid=26097 vsize=1787812 CPUtime=0.49
/proc/26099/task/26108/stat : 26108 (java) S 26097 26099 24835 0 -1 64 2625 0 0 0 49 0 0 0 16 0 12 0 291939655 1830719488 9602 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26109] ppid=26097 vsize=1787812 CPUtime=0.5
/proc/26099/task/26109/stat : 26109 (java) S 26097 26099 24835 0 -1 64 2183 0 0 0 50 0 0 0 16 0 12 0 291939655 1830719488 9602 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26110] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26110/stat : 26110 (java) S 26097 26099 24835 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 291939655 1830719488 9602 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26111] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26111/stat : 26111 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 291939655 1830719488 9602 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 1787812

[startup+6.30237 s]
/proc/loadavg: 0.93 0.97 0.96 2/89 26111
/proc/meminfo: memFree=1733840/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1787812 CPUtime=7.02
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 14041 0 1 0 695 7 0 0 18 0 12 0 291939645 1830719488 10802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 446953 10802 1304 9 0 444565 0
[pid=26099/tid=26101] ppid=26097 vsize=1787812 CPUtime=5.87
/proc/26099/task/26101/stat : 26101 (java) R 26097 26099 24835 0 -1 64 8501 0 1 0 582 5 0 0 25 0 12 0 291939647 1830719488 10802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109645435 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26102] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26102/stat : 26102 (java) S 26097 26099 24835 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 291939648 1830719488 10802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26103] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26103/stat : 26103 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 291939648 1830719488 10802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26104] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26104/stat : 26104 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 291939650 1830719488 10802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26105] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26105/stat : 26105 (java) S 26097 26099 24835 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 291939651 1830719488 10802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26106] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26106/stat : 26106 (java) S 26097 26099 24835 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 291939651 1830719488 10802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26107] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26107/stat : 26107 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 291939655 1830719488 10802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26108] ppid=26097 vsize=1787812 CPUtime=0.57
/proc/26099/task/26108/stat : 26108 (java) S 26097 26099 24835 0 -1 64 2636 0 0 0 57 0 0 0 17 0 12 0 291939655 1830719488 10802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26109] ppid=26097 vsize=1787812 CPUtime=0.55
/proc/26099/task/26109/stat : 26109 (java) S 26097 26099 24835 0 -1 64 2186 0 0 0 55 0 0 0 16 0 12 0 291939655 1830719488 10802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26110] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26110/stat : 26110 (java) S 26097 26099 24835 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 291939655 1830719488 10802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26111] ppid=26097 vsize=1787812 CPUtime=0
/proc/26099/task/26111/stat : 26111 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 291939655 1830719488 10802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 1787812

[startup+12.7021 s]
/proc/loadavg: 0.93 0.97 0.96 2/90 26115
/proc/meminfo: memFree=1608640/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1788136 CPUtime=13.94
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 45431 0 1 0 1372 22 0 0 18 0 13 0 291939645 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 447034 41719 1327 9 0 444646 0
[pid=26099/tid=26101] ppid=26097 vsize=1788136 CPUtime=12.04
/proc/26099/task/26101/stat : 26101 (java) R 26097 26099 24835 0 -1 64 37723 0 1 0 1186 18 0 0 25 0 13 0 291939647 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109855613 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26102] ppid=26097 vsize=1788136 CPUtime=0.03
/proc/26099/task/26102/stat : 26102 (java) S 26097 26099 24835 0 -1 64 916 0 0 0 3 0 0 0 16 0 13 0 291939648 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26103] ppid=26097 vsize=1788136 CPUtime=0.03
/proc/26099/task/26103/stat : 26103 (java) S 26097 26099 24835 0 -1 64 700 0 0 0 3 0 0 0 16 0 13 0 291939648 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26104] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26104/stat : 26104 (java) S 26097 26099 24835 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 291939650 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26105] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26105/stat : 26105 (java) S 26097 26099 24835 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 291939651 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26106] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26106/stat : 26106 (java) S 26097 26099 24835 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 291939651 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26107] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26107/stat : 26107 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 291939655 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26108] ppid=26097 vsize=1788136 CPUtime=0.87
/proc/26099/task/26108/stat : 26108 (java) S 26097 26099 24835 0 -1 64 2673 0 0 0 87 0 0 0 17 0 13 0 291939655 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26109] ppid=26097 vsize=1788136 CPUtime=0.9
/proc/26099/task/26109/stat : 26109 (java) S 26097 26099 24835 0 -1 64 2685 0 0 0 90 0 0 0 15 0 13 0 291939655 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26110] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26110/stat : 26110 (java) S 26097 26099 24835 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 291939655 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26111] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26111/stat : 26111 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 291939655 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26115] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26115/stat : 26115 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 291940675 1831051264 41719 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.94
Current children cumulated vsize (KiB) 1788136

[startup+25.5016 s]
/proc/loadavg: 0.95 0.97 0.96 2/90 26115
/proc/meminfo: memFree=1578688/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1788136 CPUtime=27.04
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 55161 0 1 0 2678 26 0 0 18 0 13 0 291939645 1831051264 49369 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 447034 49369 1329 9 0 444646 0
[pid=26099/tid=26101] ppid=26097 vsize=1788136 CPUtime=24.61
/proc/26099/task/26101/stat : 26101 (java) R 26097 26099 24835 0 -1 64 40633 0 1 0 2442 19 0 0 19 0 13 0 291939647 1831051264 49369 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109824941 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26102] ppid=26097 vsize=1788136 CPUtime=0.25
/proc/26099/task/26102/stat : 26102 (java) S 26097 26099 24835 0 -1 64 4178 0 0 0 23 2 0 0 16 0 13 0 291939648 1831051264 49369 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26103] ppid=26097 vsize=1788136 CPUtime=0.26
/proc/26099/task/26103/stat : 26103 (java) S 26097 26099 24835 0 -1 64 4228 0 0 0 24 2 0 0 16 0 13 0 291939648 1831051264 49369 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26104] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26104/stat : 26104 (java) S 26097 26099 24835 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 291939650 1831051264 49369 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26105] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26105/stat : 26105 (java) S 26097 26099 24835 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 291939651 1831051264 49369 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26106] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26106/stat : 26106 (java) S 26097 26099 24835 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 291939651 1831051264 49369 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=26099] ppid=26097 vsize=1788136 CPUtime=1677.82
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 182468 0 1 0 167660 122 0 0 18 0 13 0 291939645 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 447034 93757 1329 9 0 444646 0
[pid=26099/tid=26101] ppid=26097 vsize=1788136 CPUtime=1644.97
/proc/26099/task/26101/stat : 26101 (java) R 26097 26099 24835 0 -1 64 80954 0 1 0 164451 46 0 0 25 0 13 0 291939647 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109736512 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26102] ppid=26097 vsize=1788136 CPUtime=15.16
/proc/26099/task/26102/stat : 26102 (java) S 26097 26099 24835 0 -1 64 48660 0 0 0 1489 27 0 0 16 0 13 0 291939648 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26103] ppid=26097 vsize=1788136 CPUtime=15.14
/proc/26099/task/26103/stat : 26103 (java) S 26097 26099 24835 0 -1 64 46537 0 0 0 1491 23 0 0 16 0 13 0 291939648 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26104] ppid=26097 vsize=1788136 CPUtime=0.53
/proc/26099/task/26104/stat : 26104 (java) S 26097 26099 24835 0 -1 64 227 0 0 0 31 22 0 0 15 0 13 0 291939650 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26105] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26105/stat : 26105 (java) S 26097 26099 24835 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 291939651 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26106] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26106/stat : 26106 (java) S 26097 26099 24835 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 291939651 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26107] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26107/stat : 26107 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 291939655 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26108] ppid=26097 vsize=1788136 CPUtime=0.93
/proc/26099/task/26108/stat : 26108 (java) S 26097 26099 24835 0 -1 64 2673 0 0 0 93 0 0 0 16 0 13 0 291939655 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26109] ppid=26097 vsize=1788136 CPUtime=1.01
/proc/26099/task/26109/stat : 26109 (java) S 26097 26099 24835 0 -1 64 2693 0 0 0 101 0 0 0 16 0 13 0 291939655 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26110] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26110/stat : 26110 (java) S 26097 26099 24835 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 291939655 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26111] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26111/stat : 26111 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 291939655 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26115] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26115/stat : 26115 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 291940675 1831051264 93757 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1677.82
Current children cumulated vsize (KiB) 1788136

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 26117
/proc/meminfo: memFree=1393792/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1788136 CPUtime=1738.34
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 185631 0 1 0 173709 125 0 0 18 0 13 0 291939645 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 447034 95296 1329 9 0 444646 0
[pid=26099/tid=26101] ppid=26097 vsize=1788136 CPUtime=1704.36
/proc/26099/task/26101/stat : 26101 (java) R 26097 26099 24835 0 -1 64 81293 0 1 0 170389 47 0 0 25 0 13 0 291939647 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109767033 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26102] ppid=26097 vsize=1788136 CPUtime=15.72
/proc/26099/task/26102/stat : 26102 (java) S 26097 26099 24835 0 -1 64 50266 0 0 0 1544 28 0 0 16 0 13 0 291939648 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26103] ppid=26097 vsize=1788136 CPUtime=15.69
/proc/26099/task/26103/stat : 26103 (java) S 26097 26099 24835 0 -1 64 47742 0 0 0 1546 23 0 0 16 0 13 0 291939648 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26104] ppid=26097 vsize=1788136 CPUtime=0.55
/proc/26099/task/26104/stat : 26104 (java) S 26097 26099 24835 0 -1 64 240 0 0 0 32 23 0 0 16 0 13 0 291939650 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26105] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26105/stat : 26105 (java) S 26097 26099 24835 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 291939651 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26106] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26106/stat : 26106 (java) S 26097 26099 24835 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 291939651 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26107] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26107/stat : 26107 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 291939655 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26108] ppid=26097 vsize=1788136 CPUtime=0.93
/proc/26099/task/26108/stat : 26108 (java) S 26097 26099 24835 0 -1 64 2673 0 0 0 93 0 0 0 16 0 13 0 291939655 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26109] ppid=26097 vsize=1788136 CPUtime=1.01
/proc/26099/task/26109/stat : 26109 (java) S 26097 26099 24835 0 -1 64 2693 0 0 0 101 0 0 0 16 0 13 0 291939655 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26110] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26110/stat : 26110 (java) S 26097 26099 24835 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 291939655 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26111] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26111/stat : 26111 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 291939655 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26115] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26115/stat : 26115 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 291940675 1831051264 95296 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1738.34
Current children cumulated vsize (KiB) 1788136

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 26117
/proc/meminfo: memFree=1354240/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1788136 CPUtime=1798.83
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 197110 0 1 0 179751 132 0 0 18 0 13 0 291939645 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 447034 105041 1329 9 0 444646 0
[pid=26099/tid=26101] ppid=26097 vsize=1788136 CPUtime=1763.76
/proc/26099/task/26101/stat : 26101 (java) R 26097 26099 24835 0 -1 64 89483 0 1 0 176326 50 0 0 25 0 13 0 291939647 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109766993 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26102] ppid=26097 vsize=1788136 CPUtime=16.27
/proc/26099/task/26102/stat : 26102 (java) S 26097 26099 24835 0 -1 64 52130 0 0 0 1597 30 0 0 16 0 13 0 291939648 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26103] ppid=26097 vsize=1788136 CPUtime=16.23
/proc/26099/task/26103/stat : 26103 (java) S 26097 26099 24835 0 -1 64 49153 0 0 0 1598 25 0 0 17 0 13 0 291939648 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26104] ppid=26097 vsize=1788136 CPUtime=0.57
/proc/26099/task/26104/stat : 26104 (java) R 26097 26099 24835 0 -1 64 254 0 0 0 33 24 0 0 16 0 13 0 291939650 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26105] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26105/stat : 26105 (java) S 26097 26099 24835 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 291939651 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26106] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26106/stat : 26106 (java) S 26097 26099 24835 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 291939651 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26107] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26107/stat : 26107 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 291939655 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26108] ppid=26097 vsize=1788136 CPUtime=0.93
/proc/26099/task/26108/stat : 26108 (java) S 26097 26099 24835 0 -1 64 2673 0 0 0 93 0 0 0 16 0 13 0 291939655 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26109] ppid=26097 vsize=1788136 CPUtime=1.01
/proc/26099/task/26109/stat : 26109 (java) S 26097 26099 24835 0 -1 64 2693 0 0 0 101 0 0 0 16 0 13 0 291939655 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26110] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26110/stat : 26110 (java) S 26097 26099 24835 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 291939655 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26111] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26111/stat : 26111 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 291939655 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26115] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26115/stat : 26115 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 291940675 1831051264 105041 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.83
Current children cumulated vsize (KiB) 1788136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 26117
/proc/meminfo: memFree=1354304/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1788136 CPUtime=1800.05
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 197139 0 1 0 179873 132 0 0 18 0 13 0 291939645 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26099/statm: 447034 105037 1329 9 0 444646 0
[pid=26099/tid=26101] ppid=26097 vsize=1788136 CPUtime=1764.95
/proc/26099/task/26101/stat : 26101 (java) R 26097 26099 24835 0 -1 64 89484 0 1 0 176445 50 0 0 25 0 13 0 291939647 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109767183 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26102] ppid=26097 vsize=1788136 CPUtime=16.28
/proc/26099/task/26102/stat : 26102 (java) S 26097 26099 24835 0 -1 64 52130 0 0 0 1598 30 0 0 16 0 13 0 291939648 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26103] ppid=26097 vsize=1788136 CPUtime=16.24
/proc/26099/task/26103/stat : 26103 (java) S 26097 26099 24835 0 -1 64 49181 0 0 0 1599 25 0 0 16 0 13 0 291939648 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26104] ppid=26097 vsize=1788136 CPUtime=0.57
/proc/26099/task/26104/stat : 26104 (java) S 26097 26099 24835 0 -1 64 254 0 0 0 33 24 0 0 16 0 13 0 291939650 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26105] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26105/stat : 26105 (java) S 26097 26099 24835 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 291939651 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26106] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26106/stat : 26106 (java) S 26097 26099 24835 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 291939651 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26107] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26107/stat : 26107 (java) S 26097 26099 24835 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 291939655 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26108] ppid=26097 vsize=1788136 CPUtime=0.93
/proc/26099/task/26108/stat : 26108 (java) S 26097 26099 24835 0 -1 64 2673 0 0 0 93 0 0 0 16 0 13 0 291939655 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26109] ppid=26097 vsize=1788136 CPUtime=1.01
/proc/26099/task/26109/stat : 26109 (java) S 26097 26099 24835 0 -1 64 2693 0 0 0 101 0 0 0 16 0 13 0 291939655 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26110] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26110/stat : 26110 (java) S 26097 26099 24835 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 291939655 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26111] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26111/stat : 26111 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 291939655 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26115] ppid=26097 vsize=1788136 CPUtime=0
/proc/26099/task/26115/stat : 26115 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 291940675 1831051264 105037 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1788136

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

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

[startup+1783.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 26117
/proc/meminfo: memFree=1354304/2055924 swapFree=4146580/4192956
[pid=26099] ppid=26097 vsize=1788784 CPUtime=1800.22
/proc/26099/stat : 26099 (java) S 26097 26099 24835 0 -1 0 197160 0 1 0 179890 132 0 0 16 0 14 0 291939645 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26099/statm: 447196 105058 1329 9 0 444808 0
[pid=26099/tid=26101] ppid=26097 vsize=1788784 CPUtime=1765.06
/proc/26099/task/26101/stat : 26101 (java) R 26097 26099 24835 0 -1 64 89484 0 1 0 176456 50 0 0 25 0 14 0 291939647 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109861335 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26102] ppid=26097 vsize=1788784 CPUtime=16.28
/proc/26099/task/26102/stat : 26102 (java) S 26097 26099 24835 0 -1 64 52130 0 0 0 1598 30 0 0 16 0 14 0 291939648 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26103] ppid=26097 vsize=1788784 CPUtime=16.24
/proc/26099/task/26103/stat : 26103 (java) S 26097 26099 24835 0 -1 64 49181 0 0 0 1599 25 0 0 16 0 14 0 291939648 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26104] ppid=26097 vsize=1788784 CPUtime=0.57
/proc/26099/task/26104/stat : 26104 (java) S 26097 26099 24835 0 -1 64 254 0 0 0 33 24 0 0 16 0 14 0 291939650 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26105] ppid=26097 vsize=1788784 CPUtime=0
/proc/26099/task/26105/stat : 26105 (java) S 26097 26099 24835 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 291939651 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26106] ppid=26097 vsize=1788784 CPUtime=0
/proc/26099/task/26106/stat : 26106 (java) S 26097 26099 24835 0 -1 64 8 0 0 0 0 0 0 0 16 0 14 0 291939651 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26107] ppid=26097 vsize=1788784 CPUtime=0
/proc/26099/task/26107/stat : 26107 (java) S 26097 26099 24835 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 291939655 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26108] ppid=26097 vsize=1788784 CPUtime=0.94
/proc/26099/task/26108/stat : 26108 (java) S 26097 26099 24835 0 -1 64 2674 0 0 0 94 0 0 0 16 0 14 0 291939655 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26109] ppid=26097 vsize=1788784 CPUtime=1.04
/proc/26099/task/26109/stat : 26109 (java) S 26097 26099 24835 0 -1 64 2695 0 0 0 104 0 0 0 17 0 14 0 291939655 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26110] ppid=26097 vsize=1788784 CPUtime=0
/proc/26099/task/26110/stat : 26110 (java) S 26097 26099 24835 0 -1 64 2 0 0 0 0 0 0 0 25 0 14 0 291939655 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26099/tid=26111] ppid=26097 vsize=1788784 CPUtime=0
/proc/26099/task/26111/stat : 26111 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 15 0 14 0 291939655 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26099/tid=26115] ppid=26097 vsize=1788784 CPUtime=0
/proc/26099/task/26115/stat : 26115 (java) S 26097 26099 24835 0 -1 64 0 0 0 0 0 0 0 0 16 0 14 0 291940675 1831714816 105058 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 1788784

Child status: 143
Real time (s): 1783.69
CPU time (s): 1800.31
CPU user time (s): 1798.91
CPU system time (s): 1.39179
CPU usage (%): 100.931
Max. virtual memory (cumulated for all children) (KiB): 1788984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.39179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197161
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= 55790
involuntary context switches= 63940

runsolver used 1.80972 second user time and 5.00624 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Thu May  3 02:23:40 UTC 2007

IDJOB= 453836
IDBENCH= 48157
IDSOLVER= 159
FILE ID= node6/453836-1178159020

PBS_JOBID= 4751087

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  31a0e10ee8ac2049545ec8eab33f6948

RANDOM SEED= 359171060

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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.232
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.232
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:      2055924 kB
MemFree:       1771848 kB
Buffers:         88336 kB
Cached:         106560 kB
SwapCached:      14272 kB
Active:         114456 kB
Inactive:       105312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1771848 kB
SwapTotal:     4192956 kB
SwapFree:      4146580 kB
Dirty:            3696 kB
Writeback:           0 kB
Mapped:          31184 kB
Slab:            49916 kB
Committed_AS: 12406060 kB
PageTables:       1788 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 node6 on Thu May  3 02:53:25 UTC 2007