Trace number 3492261

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08MSAT (TO) 1800.22 1796.07

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
MD5SUMd7ec3e5f8584fe7f5e0e066c760adfab
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.679895
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10100
Total number of constraints201
Number of soft constraints65
Number of constraints which are clauses101
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint101
Top cost 3414
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3413
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
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

0.04/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.17	c See www.sat4j.org for details.
0.04/0.18	c version 2.3.1.v20110525
0.04/0.18	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.18	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.18	c java.vm.version	19.1-b02
0.04/0.18	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.18	c sun.arch.data.model	64
0.04/0.18	c java.version		1.6.0_24
0.04/0.18	c os.name		Linux
0.04/0.18	c os.version		2.6.18-164.el5
0.04/0.18	c os.arch		amd64
0.04/0.18	c Free memory 		9996466904
0.04/0.18	c Max memory 		10048897024
0.04/0.18	c Total memory 		10048897024
0.04/0.18	c Number of processors 	8
0.11/0.21	c Pseudo Boolean Optimization
0.11/0.21	c --- Begin Solver configuration ---
0.11/0.21	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.21	c Learn all clauses as in MiniSAT
0.11/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.21	c Expensive reason simplification
0.11/0.21	c Armin Biere (Picosat) restarts strategy
0.11/0.21	c Glucose learned constraints deletion strategy
0.11/0.21	c timeout=2147483s
0.11/0.21	c DB Simplification allowed=false
0.11/0.21	c --- End Solver configuration ---
0.11/0.21	c solving HOME/instance-3492261-1307908902.wbo
0.11/0.21	c reading problem ... 
0.58/0.42	c ... done. Wall clock time 0.214s.
0.58/0.42	c #vars     10165
0.58/0.42	c #constraints  201
0.58/0.42	c constraints type 
0.58/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101
0.58/0.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 67
0.58/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33
1.11/0.69	c SATISFIABLE
1.11/0.69	c OPTIMIZING...
1.11/0.69	c Got one! Elapsed wall clock time (in seconds):0.489
1.11/0.69	o 152
1.26/0.79	c Got one! Elapsed wall clock time (in seconds):0.583
1.26/0.79	o 111
1.49/0.94	c Got one! Elapsed wall clock time (in seconds):0.739
1.49/0.94	o 68
2.00/1.40	c Got one! Elapsed wall clock time (in seconds):1.192
2.00/1.40	o 64
2.11/1.55	c Got one! Elapsed wall clock time (in seconds):1.348
2.11/1.55	o 61
2.72/2.12	c Got one! Elapsed wall clock time (in seconds):1.916
2.72/2.12	o 29
4.11/3.59	c Got one! Elapsed wall clock time (in seconds):3.382
4.11/3.59	o 9
7.36/6.76	c Got one! Elapsed wall clock time (in seconds):6.556
7.36/6.76	o 1
8.50/7.83	c cleaning 5012 clauses out of 10065 with flag 1001/10065
12.84/12.12	c cleaning 5488 clauses out of 11055 with flag 7003/16067
18.35/17.63	c cleaning 6231 clauses out of 12564 with flag 14000/23064
26.30/25.51	c cleaning 7094 clauses out of 14334 with flag 22001/31065
34.41/33.67	c cleaning 8058 clauses out of 16240 with flag 31001/40065
47.82/47.05	c cleaning 9040 clauses out of 18182 with flag 41001/50065
55.75/54.99	c cleaning 9506 clauses out of 19141 with flag 51000/60064
66.06/65.28	c cleaning 9775 clauses out of 19638 with flag 61003/70067
75.08/74.27	c cleaning 9868 clauses out of 19860 with flag 71000/80064
83.69/82.89	c cleaning 9937 clauses out of 19996 with flag 81004/90068
94.30/93.42	c cleaning 9953 clauses out of 20057 with flag 91002/100066
117.41/116.54	c cleaning 9998 clauses out of 20112 with flag 101010/110074
131.83/130.93	c cleaning 10008 clauses out of 20106 with flag 111002/120066
140.25/139.34	c cleaning 10013 clauses out of 20098 with flag 121002/130066
149.96/149.08	c cleaning 9999 clauses out of 20084 with flag 131001/140065
171.87/170.95	c cleaning 10000 clauses out of 20088 with flag 141004/150068
199.30/198.36	c cleaning 9965 clauses out of 20084 with flag 151000/160064
229.75/228.73	c cleaning 9967 clauses out of 20121 with flag 161002/170066
242.91/241.80	c cleaning 10014 clauses out of 20152 with flag 171000/180064
252.94/251.85	c cleaning 10021 clauses out of 20139 with flag 181001/190065
266.75/265.68	c cleaning 10021 clauses out of 20119 with flag 191002/200066
289.56/288.45	c cleaning 9986 clauses out of 20096 with flag 201000/210064
310.21/309.08	c cleaning 9998 clauses out of 20112 with flag 211002/220066
330.82/329.61	c cleaning 10014 clauses out of 20119 with flag 221007/230071
342.55/341.34	c cleaning 10031 clauses out of 20101 with flag 231003/240067
354.67/353.47	c cleaning 10014 clauses out of 20067 with flag 241000/250064
364.30/363.07	c cleaning 10013 clauses out of 20053 with flag 251000/260064
372.22/370.90	c cleaning 9966 clauses out of 20041 with flag 261001/270065
381.23/379.99	c cleaning 9995 clauses out of 20077 with flag 271003/280067
395.45/394.16	c cleaning 9988 clauses out of 20079 with flag 281000/290064
421.68/420.34	c cleaning 9959 clauses out of 20094 with flag 291003/300067
442.63/441.29	c cleaning 9978 clauses out of 20133 with flag 301001/310065
460.26/458.86	c cleaning 10066 clauses out of 20157 with flag 311003/320067
471.00/469.56	c cleaning 10027 clauses out of 20090 with flag 321002/330066
482.31/480.80	c cleaning 9995 clauses out of 20063 with flag 331002/340066
494.83/493.33	c cleaning 9999 clauses out of 20071 with flag 341005/350069
509.95/508.47	c cleaning 10005 clauses out of 20067 with flag 351000/360064
524.78/523.29	c cleaning 9998 clauses out of 20067 with flag 361005/370069
539.32/537.75	c cleaning 9972 clauses out of 20064 with flag 371000/380064
555.05/553.45	c cleaning 10003 clauses out of 20093 with flag 381001/390065
564.29/562.70	c cleaning 9986 clauses out of 20091 with flag 391002/400066
575.21/573.55	c cleaning 9995 clauses out of 20105 with flag 401002/410066
588.12/586.48	c cleaning 10008 clauses out of 20112 with flag 411004/420068
609.44/607.71	c cleaning 9999 clauses out of 20100 with flag 421000/430064
631.98/630.21	c cleaning 9999 clauses out of 20101 with flag 431000/440064
653.21/651.50	c cleaning 10009 clauses out of 20103 with flag 441001/450065
676.66/674.86	c cleaning 10009 clauses out of 20098 with flag 451005/460069
701.29/699.49	c cleaning 9998 clauses out of 20084 with flag 461000/470064
722.05/720.18	c cleaning 9976 clauses out of 20086 with flag 471000/480064
734.69/732.70	c cleaning 9989 clauses out of 20114 with flag 481004/490068
747.51/745.58	c cleaning 9995 clauses out of 20123 with flag 491002/500066
761.24/759.21	c cleaning 9994 clauses out of 20129 with flag 501003/510067
775.96/773.96	c cleaning 9995 clauses out of 20134 with flag 511002/520066
787.58/785.58	c cleaning 10021 clauses out of 20137 with flag 521000/530064
801.50/799.40	c cleaning 10012 clauses out of 20117 with flag 531001/540065
815.92/813.84	c cleaning 10003 clauses out of 20107 with flag 541003/550067
828.35/826.28	c cleaning 10006 clauses out of 20103 with flag 551002/560066
841.57/839.40	c cleaning 10001 clauses out of 20096 with flag 561001/570065
854.39/852.24	c cleaning 9999 clauses out of 20095 with flag 571001/580065
866.01/863.81	c cleaning 10001 clauses out of 20098 with flag 581003/590067
874.23/872.09	c cleaning 10002 clauses out of 20094 with flag 591000/600064
883.56/881.36	c cleaning 10015 clauses out of 20092 with flag 601000/610064
900.08/897.88	c cleaning 9985 clauses out of 20077 with flag 611000/620064
921.51/919.25	c cleaning 9984 clauses out of 20092 with flag 621000/630064
948.46/946.19	c cleaning 10001 clauses out of 20108 with flag 631000/640064
970.41/968.01	c cleaning 9981 clauses out of 20110 with flag 641003/650067
987.24/984.85	c cleaning 10003 clauses out of 20135 with flag 651009/660073
1010.38/1007.95	c cleaning 9989 clauses out of 20128 with flag 661005/670069
1029.62/1027.18	c cleaning 10019 clauses out of 20134 with flag 671000/680064
1051.46/1048.90	c cleaning 10027 clauses out of 20119 with flag 681004/690068
1068.40/1065.80	c cleaning 9993 clauses out of 20088 with flag 691000/700064
1086.42/1083.81	c cleaning 10004 clauses out of 20099 with flag 701004/710068
1104.76/1102.13	c cleaning 10007 clauses out of 20091 with flag 711000/720064
1116.49/1113.83	c cleaning 10006 clauses out of 20087 with flag 721003/730067
1129.12/1126.47	c cleaning 10001 clauses out of 20079 with flag 731001/740065
1141.83/1139.14	c cleaning 10000 clauses out of 20082 with flag 741005/750069
1153.16/1150.47	c cleaning 9997 clauses out of 20078 with flag 751001/760065
1164.88/1162.19	c cleaning 10003 clauses out of 20083 with flag 761003/770067
1176.29/1173.52	c cleaning 9998 clauses out of 20078 with flag 771001/780065
1187.80/1185.08	c cleaning 10019 clauses out of 20081 with flag 781002/790066
1200.53/1197.76	c cleaning 10008 clauses out of 20063 with flag 791003/800067
1211.96/1209.16	c cleaning 10006 clauses out of 20052 with flag 801000/810064
1222.59/1219.73	c cleaning 10001 clauses out of 20047 with flag 811001/820065
1233.02/1230.18	c cleaning 9995 clauses out of 20045 with flag 821000/830064
1246.05/1243.11	c cleaning 10004 clauses out of 20050 with flag 831000/840064
1256.89/1253.98	c cleaning 10003 clauses out of 20048 with flag 841002/850066
1267.21/1264.25	c cleaning 9993 clauses out of 20047 with flag 851004/860068
1277.54/1274.58	c cleaning 10005 clauses out of 20050 with flag 861000/870064
1288.06/1285.08	c cleaning 9999 clauses out of 20045 with flag 871000/880064
1295.99/1292.98	c cleaning 9995 clauses out of 20047 with flag 881001/890065
1305.82/1302.71	c cleaning 9955 clauses out of 20052 with flag 891001/900065
1314.04/1310.93	c cleaning 9994 clauses out of 20096 with flag 901000/910064
1329.66/1326.53	c cleaning 9998 clauses out of 20102 with flag 911000/920064
1350.18/1347.03	c cleaning 10012 clauses out of 20104 with flag 921000/930064
1372.42/1369.20	c cleaning 10005 clauses out of 20095 with flag 931003/940067
1385.26/1382.02	c cleaning 10005 clauses out of 20090 with flag 941003/950067
1398.59/1395.37	c cleaning 10002 clauses out of 20083 with flag 951001/960065
1413.02/1409.76	c cleaning 10001 clauses out of 20082 with flag 961002/970066
1422.95/1419.62	c cleaning 10019 clauses out of 20079 with flag 971000/980064
1433.08/1429.78	c cleaning 10009 clauses out of 20060 with flag 981000/990064
1444.11/1440.80	c cleaning 10003 clauses out of 20052 with flag 991001/1000065
1456.44/1453.09	c cleaning 10008 clauses out of 20053 with flag 1001005/1010069
1465.17/1461.77	c cleaning 10004 clauses out of 20042 with flag 1011002/1020066
1472.38/1468.93	c cleaning 10001 clauses out of 20036 with flag 1021000/1030064
1480.81/1477.36	c cleaning 10001 clauses out of 20036 with flag 1031001/1040065
1489.12/1485.61	c cleaning 10003 clauses out of 20034 with flag 1041000/1050064
1497.04/1493.57	c cleaning 9999 clauses out of 20031 with flag 1051000/1060064
1505.16/1501.66	c cleaning 10004 clauses out of 20037 with flag 1061005/1070069
1512.58/1509.08	c cleaning 9998 clauses out of 20028 with flag 1071000/1080064
1526.80/1523.21	c cleaning 9990 clauses out of 20032 with flag 1081002/1090066
1546.83/1543.25	c cleaning 10004 clauses out of 20041 with flag 1091001/1100065
1565.76/1562.19	c cleaning 10001 clauses out of 20039 with flag 1101003/1110067
1596.30/1592.69	c cleaning 10000 clauses out of 20036 with flag 1111001/1120065
1623.36/1619.69	c cleaning 10000 clauses out of 20037 with flag 1121002/1130066
1642.30/1638.56	c cleaning 9968 clauses out of 20037 with flag 1131002/1140066
1662.95/1659.13	c cleaning 10013 clauses out of 20067 with flag 1141000/1150064
1687.39/1683.56	c cleaning 10008 clauses out of 20055 with flag 1151001/1160065
1712.34/1708.43	c cleaning 10002 clauses out of 20049 with flag 1161003/1170067
1732.28/1728.32	c cleaning 9964 clauses out of 20044 with flag 1171000/1180064
1748.10/1744.17	c cleaning 10006 clauses out of 20080 with flag 1181000/1190064
1760.93/1756.96	c cleaning 9972 clauses out of 20074 with flag 1191000/1200064
1774.06/1770.06	c cleaning 10011 clauses out of 20103 with flag 1201001/1210065
1800.09/1796.01	c starts		: 198
1800.09/1796.01	c conflicts		: 1219796
1800.09/1796.01	c decisions		: 3003091
1800.09/1796.01	c propagations		: 70034655
1800.09/1796.01	c inspects		: 1572090710
1800.09/1796.01	c shortcuts		: 0
1800.09/1796.01	c learnt literals	: 0
1800.09/1796.01	c learnt binary clauses	: 0
1800.09/1796.01	c learnt ternary clauses	: 0
1800.09/1796.01	c learnt constraints	: 1219796
1800.09/1796.01	c ignored constraints	: 0
1800.09/1796.01	c root simplifications	: 0
1800.09/1796.01	c removed literals (reason simplification)	: 7262071
1800.09/1796.01	c reason swapping (by a shorter reason)	: 0
1800.09/1796.01	c Calls to reduceDB	: 122
1800.09/1796.01	c number of reductions to clauses (during analyze)	: 0
1800.09/1796.01	c number of learned constraints concerned by reduction	: 0
1800.09/1796.01	c number of learning phase by resolution	: 0
1800.09/1796.01	c number of learning phase by cutting planes	: 0
1800.09/1796.01	c speed (assignments/second)	: 39141.97696462424
1800.09/1796.01	c non guided choices	606175
1800.09/1796.02	c learnt constraints type 
1800.09/1796.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19824
1800.09/1796.02	c constraints type 
1800.09/1796.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101
1800.09/1796.02	c org.sat4j.minisat.constraints.card.MinWatchCard => 67
1800.09/1796.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 34
1800.09/1796.02	s SATISFIABLE
1800.09/1796.03	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 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 
1800.09/1796.04	c objective function=1
1800.09/1796.04	c Total wall clock time (in seconds): 1795.839

Verifier Data

OK	1

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492261-1307908902/watcher-3492261-1307908902 -o /var/tmp/evaluation-result-3492261-1307908902/solver-3492261-1307908902 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492261-1307908902.wbo 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 1.09 1.47 3/176 7290
/proc/meminfo: memFree=1291288/32950928 swapFree=67048888/67111528
[pid=7290] ppid=7288 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/7290/stat : 7290 (java) S 7288 7290 4454 0 -1 4202496 1240 0 0 0 0 0 0 0 20 0 2 0 902489016 31260672 957 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/7290/statm: 7632 957 730 9 0 383 0
[pid=7290/tid=7293] ppid=7288 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7293/stat : 7293 (java) R 7288 7290 4454 0 -1 4202560 123 0 0 0 0 0 0 0 21 0 2 0 902489016 31260672 957 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268272688896 0 0 4096 0 0 0 0 -1 1 0 0 0

[startup+0.0576611 s]
/proc/loadavg: 0.92 1.09 1.47 3/176 7290
/proc/meminfo: memFree=1291288/32950928 swapFree=67048888/67111528
[pid=7290] ppid=7288 vsize=10465424 CPUtime=0.03 cores=1,3,5,7
/proc/7290/stat : 7290 (java) S 7288 7290 4454 0 -1 4202496 10928 0 46 0 2 1 0 0 20 0 11 0 902489016 10716594176 10669 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/7290/statm: 2616356 10669 1600 9 0 2607104 0
[pid=7290/tid=7293] ppid=7288 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/7290/task/7293/stat : 7293 (java) R 7288 7290 4454 0 -1 4202560 9803 0 46 0 2 0 0 0 18 0 11 0 902489016 10716594176 10671 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 46912505164395 0 4 0 16784584 0 0 0 -1 5 0 0 1
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10465424

[startup+0.100637 s]
/proc/loadavg: 0.92 1.09 1.47 3/176 7290
/proc/meminfo: memFree=1291288/32950928 swapFree=67048888/67111528
[pid=7290] ppid=7288 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/7290/stat : 7290 (java) S 7288 7290 4454 0 -1 4202496 11349 0 46 0 3 1 0 0 20 0 13 0 902489016 10718838784 11088 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284491749 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/7290/statm: 2616904 11088 1682 9 0 2607652 0
[pid=7290/tid=7293] ppid=7288 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/7290/task/7293/stat : 7293 (java) D 7288 7290 4454 0 -1 4202560 10198 0 46 0 3 1 0 0 18 0 13 0 902489016 10718838784 11088 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284515787 0 4 0 16800971 18446744071562234166 0 0 -1 5 0 0 4
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616

[startup+0.306545 s]
/proc/loadavg: 0.92 1.09 1.47 3/176 7290
/proc/meminfo: memFree=1291288/32950928 swapFree=67048888/67111528
[pid=7290] ppid=7288 vsize=10543268 CPUtime=0.31 cores=1,3,5,7
/proc/7290/stat : 7290 (java) S 7288 7290 4454 0 -1 4202496 15303 0 48 0 29 2 0 0 20 0 18 0 902489016 10796306432 14673 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7290/statm: 2635817 14673 2189 9 0 2626551 0
[pid=7290/tid=7293] ppid=7288 vsize=10543268 CPUtime=0.19 cores=1,3,5,7
/proc/7290/task/7293/stat : 7293 (java) R 7288 7290 4454 0 -1 4202560 12274 0 46 0 18 1 0 0 18 0 18 0 902489016 10796306432 14674 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 46912505563166 0 4 0 16800975 0 0 0 -1 5 0 0 8
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10543268

[startup+0.700473 s]
/proc/loadavg: 0.92 1.09 1.47 3/176 7290
/proc/meminfo: memFree=1291288/32950928 swapFree=67048888/67111528
[pid=7290] ppid=7288 vsize=10545912 CPUtime=1.26 cores=1,3,5,7
/proc/7290/stat : 7290 (java) S 7288 7290 4454 0 -1 4202496 22406 0 48 0 124 2 0 0 20 0 19 0 902489016 10799013888 20847 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7290/statm: 2636478 20848 2225 9 0 2627212 0
[pid=7290/tid=7293] ppid=7288 vsize=10545912 CPUtime=0.59 cores=1,3,5,7
/proc/7290/task/7293/stat : 7293 (java) R 7288 7290 4454 0 -1 4202560 17249 0 46 0 57 2 0 0 18 0 19 0 902489016 10799013888 20848 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 5 0 0 8
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10545912

[startup+1.50133 s]
/proc/loadavg: 0.92 1.09 1.47 4/214 7328
/proc/meminfo: memFree=1144008/32950928 swapFree=67048888/67111528
[pid=7290] ppid=7288 vsize=10545912 CPUtime=2.11 cores=1,3,5,7
/proc/7290/stat : 7290 (java) S 7288 7290 4454 0 -1 4202496 24405 0 48 0 208 3 0 0 20 0 19 0 902489016 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7290/statm: 2636478 22789 2225 9 0 2627212 0
[pid=7290/tid=7293] ppid=7288 vsize=10545912 CPUtime=1.39 cores=1,3,5,7
/proc/7290/task/7293/stat : 7293 (java) R 7288 7290 4454 0 -1 4202560 19184 0 46 0 137 2 0 0 18 0 19 0 902489016 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 46912505825406 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=7290/tid=7303] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7303/stat : 7303 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902489018 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7304] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7304/stat : 7304 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 902489018 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7305] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7305/stat : 7305 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 902489018 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7306] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7306/stat : 7306 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7307] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7307/stat : 7307 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7308] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7308/stat : 7308 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7309] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7309/stat : 7309 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7310] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7310/stat : 7310 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7312] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7312/stat : 7312 (java) S 7288 7290 4454 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 902489021 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 0 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7314] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7314/stat : 7314 (java) S 7288 7290 4454 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 902489023 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7316] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7316/stat : 7316 (java) S 7288 7290 4454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 902489023 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7317] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7317/stat : 7317 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902489029 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284512689 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7319] ppid=7288 vsize=10545912 CPUtime=0.34 cores=1,3,5,7
/proc/7290/task/7319/stat : 7319 (java) S 7288 7290 4454 0 -1 4202560 1271 0 2 0 34 0 0 0 17 0 19 0 902489029 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7321] ppid=7288 vsize=10545912 CPUtime=0.36 cores=1,3,5,7
/proc/7290/task/7321/stat : 7321 (java) S 7288 7290 4454 0 -1 4202560 2785 0 0 0 36 0 0 0 15 0 19 0 902489029 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7324] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7324/stat : 7324 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902489029 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7325] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7325/stat : 7325 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902489029 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7328] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7328/stat : 7328 (java) S 7288 7290 4454 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902489060 10799013888 22789 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 10545912

[startup+3.1011 s]
/proc/loadavg: 0.92 1.09 1.47 4/214 7328
/proc/meminfo: memFree=1132724/32950928 swapFree=67048888/67111528
[pid=7290] ppid=7288 vsize=10545912 CPUtime=3.71 cores=1,3,5,7
/proc/7290/stat : 7290 (java) S 7288 7290 4454 0 -1 4202496 26612 0 48 0 368 3 0 0 20 0 19 0 902489016 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7290/statm: 2636478 24996 2225 9 0 2627212 0
[pid=7290/tid=7293] ppid=7288 vsize=10545912 CPUtime=2.99 cores=1,3,5,7
/proc/7290/task/7293/stat : 7293 (java) R 7288 7290 4454 0 -1 4202560 21391 0 46 0 297 2 0 0 20 0 19 0 902489016 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 46912505757636 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=7290/tid=7303] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7303/stat : 7303 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902489018 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7304] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7304/stat : 7304 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 902489018 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7305] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7305/stat : 7305 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 902489018 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7306] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7306/stat : 7306 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7307] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7307/stat : 7307 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7308] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7308/stat : 7308 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7309] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7309/stat : 7309 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7310] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7310/stat : 7310 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7312] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7312/stat : 7312 (java) S 7288 7290 4454 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 902489021 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 0 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7314] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7314/stat : 7314 (java) S 7288 7290 4454 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 902489023 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7316] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7316/stat : 7316 (java) S 7288 7290 4454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 902489023 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7317] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7317/stat : 7317 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902489029 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284512689 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7319] ppid=7288 vsize=10545912 CPUtime=0.34 cores=1,3,5,7
/proc/7290/task/7319/stat : 7319 (java) S 7288 7290 4454 0 -1 4202560 1271 0 2 0 34 0 0 0 17 0 19 0 902489029 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7321] ppid=7288 vsize=10545912 CPUtime=0.36 cores=1,3,5,7
/proc/7290/task/7321/stat : 7321 (java) S 7288 7290 4454 0 -1 4202560 2785 0 0 0 36 0 0 0 15 0 19 0 902489029 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7324] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7324/stat : 7324 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902489029 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7325] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7325/stat : 7325 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902489029 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7328] ppid=7288 vsize=10545912 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7328/stat : 7328 (java) S 7288 7290 4454 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902489060 10799013888 24996 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 10545912

[startup+6.30047 s]
/proc/loadavg: 1.01 1.11 1.47 4/214 7328
/proc/meminfo: memFree=1115680/32950928 swapFree=67048888/67111528
[pid=7290] ppid=7288 vsize=10544820 CPUtime=6.95 cores=1,3,5,7
/proc/7290/stat : 7290 (java) S 7288 7290 4454 0 -1 4202496 30666 0 48 0 691 4 0 0 20 0 19 0 902489016 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7290/statm: 2636205 27954 2225 9 0 2626939 0
[pid=7290/tid=7293] ppid=7288 vsize=10544820 CPUtime=6.19 cores=1,3,5,7
/proc/7290/task/7293/stat : 7293 (java) R 7288 7290 4454 0 -1 4202560 24615 0 46 0 616 3 0 0 25 0 19 0 902489016 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 46912505768719 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=7290/tid=7303] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7303/stat : 7303 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902489018 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7304] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7304/stat : 7304 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 902489018 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7305] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7305/stat : 7305 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 902489018 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7306] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7306/stat : 7306 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7307] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7307/stat : 7307 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7308] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7308/stat : 7308 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7309] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7309/stat : 7309 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7310] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7310/stat : 7310 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902489018 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7312] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7312/stat : 7312 (java) S 7288 7290 4454 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902489021 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 0 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7314] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7314/stat : 7314 (java) S 7288 7290 4454 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 902489023 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7316] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7316/stat : 7316 (java) S 7288 7290 4454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 902489023 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7317] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7317/stat : 7317 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902489029 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284512689 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7319] ppid=7288 vsize=10544820 CPUtime=0.34 cores=1,3,5,7
/proc/7290/task/7319/stat : 7319 (java) S 7288 7290 4454 0 -1 4202560 1271 0 2 0 34 0 0 0 17 0 19 0 902489029 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7321] ppid=7288 vsize=10544820 CPUtime=0.4 cores=1,3,5,7
/proc/7290/task/7321/stat : 7321 (java) S 7288 7290 4454 0 -1 4202560 3615 0 0 0 40 0 0 0 15 0 19 0 902489029 10797895680 27954 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0

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

[pid=7290/tid=7308] ppid=7288 vsize=10544820 CPUtime=0.56 cores=1,3,5,7
/proc/7290/task/7308/stat : 7308 (java) S 7288 7290 4454 0 -1 4202560 6291 0 0 0 56 0 0 0 16 0 19 0 902489018 10797895680 118122 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7309] ppid=7288 vsize=10544820 CPUtime=0.5 cores=1,3,5,7
/proc/7290/task/7309/stat : 7309 (java) S 7288 7290 4454 0 -1 4202560 6322 0 0 0 49 1 0 0 16 0 19 0 902489018 10797895680 118122 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7310] ppid=7288 vsize=10544820 CPUtime=0.52 cores=1,3,5,7
/proc/7290/task/7310/stat : 7310 (java) S 7288 7290 4454 0 -1 4202560 8345 0 0 0 51 1 0 0 15 0 19 0 902489018 10797895680 118122 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7312] ppid=7288 vsize=10544820 CPUtime=4.78 cores=1,3,5,7
/proc/7290/task/7312/stat : 7312 (java) S 7288 7290 4454 0 -1 4202560 17364 0 0 0 476 2 0 0 15 0 19 0 902489021 10797895680 118122 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 0 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7314] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7314/stat : 7314 (java) S 7288 7290 4454 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489023 10797895680 118122 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7316] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7316/stat : 7316 (java) S 7288 7290 4454 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902489023 10797895680 118122 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7317] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7317/stat : 7317 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902489029 10797895680 118122 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284512689 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7319] ppid=7288 vsize=10544820 CPUtime=0.38 cores=1,3,5,7
/proc/7290/task/7319/stat : 7319 (java) S 7288 7290 4454 0 -1 4202560 1282 0 2 0 38 0 0 0 16 0 19 0 902489029 10797895680 118122 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7321] ppid=7288 vsize=10544820 CPUtime=0.49 cores=1,3,5,7
/proc/7290/task/7321/stat : 7321 (java) S 7288 7290 4454 0 -1 4202560 4300 0 0 0 49 0 0 0 15 0 19 0 902489029 10797895680 118122 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7324] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7324/stat : 7324 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902489029 10797895680 118122 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7325] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7325/stat : 7325 (java) S 7288 7290 4454 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 902489029 10797895680 118122 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7328] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7328/stat : 7328 (java) S 7288 7290 4454 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902489060 10797895680 118122 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1666.19
Current children cumulated vsize (KiB) 10544820

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/214 7491
/proc/meminfo: memFree=717272/32950928 swapFree=67048888/67111528
[pid=7290] ppid=7288 vsize=10544820 CPUtime=1726.28 cores=1,3,5,7
/proc/7290/stat : 7290 (java) S 7288 7290 4454 0 -1 4202496 122276 0 48 0 172609 19 0 0 20 0 19 0 902489016 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7290/statm: 2636205 118603 2254 9 0 2626939 0
[pid=7290/tid=7293] ppid=7288 vsize=10544820 CPUtime=1716.14 cores=1,3,5,7
/proc/7290/task/7293/stat : 7293 (java) R 7288 7290 4454 0 -1 4202560 40245 0 46 0 171609 5 0 0 25 0 19 0 902489016 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 46912505746324 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=7290/tid=7303] ppid=7288 vsize=10544820 CPUtime=0.6 cores=1,3,5,7
/proc/7290/task/7303/stat : 7303 (java) S 7288 7290 4454 0 -1 4202560 8994 0 0 0 59 1 0 0 16 0 19 0 902489018 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7304] ppid=7288 vsize=10544820 CPUtime=0.55 cores=1,3,5,7
/proc/7290/task/7304/stat : 7304 (java) S 7288 7290 4454 0 -1 4202560 10840 0 0 0 54 1 0 0 16 0 19 0 902489018 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7305] ppid=7288 vsize=10544820 CPUtime=0.51 cores=1,3,5,7
/proc/7290/task/7305/stat : 7305 (java) S 7288 7290 4454 0 -1 4202560 6856 0 0 0 50 1 0 0 16 0 19 0 902489018 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7306] ppid=7288 vsize=10544820 CPUtime=0.51 cores=1,3,5,7
/proc/7290/task/7306/stat : 7306 (java) S 7288 7290 4454 0 -1 4202560 6511 0 0 0 50 1 0 0 15 0 19 0 902489018 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7307] ppid=7288 vsize=10544820 CPUtime=0.47 cores=1,3,5,7
/proc/7290/task/7307/stat : 7307 (java) S 7288 7290 4454 0 -1 4202560 3233 0 0 0 47 0 0 0 15 0 19 0 902489018 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7308] ppid=7288 vsize=10544820 CPUtime=0.57 cores=1,3,5,7
/proc/7290/task/7308/stat : 7308 (java) S 7288 7290 4454 0 -1 4202560 6298 0 0 0 57 0 0 0 16 0 19 0 902489018 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7309] ppid=7288 vsize=10544820 CPUtime=0.51 cores=1,3,5,7
/proc/7290/task/7309/stat : 7309 (java) S 7288 7290 4454 0 -1 4202560 6322 0 0 0 50 1 0 0 16 0 19 0 902489018 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7310] ppid=7288 vsize=10544820 CPUtime=0.54 cores=1,3,5,7
/proc/7290/task/7310/stat : 7310 (java) S 7288 7290 4454 0 -1 4202560 8366 0 0 0 53 1 0 0 16 0 19 0 902489018 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7312] ppid=7288 vsize=10544820 CPUtime=4.88 cores=1,3,5,7
/proc/7290/task/7312/stat : 7312 (java) S 7288 7290 4454 0 -1 4202560 17775 0 0 0 486 2 0 0 15 0 19 0 902489021 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 0 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7314] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7314/stat : 7314 (java) S 7288 7290 4454 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489023 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7316] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7316/stat : 7316 (java) S 7288 7290 4454 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902489023 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7317] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7317/stat : 7317 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902489029 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284512689 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7319] ppid=7288 vsize=10544820 CPUtime=0.38 cores=1,3,5,7
/proc/7290/task/7319/stat : 7319 (java) S 7288 7290 4454 0 -1 4202560 1282 0 2 0 38 0 0 0 16 0 19 0 902489029 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7321] ppid=7288 vsize=10544820 CPUtime=0.49 cores=1,3,5,7
/proc/7290/task/7321/stat : 7321 (java) S 7288 7290 4454 0 -1 4202560 4300 0 0 0 49 0 0 0 15 0 19 0 902489029 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7324] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7324/stat : 7324 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902489029 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7325] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7325/stat : 7325 (java) S 7288 7290 4454 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902489029 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7328] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7328/stat : 7328 (java) S 7288 7290 4454 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902489060 10797895680 118603 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1726.28
Current children cumulated vsize (KiB) 10544820

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/214 7493
/proc/meminfo: memFree=716452/32950928 swapFree=67048888/67111528
[pid=7290] ppid=7288 vsize=10544820 CPUtime=1786.38 cores=1,3,5,7
/proc/7290/stat : 7290 (java) S 7288 7290 4454 0 -1 4202496 122362 0 48 0 178619 19 0 0 20 0 19 0 902489016 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7290/statm: 2636205 118679 2254 9 0 2626939 0
[pid=7290/tid=7293] ppid=7288 vsize=10544820 CPUtime=1775.91 cores=1,3,5,7
/proc/7290/task/7293/stat : 7293 (java) R 7288 7290 4454 0 -1 4202560 40249 0 46 0 177586 5 0 0 25 0 19 0 902489016 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 46912505757720 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=7290/tid=7303] ppid=7288 vsize=10544820 CPUtime=0.61 cores=1,3,5,7
/proc/7290/task/7303/stat : 7303 (java) S 7288 7290 4454 0 -1 4202560 8994 0 0 0 60 1 0 0 16 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7304] ppid=7288 vsize=10544820 CPUtime=0.57 cores=1,3,5,7
/proc/7290/task/7304/stat : 7304 (java) S 7288 7290 4454 0 -1 4202560 10840 0 0 0 56 1 0 0 16 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7305] ppid=7288 vsize=10544820 CPUtime=0.54 cores=1,3,5,7
/proc/7290/task/7305/stat : 7305 (java) S 7288 7290 4454 0 -1 4202560 6856 0 0 0 53 1 0 0 16 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7306] ppid=7288 vsize=10544820 CPUtime=0.53 cores=1,3,5,7
/proc/7290/task/7306/stat : 7306 (java) S 7288 7290 4454 0 -1 4202560 6511 0 0 0 52 1 0 0 15 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7307] ppid=7288 vsize=10544820 CPUtime=0.49 cores=1,3,5,7
/proc/7290/task/7307/stat : 7307 (java) S 7288 7290 4454 0 -1 4202560 3233 0 0 0 49 0 0 0 15 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7308] ppid=7288 vsize=10544820 CPUtime=0.59 cores=1,3,5,7
/proc/7290/task/7308/stat : 7308 (java) S 7288 7290 4454 0 -1 4202560 6298 0 0 0 59 0 0 0 16 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7309] ppid=7288 vsize=10544820 CPUtime=0.52 cores=1,3,5,7
/proc/7290/task/7309/stat : 7309 (java) S 7288 7290 4454 0 -1 4202560 6322 0 0 0 51 1 0 0 15 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7310] ppid=7288 vsize=10544820 CPUtime=0.55 cores=1,3,5,7
/proc/7290/task/7310/stat : 7310 (java) S 7288 7290 4454 0 -1 4202560 8367 0 0 0 54 1 0 0 16 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7312] ppid=7288 vsize=10544820 CPUtime=5.08 cores=1,3,5,7
/proc/7290/task/7312/stat : 7312 (java) S 7288 7290 4454 0 -1 4202560 17854 0 0 0 506 2 0 0 15 0 19 0 902489021 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 0 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7314] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7314/stat : 7314 (java) S 7288 7290 4454 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489023 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7316] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7316/stat : 7316 (java) S 7288 7290 4454 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902489023 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7317] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7317/stat : 7317 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902489029 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284512689 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7319] ppid=7288 vsize=10544820 CPUtime=0.38 cores=1,3,5,7
/proc/7290/task/7319/stat : 7319 (java) S 7288 7290 4454 0 -1 4202560 1282 0 2 0 38 0 0 0 16 0 19 0 902489029 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7321] ppid=7288 vsize=10544820 CPUtime=0.49 cores=1,3,5,7
/proc/7290/task/7321/stat : 7321 (java) S 7288 7290 4454 0 -1 4202560 4300 0 0 0 49 0 0 0 15 0 19 0 902489029 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7324] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7324/stat : 7324 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902489029 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7325] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7325/stat : 7325 (java) S 7288 7290 4454 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902489029 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7328] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7328/stat : 7328 (java) S 7288 7290 4454 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902489060 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1786.38
Current children cumulated vsize (KiB) 10544820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796 s]
/proc/loadavg: 2.00 1.97 1.88 3/214 7493
/proc/meminfo: memFree=716436/32950928 swapFree=67048888/67111528
[pid=7290] ppid=7288 vsize=10544820 CPUtime=1800.09 cores=1,3,5,7
/proc/7290/stat : 7290 (java) S 7288 7290 4454 0 -1 4202496 122364 0 48 0 179990 19 0 0 20 0 19 0 902489016 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7290/statm: 2636205 118679 2254 9 0 2626939 0
[pid=7290/tid=7293] ppid=7288 vsize=10544820 CPUtime=1789.61 cores=1,3,5,7
/proc/7290/task/7293/stat : 7293 (java) R 7288 7290 4454 0 -1 4202560 40249 0 46 0 178956 5 0 0 25 0 19 0 902489016 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 46912505730688 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=7290/tid=7303] ppid=7288 vsize=10544820 CPUtime=0.61 cores=1,3,5,7
/proc/7290/task/7303/stat : 7303 (java) S 7288 7290 4454 0 -1 4202560 8994 0 0 0 60 1 0 0 16 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7304] ppid=7288 vsize=10544820 CPUtime=0.57 cores=1,3,5,7
/proc/7290/task/7304/stat : 7304 (java) S 7288 7290 4454 0 -1 4202560 10840 0 0 0 56 1 0 0 16 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7305] ppid=7288 vsize=10544820 CPUtime=0.54 cores=1,3,5,7
/proc/7290/task/7305/stat : 7305 (java) S 7288 7290 4454 0 -1 4202560 6856 0 0 0 53 1 0 0 16 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7306] ppid=7288 vsize=10544820 CPUtime=0.53 cores=1,3,5,7
/proc/7290/task/7306/stat : 7306 (java) S 7288 7290 4454 0 -1 4202560 6511 0 0 0 52 1 0 0 15 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7307] ppid=7288 vsize=10544820 CPUtime=0.49 cores=1,3,5,7
/proc/7290/task/7307/stat : 7307 (java) S 7288 7290 4454 0 -1 4202560 3233 0 0 0 49 0 0 0 15 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7308] ppid=7288 vsize=10544820 CPUtime=0.59 cores=1,3,5,7
/proc/7290/task/7308/stat : 7308 (java) S 7288 7290 4454 0 -1 4202560 6298 0 0 0 59 0 0 0 16 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7309] ppid=7288 vsize=10544820 CPUtime=0.52 cores=1,3,5,7
/proc/7290/task/7309/stat : 7309 (java) S 7288 7290 4454 0 -1 4202560 6322 0 0 0 51 1 0 0 15 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7310] ppid=7288 vsize=10544820 CPUtime=0.55 cores=1,3,5,7
/proc/7290/task/7310/stat : 7310 (java) S 7288 7290 4454 0 -1 4202560 8367 0 0 0 54 1 0 0 16 0 19 0 902489018 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7312] ppid=7288 vsize=10544820 CPUtime=5.08 cores=1,3,5,7
/proc/7290/task/7312/stat : 7312 (java) S 7288 7290 4454 0 -1 4202560 17854 0 0 0 506 2 0 0 15 0 19 0 902489021 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 0 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7314] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7314/stat : 7314 (java) S 7288 7290 4454 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902489023 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7316] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7316/stat : 7316 (java) S 7288 7290 4454 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902489023 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7317] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7317/stat : 7317 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902489029 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284512689 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7319] ppid=7288 vsize=10544820 CPUtime=0.38 cores=1,3,5,7
/proc/7290/task/7319/stat : 7319 (java) S 7288 7290 4454 0 -1 4202560 1282 0 2 0 38 0 0 0 16 0 19 0 902489029 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 7 0 0 0
[pid=7290/tid=7321] ppid=7288 vsize=10544820 CPUtime=0.49 cores=1,3,5,7
/proc/7290/task/7321/stat : 7321 (java) S 7288 7290 4454 0 -1 4202560 4300 0 0 0 49 0 0 0 15 0 19 0 902489029 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 3 0 0 0
[pid=7290/tid=7324] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7324/stat : 7324 (java) S 7288 7290 4454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902489029 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284504985 0 4 0 16800975 18446604471137969152 0 0 -1 5 0 0 0
[pid=7290/tid=7325] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7325/stat : 7325 (java) S 7288 7290 4454 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902489029 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
[pid=7290/tid=7328] ppid=7288 vsize=10544820 CPUtime=0 cores=1,3,5,7
/proc/7290/task/7328/stat : 7328 (java) S 7288 7290 4454 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902489060 10797895680 118679 33554432000 1073741824 1073778376 140736113306080 18446744073709551615 268284505600 0 4 0 16800975 18446604471137969152 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10544820

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

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

Child status: 143
Real time (s): 1796.07
CPU time (s): 1800.22
CPU user time (s): 1800.01
CPU system time (s): 0.210967
CPU usage (%): 100.231
Max. virtual memory (cumulated for all children) (KiB): 10545912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122556
page faults= 48
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40674
involuntary context switches= 7181

runsolver used 3.00154 second user time and 6.80396 second system time

The end

Launcher Data

Begin job on node122 at 2011-06-12 22:01:42
IDJOB=3492261
IDBENCH=78713
IDSOLVER=1982
FILE ID=node122/3492261-1307908902
RUNJOBID= node122-1307908902-7264
PBS_JOBID= 13559584
Free space on /var/tmp= 2892 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492261-1307908902/watcher-3492261-1307908902 -o /var/tmp/evaluation-result-3492261-1307908902/solver-3492261-1307908902 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492261-1307908902.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d7ec3e5f8584fe7f5e0e066c760adfab
RANDOM SEED=68506544

node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1292584 kB
Buffers:         62240 kB
Cached:       30622804 kB
SwapCached:      14964 kB
Active:       15628440 kB
Inactive:     15075704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1292584 kB
SwapTotal:    67111528 kB
SwapFree:     67048888 kB
Dirty:             784 kB
Writeback:           0 kB
AnonPages:       16512 kB
Mapped:           8456 kB
Slab:           889916 kB
PageTables:       4436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186832 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2892 MiB
End job on node122 at 2011-06-12 22:31:40