Trace number 4259819

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)289 252.13901 216.252

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-44.xml
MD5SUM4997da7be544d89c7d7e917a89d7c5a2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark887
Best CPU time to get the best result obtained on this benchmark1821.27
Satisfiable
(Un)Satisfiability was proved
Number of variables4279
Number of constraints2384
Number of domains4
Minimum domain size2
Maximum domain size4233
Distribution of domain sizes[{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}]
Minimum variable degree1
Maximum variable degree47
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}]
Minimum constraint arity2
Maximum constraint arity48
Distribution of constraint arities[{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}]
Number of extensional constraints2112
Number of intensional constraints221
Distribution of constraint types[{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"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.19/2.19	c Concrete v3.4 running
19.40/8.90	% 18:38:16.049 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12225. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 1879644274, 3 edges, 4 vertices, 1 tuples
19.72/8.92	% 18:38:16.078 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12354. 'extension(false, x[1][44]: {[0?1]}, x[2][44]: {[0?1]}) :: init: true :: relation: MDD 957736899, 3 edges, 4 vertices, 1 tuples
19.72/8.92	% 18:38:16.080 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12359. 'extension(x[43][1]: {[0?1]}, x[44][1]: {[0?1]}, false) :: init: true :: relation: MDD 1879644274, 3 edges, 4 vertices, 1 tuples
19.72/8.95	% 18:38:16.104 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12488. 'extension(x[43][44]: {[0?1]}, x[44][44]: {[0?1]}, false) :: init: true :: relation: MDD 957736899, 3 edges, 4 vertices, 1 tuples
19.72/8.95	% 18:38:16.105 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12492. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 1342373353, 3 edges, 4 vertices, 1 tuples
19.72/8.97	% 18:38:16.121 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12621. 'extension(false, x[44][1]: {[0?1]}, x[44][2]: {[0?1]}) :: init: true :: relation: MDD 229483317, 3 edges, 4 vertices, 1 tuples
19.72/8.97	% 18:38:16.123 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12624. 'extension(x[1][43]: {[0?1]}, x[1][44]: {[0?1]}, false) :: init: true :: relation: MDD 1342373353, 3 edges, 4 vertices, 1 tuples
19.72/8.99	% 18:38:16.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12753. 'extension(x[44][43]: {[0?1]}, x[44][44]: {[0?1]}, false) :: init: true :: relation: MDD 229483317, 3 edges, 4 vertices, 1 tuples
19.72/8.99	% 18:38:16.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12757. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.72/8.99	% 18:38:16.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12841. 'extension(x[1][44]: {[0?1]}, x[2][44]: {[0?1]}) :: init: true :: relation: Empty MDD
19.72/8.99	% 18:38:16.149 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12845. 'extension(x[43][1]: {[0?1]}, x[44][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.72/9.00	% 18:38:16.155 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12929. 'extension(x[43][44]: {[0?1]}, x[44][44]: {[0?1]}) :: init: true :: relation: Empty MDD
19.72/9.00	% 18:38:16.156 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12933. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.72/9.01	% 18:38:16.162 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13019. 'extension(x[44][1]: {[0?1]}, x[44][2]: {[0?1]}) :: init: true :: relation: Empty MDD
20.06/9.01	% 18:38:16.163 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13025. 'extension(x[1][43]: {[0?1]}, x[1][44]: {[0?1]}) :: init: true :: relation: Empty MDD
20.06/9.01	% 18:38:16.169 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13111. 'extension(x[44][43]: {[0?1]}, x[44][44]: {[0?1]}) :: init: true :: relation: Empty MDD
173.09/140.13	o 13
174.22/140.66	o 23
174.93/141.02	o 24
175.51/141.51	o 27
175.98/141.98	o 28
176.47/142.35	o 29
176.96/142.77	o 30
177.39/143.16	o 31
178.09/143.82	o 32
178.49/144.27	o 47
178.90/144.68	o 48
179.31/145.06	o 49
179.70/145.41	o 50
180.00/145.77	o 51
180.55/146.20	o 52
180.85/146.59	o 53
181.26/146.99	o 54
181.76/147.43	o 55
182.16/147.80	o 56
182.56/148.28	o 123
183.06/148.71	o 124
183.47/149.19	o 125
184.06/149.72	o 126
184.47/150.11	o 127
184.86/150.53	o 128
185.26/150.92	o 129
185.68/151.32	o 130
186.28/151.90	o 131
186.77/152.38	o 132
187.97/153.50	o 133
188.37/153.99	o 134
188.87/154.43	o 135
189.28/154.80	o 136
189.68/155.29	o 137
190.52/156.07	o 138
192.61/158.03	o 212
193.14/158.55	o 213
193.65/159.04	o 214
194.31/159.60	o 215
194.72/160.05	o 216
195.91/161.20	o 217
196.72/162.06	o 218
197.21/162.58	o 219
197.61/163.00	o 220
199.83/164.95	o 221
200.63/165.78	o 230
201.25/166.30	o 231
202.72/167.78	o 232
203.22/168.26	o 233
204.03/169.03	o 234
204.42/169.48	o 235
205.43/170.44	o 236
205.93/170.92	o 237
206.43/171.42	o 238
206.93/172.00	o 239
208.21/173.17	o 240
208.71/173.68	o 241
209.28/174.14	o 242
209.84/174.68	o 243
211.11/175.82	o 244
211.93/176.60	o 245
212.34/177.10	o 246
213.53/178.25	o 247
214.64/179.38	o 248
215.14/179.81	o 249
215.84/180.57	o 250
216.74/181.46	o 251
217.24/181.93	o 252
218.04/182.70	o 253
218.93/183.58	o 254
219.83/184.49	o 255
220.33/184.96	o 256
220.83/185.44	o 257
221.33/185.90	o 258
223.23/187.81	o 259
224.13/188.76	o 260
225.13/189.70	o 261
225.83/190.48	o 262
226.44/191.08	o 263
226.99/191.59	o 264
227.51/192.03	o 265
228.30/192.82	o 266
229.80/194.38	o 267
230.30/194.87	o 268
230.80/195.33	o 269
231.51/196.06	o 270
232.00/196.53	o 271
233.21/197.71	o 272
233.71/198.25	o 273
234.72/199.15	o 274
235.11/199.60	o 275
235.91/200.32	o 276
238.01/202.43	o 277
240.38/204.75	o 278
240.88/205.21	o 279
241.48/205.80	o 280
242.18/206.59	o 281
243.24/207.57	o 282
243.85/208.13	o 283
246.65/211.00	o 284
247.45/211.78	o 285
248.35/212.61	o 286
248.86/213.12	o 287
250.05/214.36	o 288
251.45/215.65	o 289
252.06/216.20	java.util.concurrent.TimeoutException
252.06/216.20		at concrete.MAC.mac(MAC.scala:74)
252.06/216.20		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.06/216.20		at scala.util.Try$.apply(Try.scala:209)
252.06/216.20		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.06/216.20		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.06/216.20		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.06/216.20		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.06/216.20		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.06/216.20		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.06/216.20		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.06/216.20		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.06/216.20		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.06/216.20		at concrete.MAC.oneRun(MAC.scala:146)
252.06/216.20		at concrete.MAC.nextSolution(MAC.scala:166)
252.06/216.20		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.06/216.20		at concrete.ProblemState.map(ProblemState.scala:203)
252.06/216.20		at concrete.ProblemState.map(ProblemState.scala:188)
252.06/216.20		at concrete.MAC.nextSolution(MAC.scala:195)
252.06/216.20		at concrete.Solver.hasNext(Solver.scala:202)
252.06/216.20		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.06/216.20		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.06/216.20		at concrete.Solver.toStream(Solver.scala:73)
252.06/216.20		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.06/216.20		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.06/216.20		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.06/216.20		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.06/216.20		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.06/216.20		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.06/216.20		at scala.util.Success.map(Try.scala:209)
252.06/216.20		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.06/216.20		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.06/216.20		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.06/216.20		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.06/216.20		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.06/216.20		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.06/216.20		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.06/216.20		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.06/216.20		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.06/216.20		at scala.collection.immutable.List.foreach(List.scala:389)
252.06/216.20		at scala.App.main(App.scala:76)
252.06/216.20		at scala.App.main$(App.scala:74)
252.06/216.20		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.06/216.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.06/216.21	v <instantiation cost="289">
252.06/216.21	v       <list>
252.06/216.21	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
252.06/216.21	v       </list>
252.06/216.21	v       <values>
252.06/216.21	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 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 1 1 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 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 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 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 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 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 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 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 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 1 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 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 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 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 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 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 1 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 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 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 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 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 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 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 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 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 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 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 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 1 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 0 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 0 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 1 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 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 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 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 0 1 2 2 1 0 2 0 0 2 0 0 0 1 2 0 2 0 2 2 2 2 0 2 2 2 2 1 2 2 0 2 0 2 2 2 0 2 2 0 0 2 2 0 0 2 1 0 2 0 2 0 2 0 2 0 2 2 0 2 2 2 0 2 2 2 2 2 2 2 2 0 2 0 2 2 0 2 0 2 2 2 2 0 2 2 2 2 2 2 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 2 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 0 0 0 0 0 0 0 2 1 1 2 0 1 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 1 1 0 0 0 0 0 2 2 2 2 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 1 1 1 0 0 0 1 0 0 0 1 0 2 2 0 1 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 2 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 2 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 2 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 1 0 0 1 2 0 0 1 0 0 1 0 1 1 0 0 1 0 0 2 2 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 2 1 1 0 1 0 0 0 0 0 0 0 1 2 0 0 0 0 0 1 0 1 1 1 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 2 2 1 0 1 0 1 0 0 1 1 2 2 1 1 2 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 34 123 211 301 390 479 569 659 748 837 926 1015 1104 1194 1283 1372 1462 1551 1640 1730 1819 1909 1995 2082 2172 2260 2349 2439 2528 2583 2650 2661 2672 2684 2694 2710 2726 2742 2754 2769 2780 2795 2816 2833 2864 2892 289
252.06/216.21	v       </values>
252.06/216.21	v     </instantiation>
252.06/216.21	s SATISFIABLE

Verifier Data 

OK	289

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 (13573 MiB free)
  memory of node 1: 16384 MiB (15442 MiB free)
  node distances:
     10  21
     21  10

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

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

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
solver pid=26359, runsolver pid=26356
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 1.65 1.83 1.92 5/203 26382
/proc/meminfo: memFree=29711092/32770624 swapFree=67108860/67108860
[pid=26359] ppid=26356 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/26359/stat : 26359 (bash) S 26356 26359 8289 0 -1 4202496 894 6490 0 0 0 0 0 1 20 0 1 0 112128630 9867264 378 18446744073709551615 4194304 5098028 140729807051456 140729807045464 139793193040896 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 11059200 140729807053300 140729807053385 140729807053385 140729807056874 0
/proc/26359/statm: 2409 378 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1512 KiB

[startup+0.209772 s]*
/proc/loadavg: 1.65 1.83 1.92 3/216 26404
/proc/meminfo: memFree=29697252/32770624 swapFree=67108860/67108860
[pid=26359] ppid=26356 vsize=101836 memory=4796 CPUtime=0.07 cores=1,3,5,7
/proc/26359/stat : 26359 (java) S 26356 26359 8289 0 -1 1077944320 2304 12709 0 0 0 0 5 2 20 0 2 0 112128630 104280064 1242 18446744073709551615 4194304 4196468 140735388377232 140735388359776 140507182800631 0 0 1 0 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
/proc/26359/statm: 25459 1242 881 1 0 17057 0
[pid=26359/tid=26409] ppid=26356 vsize=103036 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26409/stat : 26409 (java) R 26356 26359 8289 0 -1 4202560 181 12709 0 0 0 0 5 2 20 0 2 0 112128652 105508864 1199 18446744073709551615 4194304 4196468 140735388377232 140507187035512 140507174763847 0 0 1 0 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 101836 KiB
Current children cumulated memory: 4796 KiB

[startup+0.310014 s]*
/proc/loadavg: 1.65 1.83 1.92 2/213 26421
/proc/meminfo: memFree=29700416/32770624 swapFree=67108860/67108860
[pid=26359] ppid=26356 vsize=13973936 memory=24308 CPUtime=0.14 cores=1,3,5,7
/proc/26359/stat : 26359 (java) S 26356 26359 8289 0 -1 1077944320 5976 12709 0 0 7 0 5 2 20 0 15 0 112128630 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140735388359776 140507182800631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
/proc/26359/statm: 3493484 6077 2651 1 0 3482965 0
[pid=26359/tid=26409] ppid=26356 vsize=13973936 memory=-8774313645642428999 CPUtime=0.12 cores=1,3,5,7
/proc/26359/task/26409/stat : 26409 (java) R 26356 26359 8289 0 -1 4202560 3099 12709 0 0 5 0 5 2 20 0 15 0 112128652 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140507187026976 140507182822557 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26410] ppid=26356 vsize=13973936 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26410/stat : 26410 (java) S 26356 26359 8289 0 -1 1077944384 1 12709 0 0 0 0 5 2 20 0 15 0 112128652 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140507117234448 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26411] ppid=26356 vsize=13973936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26411/stat : 26411 (java) S 26356 26359 8289 0 -1 1077944384 1 12709 0 0 0 0 5 2 20 0 15 0 112128652 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140507116181904 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26412] ppid=26356 vsize=13973936 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26412/stat : 26412 (java) S 26356 26359 8289 0 -1 1077944384 1 12709 0 0 0 0 5 2 20 0 15 0 112128652 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140507115129360 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26413] ppid=26356 vsize=13973936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26413/stat : 26413 (java) S 26356 26359 8289 0 -1 1077944384 2 12709 0 0 0 0 5 2 20 0 15 0 112128652 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140507114076816 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26414] ppid=26356 vsize=13973936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26414/stat : 26414 (java) S 26356 26359 8289 0 -1 1077944384 2 12709 0 0 0 0 5 2 20 0 15 0 112128654 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140506661358064 140507182811778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26415] ppid=26356 vsize=13973936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26415/stat : 26415 (java) S 26356 26359 8289 0 -1 1077944384 33 12709 0 0 0 0 5 2 20 0 15 0 112128654 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140506660304288 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26416] ppid=26356 vsize=13973936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26416/stat : 26416 (java) S 26356 26359 8289 0 -1 1077944384 21 12709 0 0 0 0 5 2 20 0 15 0 112128654 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140506659251696 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26417] ppid=26356 vsize=13973936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26417/stat : 26417 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140506658200272 140507182819227 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26418] ppid=26356 vsize=13973936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26418/stat : 26418 (java) S 26356 26359 8289 0 -1 1077944384 306 12709 0 0 0 0 5 2 20 0 15 0 112128657 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140506657146864 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26419] ppid=26356 vsize=13973936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26419/stat : 26419 (java) R 26356 26359 8289 0 -1 1077944384 125 12709 0 0 0 0 5 2 20 0 15 0 112128657 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140506656094320 140507182811778 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26420] ppid=26356 vsize=13973936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26420/stat : 26420 (java) S 26356 26359 8289 0 -1 1077944384 229 12709 0 0 0 0 5 2 20 0 15 0 112128657 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140506655041776 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26421] ppid=26356 vsize=13973936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26421/stat : 26421 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140506653989472 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26422] ppid=26356 vsize=13973936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26422/stat : 26422 (java) S 26356 26359 8289 0 -1 1077944384 1 12709 0 0 0 0 5 2 20 0 15 0 112128661 14309310464 6077 18446744073709551615 4194304 4196468 140735388377232 140506652937008 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13973936 KiB
Current children cumulated memory: 24308 KiB

[startup+0.700724 s]
/proc/loadavg: 1.65 1.83 1.92 3/214 26422
/proc/meminfo: memFree=29670116/32770624 swapFree=67108860/67108860
[pid=26359] ppid=26356 vsize=13974784 memory=57048 CPUtime=0.68 cores=1,3,5,7
/proc/26359/stat : 26359 (java) S 26356 26359 8289 0 -1 1077944320 13857 12709 0 0 57 4 5 2 20 0 15 0 112128630 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140735388359776 140507182800631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
/proc/26359/statm: 3493696 14262 3107 1 0 3482965 0
[pid=26359/tid=26409] ppid=26356 vsize=13974784 memory=2241 CPUtime=0.5 cores=1,3,5,7
/proc/26359/task/26409/stat : 26409 (java) R 26356 26359 8289 0 -1 4202560 10211 12709 0 0 40 3 5 2 20 0 15 0 112128652 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140507187021888 140507182812566 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26410] ppid=26356 vsize=13974784 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26410/stat : 26410 (java) S 26356 26359 8289 0 -1 1077944384 1 12709 0 0 0 0 5 2 20 0 15 0 112128652 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140507117234448 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26411] ppid=26356 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26411/stat : 26411 (java) S 26356 26359 8289 0 -1 1077944384 1 12709 0 0 0 0 5 2 20 0 15 0 112128652 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140507116181904 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26412] ppid=26356 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26412/stat : 26412 (java) S 26356 26359 8289 0 -1 1077944384 1 12709 0 0 0 0 5 2 20 0 15 0 112128652 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140507115129360 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26413] ppid=26356 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26413/stat : 26413 (java) S 26356 26359 8289 0 -1 1077944384 2 12709 0 0 0 0 5 2 20 0 15 0 112128652 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140507114076816 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26414] ppid=26356 vsize=13974784 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26414/stat : 26414 (java) S 26356 26359 8289 0 -1 1077944384 5 12709 0 0 0 0 5 2 20 0 15 0 112128654 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140506661358064 140507182811778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26415] ppid=26356 vsize=13974784 memory=280593971544304 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26415/stat : 26415 (java) S 26356 26359 8289 0 -1 1077944384 33 12709 0 0 0 0 5 2 20 0 15 0 112128654 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140506660304288 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26416] ppid=26356 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26416/stat : 26416 (java) S 26356 26359 8289 0 -1 1077944384 21 12709 0 0 0 0 5 2 20 0 15 0 112128654 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140506659251696 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26417] ppid=26356 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26417/stat : 26417 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140506658200272 140507182819227 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26418] ppid=26356 vsize=13974784 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26359/task/26418/stat : 26418 (java) S 26356 26359 8289 0 -1 1077944384 515 12709 0 0 3 0 5 2 20 0 15 0 112128657 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140506657146864 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26419] ppid=26356 vsize=13974784 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26359/task/26419/stat : 26419 (java) S 26356 26359 8289 0 -1 1077944384 354 12709 0 0 2 0 5 2 20 0 15 0 112128657 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140506656094320 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26420] ppid=26356 vsize=13974784 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/26359/task/26420/stat : 26420 (java) R 26356 26359 8289 0 -1 4202560 556 12709 0 0 9 0 5 2 20 0 15 0 112128657 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140506655041776 140507182812566 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26421] ppid=26356 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26421/stat : 26421 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140506653989472 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26422] ppid=26356 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26422/stat : 26422 (java) S 26356 26359 8289 0 -1 1077944384 1 12709 0 0 0 0 5 2 20 0 15 0 112128661 14310178816 14262 18446744073709551615 4194304 4196468 140735388377232 140506652937008 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 57048 KiB

[startup+1.50069 s]
/proc/loadavg: 1.65 1.83 1.92 3/214 26422
/proc/meminfo: memFree=29629100/32770624 swapFree=67108860/67108860
[pid=26359] ppid=26356 vsize=13985408 memory=160796 CPUtime=1.88 cores=1,3,5,7
/proc/26359/stat : 26359 (java) S 26356 26359 8289 0 -1 1077944320 31766 12709 0 0 171 10 5 2 20 0 15 0 112128630 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140735388359776 140507182800631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
/proc/26359/statm: 3496352 40199 3371 1 0 3485525 0
[pid=26359/tid=26409] ppid=26356 vsize=13985408 memory=280593971673856 CPUtime=1.28 cores=1,3,5,7
/proc/26359/task/26409/stat : 26409 (java) S 26356 26359 8289 0 -1 1077944384 24447 12709 0 0 115 6 5 2 20 0 15 0 112128652 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140507187023136 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26410] ppid=26356 vsize=13985408 memory=280593971834344 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26410/stat : 26410 (java) R 26356 26359 8289 0 -1 1077944384 203 12709 0 0 0 0 5 2 20 0 15 0 112128652 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140507117234448 140507182810837 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26411] ppid=26356 vsize=13985408 memory=117555133942516 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26411/stat : 26411 (java) R 26356 26359 8289 0 -1 4202560 55 12709 0 0 0 0 5 2 20 0 15 0 112128652 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140507116181904 140507182812566 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26412] ppid=26356 vsize=13985408 memory=117555133942516 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26412/stat : 26412 (java) R 26356 26359 8289 0 -1 4202560 55 12709 0 0 0 0 5 2 20 0 15 0 112128652 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140507115129360 140507175904258 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26413] ppid=26356 vsize=13985408 memory=117555133942516 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26413/stat : 26413 (java) R 26356 26359 8289 0 -1 4202560 56 12709 0 0 0 0 5 2 20 0 15 0 112128652 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140507114076816 140507167789031 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26414] ppid=26356 vsize=13985408 memory=117555133942516 CPUtime=0.08 cores=1,3,5,7
/proc/26359/task/26414/stat : 26414 (java) S 26356 26359 8289 0 -1 1077944384 1655 12709 0 0 1 0 5 2 20 0 15 0 112128654 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140506661356576 140507182810837 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26415] ppid=26356 vsize=13985408 memory=4294969504 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26415/stat : 26415 (java) S 26356 26359 8289 0 -1 1077944384 33 12709 0 0 0 0 5 2 20 0 15 0 112128654 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140506660304288 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26416] ppid=26356 vsize=13985408 memory=2372 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26416/stat : 26416 (java) S 26356 26359 8289 0 -1 1077944384 21 12709 0 0 0 0 5 2 20 0 15 0 112128654 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140506659251696 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26417] ppid=26356 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26417/stat : 26417 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140506658200272 140507182819227 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26418] ppid=26356 vsize=13985408 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/26359/task/26418/stat : 26418 (java) S 26356 26359 8289 0 -1 1077944384 911 12709 0 0 13 0 5 2 20 0 15 0 112128657 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140506657146864 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26419] ppid=26356 vsize=13985408 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/26359/task/26419/stat : 26419 (java) S 26356 26359 8289 0 -1 1077944384 835 12709 0 0 16 0 5 2 20 0 15 0 112128657 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140506656094320 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26420] ppid=26356 vsize=13985408 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/26359/task/26420/stat : 26420 (java) S 26356 26359 8289 0 -1 1077944384 1334 12709 0 0 22 0 5 2 20 0 15 0 112128657 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140506655037648 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26421] ppid=26356 vsize=13985408 memory=280593971799008 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26421/stat : 26421 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140506653989472 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26422] ppid=26356 vsize=13985408 memory=7812726576340533336 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26422/stat : 26422 (java) S 26356 26359 8289 0 -1 1077944384 8 12709 0 0 0 0 5 2 20 0 15 0 112128661 14321057792 40199 18446744073709551615 4194304 4196468 140735388377232 140506652937008 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 160796 KiB

[startup+3.10999 s]
/proc/loadavg: 1.84 1.87 1.93 3/214 26422
/proc/meminfo: memFree=29501036/32770624 swapFree=67108860/67108860
[pid=26359] ppid=26356 vsize=13997884 memory=239840 CPUtime=5.44 cores=1,3,5,7
/proc/26359/stat : 26359 (java) S 26356 26359 8289 0 -1 1077944320 48388 12709 0 0 520 17 5 2 20 0 15 0 112128630 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140735388359776 140507182800631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
/proc/26359/statm: 3499471 59960 3444 1 0 3488085 0
[pid=26359/tid=26409] ppid=26356 vsize=13997884 memory=0 CPUtime=2.88 cores=1,3,5,7
/proc/26359/task/26409/stat : 26409 (java) R 26356 26359 8289 0 -1 4202560 36767 12709 0 0 270 11 5 2 20 0 15 0 112128652 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140507187028672 140507164365622 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26410] ppid=26356 vsize=13997884 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26410/stat : 26410 (java) S 26356 26359 8289 0 -1 1077944384 208 12709 0 0 0 0 5 2 20 0 15 0 112128652 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140507117234448 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26411] ppid=26356 vsize=13997884 memory=120192 CPUtime=0.08 cores=1,3,5,7
/proc/26359/task/26411/stat : 26411 (java) S 26356 26359 8289 0 -1 1077944384 55 12709 0 0 1 0 5 2 20 0 15 0 112128652 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140507116181904 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26412] ppid=26356 vsize=13997884 memory=665112231015126516 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26412/stat : 26412 (java) S 26356 26359 8289 0 -1 1077944384 55 12709 0 0 0 0 5 2 20 0 15 0 112128652 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140507115129360 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26413] ppid=26356 vsize=13997884 memory=280593971925840 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26413/stat : 26413 (java) S 26356 26359 8289 0 -1 1077944384 58 12709 0 0 0 0 5 2 20 0 15 0 112128652 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140507114076816 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26414] ppid=26356 vsize=13997884 memory=-7749696028082845524 CPUtime=0.08 cores=1,3,5,7
/proc/26359/task/26414/stat : 26414 (java) S 26356 26359 8289 0 -1 1077944384 1859 12709 0 0 1 0 5 2 20 0 15 0 112128654 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140506661358064 140507182811778 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26415] ppid=26356 vsize=13997884 memory=175172 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26415/stat : 26415 (java) S 26356 26359 8289 0 -1 1077944384 55 12709 0 0 0 0 5 2 20 0 15 0 112128654 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140506660304288 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26416] ppid=26356 vsize=13997884 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26416/stat : 26416 (java) S 26356 26359 8289 0 -1 1077944384 44 12709 0 0 0 0 5 2 20 0 15 0 112128654 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140506659251696 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26417] ppid=26356 vsize=13997884 memory=253493264829985 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26417/stat : 26417 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140506658200272 140507182819227 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26418] ppid=26356 vsize=13997884 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/26359/task/26418/stat : 26418 (java) S 26356 26359 8289 0 -1 1077944384 2079 12709 0 0 74 0 5 2 20 0 15 0 112128657 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140506657146864 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26419] ppid=26356 vsize=13997884 memory=140296985836464 CPUtime=0.8 cores=1,3,5,7
/proc/26359/task/26419/stat : 26419 (java) S 26356 26359 8289 0 -1 1077944384 1783 12709 0 0 72 1 5 2 20 0 15 0 112128657 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140506656094320 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26420] ppid=26356 vsize=13997884 memory=280593971834344 CPUtime=1.04 cores=1,3,5,7
/proc/26359/task/26420/stat : 26420 (java) S 26356 26359 8289 0 -1 1077944384 3256 12709 0 0 96 1 5 2 20 0 15 0 112128657 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140506655041776 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26421] ppid=26356 vsize=13997884 memory=117555133942516 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26421/stat : 26421 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140506653989472 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26422] ppid=26356 vsize=13997884 memory=117555133942516 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26422/stat : 26422 (java) S 26356 26359 8289 0 -1 1077944384 13 12709 0 0 0 0 5 2 20 0 15 0 112128661 14333833216 59960 18446744073709551615 4194304 4196468 140735388377232 140506652937008 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0

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

/proc/26359/task/26409/stat : 26409 (java) R 26356 26359 8289 0 -1 4202560 62493 12709 0 0 4967 31 5 2 20 0 15 0 112128652 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140507187032096 140506795248540 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26410] ppid=26356 vsize=14071612 memory=4661 CPUtime=0.73 cores=1,3,5,7
/proc/26359/task/26410/stat : 26410 (java) S 26356 26359 8289 0 -1 1077944384 1985 12709 0 0 47 19 5 2 20 0 15 0 112128652 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140507117234448 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26411] ppid=26356 vsize=14071612 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/26359/task/26411/stat : 26411 (java) S 26356 26359 8289 0 -1 1077944384 1195 12709 0 0 50 17 5 2 20 0 15 0 112128652 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140507116181904 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26412] ppid=26356 vsize=14071612 memory=280593971733008 CPUtime=0.75 cores=1,3,5,7
/proc/26359/task/26412/stat : 26412 (java) S 26356 26359 8289 0 -1 1077944384 688 12709 0 0 50 18 5 2 20 0 15 0 112128652 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140507115129360 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26413] ppid=26356 vsize=14071612 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/26359/task/26413/stat : 26413 (java) S 26356 26359 8289 0 -1 1077944384 2007 12709 0 0 53 18 5 2 20 0 15 0 112128652 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140507114076816 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26414] ppid=26356 vsize=14071612 memory=8189 CPUtime=0.14 cores=1,3,5,7
/proc/26359/task/26414/stat : 26414 (java) S 26356 26359 8289 0 -1 1077944384 3356 12709 0 0 7 0 5 2 20 0 15 0 112128654 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140506661358064 140507182811778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26415] ppid=26356 vsize=14071612 memory=1677076 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26415/stat : 26415 (java) S 26356 26359 8289 0 -1 1077944384 59 12709 0 0 0 0 5 2 20 0 15 0 112128654 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140506660304352 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26416] ppid=26356 vsize=14071612 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26416/stat : 26416 (java) S 26356 26359 8289 0 -1 1077944384 49 12709 0 0 0 0 5 2 20 0 15 0 112128654 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140506659251712 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26417] ppid=26356 vsize=14071612 memory=1677076 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26417/stat : 26417 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140506658200272 140507182819227 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26418] ppid=26356 vsize=14071612 memory=1593388 CPUtime=9.95 cores=1,3,5,7
/proc/26359/task/26418/stat : 26418 (java) S 26356 26359 8289 0 -1 1077944384 16704 12709 0 0 984 4 5 2 20 0 15 0 112128657 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140506657146864 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26419] ppid=26356 vsize=14071612 memory=1156 CPUtime=9.87 cores=1,3,5,7
/proc/26359/task/26419/stat : 26419 (java) S 26356 26359 8289 0 -1 1077944384 15706 12709 0 0 976 4 5 2 20 0 15 0 112128657 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140506656094320 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26420] ppid=26356 vsize=14071612 memory=1837084 CPUtime=3.36 cores=1,3,5,7
/proc/26359/task/26420/stat : 26420 (java) S 26356 26359 8289 0 -1 1077944384 15931 12709 0 0 323 6 5 2 20 0 15 0 112128657 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140506655041776 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26421] ppid=26356 vsize=14071612 memory=14356 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26421/stat : 26421 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140506653989472 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26422] ppid=26356 vsize=14071612 memory=1677076 CPUtime=0.09 cores=1,3,5,7
/proc/26359/task/26422/stat : 26422 (java) S 26356 26359 8289 0 -1 1077944384 145 12709 0 0 1 1 5 2 20 0 15 0 112128661 14409330688 459271 18446744073709551615 4194304 4196468 140735388377232 140506652937008 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
Current children cumulated CPU time: 75.94 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1837084 KiB

[startup+102.301 s]
/proc/loadavg: 1.86 1.84 1.91 3/215 26426
/proc/meminfo: memFree=27468864/32770624 swapFree=67108860/67108860
[pid=26359] ppid=26356 vsize=14071612 memory=2436480 CPUtime=132.42 cores=1,3,5,7
/proc/26359/stat : 26359 (java) S 26356 26359 8289 0 -1 1077944320 137588 12709 0 0 13072 163 5 2 20 0 15 0 112128630 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140735388359776 140507182800631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
/proc/26359/statm: 3517903 609120 3487 1 0 3506517 0
[pid=26359/tid=26409] ppid=26356 vsize=14071612 memory=2436480 CPUtime=100.96 cores=1,3,5,7
/proc/26359/task/26409/stat : 26409 (java) R 26356 26359 8289 0 -1 4202560 65236 12709 0 0 10051 38 5 2 20 0 15 0 112128652 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140507187031256 140506808454940 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26410] ppid=26356 vsize=14071612 memory=2436480 CPUtime=1 cores=1,3,5,7
/proc/26359/task/26410/stat : 26410 (java) S 26356 26359 8289 0 -1 1077944384 2238 12709 0 0 67 26 5 2 20 0 15 0 112128652 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140507117234448 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26411] ppid=26356 vsize=14071612 memory=2436480 CPUtime=1.01 cores=1,3,5,7
/proc/26359/task/26411/stat : 26411 (java) S 26356 26359 8289 0 -1 1077944384 2754 12709 0 0 69 25 5 2 20 0 15 0 112128652 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140507116181904 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26412] ppid=26356 vsize=14071612 memory=2348496 CPUtime=1.02 cores=1,3,5,7
/proc/26359/task/26412/stat : 26412 (java) S 26356 26359 8289 0 -1 1077944384 941 12709 0 0 70 25 5 2 20 0 15 0 112128652 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140507115129360 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26413] ppid=26356 vsize=14071612 memory=2012 CPUtime=1.06 cores=1,3,5,7
/proc/26359/task/26413/stat : 26413 (java) S 26356 26359 8289 0 -1 1077944384 2228 12709 0 0 73 26 5 2 20 0 15 0 112128652 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140507114076816 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26414] ppid=26356 vsize=14071612 memory=2206916 CPUtime=0.15 cores=1,3,5,7
/proc/26359/task/26414/stat : 26414 (java) S 26356 26359 8289 0 -1 1077944384 3842 12709 0 0 7 1 5 2 20 0 15 0 112128654 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140506661358064 140507182811778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26415] ppid=26356 vsize=14071612 memory=377 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26415/stat : 26415 (java) S 26356 26359 8289 0 -1 1077944384 59 12709 0 0 0 0 5 2 20 0 15 0 112128654 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140506660304352 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26416] ppid=26356 vsize=14071612 memory=54256 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26416/stat : 26416 (java) S 26356 26359 8289 0 -1 1077944384 49 12709 0 0 0 0 5 2 20 0 15 0 112128654 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140506659251712 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26417] ppid=26356 vsize=14071612 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26417/stat : 26417 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140506658200272 140507182819227 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26418] ppid=26356 vsize=14071612 memory=2206916 CPUtime=11.85 cores=1,3,5,7
/proc/26359/task/26418/stat : 26418 (java) S 26356 26359 8289 0 -1 1077944384 21075 12709 0 0 1173 5 5 2 20 0 15 0 112128657 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140506657146864 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26419] ppid=26356 vsize=14071612 memory=4168 CPUtime=11.76 cores=1,3,5,7
/proc/26359/task/26419/stat : 26419 (java) S 26356 26359 8289 0 -1 1077944384 17423 12709 0 0 1165 4 5 2 20 0 15 0 112128657 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140506656094320 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26420] ppid=26356 vsize=14071612 memory=2170016 CPUtime=4.01 cores=1,3,5,7
/proc/26359/task/26420/stat : 26420 (java) S 26356 26359 8289 0 -1 1077944384 19418 12709 0 0 387 7 5 2 20 0 15 0 112128657 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140506655041776 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26421] ppid=26356 vsize=14071612 memory=2170016 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26421/stat : 26421 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140506653989472 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26422] ppid=26356 vsize=14071612 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/26359/task/26422/stat : 26422 (java) S 26356 26359 8289 0 -1 1077944384 169 12709 0 0 2 2 5 2 20 0 15 0 112128661 14409330688 609120 18446744073709551615 4194304 4196468 140735388377232 140506652937008 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
Current children cumulated CPU time: 132.42 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2436480 KiB

[startup+162.301 s]
/proc/loadavg: 1.88 1.84 1.91 3/217 26442
/proc/meminfo: memFree=27959924/32770624 swapFree=67108860/67108860
[pid=26359] ppid=26356 vsize=14071612 memory=2144564 CPUtime=197.01 cores=1,3,5,7
/proc/26359/stat : 26359 (java) S 26356 26359 8289 0 -1 1077944320 164960 12709 0 0 19523 171 5 2 20 0 15 0 112128630 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140735388359776 140507182800631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
/proc/26359/statm: 3517903 536141 3490 1 0 3506517 0
[pid=26359/tid=26409] ppid=26356 vsize=14071612 memory=2165596 CPUtime=160.12 cores=1,3,5,7
/proc/26359/task/26409/stat : 26409 (java) R 26356 26359 8289 0 -1 4202560 70341 12709 0 0 15966 39 5 2 20 0 15 0 112128652 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140507187031952 140506806851840 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26410] ppid=26356 vsize=14071612 memory=2184052 CPUtime=1.68 cores=1,3,5,7
/proc/26359/task/26410/stat : 26410 (java) S 26356 26359 8289 0 -1 1077944384 3025 12709 0 0 134 27 5 2 20 0 15 0 112128652 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140507117234448 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26411] ppid=26356 vsize=14071612 memory=2165596 CPUtime=1.7 cores=1,3,5,7
/proc/26359/task/26411/stat : 26411 (java) S 26356 26359 8289 0 -1 1077944384 3008 12709 0 0 137 26 5 2 20 0 15 0 112128652 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140507116181904 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26412] ppid=26356 vsize=14071612 memory=2165596 CPUtime=1.69 cores=1,3,5,7
/proc/26359/task/26412/stat : 26412 (java) S 26356 26359 8289 0 -1 1077944384 2257 12709 0 0 136 26 5 2 20 0 15 0 112128652 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140507115129360 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26413] ppid=26356 vsize=14071612 memory=2165596 CPUtime=1.72 cores=1,3,5,7
/proc/26359/task/26413/stat : 26413 (java) S 26356 26359 8289 0 -1 1077944384 2483 12709 0 0 139 26 5 2 20 0 15 0 112128652 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140507114076816 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26414] ppid=26356 vsize=14071612 memory=2165596 CPUtime=0.28 cores=1,3,5,7
/proc/26359/task/26414/stat : 26414 (java) S 26356 26359 8289 0 -1 1077944384 12887 12709 0 0 20 1 5 2 20 0 15 0 112128654 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140506661358064 140507182811778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26415] ppid=26356 vsize=14071612 memory=2144564 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26415/stat : 26415 (java) S 26356 26359 8289 0 -1 1077944384 61 12709 0 0 0 0 5 2 20 0 15 0 112128654 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140506660304352 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26416] ppid=26356 vsize=14071612 memory=2165596 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26416/stat : 26416 (java) S 26356 26359 8289 0 -1 1077944384 53 12709 0 0 0 0 5 2 20 0 15 0 112128654 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140506659251712 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26417] ppid=26356 vsize=14071612 memory=2144564 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26417/stat : 26417 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140506658200272 140507182819227 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26418] ppid=26356 vsize=14071612 memory=2273 CPUtime=12.93 cores=1,3,5,7
/proc/26359/task/26418/stat : 26418 (java) S 26356 26359 8289 0 -1 1077944384 24562 12709 0 0 1280 6 5 2 20 0 15 0 112128657 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140506657146864 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26419] ppid=26356 vsize=14071612 memory=2165596 CPUtime=12.98 cores=1,3,5,7
/proc/26359/task/26419/stat : 26419 (java) S 26356 26359 8289 0 -1 1077944384 20343 12709 0 0 1286 5 5 2 20 0 15 0 112128657 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140506656094320 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26420] ppid=26356 vsize=14071612 memory=2165596 CPUtime=4.27 cores=1,3,5,7
/proc/26359/task/26420/stat : 26420 (java) S 26356 26359 8289 0 -1 1077944384 23588 12709 0 0 413 7 5 2 20 0 15 0 112128657 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140506655041776 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26421] ppid=26356 vsize=14071612 memory=2144564 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26421/stat : 26421 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140506653989472 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26422] ppid=26356 vsize=14071612 memory=2165596 CPUtime=0.15 cores=1,3,5,7
/proc/26359/task/26422/stat : 26422 (java) S 26356 26359 8289 0 -1 1077944384 196 12709 0 0 4 4 5 2 20 0 15 0 112128661 14409330688 536141 18446744073709551615 4194304 4196468 140735388377232 140506652937008 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
Current children cumulated CPU time: 197.01 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2144564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+216.201 s]
/proc/loadavg: 1.88 1.85 1.91 3/215 26572
/proc/meminfo: memFree=27577392/32770624 swapFree=67108860/67108860
[pid=26359] ppid=26356 vsize=14071612 memory=2197632 CPUtime=252.06 cores=1,3,5,7
/proc/26359/stat : 26359 (java) S 26356 26359 8289 0 -1 1077944320 170746 12709 0 0 25015 184 5 2 20 0 15 0 112128630 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140735388359776 140507182800631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
/proc/26359/statm: 3517903 549408 3490 1 0 3506517 0
[pid=26359/tid=26409] ppid=26356 vsize=14071612 memory=1156 CPUtime=213.83 cores=1,3,5,7
/proc/26359/task/26409/stat : 26409 (java) R 26356 26359 8289 0 -1 4202560 72584 12709 0 0 21334 42 5 2 20 0 15 0 112128652 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140507187033440 140506807210272 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26410] ppid=26356 vsize=14071612 memory=2792 CPUtime=1.87 cores=1,3,5,7
/proc/26359/task/26410/stat : 26410 (java) S 26356 26359 8289 0 -1 1077944384 3293 12709 0 0 150 30 5 2 20 0 15 0 112128652 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140507117234448 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26411] ppid=26356 vsize=14071612 memory=1544468 CPUtime=1.88 cores=1,3,5,7
/proc/26359/task/26411/stat : 26411 (java) S 26356 26359 8289 0 -1 1077944384 3260 12709 0 0 153 28 5 2 20 0 15 0 112128652 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140507116181904 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26412] ppid=26356 vsize=14071612 memory=844 CPUtime=1.88 cores=1,3,5,7
/proc/26359/task/26412/stat : 26412 (java) S 26356 26359 8289 0 -1 1077944384 2495 12709 0 0 153 28 5 2 20 0 15 0 112128652 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140507115129360 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26413] ppid=26356 vsize=14071612 memory=18484 CPUtime=1.92 cores=1,3,5,7
/proc/26359/task/26413/stat : 26413 (java) S 26356 26359 8289 0 -1 1077944384 3638 12709 0 0 156 29 5 2 20 0 15 0 112128652 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140507114076816 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26414] ppid=26356 vsize=14071612 memory=3912 CPUtime=0.3 cores=1,3,5,7
/proc/26359/task/26414/stat : 26414 (java) S 26356 26359 8289 0 -1 1077944384 12982 12709 0 0 21 2 5 2 20 0 15 0 112128654 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140506661358064 140507182811778 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26415] ppid=26356 vsize=14071612 memory=-8774313645642428999 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26415/stat : 26415 (java) S 26356 26359 8289 0 -1 1077944384 61 12709 0 0 0 0 5 2 20 0 15 0 112128654 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140506660304352 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26416] ppid=26356 vsize=14071612 memory=4040 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26416/stat : 26416 (java) S 26356 26359 8289 0 -1 1077944384 53 12709 0 0 0 0 5 2 20 0 15 0 112128654 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140506659251712 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26417] ppid=26356 vsize=14071612 memory=33368 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26417/stat : 26417 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140506658200272 140507182819227 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26418] ppid=26356 vsize=14071612 memory=1232 CPUtime=13.13 cores=1,3,5,7
/proc/26359/task/26418/stat : 26418 (java) S 26356 26359 8289 0 -1 1077944384 24725 12709 0 0 1300 6 5 2 20 0 15 0 112128657 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140506657146864 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26419] ppid=26356 vsize=14071612 memory=640 CPUtime=13.29 cores=1,3,5,7
/proc/26359/task/26419/stat : 26419 (java) S 26356 26359 8289 0 -1 1077944384 20799 12709 0 0 1317 5 5 2 20 0 15 0 112128657 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140506656094320 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26420] ppid=26356 vsize=14071612 memory=1792 CPUtime=4.33 cores=1,3,5,7
/proc/26359/task/26420/stat : 26420 (java) S 26356 26359 8289 0 -1 1077944384 24498 12709 0 0 418 8 5 2 20 0 15 0 112128657 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140506655041776 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26421] ppid=26356 vsize=14071612 memory=956 CPUtime=0.07 cores=1,3,5,7
/proc/26359/task/26421/stat : 26421 (java) S 26356 26359 8289 0 -1 1077944384 3 12709 0 0 0 0 5 2 20 0 15 0 112128657 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140506653989472 140507182810837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
[pid=26359/tid=26422] ppid=26356 vsize=14071612 memory=2248 CPUtime=0.17 cores=1,3,5,7
/proc/26359/task/26422/stat : 26422 (java) S 26356 26359 8289 0 -1 1077944384 202 12709 0 0 5 5 5 2 20 0 15 0 112128661 14409330688 549408 18446744073709551615 4194304 4196468 140735388377232 140506652937008 140507182811778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 21512192 140735388383152 140735388385937 140735388385937 140735388389327 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2197632 KiB

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

[startup+216.252 s]
# the end of solver process 26359 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.238 s, system=1.90122 s

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

Child status: 143
Real time (s): 216.252
CPU time (s): 252.139
CPU user time (s): 250.238
CPU system time (s): 1.90122
CPU usage (%): 116.595
Max. virtual memory (cumulated for all children) (KiB): 14071612
Max. memory (cumulated for all children) (KiB): 2455352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.238
system time used= 1.90122
maximum resident set size= 2459008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184527
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= 22810
involuntary context switches= 574


# summary of solver processes directly reported to runsolver:
#   pid: 26359
#   total CPU time (s): 252.139
#   total CPU user time (s): 250.238
#   total CPU system time (s): 1.90122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28147 second user time and 2.12387 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 18:38:07
IDJOB=4259819
IDBENCH=115895
IDSOLVER=2646
FILE ID=node133/4259819-1502643134
RUNJOBID= node133-1502641620-25474
PBS_JOBID= 
Free space on /tmp= 62008 MiB

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

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

MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2
RANDOM SEED=1922862475

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:        29713112 kB
MemAvailable:   30347540 kB
Buffers:          235620 kB
Cached:           693904 kB
SwapCached:            0 kB
Active:          2424508 kB
Inactive:         181904 kB
Active(anon):    1617732 kB
Inactive(anon):   100820 kB
Active(file):     806776 kB
Inactive(file):    81084 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             23768 kB
Writeback:             0 kB
AnonPages:       1676812 kB
Mapped:            69680 kB
Shmem:             41660 kB
Slab:             152528 kB
SReclaimable:     124804 kB
SUnreclaim:        27724 kB
KernelStack:        3504 kB
PageTables:         8288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2557356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1441792 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:41:43