Trace number 3689486

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)46 1800.16 928.071

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ns1696083.opb
MD5SUM8188d71a03844e125aafcd8487c80120
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark226.602
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7982
Total number of constraints11063
Number of constraints which are clauses2420
Number of constraints which are cardinality constraints (but not clauses)1207
Number of constraints which are nor clauses,nor cardinality constraints7436
Minimum length of a constraint1
Maximum length of a constraint662
Number of terms in the objective function 55
Biggest coefficient in the objective function 55
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 1540
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2000
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 22480
Number of bits of the biggest sum of numbers15
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.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.2.v20120418
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3689486-1337882473.opb
0.08/0.12	c reading problem ... 
2.69/1.19	c ... done. Wall clock time 1.072s.
2.69/1.19	c declared #vars     7982
2.69/1.19	c #constraints  11210
2.69/1.19	c constraints type 
2.69/1.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2567
2.69/1.19	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
2.69/1.19	c org.sat4j.minisat.constraints.card.MinWatchCard => 1211
2.69/1.19	c ignored satisfied constraints => 6
2.69/1.19	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
2.69/1.19	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 56
2.69/1.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7370
2.69/1.19	c 11216 constraints processed.
2.69/1.19	c constraints type 
2.69/1.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 56
2.69/1.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2567
2.69/1.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1211
2.69/1.19	c ignored satisfied constraints => 6
2.69/1.19	c org.sat4j.pb.constraints.pb.UnitClausesPB => 4
2.69/1.19	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
2.69/1.19	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7370
2.69/1.19	c 11216 constraints processed.
2.69/1.19	c objective function length is 55 literals
9.98/4.03	c cleaning 2453 clauses out of 4915 with flag 5000/5000
11.95/5.02	c  And the winner is solver0
12.00/5.20	c SATISFIABLE
12.00/5.20	c OPTIMIZING...
12.00/5.20	c Got one! Elapsed wall clock time (in seconds):5.08
12.00/5.20	o 55
14.59/6.48	c cleaning 3905 clauses out of 7890 with flag 3000/10439
20.08/9.20	c cleaning 4933 clauses out of 9966 with flag 9000/16439
25.97/12.24	c cleaning 5988 clauses out of 12019 with flag 16001/23440
32.92/15.72	c cleaning 6985 clauses out of 14015 with flag 24000/31439
41.77/20.25	c cleaning 7979 clauses out of 16011 with flag 33000/40439
50.37/24.64	c  And the winner is solver0
50.49/24.71	c Got one! Elapsed wall clock time (in seconds):24.587
50.49/24.71	o 54
56.11/27.52	c cleaning 10603 clauses out of 21372 with flag 5000/53799
62.33/30.73	c cleaning 8316 clauses out of 16749 with flag 11001/59800
66.12/32.88	c  And the winner is solver0
66.32/33.17	c Got one! Elapsed wall clock time (in seconds):33.049
66.32/33.17	o 53
68.49/34.24	c cleaning 6916 clauses out of 14177 with flag 2004/65557
73.25/36.75	c  And the winner is solver0
73.39/37.17	c Got one! Elapsed wall clock time (in seconds):37.05
73.39/37.17	o 52
78.43/39.74	c cleaning 8521 clauses out of 17269 with flag 5001/75605
83.20/42.28	c cleaning 7332 clauses out of 14732 with flag 11000/81604
90.32/45.97	c cleaning 7087 clauses out of 14393 with flag 18001/88605
99.49/50.75	c cleaning 7512 clauses out of 15303 with flag 26000/96604
109.04/55.67	c cleaning 8306 clauses out of 16788 with flag 35002/105606
113.75/58.17	c  And the winner is solver0
113.86/58.58	c Got one! Elapsed wall clock time (in seconds):58.458
113.86/58.58	o 51
114.69/59.02	c cleaning 7128 clauses out of 14428 with flag 1000/111556
122.21/62.97	c cleaning 6537 clauses out of 13295 with flag 7003/117559
134.32/69.30	c cleaning 6800 clauses out of 13751 with flag 14000/124556
147.03/75.80	c cleaning 7325 clauses out of 14951 with flag 22000/132556
160.74/82.73	c cleaning 8217 clauses out of 16622 with flag 31001/141557
172.42/88.78	c cleaning 9068 clauses out of 18399 with flag 41000/151556
185.89/95.74	c cleaning 10130 clauses out of 20326 with flag 52002/162558
189.51/97.71	c  And the winner is solver0
189.55/97.87	c Got one! Elapsed wall clock time (in seconds):97.744
189.55/97.87	o 50
191.75/99.02	c cleaning 7685 clauses out of 15527 with flag 2000/167890
198.74/102.79	c cleaning 6795 clauses out of 13839 with flag 8000/173890
204.53/105.85	c  And the winner is solver0
204.76/106.28	c Got one! Elapsed wall clock time (in seconds):106.154
204.76/106.28	o 49
205.80/106.85	c cleaning 6390 clauses out of 12896 with flag 1000/179743
213.12/110.83	c cleaning 6032 clauses out of 12506 with flag 7000/185743
219.69/114.34	c cleaning 6696 clauses out of 13471 with flag 14000/192743
228.05/118.74	c cleaning 7324 clauses out of 14771 with flag 22001/200744
232.80/121.33	c  And the winner is solver0
232.96/121.72	c Got one! Elapsed wall clock time (in seconds):121.594
232.96/121.72	o 48
235.12/122.89	c cleaning 6659 clauses out of 13427 with flag 2000/206732
244.40/127.85	c cleaning 6253 clauses out of 12770 with flag 8002/212734
254.58/133.16	c cleaning 6560 clauses out of 13513 with flag 15000/219732
267.93/140.09	c cleaning 7455 clauses out of 14954 with flag 23001/227733
280.63/146.62	c cleaning 8065 clauses out of 16497 with flag 32002/236734
293.63/153.58	c cleaning 9071 clauses out of 18429 with flag 42000/246732
309.72/161.82	c cleaning 10172 clauses out of 20356 with flag 53002/257734
337.44/175.98	c cleaning 10956 clauses out of 22184 with flag 65002/269734
361.72/188.30	c cleaning 12004 clauses out of 24221 with flag 78000/282732
387.01/201.84	c cleaning 12958 clauses out of 26217 with flag 92000/296732
425.83/222.68	c cleaning 14068 clauses out of 28255 with flag 107000/311732
438.27/229.17	c  And the winner is solver0
438.30/229.63	c Got one! Elapsed wall clock time (in seconds):229.51
438.30/229.63	o 47
452.14/236.57	c cleaning 13189 clauses out of 26839 with flag 5000/324402
471.26/246.70	c cleaning 9421 clauses out of 19653 with flag 11003/330405
484.71/253.82	c cleaning 8115 clauses out of 17229 with flag 18000/337402
495.75/259.75	c cleaning 8478 clauses out of 17123 with flag 26012/345414
508.58/266.57	c cleaning 8566 clauses out of 17622 with flag 35000/354402
527.82/276.85	c cleaning 9432 clauses out of 19053 with flag 45001/364403
551.06/288.89	c cleaning 10248 clauses out of 20618 with flag 56000/375402
578.21/302.88	c cleaning 11102 clauses out of 22369 with flag 68001/387403
598.98/313.61	c cleaning 12082 clauses out of 24269 with flag 81004/400406
626.21/327.91	c cleaning 12939 clauses out of 26184 with flag 95002/414404
669.04/349.71	c cleaning 14028 clauses out of 28240 with flag 110000/429402
705.42/368.40	c cleaning 15037 clauses out of 30209 with flag 126000/445402
753.58/392.83	c  And the winner is solver0
753.86/393.41	c Got one! Elapsed wall clock time (in seconds):393.286
753.86/393.41	o 46
764.20/398.70	c cleaning 17244 clauses out of 34686 with flag 5002/464921
795.78/415.39	c cleaning 11264 clauses out of 23438 with flag 11000/470919
821.65/428.74	c cleaning 9253 clauses out of 19175 with flag 18002/477921
879.68/459.00	c cleaning 8444 clauses out of 17920 with flag 26000/485919
977.79/508.72	c cleaning 8868 clauses out of 18478 with flag 35002/494921
1002.31/521.50	c cleaning 9618 clauses out of 19606 with flag 45000/504919
1040.84/541.39	c cleaning 10255 clauses out of 20982 with flag 56001/515920
1078.11/560.56	c cleaning 11190 clauses out of 22726 with flag 68002/527921
1115.47/580.26	c cleaning 11928 clauses out of 24528 with flag 81000/540919
1173.58/609.92	c cleaning 13081 clauses out of 26595 with flag 95000/554919
1239.66/643.66	c cleaning 14126 clauses out of 28518 with flag 110004/569923
1337.92/693.39	c cleaning 14948 clauses out of 30390 with flag 126003/585922
1410.40/730.65	c cleaning 16069 clauses out of 32439 with flag 143000/602919
1475.39/763.83	c cleaning 17015 clauses out of 34367 with flag 161000/620919
1565.72/809.42	c cleaning 17819 clauses out of 36353 with flag 180003/639922
1716.83/885.69	c cleaning 19195 clauses out of 38531 with flag 200001/659920
1799.44/928.01	c starts		: 146
1799.44/928.01	c conflicts		: 679595
1799.44/928.01	c decisions		: 8898396
1799.44/928.01	c propagations		: 109878082
1799.44/928.01	c inspects		: 932136313
1799.44/928.01	c shortcuts		: 0
1799.44/928.01	c learnt literals	: 447
1799.44/928.01	c learnt binary clauses	: 538
1799.44/928.01	c learnt ternary clauses	: 310
1799.44/928.01	c learnt constraints	: 679148
1799.44/928.01	c ignored constraints	: 0
1799.44/928.01	c root simplifications	: 0
1799.44/928.01	c removed literals (reason simplification)	: 26791964
1799.44/928.01	c reason swapping (by a shorter reason)	: 0
1799.44/928.01	c Calls to reduceDB	: 66
1799.44/928.01	c number of reductions to clauses (during analyze)	: 0
1799.44/928.01	c number of learned constraints concerned by reduction	: 0
1799.44/928.01	c number of learning phase by resolution	: 0
1799.44/928.01	c number of learning phase by cutting planes	: 0
1799.44/928.01	c speed (assignments/second)	: 118557.20041346837
1799.44/928.01	c non guided choices	5178
1799.44/928.03	c learnt constraints type 
1799.44/928.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 538
1799.44/928.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 38487
1799.44/928.03	c constraints type 
1799.44/928.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2567
1799.44/928.03	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
1799.44/928.03	c org.sat4j.minisat.constraints.card.MinWatchCard => 1211
1799.44/928.03	c ignored satisfied constraints => 6
1799.44/928.03	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1799.44/928.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 56
1799.44/928.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7371
1799.44/928.03	c 11217 constraints processed.
1799.44/928.03	c constraints type 
1799.44/928.03	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 56
1799.44/928.03	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2567
1799.44/928.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1211
1799.44/928.03	c ignored satisfied constraints => 6
1799.44/928.03	c org.sat4j.pb.constraints.pb.UnitClausesPB => 4
1799.44/928.03	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1799.44/928.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7371
1799.44/928.03	c 11217 constraints processed.
1799.44/928.03	s SATISFIABLE
1799.44/928.04	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 
1799.44/928.05	c objective function=46
1799.44/928.05	c Total wall clock time (in seconds): 927.928

Verifier Data 

OK	46

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3689486-1337882473/watcher-3689486-1337882473 -o /tmp/evaluation-result-3689486-1337882473/solver-3689486-1337882473 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689486-1337882473.opb 

running on 4 cores: 0,2,4,6

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: 3.60 3.75 3.74 3/198 28085
/proc/meminfo: memFree=26580716/32873844 swapFree=6080/6080
[pid=28085] ppid=28083 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/28085/stat : 28085 (java) D 28083 28085 24394 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254371897 9515008 182 33554432000 1073741824 1073778376 140734181428864 140734181419896 248790204085 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/28085/statm: 2323 182 140 9 0 71 0

[startup+0.0608439 s]
/proc/loadavg: 3.60 3.75 3.74 3/198 28085
/proc/meminfo: memFree=26580716/32873844 swapFree=6080/6080
[pid=28085] ppid=28083 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/28085/stat : 28085 (java) S 28083 28085 24394 0 -1 4202496 3081 0 1 0 3 0 0 0 20 0 13 0 254371897 9446973440 4289 33554432000 1073741824 1073778376 140733817737312 140733817728448 248793563197 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28085/statm: 2306390 4289 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100249 s]
/proc/loadavg: 3.60 3.75 3.74 3/198 28085
/proc/meminfo: memFree=26580716/32873844 swapFree=6080/6080
[pid=28085] ppid=28083 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/28085/stat : 28085 (java) S 28083 28085 24394 0 -1 4202496 4270 0 1 0 8 0 0 0 20 0 18 0 254371897 9787813888 5460 33554432000 1073741824 1073778376 140733817737312 140733817728448 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28085/statm: 2389603 5460 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300221 s]
/proc/loadavg: 3.60 3.75 3.74 3/198 28085
/proc/meminfo: memFree=26580716/32873844 swapFree=6080/6080
[pid=28085] ppid=28083 vsize=9558412 CPUtime=0.54 cores=0,2,4,6
/proc/28085/stat : 28085 (java) S 28083 28085 24394 0 -1 4202496 7088 0 1 0 54 0 0 0 20 0 18 0 254371897 9787813888 11050 33554432000 1073741824 1073778376 140733817737312 140733817728448 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28085/statm: 2389603 11050 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558412

[startup+0.70024 s]
/proc/loadavg: 3.60 3.75 3.74 3/198 28085
/proc/meminfo: memFree=26580716/32873844 swapFree=6080/6080
[pid=28085] ppid=28083 vsize=9558412 CPUtime=1.63 cores=0,2,4,6
/proc/28085/stat : 28085 (java) S 28083 28085 24394 0 -1 4202496 22595 0 1 0 157 6 0 0 20 0 18 0 254371897 9787813888 51388 33554432000 1073741824 1073778376 140733817737312 140733817728448 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28085/statm: 2389603 51388 2251 9 0 2380296 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558412

[startup+1.50061 s]
/proc/loadavg: 3.60 3.75 3.74 5/216 28103
/proc/meminfo: memFree=26340000/32873844 swapFree=6080/6080
[pid=28085] ppid=28083 vsize=9824668 CPUtime=4 cores=0,2,4,6
/proc/28085/stat : 28085 (java) S 28083 28085 24394 0 -1 4202496 29693 0 1 0 389 11 0 0 20 0 22 0 254371897 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140733817728448 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28085/statm: 2456167 84609 2269 9 0 2446860 0
[pid=28085/tid=28087] ppid=28083 vsize=9824668 CPUtime=1.11 cores=0,2,4,6
/proc/28085/task/28087/stat : 28087 (java) S 28083 28085 24394 0 -1 4202560 2565 0 1 0 107 4 0 0 20 0 22 0 254371898 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140682635711480 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/28085/task/28088/stat : 28088 (java) S 28083 28085 24394 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 254371899 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140682597202344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28089] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28089/stat : 28089 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371899 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140682596149800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28090] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28090/stat : 28090 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371899 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140682595096744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28091] ppid=28083 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/28085/task/28091/stat : 28091 (java) S 28083 28085 24394 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 254371900 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140682475858216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28092] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28092/stat : 28092 (java) S 28083 28085 24394 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254371900 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140682474806184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28093] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28093/stat : 28093 (java) S 28083 28085 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254371900 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140682473753640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28094] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28094/stat : 28094 (java) S 28083 28085 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254371900 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140682472700584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28095] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28095/stat : 28095 (java) S 28083 28085 24394 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254371900 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140682471648040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28096] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28096/stat : 28096 (java) S 28083 28085 24394 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140681989319016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28097] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28097/stat : 28097 (java) S 28083 28085 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140681988265336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28098] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28098/stat : 28098 (java) S 28083 28085 24394 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140681987212168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28099] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28099/stat : 28099 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140681986160912 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28100] ppid=28083 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/28085/task/28100/stat : 28100 (java) R 28083 28085 24394 0 -1 4202560 15187 0 0 0 106 2 0 0 20 0 22 0 254371904 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140681985096072 140682641682803 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28101] ppid=28083 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/28085/task/28101/stat : 28101 (java) R 28083 28085 24394 0 -1 4202560 10500 0 0 0 101 1 0 0 20 0 22 0 254371904 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140681984043648 140682639286721 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28102] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28102/stat : 28102 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140681983003384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28103] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28103/stat : 28103 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 84609 33554432000 1073741824 1073778376 140733817737312 140681981951048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 9824668

[startup+3.10071 s]
/proc/loadavg: 3.60 3.75 3.74 7/220 28107
/proc/meminfo: memFree=26216504/32873844 swapFree=6080/6080
[pid=28085] ppid=28083 vsize=9824668 CPUtime=8.1 cores=0,2,4,6
/proc/28085/stat : 28085 (java) S 28083 28085 24394 0 -1 4202496 32005 0 1 0 791 19 0 0 20 0 22 0 254371897 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140733817728448 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28085/statm: 2456167 107459 2272 9 0 2446860 0
[pid=28085/tid=28087] ppid=28083 vsize=9824668 CPUtime=1.11 cores=0,2,4,6
/proc/28085/task/28087/stat : 28087 (java) S 28083 28085 24394 0 -1 4202560 2565 0 1 0 107 4 0 0 20 0 22 0 254371898 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140682635711480 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/28085/task/28088/stat : 28088 (java) S 28083 28085 24394 0 -1 4202560 70 0 0 0 4 2 0 0 20 0 22 0 254371899 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140682597202344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28089] ppid=28083 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/28085/task/28089/stat : 28089 (java) S 28083 28085 24394 0 -1 4202560 43 0 0 0 3 0 0 0 20 0 22 0 254371899 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140682596149800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28090] ppid=28083 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/28085/task/28090/stat : 28090 (java) S 28083 28085 24394 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 254371899 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140682595096744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28091] ppid=28083 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/28085/task/28091/stat : 28091 (java) S 28083 28085 24394 0 -1 4202560 60 0 0 0 5 2 0 0 20 0 22 0 254371900 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140682475858216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28092] ppid=28083 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/28085/task/28092/stat : 28092 (java) S 28083 28085 24394 0 -1 4202560 47 0 0 0 4 1 0 0 20 0 22 0 254371900 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140682474806184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28093] ppid=28083 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/28085/task/28093/stat : 28093 (java) S 28083 28085 24394 0 -1 4202560 39 0 0 0 3 0 0 0 20 0 22 0 254371900 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140682473753640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28094] ppid=28083 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/28085/task/28094/stat : 28094 (java) S 28083 28085 24394 0 -1 4202560 34 0 0 0 3 2 0 0 20 0 22 0 254371900 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140682472700584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28095] ppid=28083 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/28085/task/28095/stat : 28095 (java) S 28083 28085 24394 0 -1 4202560 38 0 0 0 2 1 0 0 20 0 22 0 254371900 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140682471648040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28096] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28096/stat : 28096 (java) S 28083 28085 24394 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140681989319016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28097] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28097/stat : 28097 (java) S 28083 28085 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140681988265336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28098] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28098/stat : 28098 (java) S 28083 28085 24394 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140681987212168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28099] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28099/stat : 28099 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140681986160912 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28100] ppid=28083 vsize=9824668 CPUtime=1.41 cores=0,2,4,6
/proc/28085/task/28100/stat : 28100 (java) S 28083 28085 24394 0 -1 4202560 17078 0 0 0 139 2 0 0 20 0 22 0 254371904 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140681985108792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28101] ppid=28083 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/28085/task/28101/stat : 28101 (java) S 28083 28085 24394 0 -1 4202560 10506 0 0 0 143 1 0 0 20 0 22 0 254371904 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140681984056248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28102] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28102/stat : 28102 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140681983003384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28103] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28103/stat : 28103 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140681981951048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28104] ppid=28083 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/28085/task/28104/stat : 28104 (java) R 28083 28085 24394 0 -1 4202560 26 0 0 0 178 0 0 0 20 0 22 0 254372017 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140681980893696 140682476552663 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28105] ppid=28083 vsize=9824668 CPUtime=1.79 cores=0,2,4,6
/proc/28085/task/28105/stat : 28105 (java) R 28083 28085 24394 0 -1 4202560 97 0 0 0 179 0 0 0 20 0 22 0 254372017 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140681979842472 140682476933781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28106] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28106/stat : 28106 (java) S 28083 28085 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254372019 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140681978790696 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28107] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28107/stat : 28107 (java) S 28083 28085 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254372019 10060460032 107459 33554432000 1073741824 1073778376 140733817737312 140681977738152 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 9824668

[startup+6.3007 s]
/proc/loadavg: 3.63 3.76 3.74 5/220 28110
/proc/meminfo: memFree=25883864/32873844 swapFree=6080/6080
[pid=28085] ppid=28083 vsize=9824668 CPUtime=14.4 cores=0,2,4,6
/proc/28085/stat : 28085 (java) S 28083 28085 24394 0 -1 4202496 33187 0 1 0 1407 33 0 0 20 0 22 0 254371897 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140733817728448 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28085/statm: 2456167 224828 2286 9 0 2446860 0
[pid=28085/tid=28087] ppid=28083 vsize=9824668 CPUtime=1.12 cores=0,2,4,6
/proc/28085/task/28087/stat : 28087 (java) S 28083 28085 24394 0 -1 4202560 2566 0 1 0 108 4 0 0 20 0 22 0 254371898 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140682635711480 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=9824668 CPUtime=0.12 cores=0,2,4,6
/proc/28085/task/28088/stat : 28088 (java) S 28083 28085 24394 0 -1 4202560 94 0 0 0 8 4 0 0 20 0 22 0 254371899 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140682597202344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28089] ppid=28083 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/28085/task/28089/stat : 28089 (java) S 28083 28085 24394 0 -1 4202560 51 0 0 0 3 1 0 0 20 0 22 0 254371899 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140682596149800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28090] ppid=28083 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/28085/task/28090/stat : 28090 (java) S 28083 28085 24394 0 -1 4202560 64 0 0 0 6 0 0 0 20 0 22 0 254371899 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140682595096744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28091] ppid=28083 vsize=9824668 CPUtime=0.12 cores=0,2,4,6
/proc/28085/task/28091/stat : 28091 (java) S 28083 28085 24394 0 -1 4202560 79 0 0 0 9 3 0 0 20 0 22 0 254371900 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140682475858216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28092] ppid=28083 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/28085/task/28092/stat : 28092 (java) S 28083 28085 24394 0 -1 4202560 55 0 0 0 7 1 0 0 20 0 22 0 254371900 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140682474806184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28093] ppid=28083 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/28085/task/28093/stat : 28093 (java) S 28083 28085 24394 0 -1 4202560 67 0 0 0 6 2 0 0 20 0 22 0 254371900 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140682473753640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28094] ppid=28083 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/28085/task/28094/stat : 28094 (java) S 28083 28085 24394 0 -1 4202560 72 0 0 0 6 2 0 0 20 0 22 0 254371900 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140682472700584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28095] ppid=28083 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/28085/task/28095/stat : 28095 (java) S 28083 28085 24394 0 -1 4202560 55 0 0 0 3 2 0 0 20 0 22 0 254371900 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140682471648040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28096] ppid=28083 vsize=9824668 CPUtime=0.12 cores=0,2,4,6
/proc/28085/task/28096/stat : 28096 (java) S 28083 28085 24394 0 -1 4202560 506 0 0 0 12 0 0 0 20 0 22 0 254371901 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140681989319016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28097] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28097/stat : 28097 (java) S 28083 28085 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140681988265336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28098] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28098/stat : 28098 (java) S 28083 28085 24394 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140681987212168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28099] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28099/stat : 28099 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140681986160912 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28100] ppid=28083 vsize=9824668 CPUtime=1.53 cores=0,2,4,6
/proc/28085/task/28100/stat : 28100 (java) S 28083 28085 24394 0 -1 4202560 17088 0 0 0 151 2 0 0 20 0 22 0 254371904 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140681985108792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28101] ppid=28083 vsize=9824668 CPUtime=1.61 cores=0,2,4,6
/proc/28085/task/28101/stat : 28101 (java) S 28083 28085 24394 0 -1 4202560 10508 0 0 0 160 1 0 0 20 0 22 0 254371904 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140681984056248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28102] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28102/stat : 28102 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140681983003384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28103] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28103/stat : 28103 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140681981951048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28106] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28106/stat : 28106 (java) S 28083 28085 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254372019 10060460032 224828 33554432000 1073741824 1073778376 140733817737312 140681978790696 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

[pid=28085/tid=28091] ppid=28083 vsize=9824668 CPUtime=1.73 cores=0,2,4,6
/proc/28085/task/28091/stat : 28091 (java) S 28083 28085 24394 0 -1 4202560 204 0 0 0 165 8 0 0 20 0 22 0 254371900 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140682475858216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28092] ppid=28083 vsize=9824668 CPUtime=1.76 cores=0,2,4,6
/proc/28085/task/28092/stat : 28092 (java) S 28083 28085 24394 0 -1 4202560 584 0 0 0 167 9 0 0 20 0 22 0 254371900 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140682474806184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28093] ppid=28083 vsize=9824668 CPUtime=1.82 cores=0,2,4,6
/proc/28085/task/28093/stat : 28093 (java) S 28083 28085 24394 0 -1 4202560 225 0 0 0 175 7 0 0 20 0 22 0 254371900 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140682473753640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28094] ppid=28083 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/28085/task/28094/stat : 28094 (java) S 28083 28085 24394 0 -1 4202560 262 0 0 0 157 8 0 0 20 0 22 0 254371900 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140682472700584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28095] ppid=28083 vsize=9824668 CPUtime=1.79 cores=0,2,4,6
/proc/28085/task/28095/stat : 28095 (java) S 28083 28085 24394 0 -1 4202560 218 0 0 0 171 8 0 0 20 0 22 0 254371900 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140682471648040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28096] ppid=28083 vsize=9824668 CPUtime=56.26 cores=0,2,4,6
/proc/28085/task/28096/stat : 28096 (java) S 28083 28085 24394 0 -1 4202560 3142 0 0 0 5607 19 0 0 20 0 22 0 254371901 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140681989319016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28097] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28097/stat : 28097 (java) S 28083 28085 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140681988265336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28098] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28098/stat : 28098 (java) S 28083 28085 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140681987212168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28099] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28099/stat : 28099 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140681986160912 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28100] ppid=28083 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/28085/task/28100/stat : 28100 (java) S 28083 28085 24394 0 -1 4202560 17108 0 0 0 168 2 0 0 20 0 22 0 254371904 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140681985108792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28101] ppid=28083 vsize=9824668 CPUtime=1.9 cores=0,2,4,6
/proc/28085/task/28101/stat : 28101 (java) S 28083 28085 24394 0 -1 4202560 10509 0 0 0 189 1 0 0 20 0 22 0 254371904 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140681984056248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28102] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28102/stat : 28102 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140681983003384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28103] ppid=28083 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/28085/task/28103/stat : 28103 (java) S 28083 28085 24394 0 -1 4202560 47 0 0 0 11 15 0 0 20 0 22 0 254371904 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140681981951048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28106] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28106/stat : 28106 (java) S 28083 28085 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254372019 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140681978790696 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28137] ppid=28083 vsize=9824668 CPUtime=401.91 cores=0,2,4,6
/proc/28085/task/28137/stat : 28137 (java) R 28083 28085 24394 0 -1 4202560 8 0 0 0 40185 6 0 0 20 0 22 0 254411239 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140681977737952 140682477338941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28138] ppid=28083 vsize=9824668 CPUtime=401.87 cores=0,2,4,6
/proc/28085/task/28138/stat : 28138 (java) R 28083 28085 24394 0 -1 4202560 17 0 0 0 40181 6 0 0 20 0 22 0 254411239 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140681979840544 140682477190407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28139] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28139/stat : 28139 (java) S 28083 28085 24394 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254411291 10060460032 911254 33554432000 1073741824 1073778376 140733817737312 140681980896424 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1590.19
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.93 3.86 3.82 5/219 28229
/proc/meminfo: memFree=22139408/32873844 swapFree=6080/6080
[pid=28085] ppid=28083 vsize=9824668 CPUtime=1710.23 cores=0,2,4,6
/proc/28085/stat : 28085 (java) S 28083 28085 24394 0 -1 4202496 39587 0 1 0 170866 157 0 0 20 0 22 0 254371897 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140733817728448 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28085/statm: 2456167 911262 2287 9 0 2446860 0
[pid=28085/tid=28087] ppid=28083 vsize=9824668 CPUtime=1.16 cores=0,2,4,6
/proc/28085/task/28087/stat : 28087 (java) S 28083 28085 24394 0 -1 4202560 2613 0 1 0 110 6 0 0 20 0 22 0 254371898 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140682635711480 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=9824668 CPUtime=1.72 cores=0,2,4,6
/proc/28085/task/28088/stat : 28088 (java) S 28083 28085 24394 0 -1 4202560 665 0 0 0 161 11 0 0 20 0 22 0 254371899 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140682597202344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28089] ppid=28083 vsize=9824668 CPUtime=2.05 cores=0,2,4,6
/proc/28085/task/28089/stat : 28089 (java) S 28083 28085 24394 0 -1 4202560 353 0 0 0 197 8 0 0 20 0 22 0 254371899 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140682596149800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28090] ppid=28083 vsize=9824668 CPUtime=1.69 cores=0,2,4,6
/proc/28085/task/28090/stat : 28090 (java) S 28083 28085 24394 0 -1 4202560 206 0 0 0 163 6 0 0 20 0 22 0 254371899 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140682595096744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28091] ppid=28083 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/28085/task/28091/stat : 28091 (java) S 28083 28085 24394 0 -1 4202560 204 0 0 0 166 8 0 0 20 0 22 0 254371900 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140682475858216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28092] ppid=28083 vsize=9824668 CPUtime=1.79 cores=0,2,4,6
/proc/28085/task/28092/stat : 28092 (java) S 28083 28085 24394 0 -1 4202560 585 0 0 0 170 9 0 0 20 0 22 0 254371900 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140682474806184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28093] ppid=28083 vsize=9824668 CPUtime=1.83 cores=0,2,4,6
/proc/28085/task/28093/stat : 28093 (java) S 28083 28085 24394 0 -1 4202560 225 0 0 0 176 7 0 0 20 0 22 0 254371900 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140682473753640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28094] ppid=28083 vsize=9824668 CPUtime=1.66 cores=0,2,4,6
/proc/28085/task/28094/stat : 28094 (java) S 28083 28085 24394 0 -1 4202560 262 0 0 0 158 8 0 0 20 0 22 0 254371900 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140682472700584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28095] ppid=28083 vsize=9824668 CPUtime=1.83 cores=0,2,4,6
/proc/28085/task/28095/stat : 28095 (java) S 28083 28085 24394 0 -1 4202560 224 0 0 0 175 8 0 0 20 0 22 0 254371900 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140682471648040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28096] ppid=28083 vsize=9824668 CPUtime=56.26 cores=0,2,4,6
/proc/28085/task/28096/stat : 28096 (java) S 28083 28085 24394 0 -1 4202560 3144 0 0 0 5607 19 0 0 20 0 22 0 254371901 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140681989319016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28097] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28097/stat : 28097 (java) S 28083 28085 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140681988265336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28098] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28098/stat : 28098 (java) S 28083 28085 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140681987212168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28099] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28099/stat : 28099 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140681986160912 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28100] ppid=28083 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/28085/task/28100/stat : 28100 (java) S 28083 28085 24394 0 -1 4202560 17108 0 0 0 168 2 0 0 20 0 22 0 254371904 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140681985108792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28101] ppid=28083 vsize=9824668 CPUtime=1.9 cores=0,2,4,6
/proc/28085/task/28101/stat : 28101 (java) S 28083 28085 24394 0 -1 4202560 10509 0 0 0 189 1 0 0 20 0 22 0 254371904 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140681984056248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28102] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28102/stat : 28102 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140681983003384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28103] ppid=28083 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/28085/task/28103/stat : 28103 (java) S 28083 28085 24394 0 -1 4202560 51 0 0 0 11 16 0 0 20 0 22 0 254371904 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140681981951048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28106] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28106/stat : 28106 (java) S 28083 28085 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254372019 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140681978790696 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28137] ppid=28083 vsize=9824668 CPUtime=461.71 cores=0,2,4,6
/proc/28085/task/28137/stat : 28137 (java) R 28083 28085 24394 0 -1 4202560 9 0 0 0 46164 7 0 0 20 0 22 0 254411239 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140681977736992 140682476951128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28138] ppid=28083 vsize=9824668 CPUtime=461.69 cores=0,2,4,6
/proc/28085/task/28138/stat : 28138 (java) R 28083 28085 24394 0 -1 4202560 17 0 0 0 46162 7 0 0 20 0 22 0 254411239 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140681979840800 140682476769990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28139] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28139/stat : 28139 (java) S 28083 28085 24394 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254411291 10060460032 911262 33554432000 1073741824 1073778376 140733817737312 140681980896424 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1710.23
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+928.001 s]
/proc/loadavg: 4.08 3.91 3.84 5/219 28235
/proc/meminfo: memFree=22149896/32873844 swapFree=6080/6080
[pid=28085] ppid=28083 vsize=9824668 CPUtime=1799.44 cores=0,2,4,6
/proc/28085/stat : 28085 (java) S 28083 28085 24394 0 -1 4202496 39614 0 1 0 179785 159 0 0 20 0 22 0 254371897 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140733817728448 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28085/statm: 2456167 909955 2287 9 0 2446860 0
[pid=28085/tid=28087] ppid=28083 vsize=9824668 CPUtime=1.16 cores=0,2,4,6
/proc/28085/task/28087/stat : 28087 (java) S 28083 28085 24394 0 -1 4202560 2614 0 1 0 110 6 0 0 20 0 22 0 254371898 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140682635711480 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=9824668 CPUtime=1.75 cores=0,2,4,6
/proc/28085/task/28088/stat : 28088 (java) S 28083 28085 24394 0 -1 4202560 668 0 0 0 164 11 0 0 20 0 22 0 254371899 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140682597202344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28089] ppid=28083 vsize=9824668 CPUtime=2.12 cores=0,2,4,6
/proc/28085/task/28089/stat : 28089 (java) S 28083 28085 24394 0 -1 4202560 357 0 0 0 204 8 0 0 20 0 22 0 254371899 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140682596149800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28090] ppid=28083 vsize=9824668 CPUtime=1.77 cores=0,2,4,6
/proc/28085/task/28090/stat : 28090 (java) S 28083 28085 24394 0 -1 4202560 207 0 0 0 170 7 0 0 20 0 22 0 254371899 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140682595096744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28091] ppid=28083 vsize=9824668 CPUtime=1.76 cores=0,2,4,6
/proc/28085/task/28091/stat : 28091 (java) S 28083 28085 24394 0 -1 4202560 204 0 0 0 168 8 0 0 20 0 22 0 254371900 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140682475858216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28092] ppid=28083 vsize=9824668 CPUtime=1.81 cores=0,2,4,6
/proc/28085/task/28092/stat : 28092 (java) S 28083 28085 24394 0 -1 4202560 585 0 0 0 172 9 0 0 20 0 22 0 254371900 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140682474806184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28085/tid=28093] ppid=28083 vsize=9824668 CPUtime=1.85 cores=0,2,4,6
/proc/28085/task/28093/stat : 28093 (java) S 28083 28085 24394 0 -1 4202560 227 0 0 0 178 7 0 0 20 0 22 0 254371900 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140682473753640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28094] ppid=28083 vsize=9824668 CPUtime=1.68 cores=0,2,4,6
/proc/28085/task/28094/stat : 28094 (java) S 28083 28085 24394 0 -1 4202560 264 0 0 0 160 8 0 0 20 0 22 0 254371900 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140682472700584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28095] ppid=28083 vsize=9824668 CPUtime=1.9 cores=0,2,4,6
/proc/28085/task/28095/stat : 28095 (java) S 28083 28085 24394 0 -1 4202560 227 0 0 0 182 8 0 0 20 0 22 0 254371900 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140682471648040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28096] ppid=28083 vsize=9824668 CPUtime=58.57 cores=0,2,4,6
/proc/28085/task/28096/stat : 28096 (java) S 28083 28085 24394 0 -1 4202560 3152 0 0 0 5838 19 0 0 20 0 22 0 254371901 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140681989319016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28097] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28097/stat : 28097 (java) S 28083 28085 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140681988265336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28098] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28098/stat : 28098 (java) S 28083 28085 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254371901 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140681987212168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28099] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28099/stat : 28099 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140681986160912 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28100] ppid=28083 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/28085/task/28100/stat : 28100 (java) S 28083 28085 24394 0 -1 4202560 17108 0 0 0 168 2 0 0 20 0 22 0 254371904 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140681985108792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28101] ppid=28083 vsize=9824668 CPUtime=1.9 cores=0,2,4,6
/proc/28085/task/28101/stat : 28101 (java) S 28083 28085 24394 0 -1 4202560 10509 0 0 0 189 1 0 0 20 0 22 0 254371904 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140681984056248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28102] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28102/stat : 28102 (java) S 28083 28085 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254371904 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140681983003384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28103] ppid=28083 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/28085/task/28103/stat : 28103 (java) S 28083 28085 24394 0 -1 4202560 53 0 0 0 12 17 0 0 20 0 22 0 254371904 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140681981951048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28106] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28106/stat : 28106 (java) S 28083 28085 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254372019 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140681978790696 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28085/tid=28137] ppid=28083 vsize=9824668 CPUtime=504.86 cores=0,2,4,6
/proc/28085/task/28137/stat : 28137 (java) R 28083 28085 24394 0 -1 4202560 10 0 0 0 50479 7 0 0 20 0 22 0 254411239 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140681977736176 140682476910383 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28085/tid=28138] ppid=28083 vsize=9824668 CPUtime=504.86 cores=0,2,4,6
/proc/28085/task/28138/stat : 28138 (java) R 28083 28085 24394 0 -1 4202560 17 0 0 0 50479 7 0 0 20 0 22 0 254411239 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140681979841504 140682477232526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28085/tid=28139] ppid=28083 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28085/task/28139/stat : 28139 (java) S 28083 28085 24394 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254411291 10060460032 909955 33554432000 1073741824 1073778376 140733817737312 140681980896424 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28085 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=179091
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=990697
# CPU time returned by wait4() is 1797.17
# while last known CPU time is 1799.44
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.720108
#  lost CPU user time (s): 0.810074
#  lost CPU system time (s): -0.0900002

Real time (s): 928.071
CPU time (s): 1800.16
CPU user time (s): 1798.66
CPU system time (s): 1.5
CPU usage (%): 193.968
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.18
system time used= 1.9907
maximum resident set size= 3645112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39646
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24896
involuntary context switches= 32434

runsolver used 3.34149 second user time and 7.98379 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-24 20:01:13
IDJOB=3689486
IDBENCH=89852
IDSOLVER=2268
FILE ID=node139/3689486-1337882473
RUNJOBID= node139-1337871881-24410
PBS_JOBID= 14620065
Free space on /tmp= 71648 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1696083.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689486-1337882473/watcher-3689486-1337882473 -o /tmp/evaluation-result-3689486-1337882473/solver-3689486-1337882473 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3689486-1337882473.opb

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

MD5SUM BENCH= 8188d71a03844e125aafcd8487c80120
RANDOM SEED=1956433553

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26581360 kB
Buffers:          225248 kB
Cached:          2816400 kB
SwapCached:            0 kB
Active:          2967060 kB
Inactive:        2524604 kB
Active(anon):    2441492 kB
Inactive(anon):    11120 kB
Active(file):     525568 kB
Inactive(file):  2513484 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3676 kB
Writeback:             0 kB
AnonPages:       2460668 kB
Mapped:            22540 kB
Shmem:               200 kB
Slab:             653140 kB
SReclaimable:      95600 kB
SUnreclaim:       557540 kB
KernelStack:        1656 kB
PageTables:         9372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2661048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2400256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node139 at 2012-05-24 20:16:43