Trace number 373045

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
sat4jPseudoCPClause 2007-03-23SAT (TO)24 1800.42 1740.57

General information on the benchmark

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

Verifier Data (download as text)

OK	24

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node42/watcher-373045-1177159890 -o ROOT/results/node42/solver-373045-1177159890 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373045-1177159890/sat4jPseudoCPClause.jar /tmp/evaluation/373045-1177159890/instance-373045-1177159890.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: 1.00 1.00 1.00 2/77 20005
/proc/meminfo: memFree=1853920/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=272 CPUtime=0
/proc/20005/stat : 20005 (java) D 20003 20005 19171 0 -1 0 53 0 0 0 0 0 0 0 18 0 1 0 163900909 278528 37 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 12407588 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/20005/statm: 68 37 28 9 0 6 0

[startup+0.0400571 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 20005
/proc/meminfo: memFree=1853920/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=12056 CPUtime=0
/proc/20005/stat : 20005 (java) D 20003 20005 19171 0 -1 0 367 0 6 0 0 0 0 0 18 0 1 0 163900909 12345344 181 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 12378922 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/20005/statm: 3014 181 135 9 0 1148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12056

[startup+0.105992 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 20005
/proc/meminfo: memFree=1853920/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=12584 CPUtime=0.01
/proc/20005/stat : 20005 (java) S 20003 20005 19171 0 -1 0 784 0 34 0 0 1 0 0 18 0 2 0 163900909 12886016 584 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 3146 584 269 9 0 1244 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12584

[startup+0.302047 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 20005
/proc/meminfo: memFree=1853920/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=1780040 CPUtime=0.1
/proc/20005/stat : 20005 (java) S 20003 20005 19171 0 -1 0 3860 0 42 0 6 4 0 0 18 0 12 0 163900909 1822760960 3643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 445010 3643 1099 9 0 442646 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1780040

[startup+0.702106 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 20005
/proc/meminfo: memFree=1853920/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=1782492 CPUtime=0.57
/proc/20005/stat : 20005 (java) S 20003 20005 19171 0 -1 0 5879 0 42 0 51 6 0 0 18 0 12 0 163900909 1825271808 5488 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 445623 5488 1280 9 0 443234 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 1782492

[startup+1.50126 s]
/proc/loadavg: 1.08 1.02 1.01 4/89 20017
/proc/meminfo: memFree=1823232/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=1784612 CPUtime=1.77
/proc/20005/stat : 20005 (java) S 20003 20005 19171 0 -1 0 12658 0 42 0 168 9 0 0 18 0 12 0 163900909 1827442688 11068 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 446153 11070 1301 9 0 443764 0
[pid=20005/tid=20007] ppid=20003 vsize=1784612 CPUtime=0.83
/proc/20005/task/20007/stat : 20007 (java) R 20003 20005 19171 0 -1 64 9292 0 9 0 77 6 0 0 25 0 12 0 163900916 1827442688 11071 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109596729 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20008] ppid=20003 vsize=1784612 CPUtime=0
/proc/20005/task/20008/stat : 20008 (java) S 20003 20005 19171 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 163900925 1827442688 11072 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20009] ppid=20003 vsize=1784612 CPUtime=0
/proc/20005/task/20009/stat : 20009 (java) S 20003 20005 19171 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 163900925 1827442688 11073 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20010] ppid=20003 vsize=1784612 CPUtime=0
/proc/20005/task/20010/stat : 20010 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 163900929 1827442688 11074 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20011] ppid=20003 vsize=1784612 CPUtime=0
/proc/20005/task/20011/stat : 20011 (java) S 20003 20005 19171 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 163900930 1827442688 11075 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20012] ppid=20003 vsize=1784612 CPUtime=0
/proc/20005/task/20012/stat : 20012 (java) S 20003 20005 19171 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 163900930 1827442688 11076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20013] ppid=20003 vsize=1784612 CPUtime=0
/proc/20005/task/20013/stat : 20013 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 163900939 1827442688 11077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20014] ppid=20003 vsize=1784612 CPUtime=0.48
/proc/20005/task/20014/stat : 20014 (java) S 20003 20005 19171 0 -1 64 1793 0 0 0 48 0 0 0 16 0 12 0 163900939 1827442688 11078 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20015] ppid=20003 vsize=1784612 CPUtime=0.42
/proc/20005/task/20015/stat : 20015 (java) S 20003 20005 19171 0 -1 64 888 0 0 0 42 0 0 0 17 0 12 0 163900939 1827442688 11079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20016] ppid=20003 vsize=1784612 CPUtime=0
/proc/20005/task/20016/stat : 20016 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 163900939 1827442688 11081 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20017] ppid=20003 vsize=1784612 CPUtime=0
/proc/20005/task/20017/stat : 20017 (java) S 20003 20005 19171 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 163900939 1827442688 11082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 1784612

[startup+3.10256 s]
/proc/loadavg: 1.08 1.02 1.01 4/90 20018
/proc/meminfo: memFree=1781368/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=1787500 CPUtime=4.17
/proc/20005/stat : 20005 (java) S 20003 20005 19171 0 -1 0 44194 0 42 0 393 24 0 0 18 0 13 0 163900909 1830400000 40907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 446875 40907 1321 9 0 444486 0
[pid=20005/tid=20007] ppid=20003 vsize=1787500 CPUtime=2.02
/proc/20005/task/20007/stat : 20007 (java) R 20003 20005 19171 0 -1 64 37713 0 9 0 182 20 0 0 25 0 13 0 163900916 1830400000 40907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109842589 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20008] ppid=20003 vsize=1787500 CPUtime=0.01
/proc/20005/task/20008/stat : 20008 (java) S 20003 20005 19171 0 -1 64 330 0 0 0 1 0 0 0 16 0 13 0 163900925 1830400000 40907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20009] ppid=20003 vsize=1787500 CPUtime=0.02
/proc/20005/task/20009/stat : 20009 (java) S 20003 20005 19171 0 -1 64 521 0 0 0 2 0 0 0 16 0 13 0 163900925 1830400000 40907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20010] ppid=20003 vsize=1787500 CPUtime=0
/proc/20005/task/20010/stat : 20010 (java) S 20003 20005 19171 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 163900929 1830400000 40907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20011] ppid=20003 vsize=1787500 CPUtime=0
/proc/20005/task/20011/stat : 20011 (java) S 20003 20005 19171 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 163900930 1830400000 40907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20012] ppid=20003 vsize=1787500 CPUtime=0
/proc/20005/task/20012/stat : 20012 (java) S 20003 20005 19171 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 163900930 1830400000 40907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20013] ppid=20003 vsize=1787500 CPUtime=0
/proc/20005/task/20013/stat : 20013 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 163900939 1830400000 40907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20014] ppid=20003 vsize=1787500 CPUtime=1.15
/proc/20005/task/20014/stat : 20014 (java) R 20003 20005 19171 0 -1 64 3382 0 0 0 114 1 0 0 17 0 13 0 163900939 1830400000 40907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103315527 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20015] ppid=20003 vsize=1787500 CPUtime=0.92
/proc/20005/task/20015/stat : 20015 (java) R 20003 20005 19171 0 -1 64 1551 0 0 0 92 0 0 0 17 0 13 0 163900939 1830400000 40907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102397791 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20016] ppid=20003 vsize=1787500 CPUtime=0
/proc/20005/task/20016/stat : 20016 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 163900939 1830400000 40907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20017] ppid=20003 vsize=1787500 CPUtime=0
/proc/20005/task/20017/stat : 20017 (java) S 20003 20005 19171 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 163900939 1830400000 40907 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 1787500

[startup+6.30217 s]
/proc/loadavg: 1.07 1.02 1.00 2/90 20020
/proc/meminfo: memFree=1674736/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=1792768 CPUtime=9
/proc/20005/stat : 20005 (java) S 20003 20005 19171 0 -1 0 54498 0 42 0 870 30 0 0 18 0 13 0 163900909 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 448192 43763 1324 9 0 445803 0
[pid=20005/tid=20007] ppid=20003 vsize=1792768 CPUtime=4.94
/proc/20005/task/20007/stat : 20007 (java) R 20003 20005 19171 0 -1 64 37720 0 9 0 474 20 0 0 18 0 13 0 163900916 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109835325 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20008] ppid=20003 vsize=1792768 CPUtime=0.08
/proc/20005/task/20008/stat : 20008 (java) S 20003 20005 19171 0 -1 64 1116 0 0 0 8 0 0 0 16 0 13 0 163900925 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20009] ppid=20003 vsize=1792768 CPUtime=0.09
/proc/20005/task/20009/stat : 20009 (java) S 20003 20005 19171 0 -1 64 2031 0 0 0 9 0 0 0 16 0 13 0 163900925 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20010] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20010/stat : 20010 (java) S 20003 20005 19171 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 163900929 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20011] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20011/stat : 20011 (java) S 20003 20005 19171 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 163900930 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20012] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20012/stat : 20012 (java) S 20003 20005 19171 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 163900930 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20013] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20013/stat : 20013 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 163900939 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20014] ppid=20003 vsize=1792768 CPUtime=1.95
/proc/20005/task/20014/stat : 20014 (java) S 20003 20005 19171 0 -1 64 8070 0 0 0 192 3 0 0 15 0 13 0 163900939 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20015] ppid=20003 vsize=1792768 CPUtime=1.86
/proc/20005/task/20015/stat : 20015 (java) S 20003 20005 19171 0 -1 64 4840 0 0 0 185 1 0 0 16 0 13 0 163900939 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20016] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20016/stat : 20016 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 163900939 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20017] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20017/stat : 20017 (java) S 20003 20005 19171 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 163900939 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20020] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20020/stat : 20020 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 163901210 1835794432 43763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9
Current children cumulated vsize (KiB) 1792768

[startup+12.7014 s]
/proc/loadavg: 1.07 1.02 1.00 2/90 20020
/proc/meminfo: memFree=1639296/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=1792768 CPUtime=15.52
/proc/20005/stat : 20005 (java) S 20003 20005 19171 0 -1 0 63420 0 42 0 1519 33 0 0 18 0 13 0 163900909 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 448192 52325 1324 9 0 445803 0
[pid=20005/tid=20007] ppid=20003 vsize=1792768 CPUtime=11.28
/proc/20005/task/20007/stat : 20007 (java) R 20003 20005 19171 0 -1 64 43916 0 9 0 1106 22 0 0 25 0 13 0 163900916 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109802621 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20008] ppid=20003 vsize=1792768 CPUtime=0.15
/proc/20005/task/20008/stat : 20008 (java) S 20003 20005 19171 0 -1 64 2533 0 0 0 14 1 0 0 16 0 13 0 163900925 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20009] ppid=20003 vsize=1792768 CPUtime=0.15
/proc/20005/task/20009/stat : 20009 (java) S 20003 20005 19171 0 -1 64 3340 0 0 0 14 1 0 0 16 0 13 0 163900925 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20010] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20010/stat : 20010 (java) S 20003 20005 19171 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 163900929 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20011] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20011/stat : 20011 (java) S 20003 20005 19171 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 163900930 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20012] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20012/stat : 20012 (java) S 20003 20005 19171 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 163900930 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20013] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20013/stat : 20013 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 163900939 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20014] ppid=20003 vsize=1792768 CPUtime=2
/proc/20005/task/20014/stat : 20014 (java) S 20003 20005 19171 0 -1 64 8070 0 0 0 197 3 0 0 16 0 13 0 163900939 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20015] ppid=20003 vsize=1792768 CPUtime=1.87
/proc/20005/task/20015/stat : 20015 (java) S 20003 20005 19171 0 -1 64 4840 0 0 0 186 1 0 0 15 0 13 0 163900939 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20016] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20016/stat : 20016 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 163900939 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20017] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20017/stat : 20017 (java) S 20003 20005 19171 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 163900939 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20020] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20020/stat : 20020 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 163901210 1835794432 52325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.52
Current children cumulated vsize (KiB) 1792768

[startup+25.5028 s]
/proc/loadavg: 1.06 1.01 1.00 2/90 20021
/proc/meminfo: memFree=1672504/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=1792768 CPUtime=28.52
/proc/20005/stat : 20005 (java) S 20003 20005 19171 0 -1 0 64739 0 42 0 2818 34 0 0 18 0 13 0 163900909 1835794432 44088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 448192 44088 1325 9 0 445803 0
[pid=20005/tid=20007] ppid=20003 vsize=1792768 CPUtime=23.98
/proc/20005/task/20007/stat : 20007 (java) R 20003 20005 19171 0 -1 64 43940 0 9 0 2376 22 0 0 23 0 13 0 163900916 1835794432 44088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109842629 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20008] ppid=20003 vsize=1792768 CPUtime=0.22
/proc/20005/task/20008/stat : 20008 (java) S 20003 20005 19171 0 -1 64 3239 0 0 0 20 2 0 0 16 0 13 0 163900925 1835794432 44088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20009] ppid=20003 vsize=1792768 CPUtime=0.22
/proc/20005/task/20009/stat : 20009 (java) S 20003 20005 19171 0 -1 64 3929 0 0 0 21 1 0 0 16 0 13 0 163900925 1835794432 44088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20010] ppid=20003 vsize=1792768 CPUtime=0.01
/proc/20005/task/20010/stat : 20010 (java) S 20003 20005 19171 0 -1 64 32 0 0 0 1 0 0 0 15 0 13 0 163900929 1835794432 44088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20011] ppid=20003 vsize=1792768 CPUtime=0
/proc/20005/task/20011/stat : 20011 (java) S 20003 20005 19171 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 163900930 1835794432 44088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=20005/tid=20010] ppid=20003 vsize=1793792 CPUtime=0.42
/proc/20005/task/20010/stat : 20010 (java) S 20003 20005 19171 0 -1 64 117 0 0 0 26 16 0 0 16 0 13 0 163900929 1836843008 202472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20011] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20011/stat : 20011 (java) S 20003 20005 19171 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 163900930 1836843008 202472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20012] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20012/stat : 20012 (java) S 20003 20005 19171 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 163900930 1836843008 202472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20013] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20013/stat : 20013 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 163900939 1836843008 202472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20014] ppid=20003 vsize=1793792 CPUtime=2.32
/proc/20005/task/20014/stat : 20014 (java) S 20003 20005 19171 0 -1 64 8071 0 0 0 229 3 0 0 17 0 13 0 163900939 1836843008 202472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20015] ppid=20003 vsize=1793792 CPUtime=2
/proc/20005/task/20015/stat : 20015 (java) S 20003 20005 19171 0 -1 64 4841 0 0 0 198 2 0 0 17 0 13 0 163900939 1836843008 202472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20016] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20016/stat : 20016 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 163900939 1836843008 202472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20017] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20017/stat : 20017 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 163900939 1836843008 202472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20021] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20021/stat : 20021 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 163902730 1836843008 202472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.44
Current children cumulated vsize (KiB) 1793792

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 20219
/proc/meminfo: memFree=1023736/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=1793792 CPUtime=1718.26
/proc/20005/stat : 20005 (java) S 20003 20005 19171 0 -1 0 259643 0 42 0 171672 154 0 0 18 0 13 0 163900909 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 448448 205814 1326 9 0 446059 0
[pid=20005/tid=20007] ppid=20003 vsize=1793792 CPUtime=1604.7
/proc/20005/task/20007/stat : 20007 (java) R 20003 20005 19171 0 -1 64 66546 0 9 0 160417 53 0 0 25 0 13 0 163900916 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109835285 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20008] ppid=20003 vsize=1793792 CPUtime=54.26
/proc/20005/task/20008/stat : 20008 (java) S 20003 20005 19171 0 -1 64 85496 0 0 0 5391 35 0 0 16 0 13 0 163900925 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20009] ppid=20003 vsize=1793792 CPUtime=54.47
/proc/20005/task/20009/stat : 20009 (java) S 20003 20005 19171 0 -1 64 93882 0 0 0 5407 40 0 0 16 0 13 0 163900925 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20010] ppid=20003 vsize=1793792 CPUtime=0.44
/proc/20005/task/20010/stat : 20010 (java) S 20003 20005 19171 0 -1 64 117 0 0 0 27 17 0 0 16 0 13 0 163900929 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20011] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20011/stat : 20011 (java) S 20003 20005 19171 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 163900930 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20012] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20012/stat : 20012 (java) S 20003 20005 19171 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 163900930 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20013] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20013/stat : 20013 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 163900939 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20014] ppid=20003 vsize=1793792 CPUtime=2.32
/proc/20005/task/20014/stat : 20014 (java) S 20003 20005 19171 0 -1 64 8071 0 0 0 229 3 0 0 17 0 13 0 163900939 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20015] ppid=20003 vsize=1793792 CPUtime=2
/proc/20005/task/20015/stat : 20015 (java) S 20003 20005 19171 0 -1 64 4841 0 0 0 198 2 0 0 17 0 13 0 163900939 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20016] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20016/stat : 20016 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 163900939 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20017] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20017/stat : 20017 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 163900939 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20021] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20021/stat : 20021 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 163902730 1836843008 205814 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1718.26
Current children cumulated vsize (KiB) 1793792

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/90 20219
/proc/meminfo: memFree=1010488/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=1793792 CPUtime=1781.17
/proc/20005/stat : 20005 (java) S 20003 20005 19171 0 -1 0 263218 0 42 0 177960 157 0 0 18 0 13 0 163900909 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 448448 209191 1326 9 0 446059 0
[pid=20005/tid=20007] ppid=20003 vsize=1793792 CPUtime=1661.65
/proc/20005/task/20007/stat : 20007 (java) R 20003 20005 19171 0 -1 64 66599 0 9 0 166111 54 0 0 25 0 13 0 163900916 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109835218 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20008] ppid=20003 vsize=1793792 CPUtime=57.23
/proc/20005/task/20008/stat : 20008 (java) S 20003 20005 19171 0 -1 64 87565 0 0 0 5687 36 0 0 16 0 13 0 163900925 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20009] ppid=20003 vsize=1793792 CPUtime=57.45
/proc/20005/task/20009/stat : 20009 (java) S 20003 20005 19171 0 -1 64 95335 0 0 0 5704 41 0 0 17 0 13 0 163900925 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20010] ppid=20003 vsize=1793792 CPUtime=0.45
/proc/20005/task/20010/stat : 20010 (java) S 20003 20005 19171 0 -1 64 117 0 0 0 28 17 0 0 15 0 13 0 163900929 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20011] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20011/stat : 20011 (java) S 20003 20005 19171 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 163900930 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20012] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20012/stat : 20012 (java) S 20003 20005 19171 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 163900930 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20013] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20013/stat : 20013 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 163900939 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20014] ppid=20003 vsize=1793792 CPUtime=2.32
/proc/20005/task/20014/stat : 20014 (java) S 20003 20005 19171 0 -1 64 8071 0 0 0 229 3 0 0 17 0 13 0 163900939 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20015] ppid=20003 vsize=1793792 CPUtime=2
/proc/20005/task/20015/stat : 20015 (java) S 20003 20005 19171 0 -1 64 4841 0 0 0 198 2 0 0 17 0 13 0 163900939 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20016] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20016/stat : 20016 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 163900939 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20017] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20017/stat : 20017 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 163900939 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20021] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20021/stat : 20021 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 163902730 1836843008 209191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.17
Current children cumulated vsize (KiB) 1793792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1740.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/90 20219
/proc/meminfo: memFree=1006008/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=1793792 CPUtime=1800.06
/proc/20005/stat : 20005 (java) S 20003 20005 19171 0 -1 0 264340 0 42 0 179848 158 0 0 18 0 13 0 163900909 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 448448 210225 1326 9 0 446059 0
[pid=20005/tid=20007] ppid=20003 vsize=1793792 CPUtime=1678.74
/proc/20005/task/20007/stat : 20007 (java) R 20003 20005 19171 0 -1 64 66615 0 9 0 167820 54 0 0 24 0 13 0 163900916 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109993193 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20008] ppid=20003 vsize=1793792 CPUtime=58.13
/proc/20005/task/20008/stat : 20008 (java) S 20003 20005 19171 0 -1 64 88465 0 0 0 5777 36 0 0 16 0 13 0 163900925 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20009] ppid=20003 vsize=1793792 CPUtime=58.36
/proc/20005/task/20009/stat : 20009 (java) S 20003 20005 19171 0 -1 64 95541 0 0 0 5794 42 0 0 16 0 13 0 163900925 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20010] ppid=20003 vsize=1793792 CPUtime=0.45
/proc/20005/task/20010/stat : 20010 (java) S 20003 20005 19171 0 -1 64 117 0 0 0 28 17 0 0 16 0 13 0 163900929 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20011] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20011/stat : 20011 (java) S 20003 20005 19171 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 163900930 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20012] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20012/stat : 20012 (java) S 20003 20005 19171 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 163900930 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20013] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20013/stat : 20013 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 163900939 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20014] ppid=20003 vsize=1793792 CPUtime=2.32
/proc/20005/task/20014/stat : 20014 (java) S 20003 20005 19171 0 -1 64 8071 0 0 0 229 3 0 0 17 0 13 0 163900939 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20015] ppid=20003 vsize=1793792 CPUtime=2
/proc/20005/task/20015/stat : 20015 (java) S 20003 20005 19171 0 -1 64 4841 0 0 0 198 2 0 0 17 0 13 0 163900939 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20016] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20016/stat : 20016 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 163900939 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20017] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20017/stat : 20017 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 163900939 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20021] ppid=20003 vsize=1793792 CPUtime=0
/proc/20005/task/20021/stat : 20021 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 163902730 1836843008 210225 18446744073709551615 134512640 134550740 4294956416 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) 1793792

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

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

[startup+1740.41 s]
/proc/loadavg: 1.00 1.02 1.00 2/90 20219
/proc/meminfo: memFree=1006008/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=1794440 CPUtime=1800.25
/proc/20005/stat : 20005 (java) S 20003 20005 19171 0 -1 0 264359 0 42 0 179867 158 0 0 16 0 14 0 163900909 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 448610 210244 1326 9 0 446221 0
[pid=20005/tid=20007] ppid=20003 vsize=1794440 CPUtime=1678.84
/proc/20005/task/20007/stat : 20007 (java) R 20003 20005 19171 0 -1 64 66615 0 9 0 167830 54 0 0 25 0 14 0 163900916 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109835723 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20008] ppid=20003 vsize=1794440 CPUtime=58.13
/proc/20005/task/20008/stat : 20008 (java) S 20003 20005 19171 0 -1 64 88465 0 0 0 5777 36 0 0 16 0 14 0 163900925 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20009] ppid=20003 vsize=1794440 CPUtime=58.36
/proc/20005/task/20009/stat : 20009 (java) S 20003 20005 19171 0 -1 64 95541 0 0 0 5794 42 0 0 16 0 14 0 163900925 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20010] ppid=20003 vsize=1794440 CPUtime=0.45
/proc/20005/task/20010/stat : 20010 (java) S 20003 20005 19171 0 -1 64 117 0 0 0 28 17 0 0 16 0 14 0 163900929 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20011] ppid=20003 vsize=1794440 CPUtime=0
/proc/20005/task/20011/stat : 20011 (java) S 20003 20005 19171 0 -1 64 10 0 0 0 0 0 0 0 16 0 14 0 163900930 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20012] ppid=20003 vsize=1794440 CPUtime=0
/proc/20005/task/20012/stat : 20012 (java) S 20003 20005 19171 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 163900930 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20013] ppid=20003 vsize=1794440 CPUtime=0
/proc/20005/task/20013/stat : 20013 (java) S 20003 20005 19171 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 163900939 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20014] ppid=20003 vsize=1794440 CPUtime=2.34
/proc/20005/task/20014/stat : 20014 (java) S 20003 20005 19171 0 -1 64 8071 0 0 0 231 3 0 0 16 0 14 0 163900939 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20015] ppid=20003 vsize=1794440 CPUtime=2.03
/proc/20005/task/20015/stat : 20015 (java) S 20003 20005 19171 0 -1 64 4841 0 0 0 201 2 0 0 16 0 14 0 163900939 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20005/tid=20016] ppid=20003 vsize=1794440 CPUtime=0
/proc/20005/task/20016/stat : 20016 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 21 0 14 0 163900939 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20017] ppid=20003 vsize=1794440 CPUtime=0
/proc/20005/task/20017/stat : 20017 (java) S 20003 20005 19171 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 163900939 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20005/tid=20021] ppid=20003 vsize=1794440 CPUtime=0
/proc/20005/task/20021/stat : 20021 (java) S 20003 20005 19171 0 -1 64 0 0 0 0 0 0 0 0 18 0 14 0 163902730 1837506560 210244 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 1794440

[startup+1740.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/90 20219
/proc/meminfo: memFree=1006008/2055920 swapFree=4147416/4192956
[pid=20005] ppid=20003 vsize=0 CPUtime=1800.35
/proc/20005/stat : 20005 (java) Z 20003 20005 19171 0 -1 1036 264359 0 42 0 179870 165 0 0 15 0 2 0 163900909 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20005/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1740.57
CPU time (s): 1800.42
CPU user time (s): 1798.7
CPU system time (s): 1.71674
CPU usage (%): 103.438
Max. virtual memory (cumulated for all children) (KiB): 1797304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.71674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264359
page faults= 42
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53670
involuntary context switches= 66950

runsolver used 2.26066 second user time and 5.62315 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Sat Apr 21 12:51:30 UTC 2007

IDJOB= 373045
IDBENCH= 25015
IDSOLVER= 164
FILE ID= node42/373045-1177159890

PBS_JOBID= 4648886

Free space on /tmp= 66445 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373045-1177159890/sat4jPseudoCPClause.jar /tmp/evaluation/373045-1177159890/instance-373045-1177159890.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-373045-1177159890 -o ROOT/results/node42/solver-373045-1177159890 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373045-1177159890/sat4jPseudoCPClause.jar /tmp/evaluation/373045-1177159890/instance-373045-1177159890.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  d25f6086317f033c233c4700493f03d1

RANDOM SEED= 246211866

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1854336 kB
Buffers:         29456 kB
Cached:          89688 kB
SwapCached:      13932 kB
Active:          51384 kB
Inactive:        97152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1854336 kB
SwapTotal:     4192956 kB
SwapFree:      4147416 kB
Dirty:            4204 kB
Writeback:           0 kB
Mapped:          36444 kB
Slab:            38412 kB
Committed_AS:  3510176 kB
PageTables:       1928 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= 66445 MiB

End job on node42 on Sat Apr 21 13:20:33 UTC 2007