Trace number 354123

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)54618714 1800.48 1787.1

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUMc716bc6c519760d619aa6878c926054c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark54618714
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31249460
Optimality of the best value was proved NO
Number of variables6402
Total number of constraints4465
Number of constraints which are clauses2785
Number of constraints which are cardinality constraints (but not clauses)1428
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 4170
Biggest coefficient in the objective function 23582998528
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 2904924551250
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2904924551250
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	54618714

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21260
/proc/meminfo: memFree=1745808/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=152 CPUtime=0
/proc/21260/stat : 21260 (java) D 21258 21260 20796 0 -1 0 42 0 0 0 0 0 0 0 20 0 1 0 117480569 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 6734628 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/21260/statm: 38 26 19 9 0 4 0

[startup+0.104879 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21260
/proc/meminfo: memFree=1745808/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=12584 CPUtime=0
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 784 0 0 0 0 0 0 0 18 0 2 0 117480569 12886016 565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 3146 565 252 9 0 1243 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12584

[startup+0.201901 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21260
/proc/meminfo: memFree=1745808/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=1780108 CPUtime=0.07
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 3958 0 1 0 5 2 0 0 18 0 12 0 117480569 1822830592 3699 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 445027 3699 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1780108

[startup+0.301922 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21260
/proc/meminfo: memFree=1745808/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=1782220 CPUtime=0.19
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 4851 0 1 0 16 3 0 0 18 0 12 0 117480569 1824993280 4589 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 445555 4589 1244 9 0 443167 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1782220

[startup+0.701997 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21260
/proc/meminfo: memFree=1745808/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=1782952 CPUtime=0.71
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 6597 0 1 0 67 4 0 0 18 0 12 0 117480569 1825742848 6264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 445738 6264 1288 9 0 443350 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 1782952

[startup+1.50216 s]
/proc/loadavg: 0.92 0.98 0.99 4/76 21272
/proc/meminfo: memFree=1706352/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=1795592 CPUtime=2.24
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 19482 0 1 0 215 9 0 0 18 0 12 0 117480569 1838686208 15822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 448898 15822 1316 9 0 446510 0
[pid=21260/tid=21262] ppid=21258 vsize=1795592 CPUtime=0.89
/proc/21260/task/21262/stat : 21262 (java) R 21258 21260 20796 0 -1 64 11687 0 1 0 84 5 0 0 18 0 12 0 117480579 1838686208 15822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1795592 CPUtime=0
/proc/21260/task/21263/stat : 21263 (java) S 21258 21260 20796 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 117480581 1838686208 15822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21264] ppid=21258 vsize=1795592 CPUtime=0
/proc/21260/task/21264/stat : 21264 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 117480581 1838686208 15822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21265] ppid=21258 vsize=1795592 CPUtime=0
/proc/21260/task/21265/stat : 21265 (java) S 21258 21260 20796 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 117480583 1838686208 15822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21266] ppid=21258 vsize=1795592 CPUtime=0
/proc/21260/task/21266/stat : 21266 (java) S 21258 21260 20796 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 117480583 1838686208 15822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21267] ppid=21258 vsize=1795592 CPUtime=0
/proc/21260/task/21267/stat : 21267 (java) S 21258 21260 20796 0 -1 64 3 0 0 0 0 0 0 0 24 0 12 0 117480583 1838686208 15822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21268] ppid=21258 vsize=1795592 CPUtime=0
/proc/21260/task/21268/stat : 21268 (java) S 21258 21260 20796 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 117480589 1838686208 15822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21269] ppid=21258 vsize=1795592 CPUtime=0.61
/proc/21260/task/21269/stat : 21269 (java) R 21258 21260 20796 0 -1 64 2725 0 0 0 60 1 0 0 16 0 12 0 117480589 1838686208 15822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103247852 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21270] ppid=21258 vsize=1795592 CPUtime=0.71
/proc/21260/task/21270/stat : 21270 (java) R 21258 21260 20796 0 -1 64 4349 0 0 0 70 1 0 0 19 0 12 0 117480589 1838686208 15822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336755 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21271] ppid=21258 vsize=1795592 CPUtime=0
/proc/21260/task/21271/stat : 21271 (java) S 21258 21260 20796 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 117480589 1838686208 15822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21272] ppid=21258 vsize=1795592 CPUtime=0
/proc/21260/task/21272/stat : 21272 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 117480589 1838686208 15822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 1795592

[startup+3.10147 s]
/proc/loadavg: 1.09 1.02 1.01 2/77 21273
/proc/meminfo: memFree=1672744/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=1796724 CPUtime=4.44
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 32123 0 1 0 428 16 0 0 18 0 13 0 117480569 1839845376 25384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 449181 25385 1324 9 0 446793 0
[pid=21260/tid=21262] ppid=21258 vsize=1796724 CPUtime=2.15
/proc/21260/task/21262/stat : 21262 (java) R 21258 21260 20796 0 -1 64 20862 0 1 0 205 10 0 0 25 0 13 0 117480579 1839845376 25385 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109605787 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1796724 CPUtime=0
/proc/21260/task/21263/stat : 21263 (java) S 21258 21260 20796 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 117480581 1839845376 25385 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21264] ppid=21258 vsize=1796724 CPUtime=0
/proc/21260/task/21264/stat : 21264 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 117480581 1839845376 25385 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21265] ppid=21258 vsize=1796724 CPUtime=0
/proc/21260/task/21265/stat : 21265 (java) S 21258 21260 20796 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 117480583 1839845376 25386 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21266] ppid=21258 vsize=1796724 CPUtime=0
/proc/21260/task/21266/stat : 21266 (java) S 21258 21260 20796 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 117480583 1839845376 25386 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21267] ppid=21258 vsize=1796724 CPUtime=0
/proc/21260/task/21267/stat : 21267 (java) S 21258 21260 20796 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 117480583 1839845376 25386 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21268] ppid=21258 vsize=1796724 CPUtime=0
/proc/21260/task/21268/stat : 21268 (java) S 21258 21260 20796 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117480589 1839845376 25386 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21269] ppid=21258 vsize=1796724 CPUtime=1.05
/proc/21260/task/21269/stat : 21269 (java) S 21258 21260 20796 0 -1 64 4528 0 0 0 103 2 0 0 16 0 13 0 117480589 1839845376 25387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21270] ppid=21258 vsize=1796724 CPUtime=1.21
/proc/21260/task/21270/stat : 21270 (java) S 21258 21260 20796 0 -1 64 6008 0 0 0 119 2 0 0 16 0 13 0 117480589 1839845376 25387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21271] ppid=21258 vsize=1796724 CPUtime=0
/proc/21260/task/21271/stat : 21271 (java) S 21258 21260 20796 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117480589 1839845376 25387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21272] ppid=21258 vsize=1796724 CPUtime=0
/proc/21260/task/21272/stat : 21272 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117480589 1839845376 25387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 1796724

[startup+6.3021 s]
/proc/loadavg: 1.09 1.02 1.01 2/77 21277
/proc/meminfo: memFree=1592976/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=1796692 CPUtime=7.83
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 51359 0 1 0 760 23 0 0 18 0 13 0 117480569 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 449173 44187 1334 9 0 446785 0
[pid=21260/tid=21262] ppid=21258 vsize=1796692 CPUtime=5.24
/proc/21260/task/21262/stat : 21262 (java) R 21258 21260 20796 0 -1 64 37721 0 1 0 508 16 0 0 25 0 13 0 117480579 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109853174 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1796692 CPUtime=0.02
/proc/21260/task/21263/stat : 21263 (java) S 21258 21260 20796 0 -1 64 1273 0 0 0 2 0 0 0 16 0 13 0 117480581 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21264] ppid=21258 vsize=1796692 CPUtime=0.02
/proc/21260/task/21264/stat : 21264 (java) S 21258 21260 20796 0 -1 64 720 0 0 0 2 0 0 0 16 0 13 0 117480581 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21265] ppid=21258 vsize=1796692 CPUtime=0
/proc/21260/task/21265/stat : 21265 (java) S 21258 21260 20796 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 117480583 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21266] ppid=21258 vsize=1796692 CPUtime=0
/proc/21260/task/21266/stat : 21266 (java) S 21258 21260 20796 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480583 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21267] ppid=21258 vsize=1796692 CPUtime=0
/proc/21260/task/21267/stat : 21267 (java) S 21258 21260 20796 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480583 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21268] ppid=21258 vsize=1796692 CPUtime=0
/proc/21260/task/21268/stat : 21268 (java) S 21258 21260 20796 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117480589 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21269] ppid=21258 vsize=1796692 CPUtime=1.18
/proc/21260/task/21269/stat : 21269 (java) S 21258 21260 20796 0 -1 64 4900 0 0 0 116 2 0 0 15 0 13 0 117480589 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21270] ppid=21258 vsize=1796692 CPUtime=1.31
/proc/21260/task/21270/stat : 21270 (java) S 21258 21260 20796 0 -1 64 6013 0 0 0 129 2 0 0 16 0 13 0 117480589 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21271] ppid=21258 vsize=1796692 CPUtime=0
/proc/21260/task/21271/stat : 21271 (java) S 21258 21260 20796 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117480589 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21272] ppid=21258 vsize=1796692 CPUtime=0
/proc/21260/task/21272/stat : 21272 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117480589 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21277] ppid=21258 vsize=1796692 CPUtime=0
/proc/21260/task/21277/stat : 21277 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 117481106 1839812608 44187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 1796692

[startup+12.7024 s]
/proc/loadavg: 1.07 1.02 1.00 2/77 21277
/proc/meminfo: memFree=1573392/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=1796372 CPUtime=14.28
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 51365 0 1 0 1405 23 0 0 18 0 13 0 117480569 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 449093 44111 1334 9 0 446705 0
[pid=21260/tid=21262] ppid=21258 vsize=1796372 CPUtime=11.64
/proc/21260/task/21262/stat : 21262 (java) R 21258 21260 20796 0 -1 64 37723 0 1 0 1148 16 0 0 25 0 13 0 117480579 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109542691 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1796372 CPUtime=0.02
/proc/21260/task/21263/stat : 21263 (java) S 21258 21260 20796 0 -1 64 1273 0 0 0 2 0 0 0 16 0 13 0 117480581 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21264] ppid=21258 vsize=1796372 CPUtime=0.02
/proc/21260/task/21264/stat : 21264 (java) S 21258 21260 20796 0 -1 64 720 0 0 0 2 0 0 0 16 0 13 0 117480581 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21265] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21265/stat : 21265 (java) S 21258 21260 20796 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21266] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21266/stat : 21266 (java) S 21258 21260 20796 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21267] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21267/stat : 21267 (java) S 21258 21260 20796 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21268] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21268/stat : 21268 (java) S 21258 21260 20796 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117480589 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21269] ppid=21258 vsize=1796372 CPUtime=1.2
/proc/21260/task/21269/stat : 21269 (java) S 21258 21260 20796 0 -1 64 4902 0 0 0 118 2 0 0 16 0 13 0 117480589 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21270] ppid=21258 vsize=1796372 CPUtime=1.34
/proc/21260/task/21270/stat : 21270 (java) S 21258 21260 20796 0 -1 64 6015 0 0 0 132 2 0 0 17 0 13 0 117480589 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21271] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21271/stat : 21271 (java) S 21258 21260 20796 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117480589 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21272] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21272/stat : 21272 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117480589 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21277] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21277/stat : 21277 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 117481106 1839484928 44111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.28
Current children cumulated vsize (KiB) 1796372

[startup+25.5029 s]
/proc/loadavg: 1.06 1.01 1.00 2/77 21277
/proc/meminfo: memFree=1543696/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=1796372 CPUtime=27.16
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 58870 0 1 0 2690 26 0 0 18 0 13 0 117480569 1839484928 51581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 449093 51581 1334 9 0 446705 0
[pid=21260/tid=21262] ppid=21258 vsize=1796372 CPUtime=24.35
/proc/21260/task/21262/stat : 21262 (java) R 21258 21260 20796 0 -1 64 37725 0 1 0 2419 16 0 0 25 0 13 0 117480579 1839484928 51581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109828828 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1796372 CPUtime=0.11
/proc/21260/task/21263/stat : 21263 (java) S 21258 21260 20796 0 -1 64 4936 0 0 0 9 2 0 0 16 0 13 0 117480581 1839484928 51581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21264] ppid=21258 vsize=1796372 CPUtime=0.1
/proc/21260/task/21264/stat : 21264 (java) S 21258 21260 20796 0 -1 64 4554 0 0 0 9 1 0 0 17 0 13 0 117480581 1839484928 51581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21265] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21265/stat : 21265 (java) S 21258 21260 20796 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 51581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21266] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21266/stat : 21266 (java) S 21258 21260 20796 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 51581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=21260/tid=21265] ppid=21258 vsize=1796372 CPUtime=0.11
/proc/21260/task/21265/stat : 21265 (java) S 21258 21260 20796 0 -1 64 84 0 0 0 5 6 0 0 16 0 13 0 117480583 1839484928 254450 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21266] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21266/stat : 21266 (java) S 21258 21260 20796 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 254450 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21267] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21267/stat : 21267 (java) S 21258 21260 20796 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 254450 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21268] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21268/stat : 21268 (java) S 21258 21260 20796 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117480589 1839484928 254450 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21269] ppid=21258 vsize=1796372 CPUtime=1.21
/proc/21260/task/21269/stat : 21269 (java) S 21258 21260 20796 0 -1 64 4902 0 0 0 119 2 0 0 16 0 13 0 117480589 1839484928 254450 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21270] ppid=21258 vsize=1796372 CPUtime=1.36
/proc/21260/task/21270/stat : 21270 (java) S 21258 21260 20796 0 -1 64 6016 0 0 0 134 2 0 0 16 0 13 0 117480589 1839484928 254450 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21271] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21271/stat : 21271 (java) S 21258 21260 20796 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117480589 1839484928 254450 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21272] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21272/stat : 21272 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117480589 1839484928 254450 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21277] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21277/stat : 21277 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 117481106 1839484928 254450 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1614.32
Current children cumulated vsize (KiB) 1796372

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21475
/proc/meminfo: memFree=701968/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=1796372 CPUtime=1674.82
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 345392 0 1 0 167322 160 0 0 18 0 13 0 117480569 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 449093 261305 1334 9 0 446705 0
[pid=21260/tid=21262] ppid=21258 vsize=1796372 CPUtime=1647.9
/proc/21260/task/21262/stat : 21262 (java) R 21258 21260 20796 0 -1 64 45282 0 1 0 164769 21 0 0 25 0 13 0 117480579 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109852862 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1796372 CPUtime=12.12
/proc/21260/task/21263/stat : 21263 (java) S 21258 21260 20796 0 -1 64 134170 0 0 0 1151 61 0 0 17 0 13 0 117480581 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21264] ppid=21258 vsize=1796372 CPUtime=12.05
/proc/21260/task/21264/stat : 21264 (java) S 21258 21260 20796 0 -1 64 154214 0 0 0 1141 64 0 0 16 0 13 0 117480581 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21265] ppid=21258 vsize=1796372 CPUtime=0.12
/proc/21260/task/21265/stat : 21265 (java) S 21258 21260 20796 0 -1 64 84 0 0 0 6 6 0 0 16 0 13 0 117480583 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21266] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21266/stat : 21266 (java) S 21258 21260 20796 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21267] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21267/stat : 21267 (java) S 21258 21260 20796 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21268] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21268/stat : 21268 (java) S 21258 21260 20796 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117480589 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21269] ppid=21258 vsize=1796372 CPUtime=1.21
/proc/21260/task/21269/stat : 21269 (java) S 21258 21260 20796 0 -1 64 4902 0 0 0 119 2 0 0 16 0 13 0 117480589 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21270] ppid=21258 vsize=1796372 CPUtime=1.36
/proc/21260/task/21270/stat : 21270 (java) S 21258 21260 20796 0 -1 64 6016 0 0 0 134 2 0 0 16 0 13 0 117480589 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21271] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21271/stat : 21271 (java) S 21258 21260 20796 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117480589 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21272] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21272/stat : 21272 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117480589 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21277] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21277/stat : 21277 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 117481106 1839484928 261305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1674.82
Current children cumulated vsize (KiB) 1796372

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21475
/proc/meminfo: memFree=682960/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=1796372 CPUtime=1735.15
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 351707 0 1 0 173352 163 0 0 18 0 13 0 117480569 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 449093 266065 1334 9 0 446705 0
[pid=21260/tid=21262] ppid=21258 vsize=1796372 CPUtime=1707.51
/proc/21260/task/21262/stat : 21262 (java) R 21258 21260 20796 0 -1 64 45286 0 1 0 170730 21 0 0 25 0 13 0 117480579 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109735860 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1796372 CPUtime=12.48
/proc/21260/task/21263/stat : 21263 (java) S 21258 21260 20796 0 -1 64 139404 0 0 0 1184 64 0 0 17 0 13 0 117480581 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21264] ppid=21258 vsize=1796372 CPUtime=12.4
/proc/21260/task/21264/stat : 21264 (java) S 21258 21260 20796 0 -1 64 155291 0 0 0 1176 64 0 0 17 0 13 0 117480581 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21265] ppid=21258 vsize=1796372 CPUtime=0.12
/proc/21260/task/21265/stat : 21265 (java) S 21258 21260 20796 0 -1 64 84 0 0 0 6 6 0 0 16 0 13 0 117480583 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21266] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21266/stat : 21266 (java) S 21258 21260 20796 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21267] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21267/stat : 21267 (java) S 21258 21260 20796 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21268] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21268/stat : 21268 (java) S 21258 21260 20796 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117480589 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21269] ppid=21258 vsize=1796372 CPUtime=1.21
/proc/21260/task/21269/stat : 21269 (java) S 21258 21260 20796 0 -1 64 4902 0 0 0 119 2 0 0 16 0 13 0 117480589 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21270] ppid=21258 vsize=1796372 CPUtime=1.36
/proc/21260/task/21270/stat : 21270 (java) S 21258 21260 20796 0 -1 64 6016 0 0 0 134 2 0 0 16 0 13 0 117480589 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21271] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21271/stat : 21271 (java) S 21258 21260 20796 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117480589 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21272] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21272/stat : 21272 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117480589 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21277] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21277/stat : 21277 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 117481106 1839484928 266065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1735.15
Current children cumulated vsize (KiB) 1796372

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21475
/proc/meminfo: memFree=657680/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=1796372 CPUtime=1795.57
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 359209 0 1 0 179390 167 0 0 18 0 13 0 117480569 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 449093 272361 1334 9 0 446705 0
[pid=21260/tid=21262] ppid=21258 vsize=1796372 CPUtime=1766.99
/proc/21260/task/21262/stat : 21262 (java) R 21258 21260 20796 0 -1 64 45291 0 1 0 176678 21 0 0 25 0 13 0 117480579 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109735860 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1796372 CPUtime=12.94
/proc/21260/task/21263/stat : 21263 (java) S 21258 21260 20796 0 -1 64 145393 0 0 0 1227 67 0 0 16 0 13 0 117480581 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21264] ppid=21258 vsize=1796372 CPUtime=12.88
/proc/21260/task/21264/stat : 21264 (java) S 21258 21260 20796 0 -1 64 156799 0 0 0 1223 65 0 0 16 0 13 0 117480581 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21265] ppid=21258 vsize=1796372 CPUtime=0.12
/proc/21260/task/21265/stat : 21265 (java) S 21258 21260 20796 0 -1 64 84 0 0 0 6 6 0 0 16 0 13 0 117480583 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21266] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21266/stat : 21266 (java) S 21258 21260 20796 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21267] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21267/stat : 21267 (java) S 21258 21260 20796 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21268] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21268/stat : 21268 (java) S 21258 21260 20796 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117480589 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21269] ppid=21258 vsize=1796372 CPUtime=1.21
/proc/21260/task/21269/stat : 21269 (java) S 21258 21260 20796 0 -1 64 4902 0 0 0 119 2 0 0 16 0 13 0 117480589 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21270] ppid=21258 vsize=1796372 CPUtime=1.36
/proc/21260/task/21270/stat : 21270 (java) S 21258 21260 20796 0 -1 64 6016 0 0 0 134 2 0 0 16 0 13 0 117480589 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21271] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21271/stat : 21271 (java) S 21258 21260 20796 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117480589 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21272] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21272/stat : 21272 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117480589 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21277] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21277/stat : 21277 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 117481106 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (KiB) 1796372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21475
/proc/meminfo: memFree=657680/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=1796372 CPUtime=1800.06
/proc/21260/stat : 21260 (java) S 21258 21260 20796 0 -1 0 359209 0 1 0 179839 167 0 0 18 0 13 0 117480569 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21260/statm: 449093 272361 1334 9 0 446705 0
[pid=21260/tid=21262] ppid=21258 vsize=1796372 CPUtime=1771.49
/proc/21260/task/21262/stat : 21262 (java) R 21258 21260 20796 0 -1 64 45291 0 1 0 177128 21 0 0 25 0 13 0 117480579 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109852653 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21263] ppid=21258 vsize=1796372 CPUtime=12.94
/proc/21260/task/21263/stat : 21263 (java) S 21258 21260 20796 0 -1 64 145393 0 0 0 1227 67 0 0 16 0 13 0 117480581 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21260/tid=21264] ppid=21258 vsize=1796372 CPUtime=12.88
/proc/21260/task/21264/stat : 21264 (java) S 21258 21260 20796 0 -1 64 156799 0 0 0 1223 65 0 0 16 0 13 0 117480581 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21265] ppid=21258 vsize=1796372 CPUtime=0.12
/proc/21260/task/21265/stat : 21265 (java) S 21258 21260 20796 0 -1 64 84 0 0 0 6 6 0 0 16 0 13 0 117480583 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21266] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21266/stat : 21266 (java) S 21258 21260 20796 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21267] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21267/stat : 21267 (java) S 21258 21260 20796 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480583 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21268] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21268/stat : 21268 (java) S 21258 21260 20796 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117480589 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21269] ppid=21258 vsize=1796372 CPUtime=1.21
/proc/21260/task/21269/stat : 21269 (java) S 21258 21260 20796 0 -1 64 4902 0 0 0 119 2 0 0 16 0 13 0 117480589 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21270] ppid=21258 vsize=1796372 CPUtime=1.36
/proc/21260/task/21270/stat : 21270 (java) S 21258 21260 20796 0 -1 64 6016 0 0 0 134 2 0 0 16 0 13 0 117480589 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21271] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21271/stat : 21271 (java) S 21258 21260 20796 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117480589 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21272] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21272/stat : 21272 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117480589 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21260/tid=21277] ppid=21258 vsize=1796372 CPUtime=0
/proc/21260/task/21277/stat : 21277 (java) S 21258 21260 20796 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 117481106 1839484928 272361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1796372

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

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

[startup+1787.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21475
/proc/meminfo: memFree=657680/2055920 swapFree=4184008/4192956
[pid=21260] ppid=21258 vsize=0 CPUtime=1800.47
/proc/21260/stat : 21260 (java) Z 21258 21260 20796 0 -1 1036 359233 0 1 0 179864 183 0 0 15 0 2 0 117480569 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21260/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1787.1
CPU time (s): 1800.48
CPU user time (s): 1798.64
CPU system time (s): 1.83772
CPU usage (%): 100.748
Max. virtual memory (cumulated for all children) (KiB): 1797096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.83772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359233
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= 39654
involuntary context switches= 33923

runsolver used 1.9827 second user time and 4.5773 second system time

The end

Launcher Data (download as text)

Begin job on node75 on Mon Apr 16 03:54:27 UTC 2007

IDJOB= 354123
IDBENCH= 2354
IDSOLVER= 159
FILE ID= node75/354123-1176695667

PBS_JOBID= 4560002

Free space on /tmp= 66503 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354123-1176695667/sat4jPseudoResolution.jar /tmp/evaluation/354123-1176695667/instance-354123-1176695667.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-354123-1176695667 -o ROOT/results/node75/solver-354123-1176695667 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354123-1176695667/sat4jPseudoResolution.jar /tmp/evaluation/354123-1176695667/instance-354123-1176695667.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  c716bc6c519760d619aa6878c926054c

RANDOM SEED= 831990885

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node75.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.257
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.257
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1746216 kB
Buffers:         11640 kB
Cached:         223924 kB
SwapCached:       3320 kB
Active:          88540 kB
Inactive:       170308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1746216 kB
SwapTotal:     4192956 kB
SwapFree:      4184008 kB
Dirty:            4020 kB
Writeback:           0 kB
Mapped:          28748 kB
Slab:            36768 kB
Committed_AS:  2777276 kB
PageTables:       1464 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= 66503 MiB

End job on node75 on Mon Apr 16 04:24:16 UTC 2007