Trace number 4259820

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
Concrete 3.4SAT (TO)346 252.131 214.85201

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-50.xml
MD5SUMb46c08097c4951fbb159b9042bff535d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1137
Best CPU time to get the best result obtained on this benchmark1807.03
Satisfiable
(Un)Satisfiability was proved
Number of variables5461
Number of constraints3008
Number of domains4
Minimum domain size2
Maximum domain size5409
Distribution of domain sizes[{"size":2,"count":2704},{"size":3,"count":2704},{"size":2501,"count":1},{"size":5409,"count":52}]
Minimum variable degree1
Maximum variable degree53
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2701},{"degree":3,"count":55},{"degree":4,"count":200},{"degree":8,"count":196},{"degree":9,"count":2304},{"degree":53,"count":1}]
Minimum constraint arity2
Maximum constraint arity54
Distribution of constraint arities[{"arity":2,"count":252},{"arity":3,"count":200},{"arity":10,"count":2500},{"arity":52,"count":4},{"arity":53,"count":1},{"arity":54,"count":51}]
Number of extensional constraints2700
Number of intensional constraints251
Distribution of constraint types[{"type":"extension","count":2700},{"type":"intension","count":251},{"type":"sum","count":53},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.21/2.20	c Concrete v3.4 running
21.57/9.91	% 18:33:49.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15081. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 1601055449, 3 edges, 4 vertices, 1 tuples
21.57/9.94	% 18:33:49.452 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15228. 'extension(false, x[1][50]: {[0?1]}, x[2][50]: {[0?1]}) :: init: true :: relation: MDD 793186359, 3 edges, 4 vertices, 1 tuples
21.57/9.94	% 18:33:49.453 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15233. 'extension(x[49][1]: {[0?1]}, x[50][1]: {[0?1]}, false) :: init: true :: relation: MDD 1601055449, 3 edges, 4 vertices, 1 tuples
21.57/9.97	% 18:33:49.479 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15380. 'extension(x[49][50]: {[0?1]}, x[50][50]: {[0?1]}, false) :: init: true :: relation: MDD 793186359, 3 edges, 4 vertices, 1 tuples
21.57/9.97	% 18:33:49.480 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15384. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 1516344760, 3 edges, 4 vertices, 1 tuples
21.57/9.99	% 18:33:49.497 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15531. 'extension(false, x[50][1]: {[0?1]}, x[50][2]: {[0?1]}) :: init: true :: relation: MDD 282691904, 3 edges, 4 vertices, 1 tuples
21.57/9.99	% 18:33:49.498 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15534. 'extension(x[1][49]: {[0?1]}, x[1][50]: {[0?1]}, false) :: init: true :: relation: MDD 1516344760, 3 edges, 4 vertices, 1 tuples
21.57/10.01	% 18:33:49.517 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15681. 'extension(x[50][49]: {[0?1]}, x[50][50]: {[0?1]}, false) :: init: true :: relation: MDD 282691904, 3 edges, 4 vertices, 1 tuples
21.91/10.01	% 18:33:49.518 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15685. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
21.91/10.02	% 18:33:49.528 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15781. 'extension(x[1][50]: {[0?1]}, x[2][50]: {[0?1]}) :: init: true :: relation: Empty MDD
21.91/10.02	% 18:33:49.529 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15785. 'extension(x[49][1]: {[0?1]}, x[50][1]: {[0?1]}) :: init: true :: relation: Empty MDD
21.91/10.03	% 18:33:49.536 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15881. 'extension(x[49][50]: {[0?1]}, x[50][50]: {[0?1]}) :: init: true :: relation: Empty MDD
21.91/10.03	% 18:33:49.537 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15885. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
21.91/10.03	% 18:33:49.545 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15983. 'extension(x[50][1]: {[0?1]}, x[50][2]: {[0?1]}) :: init: true :: relation: Empty MDD
21.91/10.03	% 18:33:49.546 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15989. 'extension(x[1][49]: {[0?1]}, x[1][50]: {[0?1]}) :: init: true :: relation: Empty MDD
21.91/10.04	% 18:33:49.554 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16087. 'extension(x[50][49]: {[0?1]}, x[50][50]: {[0?1]}) :: init: true :: relation: Empty MDD
173.09/141.64	o 9
174.35/142.29	o 135
175.28/142.98	o 136
176.11/143.66	o 137
177.56/144.45	o 138
178.45/145.12	o 139
179.05/145.72	o 140
179.67/146.38	o 141
180.42/147.02	o 142
181.12/147.76	o 143
181.75/148.36	o 144
182.66/149.26	o 145
183.39/149.86	o 146
185.26/151.67	o 147
186.01/152.37	o 148
186.63/152.95	o 149
188.06/154.33	o 150
188.67/154.93	o 151
189.39/155.61	o 152
189.91/156.13	o 192
190.42/156.70	o 193
191.32/157.32	o 194
191.98/157.99	o 195
193.03/158.98	o 196
194.91/160.78	o 197
196.07/161.80	o 198
196.87/162.59	o 199
197.85/163.48	o 200
198.59/164.18	o 201
199.31/164.87	o 202
200.03/165.54	o 203
200.86/166.26	o 204
201.71/167.04	o 205
202.45/167.79	o 206
203.70/168.96	o 207
204.56/169.70	o 296
205.48/170.65	o 297
206.19/171.32	o 298
206.81/171.95	o 299
207.53/172.62	o 300
208.15/173.25	o 301
208.88/173.90	o 302
209.58/174.59	o 303
210.36/175.20	o 304
210.98/175.82	o 305
211.60/176.46	o 306
212.99/177.75	o 307
213.82/178.50	o 308
214.54/179.22	o 309
215.29/179.93	o 310
216.03/180.61	o 311
217.06/181.68	o 312
217.91/182.49	o 313
219.68/184.05	o 314
220.87/185.17	o 315
221.71/185.90	o 316
222.32/186.56	o 317
222.94/187.17	o 318
224.16/188.25	o 319
224.88/188.99	o 320
225.60/189.61	o 321
226.21/190.22	o 322
227.88/191.68	o 323
228.80/192.41	o 324
229.43/193.03	o 325
230.56/194.16	o 326
233.32/196.84	o 327
234.15/197.62	o 328
235.50/198.94	o 329
236.21/199.64	o 330
236.93/200.36	o 331
238.05/201.42	o 332
239.26/202.57	o 333
239.98/203.28	o 334
240.82/204.05	o 335
241.53/204.77	o 336
242.87/206.03	o 337
244.30/207.49	o 338
245.02/208.18	o 339
245.73/208.85	o 340
246.45/209.58	o 341
247.67/210.71	o 342
248.77/211.63	o 343
250.41/213.26	o 344
251.25/214.01	o 345
251.86/214.69	o 346
252.06/214.80	java.util.concurrent.TimeoutException
252.06/214.80		at concrete.MAC.mac(MAC.scala:74)
252.06/214.80		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.06/214.80		at scala.util.Try$.apply(Try.scala:209)
252.06/214.80		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.06/214.80		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.06/214.80		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.06/214.80		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.06/214.80		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.06/214.80		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.06/214.80		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.06/214.80		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.06/214.80		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.06/214.80		at concrete.MAC.oneRun(MAC.scala:146)
252.06/214.80		at concrete.MAC.nextSolution(MAC.scala:166)
252.06/214.80		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.06/214.80		at concrete.ProblemState.map(ProblemState.scala:203)
252.06/214.80		at concrete.ProblemState.map(ProblemState.scala:188)
252.06/214.80		at concrete.MAC.nextSolution(MAC.scala:195)
252.06/214.80		at concrete.Solver.hasNext(Solver.scala:202)
252.06/214.80		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.06/214.80		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.06/214.80		at concrete.Solver.toStream(Solver.scala:73)
252.06/214.81		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.06/214.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.06/214.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.06/214.81		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.06/214.81		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.06/214.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.06/214.81		at scala.util.Success.map(Try.scala:209)
252.06/214.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.06/214.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.06/214.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.06/214.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.06/214.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.06/214.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.06/214.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.06/214.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.06/214.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.06/214.81		at scala.collection.immutable.List.foreach(List.scala:389)
252.06/214.81		at scala.App.main(App.scala:76)
252.06/214.81		at scala.App.main$(App.scala:74)
252.06/214.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.06/214.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.06/214.81	v <instantiation cost="346">
252.06/214.81	v       <list>
252.06/214.81	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[0][46] w[0][47] w[0][48] w[0][49] w[0][50] w[0][51] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[1][46] w[1][47] w[1][48] w[1][49] w[1][50] w[1][51] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[2][46] w[2][47] w[2][48] w[2][49] w[2][50] w[2][51] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[3][46] w[3][47] w[3][48] w[3][49] w[3][50] w[3][51] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[4][46] w[4][47] w[4][48] w[4][49] w[4][50] w[4][51] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[5][46] w[5][47] w[5][48] w[5][49] w[5][50] w[5][51] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[6][46] w[6][47] w[6][48] w[6][49] w[6][50] w[6][51] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[7][46] w[7][47] w[7][48] w[7][49] w[7][50] w[7][51] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[8][46] w[8][47] w[8][48] w[8][49] w[8][50] w[8][51] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[9][46] w[9][47] w[9][48] w[9][49] w[9][50] w[9][51] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[10][46] w[10][47] w[10][48] w[10][49] w[10][50] w[10][51] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[11][46] w[11][47] w[11][48] w[11][49] w[11][50] w[11][51] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[12][46] w[12][47] w[12][48] w[12][49] w[12][50] w[12][51] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[13][46] w[13][47] w[13][48] w[13][49] w[13][50] w[13][51] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[14][46] w[14][47] w[14][48] w[14][49] w[14][50] w[14][51] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[15][46] w[15][47] w[15][48] w[15][49] w[15][50] w[15][51] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[16][46] w[16][47] w[16][48] w[16][49] w[16][50] w[16][51] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[17][46] w[17][47] w[17][48] w[17][49] w[17][50] w[17][51] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[18][46] w[18][47] w[18][48] w[18][49] w[18][50] w[18][51] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[19][46] w[19][47] w[19][48] w[19][49] w[19][50] w[19][51] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[20][46] w[20][47] w[20][48] w[20][49] w[20][50] w[20][51] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[21][46] w[21][47] w[21][48] w[21][49] w[21][50] w[21][51] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[22][46] w[22][47] w[22][48] w[22][49] w[22][50] w[22][51] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[23][46] w[23][47] w[23][48] w[23][49] w[23][50] w[23][51] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[24][46] w[24][47] w[24][48] w[24][49] w[24][50] w[24][51] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[25][46] w[25][47] w[25][48] w[25][49] w[25][50] w[25][51] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[26][46] w[26][47] w[26][48] w[26][49] w[26][50] w[26][51] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[27][46] w[27][47] w[27][48] w[27][49] w[27][50] w[27][51] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[28][46] w[28][47] w[28][48] w[28][49] w[28][50] w[28][51] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[29][46] w[29][47] w[29][48] w[29][49] w[29][50] w[29][51] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[30][46] w[30][47] w[30][48] w[30][49] w[30][50] w[30][51] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[31][46] w[31][47] w[31][48] w[31][49] w[31][50] w[31][51] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[32][46] w[32][47] w[32][48] w[32][49] w[32][50] w[32][51] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[33][46] w[33][47] w[33][48] w[33][49] w[33][50] w[33][51] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[34][46] w[34][47] w[34][48] w[34][49] w[34][50] w[34][51] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[35][46] w[35][47] w[35][48] w[35][49] w[35][50] w[35][51] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[36][46] w[36][47] w[36][48] w[36][49] w[36][50] w[36][51] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[37][46] w[37][47] w[37][48] w[37][49] w[37][50] w[37][51] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[38][46] w[38][47] w[38][48] w[38][49] w[38][50] w[38][51] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[39][46] w[39][47] w[39][48] w[39][49] w[39][50] w[39][51] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[40][46] w[40][47] w[40][48] w[40][49] w[40][50] w[40][51] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[41][46] w[41][47] w[41][48] w[41][49] w[41][50] w[41][51] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[42][46] w[42][47] w[42][48] w[42][49] w[42][50] w[42][51] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[43][46] w[43][47] w[43][48] w[43][49] w[43][50] w[43][51] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[44][46] w[44][47] w[44][48] w[44][49] w[44][50] w[44][51] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] w[45][46] w[45][47] w[45][48] w[45][49] w[45][50] w[45][51] w[46][0] w[46][1] w[46][2] w[46][3] w[46][4] w[46][5] w[46][6] w[46][7] w[46][8] w[46][9] w[46][10] w[46][11] w[46][12] w[46][13] w[46][14] w[46][15] w[46][16] w[46][17] w[46][18] w[46][19] w[46][20] w[46][21] w[46][22] w[46][23] w[46][24] w[46][25] w[46][26] w[46][27] w[46][28] w[46][29] w[46][30] w[46][31] w[46][32] w[46][33] w[46][34] w[46][35] w[46][36] w[46][37] w[46][38] w[46][39] w[46][40] w[46][41] w[46][42] w[46][43] w[46][44] w[46][45] w[46][46] w[46][47] w[46][48] w[46][49] w[46][50] w[46][51] w[47][0] w[47][1] w[47][2] w[47][3] w[47][4] w[47][5] w[47][6] w[47][7] w[47][8] w[47][9] w[47][10] w[47][11] w[47][12] w[47][13] w[47][14] w[47][15] w[47][16] w[47][17] w[47][18] w[47][19] w[47][20] w[47][21] w[47][22] w[47][23] w[47][24] w[47][25] w[47][26] w[47][27] w[47][28] w[47][29] w[47][30] w[47][31] w[47][32] w[47][33] w[47][34] w[47][35] w[47][36] w[47][37] w[47][38] w[47][39] w[47][40] w[47][41] w[47][42] w[47][43] w[47][44] w[47][45] w[47][46] w[47][47] w[47][48] w[47][49] w[47][50] w[47][51] w[48][0] w[48][1] w[48][2] w[48][3] w[48][4] w[48][5] w[48][6] w[48][7] w[48][8] w[48][9] w[48][10] w[48][11] w[48][12] w[48][13] w[48][14] w[48][15] w[48][16] w[48][17] w[48][18] w[48][19] w[48][20] w[48][21] w[48][22] w[48][23] w[48][24] w[48][25] w[48][26] w[48][27] w[48][28] w[48][29] w[48][30] w[48][31] w[48][32] w[48][33] w[48][34] w[48][35] w[48][36] w[48][37] w[48][38] w[48][39] w[48][40] w[48][41] w[48][42] w[48][43] w[48][44] w[48][45] w[48][46] w[48][47] w[48][48] w[48][49] w[48][50] w[48][51] w[49][0] w[49][1] w[49][2] w[49][3] w[49][4] w[49][5] w[49][6] w[49][7] w[49][8] w[49][9] w[49][10] w[49][11] w[49][12] w[49][13] w[49][14] w[49][15] w[49][16] w[49][17] w[49][18] w[49][19] w[49][20] w[49][21] w[49][22] w[49][23] w[49][24] w[49][25] w[49][26] w[49][27] w[49][28] w[49][29] w[49][30] w[49][31] w[49][32] w[49][33] w[49][34] w[49][35] w[49][36] w[49][37] w[49][38] w[49][39] w[49][40] w[49][41] w[49][42] w[49][43] w[49][44] w[49][45] w[49][46] w[49][47] w[49][48] w[49][49] w[49][50] w[49][51] w[50][0] w[50][1] w[50][2] w[50][3] w[50][4] w[50][5] w[50][6] w[50][7] w[50][8] w[50][9] w[50][10] w[50][11] w[50][12] w[50][13] w[50][14] w[50][15] w[50][16] w[50][17] w[50][18] w[50][19] w[50][20] w[50][21] w[50][22] w[50][23] w[50][24] w[50][25] w[50][26] w[50][27] w[50][28] w[50][29] w[50][30] w[50][31] w[50][32] w[50][33] w[50][34] w[50][35] w[50][36] w[50][37] w[50][38] w[50][39] w[50][40] w[50][41] w[50][42] w[50][43] w[50][44] w[50][45] w[50][46] w[50][47] w[50][48] w[50][49] w[50][50] w[50][51] w[51][0] w[51][1] w[51][2] w[51][3] w[51][4] w[51][5] w[51][6] w[51][7] w[51][8] w[51][9] w[51][10] w[51][11] w[51][12] w[51][13] w[51][14] w[51][15] w[51][16] w[51][17] w[51][18] w[51][19] w[51][20] w[51][21] w[51][22] w[51][23] w[51][24] w[51][25] w[51][26] w[51][27] w[51][28] w[51][29] w[51][30] w[51][31] w[51][32] w[51][33] w[51][34] w[51][35] w[51][36] w[51][37] w[51][38] w[51][39] w[51][40] w[51][41] w[51][42] w[51][43] w[51][44] w[51][45] w[51][46] w[51][47] w[51][48] w[51][49] w[51][50] w[51][51] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] ws[46] ws[47] ws[48] ws[49] ws[50] ws[51] z
252.06/214.81	v       </list>
252.06/214.81	v       <values>
252.06/214.81	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 1 0 1 1 0 1 0 1 0 1 0 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 1 1 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 0 0 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 0 2 2 2 1 2 2 0 2 0 0 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 2 2 0 1 2 2 0 2 0 0 2 0 0 2 2 0 2 2 1 2 2 0 1 1 2 0 2 2 0 2 2 2 2 0 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 2 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 2 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 2 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 2 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 2 0 0 1 1 1 2 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 2 2 1 1 1 1 0 0 0 0 0 0 1 1 2 1 2 1 1 2 0 0 0 0 0 0 1 1 1 0 1 2 2 2 2 0 1 1 0 2 1 1 1 0 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 49 150 251 353 455 556 658 760 862 964 1065 1166 1268 1370 1472 1574 1676 1778 1880 1982 2084 2186 2288 2390 2492 2594 2696 2797 2898 3000 3102 3203 3303 3404 3473 3566 3576 3585 3596 3605 3613 3631 3645 3657 3678 3689 3696 3708 3723 3740 3782 3816 346
252.06/214.81	v       </values>
252.06/214.81	v     </instantiation>
252.06/214.81	s SATISFIABLE

Verifier Data 

OK	346

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15153 MiB free)
  memory of node 1: 16384 MiB (10895 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259820-1502642867/watcher-4259820-1502642867 -o /tmp/evaluation-result-4259820-1502642867/solver-4259820-1502642867 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312 bin/concrete HOME/instance-4259820-1502642867.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=25970, runsolver pid=25967

[startup+0.10006 s]*
/proc/loadavg: 2.00 1.79 1.92 4/204 26002
/proc/meminfo: memFree=26673784/32770624 swapFree=67108860/67108860
[pid=25970] ppid=25967 vsize=9636 memory=1508 CPUtime=0.01 cores=0,2,4,6
/proc/25970/stat : 25970 (bash) S 25967 25970 8289 0 -1 4202496 893 6486 0 0 0 0 0 1 20 0 1 0 112101865 9867264 377 18446744073709551615 4194304 5098028 140722913053536 140722913047544 139843373284352 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 7 0 0 7196144 7232144 19410944 140722913059316 140722913059401 140722913059401 140722913062890 0
/proc/25970/statm: 2409 377 297 221 0 118 0
[pid=26000] ppid=25970 vsize=9636 memory=704 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (bash) S 25970 25970 8289 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 1 0 112101875 9867264 176 18446744073709551615 4194304 5098028 140722913053536 140722913046216 139843373109884 0 65536 1 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19410944 140722913059316 140722913059401 140722913059401 140722913062890 0
/proc/26000/statm: 2409 176 96 221 0 118 0
[pid=26001] ppid=26000 vsize=9934512 memory=10700 CPUtime=0 cores=0,2,4,6
/proc/26001/stat : 26001 (java) S 26000 25970 8289 0 -1 1077944320 2459 0 0 0 0 0 0 0 20 0 6 0 112101875 10172940288 2610 18446744073709551615 4194304 4196468 140720320617152 140720320599696 140355495894775 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31072256 140720320623192 140720320623206 140720320623206 140720320626639 0
/proc/26001/statm: 2483628 2675 1215 1 0 2473598 0
[pid=26001/tid=26003] ppid=26000 vsize=9934512 memory=8326441112148417179 CPUtime=0 cores=0,2,4,6
/proc/26001/task/26003/stat : 26003 (java) R 26000 25970 8289 0 -1 4202560 1188 0 0 0 0 0 0 0 20 0 6 0 112101876 10172940288 2675 18446744073709551615 4194304 4196468 140720320617152 140355500135736 140355479598608 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140720320623192 140720320623206 140720320623206 140720320626639 0
[pid=26001/tid=26004] ppid=26000 vsize=9934512 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/26001/task/26004/stat : 26004 (java) S 26000 25970 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112101876 10172940288 2675 18446744073709551615 4194304 4196468 140720320617152 140355442244624 140355495904981 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31072256 140720320623192 140720320623206 140720320623206 140720320626639 0
[pid=26001/tid=26005] ppid=26000 vsize=9934512 memory=139802575001216 CPUtime=0 cores=0,2,4,6
/proc/26001/task/26005/stat : 26005 (java) S 26000 25970 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 112101876 10172940288 2675 18446744073709551615 4194304 4196468 140720320617152 140355441192080 140355495904981 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31072256 140720320623192 140720320623206 140720320623206 140720320626639 0
[pid=26001/tid=26006] ppid=26000 vsize=9934512 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26001/task/26006/stat : 26006 (java) S 26000 25970 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 112101876 10172940288 2675 18446744073709551615 4194304 4196468 140720320617152 140355440139024 140355495904981 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31072256 140720320623192 140720320623206 140720320623206 140720320626639 0
[pid=26001/tid=26007] ppid=26000 vsize=9934512 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26001/task/26007/stat : 26007 (java) S 26000 25970 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112101876 10172940288 2675 18446744073709551615 4194304 4196468 140720320617152 140355439086480 140355495904981 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31072256 140720320623192 140720320623206 140720320623206 140720320626639 0
[pid=26002] ppid=26000 vsize=9872 memory=972 CPUtime=0 cores=0,2,4,6
/proc/26002/stat : 26002 (awk) S 26000 25970 8289 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 112101875 10108928 243 18446744073709551615 4194304 4609284 140732107242288 140732107241464 140574924581888 0 0 1 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 8142848 140732107244160 140732107244190 140732107244190 140732107247595 0
/proc/26002/statm: 2468 243 203 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9963656 KiB
Current children cumulated memory: 13884 KiB

[startup+0.210463 s]*
/proc/loadavg: 2.00 1.79 1.92 3/202 26020
/proc/meminfo: memFree=26670044/32770624 swapFree=67108860/67108860
[pid=25970] ppid=25967 vsize=13358716 memory=14376 CPUtime=0.1 cores=0,2,4,6
/proc/25970/stat : 25970 (java) S 25967 25970 8289 0 -1 1077944320 4284 12680 0 0 1 1 5 3 20 0 6 0 112101865 13679325184 3594 18446744073709551615 4194304 4196468 140731589203888 140731589186432 140532605066999 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
/proc/25970/statm: 3339679 3594 1904 1 0 3329176 0
[pid=25970/tid=26020] ppid=25967 vsize=13358716 memory=7077796292425249400 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26020/stat : 26020 (java) R 25967 25970 8289 0 -1 4202560 2137 12680 0 0 0 0 5 3 20 0 6 0 112101886 13679325184 3594 18446744073709551615 4194304 4196468 140731589203888 140532609303120 140532589147486 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26021] ppid=25967 vsize=13358716 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26021/stat : 26021 (java) S 25967 25970 8289 0 -1 1077944384 1 12680 0 0 0 0 5 3 20 0 6 0 112101886 13679325184 3594 18446744073709551615 4194304 4196468 140731589203888 140532539501456 140532605077205 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26022] ppid=25967 vsize=13358716 memory=139802575001216 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26022/stat : 26022 (java) S 25967 25970 8289 0 -1 1077944384 2 12680 0 0 0 0 5 3 20 0 6 0 112101886 13679325184 3594 18446744073709551615 4194304 4196468 140731589203888 140532204092176 140532605077205 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26023] ppid=25967 vsize=13358716 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26023/stat : 26023 (java) S 25967 25970 8289 0 -1 1077944384 2 12680 0 0 0 0 5 3 20 0 6 0 112101886 13679325184 3594 18446744073709551615 4194304 4196468 140731589203888 140532203039888 140532605077205 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26024] ppid=25967 vsize=13358716 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26024/stat : 26024 (java) S 25967 25970 8289 0 -1 1077944384 1 12680 0 0 0 0 5 3 20 0 6 0 112101887 13679325184 3594 18446744073709551615 4194304 4196468 140731589203888 140532201987088 140532605077205 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13358716 KiB
Current children cumulated memory: 14376 KiB

[startup+0.310116 s]*
/proc/loadavg: 2.00 1.79 1.92 4/215 26033
/proc/meminfo: memFree=26659008/32770624 swapFree=67108860/67108860
[pid=25970] ppid=25967 vsize=13974356 memory=28768 CPUtime=0.18 cores=0,2,4,6
/proc/25970/stat : 25970 (java) S 25967 25970 8289 0 -1 1077944320 6544 12680 0 0 9 1 5 3 20 0 15 0 112101865 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140731589186432 140532605066999 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
/proc/25970/statm: 3493589 7192 2876 1 0 3482965 0
[pid=25970/tid=26020] ppid=25967 vsize=13974356 memory=7077796292425249400 CPUtime=0.14 cores=0,2,4,6
/proc/25970/task/26020/stat : 26020 (java) R 25967 25970 8289 0 -1 4202560 3251 12680 0 0 6 0 5 3 20 0 15 0 112101886 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532609298824 140532219249175 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26021] ppid=25967 vsize=13974356 memory=664954298467758088 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26021/stat : 26021 (java) S 25967 25970 8289 0 -1 1077944384 1 12680 0 0 0 0 5 3 20 0 15 0 112101886 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532539501456 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26022] ppid=25967 vsize=13974356 memory=139802575070752 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26022/stat : 26022 (java) S 25967 25970 8289 0 -1 1077944384 2 12680 0 0 0 0 5 3 20 0 15 0 112101886 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532204092176 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26023] ppid=25967 vsize=13974356 memory=71908 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26023/stat : 26023 (java) S 25967 25970 8289 0 -1 1077944384 2 12680 0 0 0 0 5 3 20 0 15 0 112101886 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532203039888 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26024] ppid=25967 vsize=13974356 memory=67 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26024/stat : 26024 (java) S 25967 25970 8289 0 -1 1077944384 1 12680 0 0 0 0 5 3 20 0 15 0 112101887 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532201987088 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26025] ppid=25967 vsize=13974356 memory=139802575077664 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26025/stat : 26025 (java) S 25967 25970 8289 0 -1 1077944384 2 12680 0 0 0 0 5 3 20 0 15 0 112101888 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532150806640 140532605078146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26026] ppid=25967 vsize=13974356 memory=35 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26026/stat : 26026 (java) S 25967 25970 8289 0 -1 1077944384 33 12680 0 0 0 0 5 3 20 0 15 0 112101888 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532149752608 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26027] ppid=25967 vsize=13974356 memory=81092 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26027/stat : 26027 (java) S 25967 25970 8289 0 -1 1077944384 21 12680 0 0 0 0 5 3 20 0 15 0 112101889 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532148700272 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26028] ppid=25967 vsize=13974356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26028/stat : 26028 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532147648592 140532605085595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26029] ppid=25967 vsize=13974356 memory=139802460806624 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26029/stat : 26029 (java) R 25967 25970 8289 0 -1 1077944384 310 12680 0 0 0 0 5 3 20 0 15 0 112101891 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532146596464 140532605078146 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26030] ppid=25967 vsize=13974356 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26030/stat : 26030 (java) R 25967 25970 8289 0 -1 4202560 320 12680 0 0 0 0 5 3 20 0 15 0 112101891 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532145529464 140532582894237 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26031] ppid=25967 vsize=13974356 memory=139802575001216 CPUtime=0.09 cores=0,2,4,6
/proc/25970/task/26031/stat : 26031 (java) R 25967 25970 8289 0 -1 4202560 475 12680 0 0 1 0 5 3 20 0 15 0 112101891 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532144488072 140532584023286 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26032] ppid=25967 vsize=13974356 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26032/stat : 26032 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532143438816 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26033] ppid=25967 vsize=13974356 memory=139802575001216 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26033/stat : 26033 (java) S 25967 25970 8289 0 -1 1077944384 1 12680 0 0 0 0 5 3 20 0 15 0 112101895 14309740544 7192 18446744073709551615 4194304 4196468 140731589203888 140532142385584 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 28768 KiB

[startup+0.700848 s]
/proc/loadavg: 2.00 1.79 1.92 3/215 26033
/proc/meminfo: memFree=26632220/32770624 swapFree=67108860/67108860
[pid=25970] ppid=25967 vsize=13974784 memory=59828 CPUtime=0.71 cores=0,2,4,6
/proc/25970/stat : 25970 (java) S 25967 25970 8289 0 -1 1077944320 13998 12680 0 0 59 4 5 3 20 0 15 0 112101865 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140731589186432 140532605066999 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
/proc/25970/statm: 3493696 14957 3134 1 0 3482965 0
[pid=25970/tid=26020] ppid=25967 vsize=13974784 memory=54256 CPUtime=0.53 cores=0,2,4,6
/proc/25970/task/26020/stat : 26020 (java) R 25967 25970 8289 0 -1 4202560 10389 12680 0 0 42 3 5 3 20 0 15 0 112101886 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532609283568 140532586630528 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26021] ppid=25967 vsize=13974784 memory=279604921359288 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26021/stat : 26021 (java) S 25967 25970 8289 0 -1 1077944384 1 12680 0 0 0 0 5 3 20 0 15 0 112101886 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532539501456 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26022] ppid=25967 vsize=13974784 memory=2616910153473 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26022/stat : 26022 (java) S 25967 25970 8289 0 -1 1077944384 2 12680 0 0 0 0 5 3 20 0 15 0 112101886 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532204092176 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26023] ppid=25967 vsize=13974784 memory=2634090022657 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26023/stat : 26023 (java) S 25967 25970 8289 0 -1 1077944384 2 12680 0 0 0 0 5 3 20 0 15 0 112101886 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532203039888 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26024] ppid=25967 vsize=13974784 memory=2651269891841 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26024/stat : 26024 (java) S 25967 25970 8289 0 -1 1077944384 1 12680 0 0 0 0 5 3 20 0 15 0 112101887 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532201987088 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26025] ppid=25967 vsize=13974784 memory=2719989368321 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26025/stat : 26025 (java) S 25967 25970 8289 0 -1 1077944384 5 12680 0 0 0 0 5 3 20 0 15 0 112101888 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532150806640 140532605078146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26026] ppid=25967 vsize=13974784 memory=2848838387201 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26026/stat : 26026 (java) S 25967 25970 8289 0 -1 1077944384 33 12680 0 0 0 0 5 3 20 0 15 0 112101888 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532149752608 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26027] ppid=25967 vsize=13974784 memory=52780 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26027/stat : 26027 (java) S 25967 25970 8289 0 -1 1077944384 21 12680 0 0 0 0 5 3 20 0 15 0 112101889 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532148700272 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26028] ppid=25967 vsize=13974784 memory=-8774313645642428999 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26028/stat : 26028 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532147648592 140532605085595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26029] ppid=25967 vsize=13974784 memory=4872558044660077418 CPUtime=0.11 cores=0,2,4,6
/proc/25970/task/26029/stat : 26029 (java) S 25967 25970 8289 0 -1 1077944384 416 12680 0 0 3 0 5 3 20 0 15 0 112101891 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532146596464 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26030] ppid=25967 vsize=13974784 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/25970/task/26030/stat : 26030 (java) S 25967 25970 8289 0 -1 1077944384 400 12680 0 0 2 0 5 3 20 0 15 0 112101891 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532145543664 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26031] ppid=25967 vsize=13974784 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/25970/task/26031/stat : 26031 (java) S 25967 25970 8289 0 -1 1077944384 571 12680 0 0 10 0 5 3 20 0 15 0 112101891 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532144491376 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26032] ppid=25967 vsize=13974784 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26032/stat : 26032 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532143438816 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26033] ppid=25967 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26033/stat : 26033 (java) S 25967 25970 8289 0 -1 1077944384 1 12680 0 0 0 0 5 3 20 0 15 0 112101895 14310178816 14957 18446744073709551615 4194304 4196468 140731589203888 140532142385584 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 59828 KiB

[startup+1.50073 s]
/proc/loadavg: 2.00 1.79 1.92 3/215 26033
/proc/meminfo: memFree=26593684/32770624 swapFree=67108860/67108860
[pid=25970] ppid=25967 vsize=13985408 memory=160824 CPUtime=1.9 cores=0,2,4,6
/proc/25970/stat : 25970 (java) S 25967 25970 8289 0 -1 1077944320 29234 12680 0 0 172 10 5 3 20 0 15 0 112101865 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140731589186432 140532605066999 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
/proc/25970/statm: 3496352 40206 3364 1 0 3485525 0
[pid=25970/tid=26020] ppid=25967 vsize=13985408 memory=124252 CPUtime=1.31 cores=0,2,4,6
/proc/25970/task/26020/stat : 26020 (java) S 25967 25970 8289 0 -1 1077944384 22455 12680 0 0 116 7 5 3 20 0 15 0 112101886 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532609283712 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26021] ppid=25967 vsize=13985408 memory=115883787684084 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26021/stat : 26021 (java) S 25967 25970 8289 0 -1 1077944384 45 12680 0 0 0 0 5 3 20 0 15 0 112101886 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532539501456 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26022] ppid=25967 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26022/stat : 26022 (java) S 25967 25970 8289 0 -1 1077944384 60 12680 0 0 0 0 5 3 20 0 15 0 112101886 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532204092176 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26023] ppid=25967 vsize=13985408 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26023/stat : 26023 (java) S 25967 25970 8289 0 -1 1077944384 58 12680 0 0 0 0 5 3 20 0 15 0 112101886 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532203039888 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26024] ppid=25967 vsize=13985408 memory=-7101718590825193272 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26024/stat : 26024 (java) S 25967 25970 8289 0 -1 1077944384 192 12680 0 0 0 0 5 3 20 0 15 0 112101887 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532201987088 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26025] ppid=25967 vsize=13985408 memory=49924 CPUtime=0.09 cores=0,2,4,6
/proc/25970/task/26025/stat : 26025 (java) R 25967 25970 8289 0 -1 4202560 1282 12680 0 0 1 0 5 3 20 0 15 0 112101888 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532150804928 140532589767617 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26026] ppid=25967 vsize=13985408 memory=-7674914008656224208 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26026/stat : 26026 (java) S 25967 25970 8289 0 -1 1077944384 33 12680 0 0 0 0 5 3 20 0 15 0 112101888 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532149752608 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26027] ppid=25967 vsize=13985408 memory=-6948614817169703632 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26027/stat : 26027 (java) S 25967 25970 8289 0 -1 1077944384 21 12680 0 0 0 0 5 3 20 0 15 0 112101889 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532148700272 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26028] ppid=25967 vsize=13985408 memory=-2317720213663851443 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26028/stat : 26028 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532147648592 140532605085595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26029] ppid=25967 vsize=13985408 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/25970/task/26029/stat : 26029 (java) S 25967 25970 8289 0 -1 1077944384 787 12680 0 0 15 0 5 3 20 0 15 0 112101891 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532146596464 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26030] ppid=25967 vsize=13985408 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/25970/task/26030/stat : 26030 (java) S 25967 25970 8289 0 -1 1077944384 799 12680 0 0 14 0 5 3 20 0 15 0 112101891 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532145543664 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26031] ppid=25967 vsize=13985408 memory=14356 CPUtime=0.31 cores=0,2,4,6
/proc/25970/task/26031/stat : 26031 (java) S 25967 25970 8289 0 -1 1077944384 1341 12680 0 0 23 0 5 3 20 0 15 0 112101891 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532144491376 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26032] ppid=25967 vsize=13985408 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26032/stat : 26032 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532143438816 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26033] ppid=25967 vsize=13985408 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26033/stat : 26033 (java) S 25967 25970 8289 0 -1 1077944384 5 12680 0 0 0 0 5 3 20 0 15 0 112101895 14321057792 40206 18446744073709551615 4194304 4196468 140731589203888 140532142385584 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 160824 KiB

[startup+3.11016 s]
/proc/loadavg: 2.00 1.79 1.92 3/215 26033
/proc/meminfo: memFree=26458208/32770624 swapFree=67108860/67108860
[pid=25970] ppid=25967 vsize=13997884 memory=234488 CPUtime=5.88 cores=0,2,4,6
/proc/25970/stat : 25970 (java) S 25967 25970 8289 0 -1 1077944320 42764 12680 0 0 564 16 5 3 20 0 15 0 112101865 14333833216 58622 18446744073709551615 4194304 4196468 140731589203888 140731589186432 140532605066999 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
/proc/25970/statm: 3499471 58622 3444 1 0 3488085 0
[pid=25970/tid=26020] ppid=25967 vsize=13997884 memory=56 CPUtime=2.89 cores=0,2,4,6

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

/proc/25970/task/26020/stat : 26020 (java) R 25967 25970 8289 0 -1 4202560 59664 12680 0 0 4977 26 5 3 20 0 15 0 112101886 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532609300584 140532242321062 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26021] ppid=25967 vsize=14071612 memory=1549008 CPUtime=0.74 cores=0,2,4,6
/proc/25970/task/26021/stat : 26021 (java) S 25967 25970 8289 0 -1 1077944384 864 12680 0 0 49 17 5 3 20 0 15 0 112101886 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532539501456 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26022] ppid=25967 vsize=14071612 memory=-8774313645642428999 CPUtime=0.76 cores=0,2,4,6
/proc/25970/task/26022/stat : 26022 (java) S 25967 25970 8289 0 -1 1077944384 2384 12680 0 0 51 17 5 3 20 0 15 0 112101886 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532204092176 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26023] ppid=25967 vsize=14071612 memory=164 CPUtime=0.73 cores=0,2,4,6
/proc/25970/task/26023/stat : 26023 (java) S 25967 25970 8289 0 -1 1077944384 1305 12680 0 0 49 16 5 3 20 0 15 0 112101886 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532203039888 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26024] ppid=25967 vsize=14071612 memory=-6237260532469557610 CPUtime=0.74 cores=0,2,4,6
/proc/25970/task/26024/stat : 26024 (java) S 25967 25970 8289 0 -1 1077944384 975 12680 0 0 49 17 5 3 20 0 15 0 112101887 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532201987088 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26025] ppid=25967 vsize=14071612 memory=1490752 CPUtime=0.15 cores=0,2,4,6
/proc/25970/task/26025/stat : 26025 (java) S 25967 25970 8289 0 -1 1077944384 4189 12680 0 0 7 0 5 3 20 0 15 0 112101888 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532150806640 140532605078146 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26026] ppid=25967 vsize=14071612 memory=1424844 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26026/stat : 26026 (java) S 25967 25970 8289 0 -1 1077944384 63 12680 0 0 0 0 5 3 20 0 15 0 112101888 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532149752672 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26027] ppid=25967 vsize=14071612 memory=1549008 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26027/stat : 26027 (java) S 25967 25970 8289 0 -1 1077944384 57 12680 0 0 0 0 5 3 20 0 15 0 112101889 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532148700288 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26028] ppid=25967 vsize=14071612 memory=4168 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26028/stat : 26028 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532147648592 140532605085595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26029] ppid=25967 vsize=14071612 memory=0 CPUtime=9.55 cores=0,2,4,6
/proc/25970/task/26029/stat : 26029 (java) S 25967 25970 8289 0 -1 1077944384 24621 12680 0 0 942 5 5 3 20 0 15 0 112101891 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532146596464 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26030] ppid=25967 vsize=14071612 memory=5776265145071382570 CPUtime=9.34 cores=0,2,4,6
/proc/25970/task/26030/stat : 26030 (java) S 25967 25970 8289 0 -1 1077944384 14928 12680 0 0 923 3 5 3 20 0 15 0 112101891 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532145543664 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26031] ppid=25967 vsize=14071612 memory=1549008 CPUtime=3.15 cores=0,2,4,6
/proc/25970/task/26031/stat : 26031 (java) S 25967 25970 8289 0 -1 1077944384 13448 12680 0 0 302 5 5 3 20 0 15 0 112101891 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532144491376 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26032] ppid=25967 vsize=14071612 memory=1549008 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26032/stat : 26032 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532143438816 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26033] ppid=25967 vsize=14071612 memory=1436 CPUtime=0.1 cores=0,2,4,6
/proc/25970/task/26033/stat : 26033 (java) S 25967 25970 8289 0 -1 1077944384 828 12680 0 0 0 2 5 3 20 0 15 0 112101895 14409330688 417560 18446744073709551615 4194304 4196468 140731589203888 140532142385584 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
Current children cumulated CPU time: 74.75 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1670240 KiB

[startup+102.301 s]
/proc/loadavg: 2.07 1.92 1.95 3/215 26159
/proc/meminfo: memFree=27210988/32770624 swapFree=67108860/67108860
[pid=25970] ppid=25967 vsize=14071612 memory=2185360 CPUtime=129.55 cores=0,2,4,6
/proc/25970/stat : 25970 (java) S 25967 25970 8289 0 -1 1077944320 141449 12680 0 0 12793 154 5 3 20 0 15 0 112101865 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140731589186432 140532605066999 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
/proc/25970/statm: 3517903 546340 3488 1 0 3506517 0
[pid=25970/tid=26020] ppid=25967 vsize=14071612 memory=2150548 CPUtime=100.93 cores=0,2,4,6
/proc/25970/task/26020/stat : 26020 (java) R 25967 25970 8289 0 -1 4202560 62749 12680 0 0 10055 30 5 3 20 0 15 0 112101886 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532609298512 140532238412490 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26021] ppid=25967 vsize=14071612 memory=2185360 CPUtime=1.07 cores=0,2,4,6
/proc/25970/task/26021/stat : 26021 (java) S 25967 25970 8289 0 -1 1077944384 1820 12680 0 0 74 25 5 3 20 0 15 0 112101886 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532539501456 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26022] ppid=25967 vsize=14071612 memory=2185360 CPUtime=1.11 cores=0,2,4,6
/proc/25970/task/26022/stat : 26022 (java) S 25967 25970 8289 0 -1 1077944384 3911 12680 0 0 77 26 5 3 20 0 15 0 112101886 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532204092176 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26023] ppid=25967 vsize=14071612 memory=798 CPUtime=1.08 cores=0,2,4,6
/proc/25970/task/26023/stat : 26023 (java) S 25967 25970 8289 0 -1 1077944384 1559 12680 0 0 75 25 5 3 20 0 15 0 112101886 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532203039888 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26024] ppid=25967 vsize=14071612 memory=1200 CPUtime=1.09 cores=0,2,4,6
/proc/25970/task/26024/stat : 26024 (java) S 25967 25970 8289 0 -1 1077944384 1360 12680 0 0 75 26 5 3 20 0 15 0 112101887 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532201987088 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26025] ppid=25967 vsize=14071612 memory=279604921254304 CPUtime=0.17 cores=0,2,4,6
/proc/25970/task/26025/stat : 26025 (java) S 25967 25970 8289 0 -1 1077944384 4675 12680 0 0 9 0 5 3 20 0 15 0 112101888 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532150806640 140532605078146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26026] ppid=25967 vsize=14071612 memory=5787213904088350821 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26026/stat : 26026 (java) S 25967 25970 8289 0 -1 1077944384 63 12680 0 0 0 0 5 3 20 0 15 0 112101888 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532149752672 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26027] ppid=25967 vsize=14071612 memory=2150548 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26027/stat : 26027 (java) S 25967 25970 8289 0 -1 1077944384 57 12680 0 0 0 0 5 3 20 0 15 0 112101889 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532148700288 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26028] ppid=25967 vsize=14071612 memory=279604921664384 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26028/stat : 26028 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532147648592 140532605085595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26029] ppid=25967 vsize=14071612 memory=279604922466800 CPUtime=10.65 cores=0,2,4,6
/proc/25970/task/26029/stat : 26029 (java) S 25967 25970 8289 0 -1 1077944384 28994 12680 0 0 1051 6 5 3 20 0 15 0 112101891 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532146596464 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26030] ppid=25967 vsize=14071612 memory=1296 CPUtime=10.46 cores=0,2,4,6
/proc/25970/task/26030/stat : 26030 (java) S 25967 25970 8289 0 -1 1077944384 17139 12680 0 0 1035 3 5 3 20 0 15 0 112101891 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532145543664 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26031] ppid=25967 vsize=14071612 memory=2440 CPUtime=3.48 cores=0,2,4,6
/proc/25970/task/26031/stat : 26031 (java) S 25967 25970 8289 0 -1 1077944384 16063 12680 0 0 335 5 5 3 20 0 15 0 112101891 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532144491376 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26032] ppid=25967 vsize=14071612 memory=1724 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26032/stat : 26032 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532143438816 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26033] ppid=25967 vsize=14071612 memory=1228 CPUtime=0.12 cores=0,2,4,6
/proc/25970/task/26033/stat : 26033 (java) S 25967 25970 8289 0 -1 1077944384 903 12680 0 0 2 2 5 3 20 0 15 0 112101895 14409330688 546340 18446744073709551615 4194304 4196468 140731589203888 140532142385584 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
Current children cumulated CPU time: 129.55 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2185360 KiB

[startup+162.301 s]
/proc/loadavg: 1.92 1.90 1.95 3/214 26162
/proc/meminfo: memFree=26971620/32770624 swapFree=67108860/67108860
[pid=25970] ppid=25967 vsize=14071612 memory=2310176 CPUtime=196.66 cores=0,2,4,6
/proc/25970/stat : 25970 (java) S 25967 25970 8289 0 -1 1077944320 173052 12680 0 0 19474 184 5 3 20 0 15 0 112101865 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140731589186432 140532605066999 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
/proc/25970/statm: 3517903 577544 3496 1 0 3506517 0
[pid=25970/tid=26020] ppid=25967 vsize=14071612 memory=2310176 CPUtime=160.02 cores=0,2,4,6
/proc/25970/task/26020/stat : 26020 (java) R 25967 25970 8289 0 -1 4202560 67127 12680 0 0 15962 32 5 3 20 0 15 0 112101886 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532609298144 140532238224768 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26021] ppid=25967 vsize=14071612 memory=2310176 CPUtime=1.84 cores=0,2,4,6
/proc/25970/task/26021/stat : 26021 (java) S 25967 25970 8289 0 -1 1077944384 2143 12680 0 0 145 31 5 3 20 0 15 0 112101886 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532539501456 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26022] ppid=25967 vsize=14071612 memory=2310176 CPUtime=1.87 cores=0,2,4,6
/proc/25970/task/26022/stat : 26022 (java) S 25967 25970 8289 0 -1 1077944384 5015 12680 0 0 147 32 5 3 20 0 15 0 112101886 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532204092176 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26023] ppid=25967 vsize=14071612 memory=1232 CPUtime=1.85 cores=0,2,4,6
/proc/25970/task/26023/stat : 26023 (java) S 25967 25970 8289 0 -1 1077944384 2110 12680 0 0 146 31 5 3 20 0 15 0 112101886 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532203039888 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26024] ppid=25967 vsize=14071612 memory=2246248 CPUtime=1.87 cores=0,2,4,6
/proc/25970/task/26024/stat : 26024 (java) S 25967 25970 8289 0 -1 1077944384 1830 12680 0 0 147 32 5 3 20 0 15 0 112101887 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532201987088 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26025] ppid=25967 vsize=14071612 memory=2246244 CPUtime=0.3 cores=0,2,4,6
/proc/25970/task/26025/stat : 26025 (java) S 25967 25970 8289 0 -1 1077944384 11668 12680 0 0 21 1 5 3 20 0 15 0 112101888 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532150806640 140532605078146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26026] ppid=25967 vsize=14071612 memory=2310176 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26026/stat : 26026 (java) S 25967 25970 8289 0 -1 1077944384 69 12680 0 0 0 0 5 3 20 0 15 0 112101888 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532149752672 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26027] ppid=25967 vsize=14071612 memory=2310176 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26027/stat : 26027 (java) S 25967 25970 8289 0 -1 1077944384 60 12680 0 0 0 0 5 3 20 0 15 0 112101889 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532148700288 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26028] ppid=25967 vsize=14071612 memory=2310176 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26028/stat : 26028 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532147648592 140532605085595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26029] ppid=25967 vsize=14071612 memory=2310176 CPUtime=12.77 cores=0,2,4,6
/proc/25970/task/26029/stat : 26029 (java) S 25967 25970 8289 0 -1 1077944384 34766 12680 0 0 1262 7 5 3 20 0 15 0 112101891 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532146596464 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26030] ppid=25967 vsize=14071612 memory=4168 CPUtime=12.63 cores=0,2,4,6
/proc/25970/task/26030/stat : 26030 (java) S 25967 25970 8289 0 -1 1077944384 23751 12680 0 0 1250 5 5 3 20 0 15 0 112101891 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532145543664 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26031] ppid=25967 vsize=14071612 memory=2310176 CPUtime=3.96 cores=0,2,4,6
/proc/25970/task/26031/stat : 26031 (java) S 25967 25970 8289 0 -1 1077944384 21415 12680 0 0 382 6 5 3 20 0 15 0 112101891 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532144491376 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26032] ppid=25967 vsize=14071612 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26032/stat : 26032 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532143438816 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26033] ppid=25967 vsize=14071612 memory=2246248 CPUtime=0.16 cores=0,2,4,6
/proc/25970/task/26033/stat : 26033 (java) S 25967 25970 8289 0 -1 1077944384 942 12680 0 0 5 3 5 3 20 0 15 0 112101895 14409330688 577544 18446744073709551615 4194304 4196468 140731589203888 140532142385584 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
Current children cumulated CPU time: 196.66 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2310176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+214.801 s]
/proc/loadavg: 1.89 1.89 1.94 3/215 26165
/proc/meminfo: memFree=27069404/32770624 swapFree=67108860/67108860
[pid=25970] ppid=25967 vsize=14071612 memory=2452824 CPUtime=252.06 cores=0,2,4,6
/proc/25970/stat : 25970 (java) S 25967 25970 8289 0 -1 1077944320 178364 12680 0 0 24993 205 5 3 20 0 15 0 112101865 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140731589186432 140532605066999 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
/proc/25970/statm: 3517903 613206 3496 1 0 3506517 0
[pid=25970/tid=26020] ppid=25967 vsize=14071612 memory=5788 CPUtime=212.3 cores=0,2,4,6
/proc/25970/task/26020/stat : 26020 (java) R 25967 25970 8289 0 -1 4202560 70115 12680 0 0 21189 33 5 3 20 0 15 0 112101886 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532609300776 140532241680998 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26021] ppid=25967 vsize=14071612 memory=4612 CPUtime=2.04 cores=0,2,4,6
/proc/25970/task/26021/stat : 26021 (java) S 25967 25970 8289 0 -1 1077944384 2238 12680 0 0 160 36 5 3 20 0 15 0 112101886 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532539501456 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26022] ppid=25967 vsize=14071612 memory=-8774313645642428999 CPUtime=2.07 cores=0,2,4,6
/proc/25970/task/26022/stat : 26022 (java) S 25967 25970 8289 0 -1 1077944384 5094 12680 0 0 163 36 5 3 20 0 15 0 112101886 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532204092176 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26023] ppid=25967 vsize=14071612 memory=2440 CPUtime=2.05 cores=0,2,4,6
/proc/25970/task/26023/stat : 26023 (java) S 25967 25970 8289 0 -1 1077944384 2235 12680 0 0 162 35 5 3 20 0 15 0 112101886 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532203039888 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26024] ppid=25967 vsize=14071612 memory=1724 CPUtime=2.06 cores=0,2,4,6
/proc/25970/task/26024/stat : 26024 (java) S 25967 25970 8289 0 -1 1077944384 2315 12680 0 0 162 36 5 3 20 0 15 0 112101887 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532201987088 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26025] ppid=25967 vsize=14071612 memory=792 CPUtime=0.31 cores=0,2,4,6
/proc/25970/task/26025/stat : 26025 (java) S 25967 25970 8289 0 -1 1077944384 11837 12680 0 0 22 1 5 3 20 0 15 0 112101888 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532150806640 140532605078146 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26026] ppid=25967 vsize=14071612 memory=1716 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26026/stat : 26026 (java) S 25967 25970 8289 0 -1 1077944384 69 12680 0 0 0 0 5 3 20 0 15 0 112101888 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532149752672 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26027] ppid=25967 vsize=14071612 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26027/stat : 26027 (java) S 25967 25970 8289 0 -1 1077944384 60 12680 0 0 0 0 5 3 20 0 15 0 112101889 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532148700288 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26028] ppid=25967 vsize=14071612 memory=1436 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26028/stat : 26028 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532147648592 140532605085595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26029] ppid=25967 vsize=14071612 memory=1200 CPUtime=13.68 cores=0,2,4,6
/proc/25970/task/26029/stat : 26029 (java) S 25967 25970 8289 0 -1 1077944384 34973 12680 0 0 1353 7 5 3 20 0 15 0 112101891 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532146596464 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26030] ppid=25967 vsize=14071612 memory=15876 CPUtime=13.63 cores=0,2,4,6
/proc/25970/task/26030/stat : 26030 (java) S 25967 25970 8289 0 -1 1077944384 24121 12680 0 0 1350 5 5 3 20 0 15 0 112101891 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532145543664 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26031] ppid=25967 vsize=14071612 memory=4040 CPUtime=4.32 cores=0,2,4,6
/proc/25970/task/26031/stat : 26031 (java) S 25967 25970 8289 0 -1 1077944384 22205 12680 0 0 418 6 5 3 20 0 15 0 112101891 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532144491376 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26032] ppid=25967 vsize=14071612 memory=33344 CPUtime=0.08 cores=0,2,4,6
/proc/25970/task/26032/stat : 26032 (java) S 25967 25970 8289 0 -1 1077944384 3 12680 0 0 0 0 5 3 20 0 15 0 112101891 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532143438816 140532605077205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
[pid=25970/tid=26033] ppid=25967 vsize=14071612 memory=1232 CPUtime=0.18 cores=0,2,4,6
/proc/25970/task/26033/stat : 26033 (java) S 25967 25970 8289 0 -1 1077944384 946 12680 0 0 6 4 5 3 20 0 15 0 112101895 14409330688 613206 18446744073709551615 4194304 4196468 140731589203888 140532142385584 140532605078146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25436160 140731589212080 140731589214865 140731589214865 140731589218255 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2452824 KiB

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

[startup+214.852 s]
# the end of solver process 25970 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.022 s, system=2.10847 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 214.852
CPU time (s): 252.131
CPU user time (s): 250.022
CPU system time (s): 2.10847
CPU usage (%): 117.351
Max. virtual memory (cumulated for all children) (KiB): 14074232
Max. memory (cumulated for all children) (KiB): 2452824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.022
system time used= 2.10847
maximum resident set size= 2453744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22109
involuntary context switches= 551


# summary of solver processes directly reported to runsolver:
#   pid: 25970
#   total CPU time (s): 252.131
#   total CPU user time (s): 250.022
#   total CPU system time (s): 2.10847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.20006 second user time and 2.17145 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 18:33:39
IDJOB=4259820
IDBENCH=115882
IDSOLVER=2646
FILE ID=node133/4259820-1502642867
RUNJOBID= node133-1502641620-25473
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259820-1502642867/watcher-4259820-1502642867 -o /tmp/evaluation-result-4259820-1502642867/solver-4259820-1502642867 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312  bin/concrete HOME/instance-4259820-1502642867.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=2077458145

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26674136 kB
MemAvailable:   27308384 kB
Buffers:          235496 kB
Cached:           694468 kB
SwapCached:            0 kB
Active:          5455964 kB
Inactive:         181996 kB
Active(anon):    4649452 kB
Inactive(anon):   100820 kB
Active(file):     806512 kB
Inactive(file):    81176 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24200 kB
Writeback:             0 kB
AnonPages:       4708692 kB
Mapped:            69644 kB
Shmem:             41660 kB
Slab:             152844 kB
SReclaimable:     124788 kB
SUnreclaim:        28056 kB
KernelStack:        3840 kB
PageTables:        14656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5607528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4464640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-13 18:37:14