Trace number 3454106

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 Res//CP 2.3.0SAT (TO)28 1800.45 914.609

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_027_area_delay.opb
MD5SUM1b0ac127de7b79f6251c1506cbcbe6c3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1.45178
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables8805
Total number of constraints27496
Number of constraints which are clauses27496
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 4284
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4284
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 4284
Number of bits of the biggest sum of numbers13
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.11/0.12	c Pseudo Boolean Optimization
0.11/0.12	c ManyCore solver with 2 solvers running in parallel
0.11/0.12	c --- Begin Solver configuration ---
0.11/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.12	c Learn all clauses as in MiniSAT
0.11/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.12	c Expensive reason simplification
0.11/0.12	c Armin Biere (Picosat) restarts strategy
0.11/0.12	c Glucose learned constraints deletion strategy
0.11/0.12	c timeout=2147483s
0.11/0.12	c DB Simplification allowed=false
0.11/0.12	c --- End Solver configuration ---
0.11/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.12	c --- Begin Solver configuration ---
0.11/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.12	c Learn all clauses as in MiniSAT
0.11/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.12	c No reason simplification
0.11/0.12	c Armin Biere (Picosat) restarts strategy
0.11/0.12	c Glucose learned constraints deletion strategy
0.11/0.12	c timeout=2147483s
0.11/0.12	c DB Simplification allowed=false
0.11/0.12	c --- End Solver configuration ---
0.11/0.12	c solving HOME/instance-3454106-1307193550.opb
0.11/0.12	c reading problem ... 
0.97/0.55	c ... done. Wall clock time 0.439s.
0.97/0.55	c #vars     8805
0.97/0.55	c #constraints  27496
0.97/0.55	c constraints type 
0.97/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4529
0.97/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22286
0.97/0.55	c constraints type 
0.97/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 22286
0.97/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4529
1.28/0.68	c  And the winner is CuttingPlanes
1.66/1.09	c SATISFIABLE
1.66/1.09	c OPTIMIZING...
1.66/1.09	c Got one! Elapsed wall clock time (in seconds):0.968
1.66/1.09	o 37
2.11/1.23	c  And the winner is Resolution
2.35/1.64	c Got one! Elapsed wall clock time (in seconds):1.521
2.35/1.64	o 34
2.62/1.70	c  And the winner is Resolution
2.77/2.17	c Got one! Elapsed wall clock time (in seconds):2.055
2.77/2.17	o 32
4.06/2.78	c  And the winner is Resolution
4.33/3.20	c Got one! Elapsed wall clock time (in seconds):3.081
4.33/3.20	o 30
8.73/5.32	c cleaning 2773 clauses out of 5548 with flag 4001/5548
13.81/7.86	c cleaning 4382 clauses out of 8774 with flag 10000/11547
20.25/11.09	c cleaning 5695 clauses out of 11393 with flag 17001/18548
27.22/14.54	c cleaning 6845 clauses out of 13697 with flag 25000/26547
35.41/18.68	c cleaning 7924 clauses out of 15853 with flag 34001/35548
40.16/21.01	c  And the winner is Resolution
40.26/21.29	c Got one! Elapsed wall clock time (in seconds):21.174
40.26/21.29	o 29
43.50/22.96	c cleaning 9232 clauses out of 18473 with flag 5000/46092
48.85/25.65	c cleaning 7615 clauses out of 15241 with flag 11000/52092
54.66/28.56	c cleaning 7305 clauses out of 14626 with flag 18000/59092
62.21/32.37	c cleaning 7654 clauses out of 15321 with flag 26000/67092
70.18/36.35	c cleaning 8323 clauses out of 16667 with flag 35000/76092
78.28/40.43	c cleaning 9165 clauses out of 18345 with flag 45001/86093
87.21/44.92	c cleaning 10082 clauses out of 20180 with flag 56001/97093
95.90/49.41	c cleaning 11040 clauses out of 22097 with flag 68000/109092
106.62/54.75	c cleaning 12018 clauses out of 24057 with flag 81000/122092
117.13/60.09	c cleaning 13014 clauses out of 26039 with flag 95000/136092
129.86/66.41	c cleaning 14005 clauses out of 28025 with flag 110000/151092
145.34/74.26	c cleaning 15006 clauses out of 30020 with flag 126000/167092
160.26/81.77	c cleaning 16001 clauses out of 32014 with flag 143000/184092
174.78/89.07	c cleaning 16998 clauses out of 34014 with flag 161001/202093
189.28/96.37	c cleaning 18002 clauses out of 36017 with flag 180002/221094
207.13/105.32	c cleaning 18999 clauses out of 38013 with flag 200000/241092
225.62/114.65	c cleaning 20006 clauses out of 40014 with flag 221000/262092
244.10/123.90	c cleaning 21001 clauses out of 42009 with flag 243001/284093
262.76/133.35	c cleaning 21994 clauses out of 44007 with flag 266000/307092
284.96/144.51	c cleaning 22996 clauses out of 46013 with flag 290000/331092
308.43/156.32	c cleaning 24003 clauses out of 48017 with flag 315000/356092
331.87/168.21	c cleaning 24992 clauses out of 50014 with flag 341000/382092
352.72/178.67	c  And the winner is Resolution
353.19/179.06	c Got one! Elapsed wall clock time (in seconds):178.944
353.19/179.06	o 28
356.49/180.77	c cleaning 26867 clauses out of 53747 with flag 5000/410817
361.62/183.43	c cleaning 16432 clauses out of 32880 with flag 11000/416817
367.44/186.42	c cleaning 11718 clauses out of 23448 with flag 18000/423817
373.86/189.80	c cleaning 9856 clauses out of 19730 with flag 26000/431817
381.67/193.75	c cleaning 9427 clauses out of 18875 with flag 35001/440818
389.19/197.66	c cleaning 9717 clauses out of 19447 with flag 45000/450817
399.01/202.63	c cleaning 10359 clauses out of 20732 with flag 56002/461819
408.82/207.70	c cleaning 11179 clauses out of 22372 with flag 68001/473818
420.42/213.51	c cleaning 12081 clauses out of 24192 with flag 81000/486817
432.73/219.84	c cleaning 13048 clauses out of 26112 with flag 95001/500818
446.73/226.97	c cleaning 14023 clauses out of 28064 with flag 110001/515818
459.33/233.40	c cleaning 15014 clauses out of 30041 with flag 126001/531818
472.94/240.21	c cleaning 16004 clauses out of 32026 with flag 143000/548817
487.04/247.52	c cleaning 16996 clauses out of 34022 with flag 161000/566817
502.03/255.02	c cleaning 18004 clauses out of 36030 with flag 180004/585821
519.42/263.85	c cleaning 19006 clauses out of 38023 with flag 200001/605818
537.42/272.90	c cleaning 19995 clauses out of 40016 with flag 221000/626817
555.90/282.38	c cleaning 21004 clauses out of 42021 with flag 243000/648817
575.09/292.02	c cleaning 22000 clauses out of 44018 with flag 266001/671818
594.46/301.81	c cleaning 23004 clauses out of 46017 with flag 290000/695817
614.43/311.91	c cleaning 23997 clauses out of 48014 with flag 315001/720818
635.48/322.67	c cleaning 25000 clauses out of 50017 with flag 341001/746818
659.03/334.56	c cleaning 25999 clauses out of 52016 with flag 368000/773817
681.78/346.01	c cleaning 26500 clauses out of 53017 with flag 395000/800817
703.92/357.27	c cleaning 26754 clauses out of 53521 with flag 422004/827821
726.51/368.78	c cleaning 26873 clauses out of 53763 with flag 449000/854817
748.42/379.87	c cleaning 26937 clauses out of 53890 with flag 476000/881817
770.77/391.16	c cleaning 26970 clauses out of 53954 with flag 503001/908818
793.55/402.70	c cleaning 26985 clauses out of 53984 with flag 530001/935818
817.08/414.68	c cleaning 26996 clauses out of 54001 with flag 557003/962820
840.81/426.69	c cleaning 26989 clauses out of 54002 with flag 584000/989817
867.38/440.06	c cleaning 26995 clauses out of 54014 with flag 611001/1016818
890.87/451.99	c cleaning 27000 clauses out of 54020 with flag 638002/1043819
915.45/464.46	c cleaning 27000 clauses out of 54018 with flag 665000/1070817
937.58/475.66	c cleaning 27000 clauses out of 54018 with flag 692000/1097817
957.30/485.65	c cleaning 27005 clauses out of 54020 with flag 719002/1124819
980.81/497.50	c cleaning 26999 clauses out of 54013 with flag 746000/1151817
1003.58/509.10	c cleaning 26999 clauses out of 54014 with flag 773000/1178817
1026.30/520.62	c cleaning 27003 clauses out of 54015 with flag 800000/1205817
1049.80/532.58	c cleaning 26998 clauses out of 54013 with flag 827001/1232818
1072.91/544.22	c cleaning 26996 clauses out of 54014 with flag 854000/1259817
1096.84/556.51	c cleaning 27002 clauses out of 54020 with flag 881002/1286819
1120.94/568.64	c cleaning 27000 clauses out of 54017 with flag 908001/1313818
1144.23/580.49	c cleaning 26999 clauses out of 54018 with flag 935002/1340819
1167.50/592.22	c cleaning 27002 clauses out of 54017 with flag 962000/1367817
1190.78/604.11	c cleaning 26990 clauses out of 54015 with flag 989000/1394817
1213.63/615.77	c cleaning 27008 clauses out of 54027 with flag 1016002/1421819
1237.27/627.71	c cleaning 26996 clauses out of 54018 with flag 1043001/1448818
1260.52/639.54	c cleaning 27005 clauses out of 54021 with flag 1070000/1475817
1285.62/652.37	c cleaning 26999 clauses out of 54016 with flag 1097000/1502817
1311.43/665.51	c cleaning 27002 clauses out of 54017 with flag 1124000/1529817
1337.70/678.73	c cleaning 26998 clauses out of 54018 with flag 1151003/1556820
1362.29/691.29	c cleaning 26992 clauses out of 54017 with flag 1178000/1583817
1386.93/703.84	c cleaning 27007 clauses out of 54026 with flag 1205001/1610818
1410.14/715.60	c cleaning 27001 clauses out of 54018 with flag 1232000/1637817
1431.55/726.58	c cleaning 27002 clauses out of 54018 with flag 1259001/1664818
1454.58/738.21	c cleaning 26998 clauses out of 54015 with flag 1286000/1691817
1477.40/749.97	c cleaning 27000 clauses out of 54017 with flag 1313000/1718817
1501.42/762.13	c cleaning 26997 clauses out of 54017 with flag 1340000/1745817
1524.62/773.96	c cleaning 26999 clauses out of 54020 with flag 1367000/1772817
1552.83/788.26	c cleaning 26992 clauses out of 54021 with flag 1394000/1799817
1579.06/801.68	c cleaning 26993 clauses out of 54029 with flag 1421000/1826817
1604.26/814.47	c cleaning 27006 clauses out of 54036 with flag 1448000/1853817
1629.27/827.18	c cleaning 27010 clauses out of 54030 with flag 1475000/1880817
1653.84/839.64	c cleaning 27004 clauses out of 54020 with flag 1502000/1907817
1680.20/853.18	c cleaning 27004 clauses out of 54016 with flag 1529000/1934817
1706.54/866.52	c cleaning 26994 clauses out of 54012 with flag 1556000/1961817
1732.32/879.62	c cleaning 26995 clauses out of 54018 with flag 1583000/1988817
1755.61/891.58	c cleaning 27005 clauses out of 54026 with flag 1610003/2015820
1780.42/904.37	c cleaning 27004 clauses out of 54018 with flag 1637000/2042817
1800.10/914.42	c starts		: 231
1800.10/914.42	c conflicts		: 2066248
1800.10/914.42	c decisions		: 8293131
1800.10/914.42	c propagations		: 3742684912
1800.10/914.42	c inspects		: 4099588380
1800.10/914.42	c shortcuts		: 0
1800.10/914.42	c learnt literals	: 0
1800.10/914.42	c learnt binary clauses	: 0
1800.10/914.42	c learnt ternary clauses	: 2
1800.10/914.42	c learnt constraints	: 2066248
1800.10/914.42	c ignored constraints	: 0
1800.10/914.42	c root simplifications	: 0
1800.10/914.42	c removed literals (reason simplification)	: 2517562
1800.10/914.42	c reason swapping (by a shorter reason)	: 0
1800.10/914.42	c Calls to reduceDB	: 97
1800.10/914.42	c number of reductions to clauses (during analyze)	: 0
1800.10/914.42	c number of learned constraints concerned by reduction	: 0
1800.10/914.42	c number of learning phase by resolution	: 0
1800.10/914.42	c number of learning phase by cutting planes	: 0
1800.10/914.42	c speed (assignments/second)	: 5089591.557071969
1800.10/914.42	c non guided choices	27992
1800.10/914.45	c learnt constraints type 
1800.10/914.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 50495
1800.10/914.45	c constraints type 
1800.10/914.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4529
1800.10/914.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/914.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22286
1800.10/914.45	c constraints type 
1800.10/914.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 22286
1800.10/914.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4529
1800.10/914.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.10/914.45	s SATISFIABLE
1800.10/914.46	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 x249 x250 -x251 -x252 -x253 x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 x3908 x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 x4598 x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 x5135 x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 x5243 x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 x5613 x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 x6383 x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 x6632 x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 x6823 x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 x7825 x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 x8059 x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 x8191 x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 x8333 x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 x8393 x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 x8578 x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 x8592 x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 x8676 x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 x8684 x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 x8740 x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 x8748 x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 x8770 x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 x8780 x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 x8798 x8799 -x8800 -x8801 x8802 x8803 -x8804 -x8805 
1800.10/914.47	c objective function=28
1800.10/914.47	c Total wall clock time (in seconds): 914.351

Verifier Data 

OK	28

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3454106-1307193550/watcher-3454106-1307193550 -o /tmp/evaluation-result-3454106-1307193550/solver-3454106-1307193550 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454106-1307193550.opb 

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.98 2.98 3.53 2/547 1855
/proc/meminfo: memFree=21129476/32951124 swapFree=53733252/67111528
[pid=1855] ppid=1853 vsize=2464 CPUtime=0 cores=1,3,5,7
/proc/1855/stat : 1855 (java) R 1853 1855 29102 0 -1 4194304 275 0 0 0 0 0 0 0 23 0 1 0 830955442 2523136 40 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253635940035 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1855/statm: 616 44 35 9 0 27 0
[pid=1855/tid=1856] ppid=1853 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1856/stat : 1856 (java) R 1853 1855 29102 0 -1 4202560 6247 0 1 0 0 0 0 0 24 0 2 0 830955442 10694979584 7063 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.030197 s]
/proc/loadavg: 1.98 2.98 3.53 2/547 1855
/proc/meminfo: memFree=21129476/32951124 swapFree=53733252/67111528
[pid=1855] ppid=1853 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 10669 0 1 0 1 1 0 0 23 0 10 0 830955442 10705932288 10369 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/1855/statm: 2613753 10372 1512 9 0 2604501 0
[pid=1855/tid=1856] ppid=1853 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/1855/task/1856/stat : 1856 (java) R 1853 1855 29102 0 -1 4202560 9551 0 1 0 1 1 0 0 25 0 10 0 830955442 10705932288 10373 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 47916098434584 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012

[startup+0.10421 s]
/proc/loadavg: 1.98 2.98 3.53 2/547 1855
/proc/meminfo: memFree=21129476/32951124 swapFree=53733252/67111528
[pid=1855] ppid=1853 vsize=10540288 CPUtime=0.11 cores=1,3,5,7
/proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 13039 0 1 0 9 2 0 0 23 0 18 0 830955442 10793254912 12697 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1855/statm: 2635072 12697 2092 9 0 2625806 0
[pid=1855/tid=1856] ppid=1853 vsize=10540288 CPUtime=0.08 cores=1,3,5,7
/proc/1855/task/1856/stat : 1856 (java) R 1853 1855 29102 0 -1 4202560 11113 0 1 0 7 1 0 0 22 0 18 0 830955442 10793254912 12697 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 47916096279232 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540288

[startup+0.301145 s]
/proc/loadavg: 1.98 2.98 3.53 2/547 1855
/proc/meminfo: memFree=21129476/32951124 swapFree=53733252/67111528
[pid=1855] ppid=1853 vsize=10543736 CPUtime=0.51 cores=1,3,5,7
/proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 16988 0 1 0 48 3 0 0 23 0 18 0 830955442 10796785664 16033 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1855/statm: 2635934 16036 2201 9 0 2626668 0
[pid=1855/tid=1856] ppid=1853 vsize=10543736 CPUtime=0.28 cores=1,3,5,7
/proc/1855/task/1856/stat : 1856 (java) R 1853 1855 29102 0 -1 4202560 13349 0 1 0 26 2 0 0 22 0 18 0 830955442 10796785664 16037 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912505542555 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10543736

[startup+0.701077 s]
/proc/loadavg: 1.98 2.98 3.53 2/547 1855
/proc/meminfo: memFree=21129476/32951124 swapFree=53733252/67111528
[pid=1855] ppid=1853 vsize=10551620 CPUtime=1.64 cores=1,3,5,7
/proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 37399 0 1 0 159 5 0 0 23 0 19 0 830955442 10804858880 33118 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1855/statm: 2637905 33118 2235 9 0 2628639 0
[pid=1855/tid=1856] ppid=1853 vsize=10551620 CPUtime=0.54 cores=1,3,5,7
/proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 28316 0 1 0 50 4 0 0 19 0 19 0 830955442 10804858880 33118 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10551620

[startup+1.50096 s]
/proc/loadavg: 1.98 2.98 3.53 2/586 1900
/proc/meminfo: memFree=20729820/32951124 swapFree=53733252/67111528
[pid=1855] ppid=1853 vsize=10551124 CPUtime=2.35 cores=1,3,5,7
/proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 39617 0 1 0 229 6 0 0 23 0 19 0 830955442 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1855/statm: 2637781 34040 2239 9 0 2628515 0
[pid=1855/tid=1856] ppid=1853 vsize=10551124 CPUtime=0.59 cores=1,3,5,7
/proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 28747 0 1 0 55 4 0 0 17 0 19 0 830955442 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1858] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1858/stat : 1858 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1859] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1859/stat : 1859 (java) S 1853 1855 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1860] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1860/stat : 1860 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1861] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1861/stat : 1861 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1862] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1862/stat : 1862 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1863] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1863/stat : 1863 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1864] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1864/stat : 1864 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1865] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1865/stat : 1865 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1866] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1866/stat : 1866 (java) S 1853 1855 29102 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 830955445 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1867] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1867/stat : 1867 (java) S 1853 1855 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830955446 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1868] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1868/stat : 1868 (java) S 1853 1855 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830955446 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1869] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1869/stat : 1869 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830955448 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1870] ppid=1853 vsize=10551124 CPUtime=0.58 cores=1,3,5,7
/proc/1855/task/1870/stat : 1870 (java) S 1853 1855 29102 0 -1 4202560 5778 0 0 0 57 1 0 0 15 0 19 0 830955448 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1871] ppid=1853 vsize=10551124 CPUtime=0.56 cores=1,3,5,7
/proc/1855/task/1871/stat : 1871 (java) S 1853 1855 29102 0 -1 4202560 2966 0 0 0 56 0 0 0 15 0 19 0 830955448 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1872] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1872/stat : 1872 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830955448 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1873] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1873/stat : 1873 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830955448 10804350976 34040 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 10551124

[startup+3.10064 s]
/proc/loadavg: 2.22 3.02 3.53 1/587 1914
/proc/meminfo: memFree=20557080/32951124 swapFree=53733252/67111528
[pid=1855] ppid=1853 vsize=10551124 CPUtime=4.33 cores=1,3,5,7
/proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 42779 0 1 0 427 6 0 0 23 0 19 0 830955442 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1855/statm: 2637781 37199 2243 9 0 2628515 0
[pid=1855/tid=1856] ppid=1853 vsize=10551124 CPUtime=0.64 cores=1,3,5,7
/proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 29539 0 1 0 60 4 0 0 15 0 19 0 830955442 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1858] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1858/stat : 1858 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1859] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1859/stat : 1859 (java) S 1853 1855 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1860] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1860/stat : 1860 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1861] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1861/stat : 1861 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1862] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1862/stat : 1862 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1863] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1863/stat : 1863 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1864] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1864/stat : 1864 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1865] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1865/stat : 1865 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830955444 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1866] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1866/stat : 1866 (java) S 1853 1855 29102 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 830955445 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1867] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1867/stat : 1867 (java) S 1853 1855 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830955446 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1868] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1868/stat : 1868 (java) S 1853 1855 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830955446 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1869] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1869/stat : 1869 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830955448 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1870] ppid=1853 vsize=10551124 CPUtime=0.76 cores=1,3,5,7
/proc/1855/task/1870/stat : 1870 (java) S 1853 1855 29102 0 -1 4202560 5798 0 0 0 75 1 0 0 15 0 19 0 830955448 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1871] ppid=1853 vsize=10551124 CPUtime=0.79 cores=1,3,5,7
/proc/1855/task/1871/stat : 1871 (java) S 1853 1855 29102 0 -1 4202560 3001 0 0 0 79 0 0 0 15 0 19 0 830955448 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1872] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1872/stat : 1872 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830955448 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1873] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1873/stat : 1873 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830955448 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1903] ppid=1853 vsize=10551124 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1903/stat : 1903 (java) S 1853 1855 29102 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 830955554 10804350976 37199 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10551124

[startup+6.30106 s]
/proc/loadavg: 2.22 3.02 3.53 5/593 1929
/proc/meminfo: memFree=20045736/32951124 swapFree=53733252/67111528
[pid=1855] ppid=1853 vsize=10549596 CPUtime=10.72 cores=1,3,5,7
/proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 267988 0 1 0 1041 31 0 0 23 0 22 0 830955442 10802786304 261796 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1855/statm: 2637399 261801 2268 9 0 2628133 0
[pid=1855/tid=1856] ppid=1853 vsize=10549596 CPUtime=0.66 cores=1,3,5,7
/proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 29935 0 1 0 62 4 0 0 15 0 22 0 830955442 10802786304 261806 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1858] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1858/stat : 1858 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830955444 10802786304 261813 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1859] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1859/stat : 1859 (java) S 1853 1855 29102 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 830955444 10802786304 261820 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1860] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1860/stat : 1860 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830955444 10802786304 261827 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1861] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1861/stat : 1861 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830955444 10802786304 261834 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1862] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1862/stat : 1862 (java) S 1853 1855 29102 0 -1 4202560 597 0 0 0 0 0 0 0 18 0 22 0 830955444 10802786304 261840 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1863] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1863/stat : 1863 (java) S 1853 1855 29102 0 -1 4202560 758 0 0 0 0 0 0 0 18 0 22 0 830955444 10802786304 261842 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1864] ppid=1853 vsize=10549596 CPUtime=0.01 cores=1,3,5,7
/proc/1855/task/1864/stat : 1864 (java) S 1853 1855 29102 0 -1 4202560 709 0 0 0 1 0 0 0 18 0 22 0 830955444 10802786304 261842 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1865] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1865/stat : 1865 (java) S 1853 1855 29102 0 -1 4202560 858 0 0 0 0 0 0 0 18 0 22 0 830955444 10802786304 261842 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1866] ppid=1853 vsize=10549596 CPUtime=0.04 cores=1,3,5,7
/proc/1855/task/1866/stat : 1866 (java) S 1853 1855 29102 0 -1 4202560 3445 0 0 0 4 0 0 0 15 0 22 0 830955445 10802786304 261847 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1867] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1867/stat : 1867 (java) S 1853 1855 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830955446 10802786304 261853 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1868] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1868/stat : 1868 (java) S 1853 1855 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830955446 10802786304 261860 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1869] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1869/stat : 1869 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830955448 10802786304 261867 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1870] ppid=1853 vsize=10549596 CPUtime=0.88 cores=1,3,5,7
/proc/1855/task/1870/stat : 1870 (java) S 1853 1855 29102 0 -1 4202560 6033 0 0 0 87 1 0 0 15 0 22 0 830955448 10802786304 261874 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1871] ppid=1853 vsize=10549596 CPUtime=0.9 cores=1,3,5,7
/proc/1855/task/1871/stat : 1871 (java) S 1853 1855 29102 0 -1 4202560 3011 0 0 0 90 0 0 0 15 0 22 0 830955448 10802786304 261881 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1872] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1872/stat : 1872 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830955448 10802786304 261887 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0

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

[startup+822.301 s]
/proc/loadavg: 3.99 3.93 3.78 5/593 1971
/proc/meminfo: memFree=13558584/32951124 swapFree=53733252/67111528
[pid=1855] ppid=1853 vsize=10549596 CPUtime=1619.66 cores=1,3,5,7
/proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 948336 0 1 0 161858 108 0 0 23 0 22 0 830955442 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1855/statm: 2637399 939723 2270 9 0 2628133 0
[pid=1855/tid=1856] ppid=1853 vsize=10549596 CPUtime=0.7 cores=1,3,5,7
/proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 29981 0 1 0 66 4 0 0 15 0 22 0 830955442 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1858] ppid=1853 vsize=10549596 CPUtime=0.7 cores=1,3,5,7
/proc/1855/task/1858/stat : 1858 (java) S 1853 1855 29102 0 -1 4202560 8337 0 0 0 69 1 0 0 16 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1859] ppid=1853 vsize=10549596 CPUtime=0.6 cores=1,3,5,7
/proc/1855/task/1859/stat : 1859 (java) S 1853 1855 29102 0 -1 4202560 4466 0 0 0 59 1 0 0 16 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1860] ppid=1853 vsize=10549596 CPUtime=0.6 cores=1,3,5,7
/proc/1855/task/1860/stat : 1860 (java) S 1853 1855 29102 0 -1 4202560 6571 0 0 0 59 1 0 0 15 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1861] ppid=1853 vsize=10549596 CPUtime=0.53 cores=1,3,5,7
/proc/1855/task/1861/stat : 1861 (java) S 1853 1855 29102 0 -1 4202560 5594 0 0 0 52 1 0 0 16 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1862] ppid=1853 vsize=10549596 CPUtime=0.68 cores=1,3,5,7
/proc/1855/task/1862/stat : 1862 (java) S 1853 1855 29102 0 -1 4202560 8348 0 0 0 67 1 0 0 15 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1863] ppid=1853 vsize=10549596 CPUtime=0.65 cores=1,3,5,7
/proc/1855/task/1863/stat : 1863 (java) S 1853 1855 29102 0 -1 4202560 8009 0 0 0 64 1 0 0 16 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1864] ppid=1853 vsize=10549596 CPUtime=0.67 cores=1,3,5,7
/proc/1855/task/1864/stat : 1864 (java) S 1853 1855 29102 0 -1 4202560 8004 0 0 0 66 1 0 0 15 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1865] ppid=1853 vsize=10549596 CPUtime=0.65 cores=1,3,5,7
/proc/1855/task/1865/stat : 1865 (java) S 1853 1855 29102 0 -1 4202560 9188 0 0 0 64 1 0 0 16 0 22 0 830955444 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1866] ppid=1853 vsize=10549596 CPUtime=24.25 cores=1,3,5,7
/proc/1855/task/1866/stat : 1866 (java) S 1853 1855 29102 0 -1 4202560 29251 0 0 0 2421 4 0 0 15 0 22 0 830955445 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1867] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1867/stat : 1867 (java) S 1853 1855 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830955446 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1868] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1868/stat : 1868 (java) S 1853 1855 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830955446 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1869] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1869/stat : 1869 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830955448 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1870] ppid=1853 vsize=10549596 CPUtime=1.05 cores=1,3,5,7
/proc/1855/task/1870/stat : 1870 (java) S 1853 1855 29102 0 -1 4202560 6546 0 0 0 104 1 0 0 15 0 22 0 830955448 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1871] ppid=1853 vsize=10549596 CPUtime=1.14 cores=1,3,5,7
/proc/1855/task/1871/stat : 1871 (java) S 1853 1855 29102 0 -1 4202560 3035 0 0 0 114 0 0 0 15 0 22 0 830955448 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1872] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1872/stat : 1872 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830955448 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1873] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1873/stat : 1873 (java) S 1853 1855 29102 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830955448 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1903] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1903/stat : 1903 (java) S 1853 1855 29102 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830955554 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1946] ppid=1853 vsize=10549596 CPUtime=620.29 cores=1,3,5,7
/proc/1855/task/1946/stat : 1946 (java) R 1853 1855 29102 0 -1 4202560 72 0 0 0 62029 0 0 0 25 0 22 0 830973349 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912506101225 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1855/tid=1947] ppid=1853 vsize=10549596 CPUtime=620.28 cores=1,3,5,7
/proc/1855/task/1947/stat : 1947 (java) R 1853 1855 29102 0 -1 4202560 55 0 0 0 62028 0 0 0 25 0 22 0 830973349 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912506082372 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1855/tid=1948] ppid=1853 vsize=10549596 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1948/stat : 1948 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830973354 10802786304 939723 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1619.66
Current children cumulated vsize (KiB) 10549596

[startup+882.301 s]
/proc/loadavg: 3.99 3.94 3.79 5/593 1973
/proc/meminfo: memFree=13483916/32951124 swapFree=53733252/67111528
[pid=1855] ppid=1853 vsize=10549824 CPUtime=1737.2 cores=1,3,5,7
/proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 962503 0 1 0 173610 110 0 0 23 0 22 0 830955442 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1855/statm: 2637456 953728 2270 9 0 2628190 0
[pid=1855/tid=1856] ppid=1853 vsize=10549824 CPUtime=0.7 cores=1,3,5,7
/proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 29985 0 1 0 66 4 0 0 15 0 22 0 830955442 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1858] ppid=1853 vsize=10549824 CPUtime=0.77 cores=1,3,5,7
/proc/1855/task/1858/stat : 1858 (java) S 1853 1855 29102 0 -1 4202560 8698 0 0 0 76 1 0 0 16 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1859] ppid=1853 vsize=10549824 CPUtime=0.65 cores=1,3,5,7
/proc/1855/task/1859/stat : 1859 (java) S 1853 1855 29102 0 -1 4202560 5704 0 0 0 64 1 0 0 15 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1860] ppid=1853 vsize=10549824 CPUtime=0.65 cores=1,3,5,7
/proc/1855/task/1860/stat : 1860 (java) S 1853 1855 29102 0 -1 4202560 7013 0 0 0 64 1 0 0 16 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1861] ppid=1853 vsize=10549824 CPUtime=0.57 cores=1,3,5,7
/proc/1855/task/1861/stat : 1861 (java) S 1853 1855 29102 0 -1 4202560 6629 0 0 0 56 1 0 0 15 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1862] ppid=1853 vsize=10549824 CPUtime=0.75 cores=1,3,5,7
/proc/1855/task/1862/stat : 1862 (java) S 1853 1855 29102 0 -1 4202560 9418 0 0 0 74 1 0 0 16 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1863] ppid=1853 vsize=10549824 CPUtime=0.68 cores=1,3,5,7
/proc/1855/task/1863/stat : 1863 (java) S 1853 1855 29102 0 -1 4202560 8011 0 0 0 67 1 0 0 16 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1864] ppid=1853 vsize=10549824 CPUtime=0.73 cores=1,3,5,7
/proc/1855/task/1864/stat : 1864 (java) S 1853 1855 29102 0 -1 4202560 8086 0 0 0 72 1 0 0 16 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1865] ppid=1853 vsize=10549824 CPUtime=0.69 cores=1,3,5,7
/proc/1855/task/1865/stat : 1865 (java) S 1853 1855 29102 0 -1 4202560 10555 0 0 0 68 1 0 0 15 0 22 0 830955444 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1866] ppid=1853 vsize=10549824 CPUtime=26.96 cores=1,3,5,7
/proc/1855/task/1866/stat : 1866 (java) S 1853 1855 29102 0 -1 4202560 37780 0 0 0 2691 5 0 0 15 0 22 0 830955445 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1867] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1867/stat : 1867 (java) S 1853 1855 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830955446 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1868] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1868/stat : 1868 (java) S 1853 1855 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830955446 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1869] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1869/stat : 1869 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830955448 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1870] ppid=1853 vsize=10549824 CPUtime=1.05 cores=1,3,5,7
/proc/1855/task/1870/stat : 1870 (java) S 1853 1855 29102 0 -1 4202560 6546 0 0 0 104 1 0 0 15 0 22 0 830955448 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1871] ppid=1853 vsize=10549824 CPUtime=1.22 cores=1,3,5,7
/proc/1855/task/1871/stat : 1871 (java) S 1853 1855 29102 0 -1 4202560 3063 0 0 0 122 0 0 0 15 0 22 0 830955448 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1872] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1872/stat : 1872 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830955448 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1873] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1873/stat : 1873 (java) S 1853 1855 29102 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830955448 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1903] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1903/stat : 1903 (java) S 1853 1855 29102 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830955554 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1946] ppid=1853 vsize=10549824 CPUtime=677.46 cores=1,3,5,7
/proc/1855/task/1946/stat : 1946 (java) R 1853 1855 29102 0 -1 4202560 75 0 0 0 67746 0 0 0 25 0 22 0 830973349 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912506072255 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1855/tid=1947] ppid=1853 vsize=10549824 CPUtime=677.44 cores=1,3,5,7
/proc/1855/task/1947/stat : 1947 (java) R 1853 1855 29102 0 -1 4202560 57 0 0 0 67744 0 0 0 25 0 22 0 830973349 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912506082470 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1855/tid=1948] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1948/stat : 1948 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830973354 10803019776 953728 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1737.2
Current children cumulated vsize (KiB) 10549824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+914.401 s]
/proc/loadavg: 3.99 3.94 3.80 4/569 1980
/proc/meminfo: memFree=17305000/32951124 swapFree=53733252/67111528
[pid=1855] ppid=1853 vsize=10549824 CPUtime=1800.1 cores=1,3,5,7
/proc/1855/stat : 1855 (java) S 1853 1855 29102 0 -1 4202496 963797 0 1 0 179900 110 0 0 23 0 22 0 830955442 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1855/statm: 2637456 955003 2270 9 0 2628190 0
[pid=1855/tid=1856] ppid=1853 vsize=10549824 CPUtime=0.7 cores=1,3,5,7
/proc/1855/task/1856/stat : 1856 (java) S 1853 1855 29102 0 -1 4202560 29985 0 1 0 66 4 0 0 15 0 22 0 830955442 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1858] ppid=1853 vsize=10549824 CPUtime=0.79 cores=1,3,5,7
/proc/1855/task/1858/stat : 1858 (java) S 1853 1855 29102 0 -1 4202560 8698 0 0 0 78 1 0 0 16 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1859] ppid=1853 vsize=10549824 CPUtime=0.66 cores=1,3,5,7
/proc/1855/task/1859/stat : 1859 (java) S 1853 1855 29102 0 -1 4202560 5704 0 0 0 65 1 0 0 15 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1860] ppid=1853 vsize=10549824 CPUtime=0.7 cores=1,3,5,7
/proc/1855/task/1860/stat : 1860 (java) S 1853 1855 29102 0 -1 4202560 7484 0 0 0 69 1 0 0 15 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1861] ppid=1853 vsize=10549824 CPUtime=0.62 cores=1,3,5,7
/proc/1855/task/1861/stat : 1861 (java) S 1853 1855 29102 0 -1 4202560 6959 0 0 0 61 1 0 0 16 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1862] ppid=1853 vsize=10549824 CPUtime=0.76 cores=1,3,5,7
/proc/1855/task/1862/stat : 1862 (java) S 1853 1855 29102 0 -1 4202560 9418 0 0 0 75 1 0 0 15 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1863] ppid=1853 vsize=10549824 CPUtime=0.7 cores=1,3,5,7
/proc/1855/task/1863/stat : 1863 (java) S 1853 1855 29102 0 -1 4202560 8011 0 0 0 69 1 0 0 16 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1864] ppid=1853 vsize=10549824 CPUtime=0.75 cores=1,3,5,7
/proc/1855/task/1864/stat : 1864 (java) S 1853 1855 29102 0 -1 4202560 8569 0 0 0 74 1 0 0 15 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1855/tid=1865] ppid=1853 vsize=10549824 CPUtime=0.72 cores=1,3,5,7
/proc/1855/task/1865/stat : 1865 (java) S 1853 1855 29102 0 -1 4202560 10555 0 0 0 71 1 0 0 16 0 22 0 830955444 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1866] ppid=1853 vsize=10549824 CPUtime=28.34 cores=1,3,5,7
/proc/1855/task/1866/stat : 1866 (java) S 1853 1855 29102 0 -1 4202560 37783 0 0 0 2829 5 0 0 15 0 22 0 830955445 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1867] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1867/stat : 1867 (java) S 1853 1855 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830955446 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1868] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1868/stat : 1868 (java) S 1853 1855 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830955446 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1869] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1869/stat : 1869 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830955448 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1870] ppid=1853 vsize=10549824 CPUtime=1.05 cores=1,3,5,7
/proc/1855/task/1870/stat : 1870 (java) S 1853 1855 29102 0 -1 4202560 6546 0 0 0 104 1 0 0 15 0 22 0 830955448 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1871] ppid=1853 vsize=10549824 CPUtime=1.22 cores=1,3,5,7
/proc/1855/task/1871/stat : 1871 (java) S 1853 1855 29102 0 -1 4202560 3063 0 0 0 122 0 0 0 15 0 22 0 830955448 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1872] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1872/stat : 1872 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830955448 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1855/tid=1873] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1873/stat : 1873 (java) S 1853 1855 29102 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830955448 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1855/tid=1903] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1903/stat : 1903 (java) S 1853 1855 29102 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830955554 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1855/tid=1946] ppid=1853 vsize=10549824 CPUtime=708.13 cores=1,3,5,7
/proc/1855/task/1946/stat : 1946 (java) R 1853 1855 29102 0 -1 4202560 79 0 0 0 70813 0 0 0 25 0 22 0 830973349 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912506102388 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1855/tid=1947] ppid=1853 vsize=10549824 CPUtime=708.12 cores=1,3,5,7
/proc/1855/task/1947/stat : 1947 (java) R 1853 1855 29102 0 -1 4202560 58 0 0 0 70812 0 0 0 25 0 22 0 830973349 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 46912506399014 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1855/tid=1948] ppid=1853 vsize=10549824 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1948/stat : 1948 (java) S 1853 1855 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830973354 10803019776 955003 33554432000 1073741824 1073778376 140734030543424 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10549824

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

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

[startup+914.601 s]
/proc/loadavg: 3.99 3.94 3.80 4/569 1980
/proc/meminfo: memFree=17305000/32951124 swapFree=53733252/67111528
[pid=1855] ppid=1853 vsize=0 CPUtime=1800.43 cores=1,3,5,7
/proc/1855/stat : 1855 (java) Z 1853 1855 29102 0 -1 4203548 963829 0 1 0 179920 123 0 0 17 0 2 0 830955442 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1855/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 914.609
CPU time (s): 1800.45
CPU user time (s): 1799.21
CPU system time (s): 1.24681
CPU usage (%): 196.855
Max. virtual memory (cumulated for all children) (KiB): 10552592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 1.24681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 963829
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26665
involuntary context switches= 19586

runsolver used 5.15921 second user time and 12.0232 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-04 15:19:11
IDJOB=3454106
IDBENCH=24992
IDSOLVER=1950
FILE ID=node106/3454106-1307193550
RUNJOBID= node106-1307193550-1842
PBS_JOBID= 13508822
Free space on /tmp= 73760 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_027_area_delay.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454106-1307193550/watcher-3454106-1307193550 -o /tmp/evaluation-result-3454106-1307193550/solver-3454106-1307193550 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454106-1307193550.opb

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

MD5SUM BENCH= 1b0ac127de7b79f6251c1506cbcbe6c3
RANDOM SEED=1903363993

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21130120 kB
Buffers:        400352 kB
Cached:        6018244 kB
SwapCached:      22744 kB
Active:        5912336 kB
Inactive:      5568284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21130120 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            1596 kB
Writeback:           0 kB
AnonPages:     5058520 kB
Mapped:          25444 kB
Slab:           192344 kB
PageTables:      77776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167526104 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73760 MiB
End job on node106 at 2011-06-04 15:34:27