Trace number 4103172

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)8377029 1800.06 1779.56

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM24310f50398f30cad58c742db29765ce
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7368522
Best CPU time to get the best result obtained on this benchmark1801
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6593540
Optimality of the best value was proved NO
Number of variables8060
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1599918681646
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1599918681646
Number of bits of the biggest sum of numbers41
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4103172-1466233460.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  objective function found
0.53/0.39	c ... done. Wall clock time 0.275s.
0.53/0.39	c declared #vars     8060
0.53/0.39	c #constraints  332
0.53/0.39	c constraints type 
0.53/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 332
0.53/0.39	c 332 constraints processed.
0.53/0.39	c objective function length is 8060 literals
1.31/0.68	c SATISFIABLE
1.31/0.68	c OPTIMIZING...
1.31/0.68	c Got one! Elapsed wall clock time (in seconds):0.568
1.31/0.68	o 14048832
1.76/0.98	c Got one! Elapsed wall clock time (in seconds):0.868
1.76/0.98	o 12379581
2.85/1.82	c cleaning 2809 clauses out of 5637 with flag 22345/5637
3.67/2.67	c Got one! Elapsed wall clock time (in seconds):2.559
3.67/2.67	o 11081162
5.10/3.81	c cleaning 4392 clauses out of 8807 with flag 5361/11616
6.91/5.67	c cleaning 5208 clauses out of 10415 with flag 28196/17616
8.94/7.67	c cleaning 6102 clauses out of 12205 with flag 50875/24614
12.20/10.88	c cleaning 7051 clauses out of 14103 with flag 76845/32614
15.36/13.92	c cleaning 8027 clauses out of 16053 with flag 107704/41615
18.41/16.97	c cleaning 9016 clauses out of 18031 with flag 146738/51620
21.24/19.70	c cleaning 9993 clauses out of 20009 with flag 180671/62614
25.10/23.51	c cleaning 11006 clauses out of 22016 with flag 224071/74614
29.37/27.77	c cleaning 12004 clauses out of 24010 with flag 268983/87614
33.51/31.83	c cleaning 12992 clauses out of 26006 with flag 315961/101614
38.72/36.95	c cleaning 14005 clauses out of 28017 with flag 365746/116617
43.87/42.01	c cleaning 14993 clauses out of 30009 with flag 420828/132614
49.08/47.12	c cleaning 16000 clauses out of 32017 with flag 488669/149615
54.62/52.54	c cleaning 17004 clauses out of 34018 with flag 557911/167616
60.06/57.93	c cleaning 18005 clauses out of 36012 with flag 629041/186614
66.58/64.35	c cleaning 18999 clauses out of 38007 with flag 700832/206614
73.93/71.57	c cleaning 19982 clauses out of 40008 with flag 776394/227614
81.27/78.72	c cleaning 21011 clauses out of 42028 with flag 859388/249616
88.74/86.09	c cleaning 22004 clauses out of 44015 with flag 950420/272614
96.47/93.69	c cleaning 22998 clauses out of 46012 with flag 1036970/296615
102.51/99.60	c cleaning 23993 clauses out of 48014 with flag 1114860/321615
109.12/106.12	c cleaning 25001 clauses out of 50020 with flag 1202778/347614
115.42/112.35	c cleaning 25998 clauses out of 52020 with flag 1290384/374615
121.70/118.56	c cleaning 27003 clauses out of 54024 with flag 1379349/402617
128.90/125.64	c cleaning 28000 clauses out of 56019 with flag 1471417/431615
138.86/135.44	c cleaning 28984 clauses out of 58018 with flag 1577502/461614
148.48/144.99	c cleaning 29996 clauses out of 60034 with flag 1692681/492614
159.15/155.47	c cleaning 31006 clauses out of 62040 with flag 1805297/524616
169.41/165.55	c cleaning 32007 clauses out of 64034 with flag 1927629/557616
177.40/173.45	c cleaning 32974 clauses out of 66027 with flag 2034267/591616
186.48/182.39	c cleaning 34020 clauses out of 68051 with flag 2151660/626614
195.74/191.49	c cleaning 34999 clauses out of 70031 with flag 2265326/662614
205.27/200.86	c cleaning 36000 clauses out of 72032 with flag 2395912/699614
214.95/210.42	c cleaning 37003 clauses out of 74032 with flag 2520916/737614
225.06/220.41	c cleaning 37989 clauses out of 76029 with flag 2655148/776614
233.66/228.96	c cleaning 39004 clauses out of 78041 with flag 2782886/816615
242.79/237.92	c cleaning 40010 clauses out of 80036 with flag 2910391/857614
254.67/249.63	c cleaning 40990 clauses out of 82026 with flag 3058037/899614
266.30/261.02	c cleaning 41982 clauses out of 84036 with flag 3205209/942614
279.75/274.30	c cleaning 43008 clauses out of 86054 with flag 3364235/986614
292.66/287.09	c cleaning 44010 clauses out of 88046 with flag 3516223/1031614
305.53/299.72	c cleaning 45005 clauses out of 90036 with flag 3671604/1077614
318.93/312.97	c cleaning 46010 clauses out of 92033 with flag 3835092/1124616
331.19/325.01	c cleaning 46996 clauses out of 94022 with flag 4008280/1172615
343.78/337.40	c cleaning 48006 clauses out of 96025 with flag 4204496/1221614
356.29/349.70	c cleaning 48999 clauses out of 98019 with flag 4390912/1271614
367.96/361.21	c cleaning 50005 clauses out of 100021 with flag 4563344/1322615
380.54/373.62	c cleaning 50998 clauses out of 102016 with flag 4743257/1374615
393.66/386.58	c cleaning 52001 clauses out of 104017 with flag 4948468/1427614
396.38/389.26	c Got one! Elapsed wall clock time (in seconds):389.143
396.38/389.26	o 11077983
397.93/390.79	c cleaning 33712 clauses out of 67467 with flag 38371/1443065
399.45/392.27	c cleaning 19847 clauses out of 39754 with flag 72817/1449064
401.06/393.87	c cleaning 13442 clauses out of 26907 with flag 116402/1456064
402.86/395.63	c cleaning 10711 clauses out of 21466 with flag 156154/1464065
404.88/397.67	c cleaning 9862 clauses out of 19761 with flag 180334/1473071
407.20/399.93	c cleaning 9922 clauses out of 19892 with flag 205124/1483064
408.84/401.56	c Got one! Elapsed wall clock time (in seconds):401.446
408.84/401.56	o 8377029
409.96/402.64	c cleaning 10874 clauses out of 21797 with flag 13778/1494891
411.06/403.74	c cleaning 8422 clauses out of 16922 with flag 29203/1500890
412.38/405.09	c cleaning 7710 clauses out of 15501 with flag 47805/1507891
413.88/406.57	c cleaning 7877 clauses out of 15791 with flag 67559/1515891
415.63/408.26	c cleaning 8445 clauses out of 16913 with flag 92590/1524890
417.86/410.48	c cleaning 9218 clauses out of 18470 with flag 129457/1534892
420.71/413.24	c cleaning 10107 clauses out of 20250 with flag 173914/1545890
424.32/416.87	c cleaning 11051 clauses out of 22146 with flag 233788/1557893
428.46/420.95	c cleaning 12031 clauses out of 24092 with flag 304338/1570890
433.20/425.64	c cleaning 13016 clauses out of 26063 with flag 380327/1584892
438.48/430.86	c cleaning 14004 clauses out of 28045 with flag 457219/1599890
444.55/436.88	c cleaning 14999 clauses out of 30041 with flag 544103/1615890
450.98/443.29	c cleaning 16000 clauses out of 32043 with flag 646057/1632891
457.43/449.64	c cleaning 17006 clauses out of 34042 with flag 736398/1650890
465.01/457.16	c cleaning 17998 clauses out of 36036 with flag 834495/1669890
473.46/465.57	c cleaning 18996 clauses out of 38039 with flag 939393/1689891
482.64/474.60	c cleaning 20001 clauses out of 40042 with flag 1052105/1710890
492.00/483.98	c cleaning 21004 clauses out of 42041 with flag 1173647/1732890
501.83/493.68	c cleaning 21995 clauses out of 44038 with flag 1296719/1755891
513.23/504.95	c cleaning 23006 clauses out of 46042 with flag 1442886/1779890
525.39/516.94	c cleaning 23999 clauses out of 48036 with flag 1586987/1804890
538.20/529.65	c cleaning 24990 clauses out of 50037 with flag 1738738/1830890
552.56/543.84	c cleaning 26002 clauses out of 52048 with flag 1905559/1857891
566.90/558.05	c cleaning 27005 clauses out of 54045 with flag 2070915/1885890
582.12/573.15	c cleaning 28003 clauses out of 56043 with flag 2245622/1914893
598.97/589.83	c cleaning 28995 clauses out of 58037 with flag 2422020/1944890
617.10/607.83	c cleaning 29997 clauses out of 60042 with flag 2612726/1975890
634.98/625.54	c cleaning 31000 clauses out of 62045 with flag 2816355/2007890
654.67/645.18	c cleaning 32002 clauses out of 64046 with flag 3028347/2040891
675.47/665.71	c cleaning 32999 clauses out of 66043 with flag 3227903/2074890
695.05/685.10	c cleaning 34001 clauses out of 68045 with flag 3466722/2109891
717.99/707.88	c cleaning 34997 clauses out of 70043 with flag 3696630/2145890
741.35/731.04	c cleaning 36003 clauses out of 72048 with flag 3934220/2182892
767.71/757.14	c cleaning 36991 clauses out of 74043 with flag 4178830/2220890
794.38/783.58	c cleaning 38006 clauses out of 76056 with flag 4438359/2259894
822.28/811.20	c cleaning 39003 clauses out of 78046 with flag 4690961/2299890
850.31/839.07	c cleaning 40006 clauses out of 80045 with flag 4954682/2340892
879.26/867.61	c cleaning 40991 clauses out of 82037 with flag 5243097/2382890
911.44/899.49	c cleaning 41995 clauses out of 84046 with flag 5548113/2425890
943.46/931.12	c cleaning 42999 clauses out of 86052 with flag 5825576/2469891
978.60/965.95	c cleaning 43996 clauses out of 88052 with flag 6091092/2514890
1014.90/1001.93	c cleaning 45001 clauses out of 90056 with flag 6388304/2560890
1054.46/1041.06	c cleaning 45993 clauses out of 92055 with flag 6682433/2607890
1095.74/1081.98	c cleaning 47002 clauses out of 94062 with flag 7003262/2655890
1137.36/1123.20	c cleaning 48005 clauses out of 96060 with flag 7297974/2704890
1180.55/1165.99	c cleaning 48999 clauses out of 98055 with flag 7619932/2754890
1226.27/1211.27	c cleaning 49998 clauses out of 100057 with flag 7920220/2805891
1276.17/1260.77	c cleaning 50999 clauses out of 102059 with flag 8243390/2857891
1328.56/1312.65	c cleaning 52000 clauses out of 104059 with flag 8564339/2910890
1388.06/1371.59	c cleaning 52998 clauses out of 106059 with flag 8880974/2964890
1447.96/1430.97	c cleaning 53992 clauses out of 108064 with flag 9262399/3019893
1512.71/1495.07	c cleaning 55008 clauses out of 110072 with flag 9658061/3075893
1577.38/1559.10	c cleaning 56005 clauses out of 112061 with flag 10062664/3132890
1643.76/1624.89	c cleaning 56992 clauses out of 114056 with flag 10449286/3190890
1710.20/1690.63	c cleaning 58001 clauses out of 116065 with flag 10847634/3249891
1785.45/1765.14	c cleaning 58996 clauses out of 118063 with flag 11277927/3309890
1800.06/1779.51	c starts		: 1951
1800.06/1779.51	c conflicts		: 3327513
1800.06/1779.51	c decisions		: 7325841
1800.06/1779.51	c propagations		: 391896736
1800.06/1779.51	c inspects		: 20178541772
1800.06/1779.51	c shortcuts		: 0
1800.06/1779.51	c learnt literals	: 0
1800.06/1779.51	c learnt binary clauses	: 0
1800.06/1779.51	c learnt ternary clauses	: 0
1800.06/1779.51	c learnt constraints	: 3327513
1800.06/1779.51	c ignored constraints	: 0
1800.06/1779.51	c root simplifications	: 0
1800.06/1779.51	c removed literals (reason simplification)	: 0
1800.06/1779.51	c reason swapping (by a shorter reason)	: 0
1800.06/1779.51	c Calls to reduceDB	: 112
1800.06/1779.51	c Number of update (reduction) of LBD	: 846681
1800.06/1779.51	c Imported unit clauses	: 0
1800.06/1779.51	c number of reductions to clauses (during analyze)	: 0
1800.06/1779.51	c number of learned constraints concerned by reduction	: 0
1800.06/1779.51	c number of learning phase by resolution	: 0
1800.06/1779.51	c number of learning phase by cutting planes	: 0
1800.06/1779.51	c speed (assignments/second)	: 220279.20775272316
1800.06/1779.51	c non guided choices	851
1800.06/1779.53	c learnt constraints type 
1800.06/1779.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 76691
1800.06/1779.53	s SATISFIABLE
1800.06/1779.53	c Found 5 solution(s)
1800.06/1779.54	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 
1800.06/1779.56	c objective function=8377029
1800.06/1779.56	c Total wall clock time (in seconds): 1779.444

Verifier Data 

OK	8377029

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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 /tmp/evaluation-result-4103172-1466233460/watcher-4103172-1466233460 -o /tmp/evaluation-result-4103172-1466233460/solver-4103172-1466233460 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466206103-11896 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103172-1466233460.opb 

pid=16146
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: 1.95 2.08 2.05 3/192 16149
/proc/meminfo: memFree=30840172/32872528 swapFree=447868/480572
[pid=16149] ppid=16146 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/16149/stat : 16149 (java) R 16146 16149 11879 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 25396108 278528 33 33554432000 1073741824 1073778376 140734071285776 140735584063512 235365559477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16149/statm: 68 33 25 9 0 25 0

[startup+0.10006 s]
/proc/loadavg: 1.95 2.08 2.05 3/192 16149
/proc/meminfo: memFree=30840172/32872528 swapFree=447868/480572
[pid=16149] ppid=16146 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16146 16149 11879 0 -1 4202496 4459 0 1 0 8 0 0 0 20 0 18 0 25396108 9787879424 5573 33554432000 1073741824 1073778376 140734071285776 140734071276912 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16149/statm: 2389619 5573 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200227 s]
/proc/loadavg: 1.95 2.08 2.05 3/192 16149
/proc/meminfo: memFree=30840172/32872528 swapFree=447868/480572
[pid=16149] ppid=16146 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16146 16149 11879 0 -1 4202496 5132 0 1 0 28 1 0 0 20 0 18 0 25396108 9787879424 6513 33554432000 1073741824 1073778376 140734071285776 140734071276912 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16149/statm: 2389619 6513 2219 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300249 s]
/proc/loadavg: 1.95 2.08 2.05 3/192 16149
/proc/meminfo: memFree=30840172/32872528 swapFree=447868/480572
[pid=16149] ppid=16146 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16146 16149 11879 0 -1 4202496 9415 0 1 0 51 2 0 0 20 0 18 0 25396108 9787879424 11053 33554432000 1073741824 1073778376 140734071285776 140734071276912 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16149/statm: 2389619 11053 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700196 s]
/proc/loadavg: 1.95 2.08 2.05 3/192 16149
/proc/meminfo: memFree=30840172/32872528 swapFree=447868/480572
[pid=16149] ppid=16146 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16146 16149 11879 0 -1 4202496 10796 0 1 0 149 2 0 0 20 0 19 0 25396108 9856040960 16243 33554432000 1073741824 1073778376 140734071285776 140734071276912 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16149/statm: 2406260 16243 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 1.95 2.08 2.05 3/211 16168
/proc/meminfo: memFree=30769940/32872528 swapFree=447868/480572
[pid=16149] ppid=16146 vsize=9625040 CPUtime=2.55 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16146 16149 11879 0 -1 4202496 10991 0 1 0 252 3 0 0 20 0 19 0 25396108 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140734071276912 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16149/statm: 2406260 23457 2261 9 0 2396937 0
[pid=16149/tid=16151] ppid=16146 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/16149/task/16151/stat : 16151 (java) R 16146 16149 11879 0 -1 4202560 2490 0 1 0 144 2 0 0 20 0 19 0 25396108 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728291257480 140728231466960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16152] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16152/stat : 16152 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728229988776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16153] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16153/stat : 16153 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728228936232 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16154] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16154/stat : 16154 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728132647080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16149/tid=16155] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16155/stat : 16155 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728131594536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16149/tid=16156] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16156/stat : 16156 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728130542504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16157] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16157/stat : 16157 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728129489960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16149/tid=16158] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16158/stat : 16158 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728128436904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16159] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16159/stat : 16159 (java) S 16146 16149 11879 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728127384360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16160] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16160/stat : 16160 (java) S 16146 16149 11879 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728115186024 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16161] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 11879 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728114132344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 11879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728113079176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728112027920 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16164] ppid=16146 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/16149/task/16164/stat : 16164 (java) S 16146 16149 11879 0 -1 4202560 2736 0 0 0 49 0 0 0 20 0 19 0 25396114 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728110975800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16165] ppid=16146 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/16149/task/16165/stat : 16165 (java) S 16146 16149 11879 0 -1 4202560 4488 0 0 0 56 0 0 0 20 0 19 0 25396114 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728109923256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16166] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16166/stat : 16166 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728108870392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16167] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16167/stat : 16167 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728107818056 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16168] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16168/stat : 16168 (java) S 16146 16149 11879 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25396150 9856040960 23457 33554432000 1073741824 1073778376 140734071285776 140728106763304 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 1.95 2.08 2.05 3/211 16168
/proc/meminfo: memFree=30731960/32872528 swapFree=447868/480572
[pid=16149] ppid=16146 vsize=9625040 CPUtime=4.33 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16146 16149 11879 0 -1 4202496 11084 0 1 0 430 3 0 0 20 0 19 0 25396108 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140734071276912 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16149/statm: 2406260 36801 2265 9 0 2396937 0
[pid=16149/tid=16151] ppid=16146 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/16149/task/16151/stat : 16151 (java) R 16146 16149 11879 0 -1 4202560 2518 0 1 0 302 2 0 0 20 0 19 0 25396108 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728291258960 140728231692643 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16152] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16152/stat : 16152 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728229988776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16153] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16153/stat : 16153 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728228936232 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16154] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16154/stat : 16154 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728132647080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16149/tid=16155] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16155/stat : 16155 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728131594536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16149/tid=16156] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16156/stat : 16156 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728130542504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16157] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16157/stat : 16157 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728129489960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16149/tid=16158] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16158/stat : 16158 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728128436904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16159] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16159/stat : 16159 (java) S 16146 16149 11879 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728127384360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16160] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16160/stat : 16160 (java) S 16146 16149 11879 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728115186024 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16161] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 11879 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728114132344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 11879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728113079176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728112027920 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16164] ppid=16146 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/16149/task/16164/stat : 16164 (java) S 16146 16149 11879 0 -1 4202560 2781 0 0 0 58 0 0 0 20 0 19 0 25396114 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728110975800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16165] ppid=16146 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/16149/task/16165/stat : 16165 (java) S 16146 16149 11879 0 -1 4202560 4508 0 0 0 67 0 0 0 20 0 19 0 25396114 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728109923256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16166] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16166/stat : 16166 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728108870392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16167] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16167/stat : 16167 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728107818056 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16168] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16168/stat : 16168 (java) S 16146 16149 11879 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25396150 9856040960 36801 33554432000 1073741824 1073778376 140734071285776 140728106763304 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 1.95 2.08 2.05 3/211 16168
/proc/meminfo: memFree=30691456/32872528 swapFree=447868/480572
[pid=16149] ppid=16146 vsize=9625040 CPUtime=7.64 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16146 16149 11879 0 -1 4202496 11195 0 1 0 755 9 0 0 20 0 19 0 25396108 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140734071276912 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16149/statm: 2406260 50428 2279 9 0 2396937 0
[pid=16149/tid=16151] ppid=16146 vsize=9625040 CPUtime=6.19 cores=1,3,5,7
/proc/16149/task/16151/stat : 16151 (java) R 16146 16149 11879 0 -1 4202560 2532 0 1 0 617 2 0 0 20 0 19 0 25396108 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728291257616 140728231692750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16152] ppid=16146 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16149/task/16152/stat : 16152 (java) S 16146 16149 11879 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 25396110 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728229988776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16149/tid=16153] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16153/stat : 16153 (java) S 16146 16149 11879 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728228936232 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16154] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16154/stat : 16154 (java) S 16146 16149 11879 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728132647080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16155] ppid=16146 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/16149/task/16155/stat : 16155 (java) S 16146 16149 11879 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 19 0 25396110 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728131594536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16156] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16156/stat : 16156 (java) S 16146 16149 11879 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728130542504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16157] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16157/stat : 16157 (java) S 16146 16149 11879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728129489960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16149/tid=16158] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16158/stat : 16158 (java) S 16146 16149 11879 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728128436904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16149/tid=16159] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16159/stat : 16159 (java) S 16146 16149 11879 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25396110 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728127384360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16160] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16160/stat : 16160 (java) S 16146 16149 11879 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728115186024 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16161] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 11879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728114132344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 11879 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728113079176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728112027920 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16164] ppid=16146 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/16149/task/16164/stat : 16164 (java) S 16146 16149 11879 0 -1 4202560 2781 0 0 0 58 0 0 0 20 0 19 0 25396114 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728110975800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16165] ppid=16146 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/16149/task/16165/stat : 16165 (java) S 16146 16149 11879 0 -1 4202560 4510 0 0 0 69 0 0 0 20 0 19 0 25396114 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728109923256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16166] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16166/stat : 16166 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728108870392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16167] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16167/stat : 16167 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728107818056 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16168] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16168/stat : 16168 (java) S 16146 16149 11879 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25396150 9856040960 50428 33554432000 1073741824 1073778376 140734071285776 140728106763304 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 9625040


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

[pid=16149/tid=16168] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16168/stat : 16168 (java) S 16146 16149 11879 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25396150 9856040960 48463 33554432000 1073741824 1073778376 140734071285776 140728106763304 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1681.64
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 4/211 16277
/proc/meminfo: memFree=30912616/32872528 swapFree=447868/480572
[pid=16149] ppid=16146 vsize=9625040 CPUtime=1742.27 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16146 16149 11879 0 -1 4202496 37471 0 1 0 174048 179 0 0 20 0 19 0 25396108 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140734071276912 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16149/statm: 2406260 46803 2288 9 0 2396937 0
[pid=16149/tid=16151] ppid=16146 vsize=9625040 CPUtime=1703.5 cores=1,3,5,7
/proc/16149/task/16151/stat : 16151 (java) R 16146 16149 11879 0 -1 4202560 3668 0 1 0 170319 31 0 0 20 0 19 0 25396108 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728291257600 140728231731710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16152] ppid=16146 vsize=9625040 CPUtime=3.57 cores=1,3,5,7
/proc/16149/task/16152/stat : 16152 (java) S 16146 16149 11879 0 -1 4202560 2129 0 0 0 342 15 0 0 20 0 19 0 25396110 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728229988776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16149/tid=16153] ppid=16146 vsize=9625040 CPUtime=3.41 cores=1,3,5,7
/proc/16149/task/16153/stat : 16153 (java) S 16146 16149 11879 0 -1 4202560 2759 0 0 0 325 16 0 0 20 0 19 0 25396110 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728228936232 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16154] ppid=16146 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/16149/task/16154/stat : 16154 (java) S 16146 16149 11879 0 -1 4202560 3721 0 0 0 345 16 0 0 20 0 19 0 25396110 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728132647080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16149/tid=16155] ppid=16146 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/16149/task/16155/stat : 16155 (java) S 16146 16149 11879 0 -1 4202560 3056 0 0 0 341 19 0 0 20 0 19 0 25396110 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728131594536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16156] ppid=16146 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/16149/task/16156/stat : 16156 (java) S 16146 16149 11879 0 -1 4202560 3431 0 0 0 343 18 0 0 20 0 19 0 25396110 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728130542504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16149/tid=16157] ppid=16146 vsize=9625040 CPUtime=3.44 cores=1,3,5,7
/proc/16149/task/16157/stat : 16157 (java) S 16146 16149 11879 0 -1 4202560 2196 0 0 0 329 15 0 0 20 0 19 0 25396110 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728129489960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16149/tid=16158] ppid=16146 vsize=9625040 CPUtime=3.37 cores=1,3,5,7
/proc/16149/task/16158/stat : 16158 (java) S 16146 16149 11879 0 -1 4202560 2416 0 0 0 320 17 0 0 20 0 19 0 25396110 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728128436904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16159] ppid=16146 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/16149/task/16159/stat : 16159 (java) S 16146 16149 11879 0 -1 4202560 4038 0 0 0 336 18 0 0 20 0 19 0 25396110 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728127384360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16149/tid=16160] ppid=16146 vsize=9625040 CPUtime=4.47 cores=1,3,5,7
/proc/16149/task/16160/stat : 16160 (java) S 16146 16149 11879 0 -1 4202560 1397 0 0 0 435 12 0 0 20 0 19 0 25396111 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728115186024 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16161] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 11879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728114132344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 11879 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728113079176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728112027920 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16164] ppid=16146 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/16149/task/16164/stat : 16164 (java) S 16146 16149 11879 0 -1 4202560 2786 0 0 0 60 0 0 0 20 0 19 0 25396114 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728110975800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16149/tid=16165] ppid=16146 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/16149/task/16165/stat : 16165 (java) S 16146 16149 11879 0 -1 4202560 4511 0 0 0 70 0 0 0 20 0 19 0 25396114 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728109923256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16166] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16166/stat : 16166 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728108870392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16167] ppid=16146 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/16149/task/16167/stat : 16167 (java) S 16146 16149 11879 0 -1 4202560 99 0 0 0 24 28 0 0 20 0 19 0 25396114 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728107818056 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16168] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16168/stat : 16168 (java) S 16146 16149 11879 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25396150 9856040960 46803 33554432000 1073741824 1073778376 140734071285776 140728106763304 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1742.27
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1779.5 s]
/proc/loadavg: 2.01 2.02 2.00 4/211 16278
/proc/meminfo: memFree=30928416/32872528 swapFree=447868/480572
[pid=16149] ppid=16146 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16146 16149 11879 0 -1 4202496 38439 0 1 0 179820 186 0 0 20 0 19 0 25396108 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140734071276912 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16149/statm: 2406260 45375 2288 9 0 2396937 0
[pid=16149/tid=16151] ppid=16146 vsize=9625040 CPUtime=1760.04 cores=1,3,5,7
/proc/16149/task/16151/stat : 16151 (java) R 16146 16149 11879 0 -1 4202560 3705 0 1 0 175971 33 0 0 20 0 19 0 25396108 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728291257632 140728231731403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16152] ppid=16146 vsize=9625040 CPUtime=3.66 cores=1,3,5,7
/proc/16149/task/16152/stat : 16152 (java) S 16146 16149 11879 0 -1 4202560 2310 0 0 0 350 16 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728229988776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16153] ppid=16146 vsize=9625040 CPUtime=3.53 cores=1,3,5,7
/proc/16149/task/16153/stat : 16153 (java) S 16146 16149 11879 0 -1 4202560 2857 0 0 0 336 17 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728228936232 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16154] ppid=16146 vsize=9625040 CPUtime=3.73 cores=1,3,5,7
/proc/16149/task/16154/stat : 16154 (java) S 16146 16149 11879 0 -1 4202560 3793 0 0 0 357 16 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728132647080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16155] ppid=16146 vsize=9625040 CPUtime=3.7 cores=1,3,5,7
/proc/16149/task/16155/stat : 16155 (java) S 16146 16149 11879 0 -1 4202560 3066 0 0 0 351 19 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728131594536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16156] ppid=16146 vsize=9625040 CPUtime=3.72 cores=1,3,5,7
/proc/16149/task/16156/stat : 16156 (java) S 16146 16149 11879 0 -1 4202560 3553 0 0 0 353 19 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728130542504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16149/tid=16157] ppid=16146 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/16149/task/16157/stat : 16157 (java) S 16146 16149 11879 0 -1 4202560 2347 0 0 0 338 16 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728129489960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16158] ppid=16146 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/16149/task/16158/stat : 16158 (java) S 16146 16149 11879 0 -1 4202560 2597 0 0 0 332 18 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728128436904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16159] ppid=16146 vsize=9625040 CPUtime=3.66 cores=1,3,5,7
/proc/16149/task/16159/stat : 16159 (java) S 16146 16149 11879 0 -1 4202560 4080 0 0 0 348 18 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728127384360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16160] ppid=16146 vsize=9625040 CPUtime=4.69 cores=1,3,5,7
/proc/16149/task/16160/stat : 16160 (java) S 16146 16149 11879 0 -1 4202560 1467 0 0 0 457 12 0 0 20 0 19 0 25396111 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728115186024 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16161] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 11879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728114132344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 11879 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728113079176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728112027920 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16164] ppid=16146 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/16149/task/16164/stat : 16164 (java) S 16146 16149 11879 0 -1 4202560 2786 0 0 0 60 0 0 0 20 0 19 0 25396114 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728110975800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16149/tid=16165] ppid=16146 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/16149/task/16165/stat : 16165 (java) S 16146 16149 11879 0 -1 4202560 4511 0 0 0 70 0 0 0 20 0 19 0 25396114 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728109923256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16166] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16166/stat : 16166 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728108870392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16167] ppid=16146 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/16149/task/16167/stat : 16167 (java) S 16146 16149 11879 0 -1 4202560 103 0 0 0 25 29 0 0 20 0 19 0 25396114 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728107818056 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16168] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16168/stat : 16168 (java) S 16146 16149 11879 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25396150 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728106763304 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16149 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1779.5 s]
/proc/loadavg: 2.01 2.02 2.00 4/211 16278
/proc/meminfo: memFree=30928416/32872528 swapFree=447868/480572
[pid=16149] ppid=16146 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16146 16149 11879 0 -1 4202496 38439 0 1 0 179820 186 0 0 20 0 19 0 25396108 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140734071276912 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16149/statm: 2406260 45375 2288 9 0 2396937 0
[pid=16149/tid=16151] ppid=16146 vsize=9625040 CPUtime=1760.04 cores=1,3,5,7
/proc/16149/task/16151/stat : 16151 (java) R 16146 16149 11879 0 -1 4202560 3705 0 1 0 175971 33 0 0 20 0 19 0 25396108 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728291257632 140728231731403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16152] ppid=16146 vsize=9625040 CPUtime=3.66 cores=1,3,5,7
/proc/16149/task/16152/stat : 16152 (java) S 16146 16149 11879 0 -1 4202560 2310 0 0 0 350 16 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728229988776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16153] ppid=16146 vsize=9625040 CPUtime=3.53 cores=1,3,5,7
/proc/16149/task/16153/stat : 16153 (java) S 16146 16149 11879 0 -1 4202560 2857 0 0 0 336 17 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728228936232 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16154] ppid=16146 vsize=9625040 CPUtime=3.73 cores=1,3,5,7
/proc/16149/task/16154/stat : 16154 (java) S 16146 16149 11879 0 -1 4202560 3793 0 0 0 357 16 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728132647080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16155] ppid=16146 vsize=9625040 CPUtime=3.7 cores=1,3,5,7
/proc/16149/task/16155/stat : 16155 (java) S 16146 16149 11879 0 -1 4202560 3066 0 0 0 351 19 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728131594536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16156] ppid=16146 vsize=9625040 CPUtime=3.72 cores=1,3,5,7
/proc/16149/task/16156/stat : 16156 (java) S 16146 16149 11879 0 -1 4202560 3553 0 0 0 353 19 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728130542504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16149/tid=16157] ppid=16146 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/16149/task/16157/stat : 16157 (java) S 16146 16149 11879 0 -1 4202560 2347 0 0 0 338 16 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728129489960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16158] ppid=16146 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/16149/task/16158/stat : 16158 (java) S 16146 16149 11879 0 -1 4202560 2597 0 0 0 332 18 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728128436904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16159] ppid=16146 vsize=9625040 CPUtime=3.66 cores=1,3,5,7
/proc/16149/task/16159/stat : 16159 (java) S 16146 16149 11879 0 -1 4202560 4080 0 0 0 348 18 0 0 20 0 19 0 25396110 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728127384360 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16160] ppid=16146 vsize=9625040 CPUtime=4.69 cores=1,3,5,7
/proc/16149/task/16160/stat : 16160 (java) S 16146 16149 11879 0 -1 4202560 1467 0 0 0 457 12 0 0 20 0 19 0 25396111 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728115186024 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16161] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16161/stat : 16161 (java) S 16146 16149 11879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728114132344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16162] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16162/stat : 16162 (java) S 16146 16149 11879 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25396111 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728113079176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16163] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16163/stat : 16163 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728112027920 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16164] ppid=16146 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/16149/task/16164/stat : 16164 (java) S 16146 16149 11879 0 -1 4202560 2786 0 0 0 60 0 0 0 20 0 19 0 25396114 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728110975800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16149/tid=16165] ppid=16146 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/16149/task/16165/stat : 16165 (java) S 16146 16149 11879 0 -1 4202560 4511 0 0 0 70 0 0 0 20 0 19 0 25396114 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728109923256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16166] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16166/stat : 16166 (java) S 16146 16149 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25396114 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728108870392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16149/tid=16167] ppid=16146 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/16149/task/16167/stat : 16167 (java) S 16146 16149 11879 0 -1 4202560 103 0 0 0 25 29 0 0 20 0 19 0 25396114 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728107818056 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16149/tid=16168] ppid=16146 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16168/stat : 16168 (java) S 16146 16149 11879 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25396150 9856040960 45375 33554432000 1073741824 1073778376 140734071285776 140728106763304 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16149 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=739310
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=269654
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1779.56
CPU time (s): 1800.06
CPU user time (s): 1798.2
CPU system time (s): 1.86
CPU usage (%): 101.152
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.74
system time used= 2.26965
maximum resident set size= 451892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38841
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72280
involuntary context switches= 85321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8815 second user time and 13.014 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-18 09:04:20
IDJOB=4103172
IDBENCH=2288
IDSOLVER=2546
FILE ID=node104/4103172-1466233460
RUNJOBID= node104-1466206103-11896
PBS_JOBID= 19918168
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103172-1466233460/watcher-4103172-1466233460 -o /tmp/evaluation-result-4103172-1466233460/solver-4103172-1466233460 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466206103-11896 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103172-1466233460.opb

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

MD5SUM BENCH= 24310f50398f30cad58c742db29765ce
RANDOM SEED=1633159994

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.035
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30840444 kB
Buffers:          111280 kB
Cached:           125280 kB
SwapCached:        40452 kB
Active:           601360 kB
Inactive:         214600 kB
Active(anon):     542048 kB
Inactive(anon):    39968 kB
Active(file):      59312 kB
Inactive(file):   174632 kB
Unevictable:      480572 kB
Mlocked:          447868 kB
SwapTotal:      67108856 kB
SwapFree:       67060428 kB
Dirty:              1252 kB
Writeback:             0 kB
AnonPages:       1021232 kB
Mapped:            15340 kB
Shmem:                 0 kB
Slab:             602524 kB
SReclaimable:      46412 kB
SUnreclaim:       556112 kB
KernelStack:        1576 kB
PageTables:         6216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1209328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    536576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node104 at 2016-06-18 09:33:59