Trace number 4259852

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)2357 261.48599 240.04601

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n78-k10.xml
MD5SUM7c96a44e638c86f7d39463bcb8517eb1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1571
Best CPU time to get the best result obtained on this benchmark251.90199
Satisfiable
(Un)Satisfiability was proved
Number of variables6162
Number of constraints6083
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":78},{"size":2,"count":6006},{"size":101,"count":77}]
Minimum variable degree0
Maximum variable degree153
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":78},{"degree":2,"count":154},{"degree":4,"count":5852},{"degree":153,"count":77}]
Minimum constraint arity1
Maximum constraint arity77
Distribution of constraint arities[{"arity":1,"count":77},{"arity":3,"count":5852},{"arity":77,"count":154}]
Number of extensional constraints0
Number of intensional constraints77
Distribution of constraint types[{"type":"intension","count":77},{"type":"sum","count":5852},{"type":"count","count":154}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

3.13/2.20	c Concrete v3.4 running
19.62/7.52	o 4642
22.95/8.92	o 4614
23.88/9.64	o 4587
25.15/10.18	o 4577
25.92/10.76	o 4575
27.08/11.83	o 4482
27.57/12.29	o 4439
28.06/12.74	o 4405
28.57/13.21	o 4373
29.15/13.78	o 4345
29.65/14.21	o 4327
30.84/15.35	o 4326
31.50/15.92	o 4305
32.11/16.53	o 4288
32.61/17.06	o 4278
33.32/17.65	o 4250
33.91/18.21	o 4107
34.53/18.82	o 4077
35.04/19.36	o 4068
35.73/19.99	o 4066
36.44/20.62	o 4064
37.04/21.23	o 4062
37.64/21.85	o 4060
38.45/22.51	o 4058
39.05/23.10	o 4046
39.65/23.72	o 4024
40.86/24.98	o 3991
41.65/25.63	o 3904
42.28/26.23	o 3893
42.88/26.88	o 3890
43.69/27.63	o 3883
44.39/28.31	o 3828
45.00/28.96	o 3818
46.66/30.41	o 3714
47.98/31.79	o 3713
48.79/32.57	o 3707
50.67/34.19	o 3679
51.37/34.89	o 3674
52.17/35.66	o 3648
52.88/36.40	o 3600
53.78/37.20	o 3580
55.29/38.76	o 3579
56.21/39.56	o 3564
57.02/40.36	o 3498
58.53/41.89	o 3478
59.43/42.73	o 3431
60.24/43.51	o 3428
63.11/46.18	o 3419
64.06/47.05	o 3402
64.96/47.92	o 3394
65.76/48.78	o 3388
66.67/49.61	o 3381
67.74/50.56	o 3380
69.35/52.20	o 3373
70.25/53.01	o 3372
72.66/55.42	o 3361
73.47/56.26	o 3360
75.33/57.99	o 3357
76.14/58.77	o 3323
76.95/59.59	o 3287
77.74/60.36	o 3280
79.50/62.05	o 3279
80.31/62.90	o 3277
81.33/63.72	o 3275
85.48/67.72	o 3272
86.99/69.29	o 3246
87.80/70.04	o 3228
88.83/70.92	o 3227
89.54/71.69	o 3160
91.34/73.41	o 3130
92.14/74.25	o 3127
94.66/76.75	o 3122
95.56/77.63	o 3096
97.42/79.38	o 3067
98.32/80.20	o 3062
100.64/82.52	o 3055
101.44/83.37	o 3035
102.25/84.13	o 3034
103.05/84.94	o 3032
103.85/85.77	o 2966
105.80/87.58	o 2947
107.61/89.33	o 2941
108.41/90.18	o 2939
111.12/92.76	o 2932
112.03/93.66	o 2911
115.81/97.24	o 2910
118.63/99.92	o 2907
120.36/101.63	o 2906
121.26/102.50	o 2904
122.88/104.14	o 2903
124.85/105.90	o 2895
126.45/107.53	o 2838
129.08/110.01	o 2837
131.69/112.66	o 2802
135.48/116.21	o 2789
138.00/118.71	o 2788
140.51/121.25	o 2781
141.42/122.12	o 2767
143.22/123.91	o 2766
144.12/124.81	o 2727
146.85/127.37	o 2721
149.36/129.80	o 2719
152.58/133.04	o 2718
158.79/139.17	o 2708
164.01/144.34	o 2701
164.92/145.23	o 2682
168.45/148.68	o 2665
179.72/159.77	o 2639
180.42/160.45	o 2630
183.74/163.72	o 2605
184.54/164.50	o 2596
190.09/169.95	o 2561
190.99/170.85	o 2522
198.00/177.80	o 2504
199.01/178.74	o 2473
203.93/183.62	o 2458
211.18/190.76	o 2422
212.08/191.61	o 2413
220.24/199.65	o 2382
231.01/210.28	o 2378
236.39/215.57	o 2377
237.31/216.43	o 2369
242.97/221.94	o 2365
254.31/233.05	o 2357
261.41/240.00	java.util.concurrent.TimeoutException
261.41/240.00		at concrete.MAC.mac(MAC.scala:74)
261.41/240.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
261.41/240.01		at scala.util.Try$.apply(Try.scala:209)
261.41/240.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
261.41/240.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
261.41/240.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
261.41/240.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
261.41/240.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
261.41/240.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
261.41/240.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
261.41/240.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
261.41/240.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
261.41/240.01		at concrete.MAC.oneRun(MAC.scala:146)
261.41/240.01		at concrete.MAC.nextSolution(MAC.scala:166)
261.41/240.01		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
261.41/240.01		at concrete.ProblemState.map(ProblemState.scala:203)
261.41/240.01		at concrete.ProblemState.map(ProblemState.scala:188)
261.41/240.01		at concrete.MAC.nextSolution(MAC.scala:195)
261.41/240.01		at concrete.Solver.hasNext(Solver.scala:202)
261.41/240.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
261.41/240.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
261.41/240.01		at concrete.Solver.toStream(Solver.scala:73)
261.41/240.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
261.41/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
261.41/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
261.41/240.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
261.41/240.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
261.41/240.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
261.41/240.01		at scala.util.Success.map(Try.scala:209)
261.41/240.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
261.41/240.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
261.41/240.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
261.41/240.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
261.41/240.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
261.41/240.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
261.41/240.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
261.41/240.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
261.41/240.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
261.41/240.01		at scala.collection.immutable.List.foreach(List.scala:389)
261.41/240.01		at scala.App.main(App.scala:76)
261.41/240.01		at scala.App.main$(App.scala:74)
261.41/240.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
261.41/240.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
261.41/240.01	v <instantiation cost="2357">
261.41/240.01	v       <list>
261.41/240.01	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] x[10][68] x[10][69] x[10][70] x[10][71] x[10][72] x[10][73] x[10][74] x[10][75] x[10][76] x[10][77] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] x[11][68] x[11][69] x[11][70] x[11][71] x[11][72] x[11][73] x[11][74] x[11][75] x[11][76] x[11][77] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] x[12][67] x[12][68] x[12][69] x[12][70] x[12][71] x[12][72] x[12][73] x[12][74] x[12][75] x[12][76] x[12][77] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] x[13][67] x[13][68] x[13][69] x[13][70] x[13][71] x[13][72] x[13][73] x[13][74] x[13][75] x[13][76] x[13][77] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] x[14][67] x[14][68] x[14][69] x[14][70] x[14][71] x[14][72] x[14][73] x[14][74] x[14][75] x[14][76] x[14][77] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] x[15][67] x[15][68] x[15][69] x[15][70] x[15][71] x[15][72] x[15][73] x[15][74] x[15][75] x[15][76] x[15][77] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] x[16][67] x[16][68] x[16][69] x[16][70] x[16][71] x[16][72] x[16][73] x[16][74] x[16][75] x[16][76] x[16][77] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] x[17][67] x[17][68] x[17][69] x[17][70] x[17][71] x[17][72] x[17][73] x[17][74] x[17][75] x[17][76] x[17][77] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] x[18][67] x[18][68] x[18][69] x[18][70] x[18][71] x[18][72] x[18][73] x[18][74] x[18][75] x[18][76] x[18][77] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] x[19][67] x[19][68] x[19][69] x[19][70] x[19][71] x[19][72] x[19][73] x[19][74] x[19][75] x[19][76] x[19][77] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] x[20][67] x[20][68] x[20][69] x[20][70] x[20][71] x[20][72] x[20][73] x[20][74] x[20][75] x[20][76] x[20][77] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] x[21][67] x[21][68] x[21][69] x[21][70] x[21][71] x[21][72] x[21][73] x[21][74] x[21][75] x[21][76] x[21][77] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] x[22][67] x[22][68] x[22][69] x[22][70] x[22][71] x[22][72] x[22][73] x[22][74] x[22][75] x[22][76] x[22][77] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] x[23][67] x[23][68] x[23][69] x[23][70] x[23][71] x[23][72] x[23][73] x[23][74] x[23][75] x[23][76] x[23][77] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] x[24][67] x[24][68] x[24][69] x[24][70] x[24][71] x[24][72] x[24][73] x[24][74] x[24][75] x[24][76] x[24][77] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] x[25][67] x[25][68] x[25][69] x[25][70] x[25][71] x[25][72] x[25][73] x[25][74] x[25][75] x[25][76] x[25][77] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] x[26][67] x[26][68] x[26][69] x[26][70] x[26][71] x[26][72] x[26][73] x[26][74] x[26][75] x[26][76] x[26][77] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] x[27][67] x[27][68] x[27][69] x[27][70] x[27][71] x[27][72] x[27][73] x[27][74] x[27][75] x[27][76] x[27][77] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] x[28][67] x[28][68] x[28][69] x[28][70] x[28][71] x[28][72] x[28][73] x[28][74] x[28][75] x[28][76] x[28][77] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] x[29][67] x[29][68] x[29][69] x[29][70] x[29][71] x[29][72] x[29][73] x[29][74] x[29][75] x[29][76] x[29][77] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] x[30][67] x[30][68] x[30][69] x[30][70] x[30][71] x[30][72] x[30][73] x[30][74] x[30][75] x[30][76] x[30][77] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] x[31][67] x[31][68] x[31][69] x[31][70] x[31][71] x[31][72] x[31][73] x[31][74] x[31][75] x[31][76] x[31][77] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] x[32][67] x[32][68] x[32][69] x[32][70] x[32][71] x[32][72] x[32][73] x[32][74] x[32][75] x[32][76] x[32][77] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] x[33][67] x[33][68] x[33][69] x[33][70] x[33][71] x[33][72] x[33][73] x[33][74] x[33][75] x[33][76] x[33][77] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] x[34][67] x[34][68] x[34][69] x[34][70] x[34][71] x[34][72] x[34][73] x[34][74] x[34][75] x[34][76] x[34][77] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] x[35][67] x[35][68] x[35][69] x[35][70] x[35][71] x[35][72] x[35][73] x[35][74] x[35][75] x[35][76] x[35][77] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] x[36][67] x[36][68] x[36][69] x[36][70] x[36][71] x[36][72] x[36][73] x[36][74] x[36][75] x[36][76] x[36][77] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] x[37][67] x[37][68] x[37][69] x[37][70] x[37][71] x[37][72] x[37][73] x[37][74] x[37][75] x[37][76] x[37][77] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] x[38][67] x[38][68] x[38][69] x[38][70] x[38][71] x[38][72] x[38][73] x[38][74] x[38][75] x[38][76] x[38][77] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] x[39][67] x[39][68] x[39][69] x[39][70] x[39][71] x[39][72] x[39][73] x[39][74] x[39][75] x[39][76] x[39][77] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] x[40][67] x[40][68] x[40][69] x[40][70] x[40][71] x[40][72] x[40][73] x[40][74] x[40][75] x[40][76] x[40][77] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] x[41][67] x[41][68] x[41][69] x[41][70] x[41][71] x[41][72] x[41][73] x[41][74] x[41][75] x[41][76] x[41][77] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] x[42][67] x[42][68] x[42][69] x[42][70] x[42][71] x[42][72] x[42][73] x[42][74] x[42][75] x[42][76] x[42][77] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] x[43][67] x[43][68] x[43][69] x[43][70] x[43][71] x[43][72] x[43][73] x[43][74] x[43][75] x[43][76] x[43][77] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] x[44][67] x[44][68] x[44][69] x[44][70] x[44][71] x[44][72] x[44][73] x[44][74] x[44][75] x[44][76] x[44][77] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] x[45][67] x[45][68] x[45][69] x[45][70] x[45][71] x[45][72] x[45][73] x[45][74] x[45][75] x[45][76] x[45][77] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] x[46][67] x[46][68] x[46][69] x[46][70] x[46][71] x[46][72] x[46][73] x[46][74] x[46][75] x[46][76] x[46][77] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] x[47][67] x[47][68] x[47][69] x[47][70] x[47][71] x[47][72] x[47][73] x[47][74] x[47][75] x[47][76] x[47][77] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] x[48][67] x[48][68] x[48][69] x[48][70] x[48][71] x[48][72] x[48][73] x[48][74] x[48][75] x[48][76] x[48][77] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] x[49][67] x[49][68] x[49][69] x[49][70] x[49][71] x[49][72] x[49][73] x[49][74] x[49][75] x[49][76] x[49][77] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] x[50][67] x[50][68] x[50][69] x[50][70] x[50][71] x[50][72] x[50][73] x[50][74] x[50][75] x[50][76] x[50][77] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] x[51][67] x[51][68] x[51][69] x[51][70] x[51][71] x[51][72] x[51][73] x[51][74] x[51][75] x[51][76] x[51][77] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] x[52][67] x[52][68] x[52][69] x[52][70] x[52][71] x[52][72] x[52][73] x[52][74] x[52][75] x[52][76] x[52][77] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] x[53][67] x[53][68] x[53][69] x[53][70] x[53][71] x[53][72] x[53][73] x[53][74] x[53][75] x[53][76] x[53][77] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] x[54][67] x[54][68] x[54][69] x[54][70] x[54][71] x[54][72] x[54][73] x[54][74] x[54][75] x[54][76] x[54][77] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] x[55][67] x[55][68] x[55][69] x[55][70] x[55][71] x[55][72] x[55][73] x[55][74] x[55][75] x[55][76] x[55][77] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] x[56][67] x[56][68] x[56][69] x[56][70] x[56][71] x[56][72] x[56][73] x[56][74] x[56][75] x[56][76] x[56][77] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] x[57][67] x[57][68] x[57][69] x[57][70] x[57][71] x[57][72] x[57][73] x[57][74] x[57][75] x[57][76] x[57][77] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] x[58][67] x[58][68] x[58][69] x[58][70] x[58][71] x[58][72] x[58][73] x[58][74] x[58][75] x[58][76] x[58][77] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[59][67] x[59][68] x[59][69] x[59][70] x[59][71] x[59][72] x[59][73] x[59][74] x[59][75] x[59][76] x[59][77] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[60][67] x[60][68] x[60][69] x[60][70] x[60][71] x[60][72] x[60][73] x[60][74] x[60][75] x[60][76] x[60][77] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[61][67] x[61][68] x[61][69] x[61][70] x[61][71] x[61][72] x[61][73] x[61][74] x[61][75] x[61][76] x[61][77] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[62][67] x[62][68] x[62][69] x[62][70] x[62][71] x[62][72] x[62][73] x[62][74] x[62][75] x[62][76] x[62][77] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[63][67] x[63][68] x[63][69] x[63][70] x[63][71] x[63][72] x[63][73] x[63][74] x[63][75] x[63][76] x[63][77] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[64][67] x[64][68] x[64][69] x[64][70] x[64][71] x[64][72] x[64][73] x[64][74] x[64][75] x[64][76] x[64][77] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[65][67] x[65][68] x[65][69] x[65][70] x[65][71] x[65][72] x[65][73] x[65][74] x[65][75] x[65][76] x[65][77] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] x[66][67] x[66][68] x[66][69] x[66][70] x[66][71] x[66][72] x[66][73] x[66][74] x[66][75] x[66][76] x[66][77] x[67][0] x[67][1] x[67][2] x[67][3] x[67][4] x[67][5] x[67][6] x[67][7] x[67][8] x[67][9] x[67][10] x[67][11] x[67][12] x[67][13] x[67][14] x[67][15] x[67][16] x[67][17] x[67][18] x[67][19] x[67][20] x[67][21] x[67][22] x[67][23] x[67][24] x[67][25] x[67][26] x[67][27] x[67][28] x[67][29] x[67][30] x[67][31] x[67][32] x[67][33] x[67][34] x[67][35] x[67][36] x[67][37] x[67][38] x[67][39] x[67][40] x[67][41] x[67][42] x[67][43] x[67][44] x[67][45] x[67][46] x[67][47] x[67][48] x[67][49] x[67][50] x[67][51] x[67][52] x[67][53] x[67][54] x[67][55] x[67][56] x[67][57] x[67][58] x[67][59] x[67][60] x[67][61] x[67][62] x[67][63] x[67][64] x[67][65] x[67][66] x[67][67] x[67][68] x[67][69] x[67][70] x[67][71] x[67][72] x[67][73] x[67][74] x[67][75] x[67][76] x[67][77] x[68][0] x[68][1] x[68][2] x[68][3] x[68][4] x[68][5] x[68][6] x[68][7] x[68][8] x[68][9] x[68][10] x[68][11] x[68][12] x[68][13] x[68][14] x[68][15] x[68][16] x[68][17] x[68][18] x[68][19] x[68][20] x[68][21] x[68][22] x[68][23] x[68][24] x[68][25] x[68][26] x[68][27] x[68][28] x[68][29] x[68][30] x[68][31] x[68][32] x[68][33] x[68][34] x[68][35] x[68][36] x[68][37] x[68][38] x[68][39] x[68][40] x[68][41] x[68][42] x[68][43] x[68][44] x[68][45] x[68][46] x[68][47] x[68][48] x[68][49] x[68][50] x[68][51] x[68][52] x[68][53] x[68][54] x[68][55] x[68][56] x[68][57] x[68][58] x[68][59] x[68][60] x[68][61] x[68][62] x[68][63] x[68][64] x[68][65] x[68][66] x[68][67] x[68][68] x[68][69] x[68][70] x[68][71] x[68][72] x[68][73] x[68][74] x[68][75] x[68][76] x[68][77] x[69][0] x[69][1] x[69][2] x[69][3] x[69][4] x[69][5] x[69][6] x[69][7] x[69][8] x[69][9] x[69][10] x[69][11] x[69][12] x[69][13] x[69][14] x[69][15] x[69][16] x[69][17] x[69][18] x[69][19] x[69][20] x[69][21] x[69][22] x[69][23] x[69][24] x[69][25] x[69][26] x[69][27] x[69][28] x[69][29] x[69][30] x[69][31] x[69][32] x[69][33] x[69][34] x[69][35] x[69][36] x[69][37] x[69][38] x[69][39] x[69][40] x[69][41] x[69][42] x[69][43] x[69][44] x[69][45] x[69][46] x[69][47] x[69][48] x[69][49] x[69][50] x[69][51] x[69][52] x[69][53] x[69][54] x[69][55] x[69][56] x[69][57] x[69][58] x[69][59] x[69][60] x[69][61] x[69][62] x[69][63] x[69][64] x[69][65] x[69][66] x[69][67] x[69][68] x[69][69] x[69][70] x[69][71] x[69][72] x[69][73] x[69][74] x[69][75] x[69][76] x[69][77] x[70][0] x[70][1] x[70][2] x[70][3] x[70][4] x[70][5] x[70][6] x[70][7] x[70][8] x[70][9] x[70][10] x[70][11] x[70][12] x[70][13] x[70][14] x[70][15] x[70][16] x[70][17] x[70][18] x[70][19] x[70][20] x[70][21] x[70][22] x[70][23] x[70][24] x[70][25] x[70][26] x[70][27] x[70][28] x[70][29] x[70][30] x[70][31] x[70][32] x[70][33] x[70][34] x[70][35] x[70][36] x[70][37] x[70][38] x[70][39] x[70][40] x[70][41] x[70][42] x[70][43] x[70][44] x[70][45] x[70][46] x[70][47] x[70][48] x[70][49] x[70][50] x[70][51] x[70][52] x[70][53] x[70][54] x[70][55] x[70][56] x[70][57] x[70][58] x[70][59] x[70][60] x[70][61] x[70][62] x[70][63] x[70][64] x[70][65] x[70][66] x[70][67] x[70][68] x[70][69] x[70][70] x[70][71] x[70][72] x[70][73] x[70][74] x[70][75] x[70][76] x[70][77] x[71][0] x[71][1] x[71][2] x[71][3] x[71][4] x[71][5] x[71][6] x[71][7] x[71][8] x[71][9] x[71][10] x[71][11] x[71][12] x[71][13] x[71][14] x[71][15] x[71][16] x[71][17] x[71][18] x[71][19] x[71][20] x[71][21] x[71][22] x[71][23] x[71][24] x[71][25] x[71][26] x[71][27] x[71][28] x[71][29] x[71][30] x[71][31] x[71][32] x[71][33] x[71][34] x[71][35] x[71][36] x[71][37] x[71][38] x[71][39] x[71][40] x[71][41] x[71][42] x[71][43] x[71][44] x[71][45] x[71][46] x[71][47] x[71][48] x[71][49] x[71][50] x[71][51] x[71][52] x[71][53] x[71][54] x[71][55] x[71][56] x[71][57] x[71][58] x[71][59] x[71][60] x[71][61] x[71][62] x[71][63] x[71][64] x[71][65] x[71][66] x[71][67] x[71][68] x[71][69] x[71][70] x[71][71] x[71][72] x[71][73] x[71][74] x[71][75] x[71][76] x[71][77] x[72][0] x[72][1] x[72][2] x[72][3] x[72][4] x[72][5] x[72][6] x[72][7] x[72][8] x[72][9] x[72][10] x[72][11] x[72][12] x[72][13] x[72][14] x[72][15] x[72][16] x[72][17] x[72][18] x[72][19] x[72][20] x[72][21] x[72][22] x[72][23] x[72][24] x[72][25] x[72][26] x[72][27] x[72][28] x[72][29] x[72][30] x[72][31] x[72][32] x[72][33] x[72][34] x[72][35] x[72][36] x[72][37] x[72][38] x[72][39] x[72][40] x[72][41] x[72][42] x[72][43] x[72][44] x[72][45] x[72][46] x[72][47] x[72][48] x[72][49] x[72][50] x[72][51] x[72][52] x[72][53] x[72][54] x[72][55] x[72][56] x[72][57] x[72][58] x[72][59] x[72][60] x[72][61] x[72][62] x[72][63] x[72][64] x[72][65] x[72][66] x[72][67] x[72][68] x[72][69] x[72][70] x[72][71] x[72][72] x[72][73] x[72][74] x[72][75] x[72][76] x[72][77] x[73][0] x[73][1] x[73][2] x[73][3] x[73][4] x[73][5] x[73][6] x[73][7] x[73][8] x[73][9] x[73][10] x[73][11] x[73][12] x[73][13] x[73][14] x[73][15] x[73][16] x[73][17] x[73][18] x[73][19] x[73][20] x[73][21] x[73][22] x[73][23] x[73][24] x[73][25] x[73][26] x[73][27] x[73][28] x[73][29] x[73][30] x[73][31] x[73][32] x[73][33] x[73][34] x[73][35] x[73][36] x[73][37] x[73][38] x[73][39] x[73][40] x[73][41] x[73][42] x[73][43] x[73][44] x[73][45] x[73][46] x[73][47] x[73][48] x[73][49] x[73][50] x[73][51] x[73][52] x[73][53] x[73][54] x[73][55] x[73][56] x[73][57] x[73][58] x[73][59] x[73][60] x[73][61] x[73][62] x[73][63] x[73][64] x[73][65] x[73][66] x[73][67] x[73][68] x[73][69] x[73][70] x[73][71] x[73][72] x[73][73] x[73][74] x[73][75] x[73][76] x[73][77] x[74][0] x[74][1] x[74][2] x[74][3] x[74][4] x[74][5] x[74][6] x[74][7] x[74][8] x[74][9] x[74][10] x[74][11] x[74][12] x[74][13] x[74][14] x[74][15] x[74][16] x[74][17] x[74][18] x[74][19] x[74][20] x[74][21] x[74][22] x[74][23] x[74][24] x[74][25] x[74][26] x[74][27] x[74][28] x[74][29] x[74][30] x[74][31] x[74][32] x[74][33] x[74][34] x[74][35] x[74][36] x[74][37] x[74][38] x[74][39] x[74][40] x[74][41] x[74][42] x[74][43] x[74][44] x[74][45] x[74][46] x[74][47] x[74][48] x[74][49] x[74][50] x[74][51] x[74][52] x[74][53] x[74][54] x[74][55] x[74][56] x[74][57] x[74][58] x[74][59] x[74][60] x[74][61] x[74][62] x[74][63] x[74][64] x[74][65] x[74][66] x[74][67] x[74][68] x[74][69] x[74][70] x[74][71] x[74][72] x[74][73] x[74][74] x[74][75] x[74][76] x[74][77] x[75][0] x[75][1] x[75][2] x[75][3] x[75][4] x[75][5] x[75][6] x[75][7] x[75][8] x[75][9] x[75][10] x[75][11] x[75][12] x[75][13] x[75][14] x[75][15] x[75][16] x[75][17] x[75][18] x[75][19] x[75][20] x[75][21] x[75][22] x[75][23] x[75][24] x[75][25] x[75][26] x[75][27] x[75][28] x[75][29] x[75][30] x[75][31] x[75][32] x[75][33] x[75][34] x[75][35] x[75][36] x[75][37] x[75][38] x[75][39] x[75][40] x[75][41] x[75][42] x[75][43] x[75][44] x[75][45] x[75][46] x[75][47] x[75][48] x[75][49] x[75][50] x[75][51] x[75][52] x[75][53] x[75][54] x[75][55] x[75][56] x[75][57] x[75][58] x[75][59] x[75][60] x[75][61] x[75][62] x[75][63] x[75][64] x[75][65] x[75][66] x[75][67] x[75][68] x[75][69] x[75][70] x[75][71] x[75][72] x[75][73] x[75][74] x[75][75] x[75][76] x[75][77] x[76][0] x[76][1] x[76][2] x[76][3] x[76][4] x[76][5] x[76][6] x[76][7] x[76][8] x[76][9] x[76][10] x[76][11] x[76][12] x[76][13] x[76][14] x[76][15] x[76][16] x[76][17] x[76][18] x[76][19] x[76][20] x[76][21] x[76][22] x[76][23] x[76][24] x[76][25] x[76][26] x[76][27] x[76][28] x[76][29] x[76][30] x[76][31] x[76][32] x[76][33] x[76][34] x[76][35] x[76][36] x[76][37] x[76][38] x[76][39] x[76][40] x[76][41] x[76][42] x[76][43] x[76][44] x[76][45] x[76][46] x[76][47] x[76][48] x[76][49] x[76][50] x[76][51] x[76][52] x[76][53] x[76][54] x[76][55] x[76][56] x[76][57] x[76][58] x[76][59] x[76][60] x[76][61] x[76][62] x[76][63] x[76][64] x[76][65] x[76][66] x[76][67] x[76][68] x[76][69] x[76][70] x[76][71] x[76][72] x[76][73] x[76][74] x[76][75] x[76][76] x[76][77] x[77][0] x[77][1] x[77][2] x[77][3] x[77][4] x[77][5] x[77][6] x[77][7] x[77][8] x[77][9] x[77][10] x[77][11] x[77][12] x[77][13] x[77][14] x[77][15] x[77][16] x[77][17] x[77][18] x[77][19] x[77][20] x[77][21] x[77][22] x[77][23] x[77][24] x[77][25] x[77][26] x[77][27] x[77][28] x[77][29] x[77][30] x[77][31] x[77][32] x[77][33] x[77][34] x[77][35] x[77][36] x[77][37] x[77][38] x[77][39] x[77][40] x[77][41] x[77][42] x[77][43] x[77][44] x[77][45] x[77][46] x[77][47] x[77][48] x[77][49] x[77][50] x[77][51] x[77][52] x[77][53] x[77][54] x[77][55] x[77][56] x[77][57] x[77][58] x[77][59] x[77][60] x[77][61] x[77][62] x[77][63] x[77][64] x[77][65] x[77][66] x[77][67] x[77][68] x[77][69] x[77][70] x[77][71] x[77][72] x[77][73] x[77][74] x[77][75] x[77][76] x[77][77] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] u[65] u[66] u[67] u[68] u[69] u[70] u[71] u[72] u[73] u[74] u[75] u[76] u[77]
261.41/240.01	v       </list>
261.41/240.01	v       <values>
261.41/240.01	v         0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 32 100 20 90 62 25 73 73 7 65 59 39 39 33 50 7 23 64 96 60 48 100 63 100 95 87 32 48 81 20 82 57 100 59 78 77 15 83 100 66 18 86 91 42 39 96 25 16 81 39 86 44 47 26 51 94 67 69 96 2 100 27 70 100 24 21 82 63 71 53 100 61 45 63 76 100
261.41/240.01	v       </values>
261.41/240.01	v     </instantiation>
261.41/240.01	s SATISFIABLE

Verifier Data 

OK	2357

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259852-1501650736/watcher-4259852-1501650736 -o /tmp/evaluation-result-4259852-1501650736/solver-4259852-1501650736 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29418 --watchdog 300 bin/concrete HOME/instance-4259852-1501650736.xml 

pid=6664
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.59 1.65 1.68 2/194 6667
/proc/meminfo: memFree=30483520/32770624 swapFree=0/944000
[pid=6667] ppid=6664 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6667/stat : 6667 (runsolver) D 6664 6667 5678 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13698332 24240128 106 18446744073709551615 4194304 4338465 140724245879616 140724245877256 139782810628823 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 16510976 140724245881040 140724245881414 140724245881414 140724245884874 0
/proc/6667/statm: 5918 106 53 36 0 2156 0

[startup+0.100133 s]
/proc/loadavg: 1.59 1.65 1.68 2/194 6667
/proc/meminfo: memFree=30483520/32770624 swapFree=0/944000
[pid=6667] ppid=6664 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/6667/stat : 6667 (bash) S 6664 6667 5678 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 13698332 9736192 351 18446744073709551615 4194304 5098028 140721935750176 140721935747816 140148892924928 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 24834048 140721935753745 140721935753830 140721935753830 140721935757290 0
/proc/6667/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200258 s]
/proc/loadavg: 1.59 1.65 1.68 2/194 6667
/proc/meminfo: memFree=30483520/32770624 swapFree=0/944000
[pid=6667] ppid=6664 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/6667/stat : 6667 (bash) S 6664 6667 5678 0 -1 4202496 896 6484 0 0 0 0 0 1 20 0 1 0 13698332 9867264 377 18446744073709551615 4194304 5098028 140721935750176 140721935744184 140148892924928 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 24834048 140721935753745 140721935753830 140721935753830 140721935757290 0
/proc/6667/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300279 s]
/proc/loadavg: 1.59 1.65 1.68 2/194 6667
/proc/meminfo: memFree=30483520/32770624 swapFree=0/944000
[pid=6667] ppid=6664 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/6667/stat : 6667 (java) S 6664 6667 5678 0 -1 1077944320 5739 12626 0 0 5 1 5 2 20 0 14 0 13698332 14241083392 5928 18446744073709551615 4194304 4196468 140725346355248 140725346337792 140460252815095 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
/proc/6667/statm: 3476827 5928 2555 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.704647 s]
/proc/loadavg: 1.59 1.65 1.68 2/194 6667
/proc/meminfo: memFree=30483520/32770624 swapFree=0/944000
[pid=6667] ppid=6664 vsize=13974784 CPUtime=0.65 cores=1,3,5,7
/proc/6667/stat : 6667 (java) S 6664 6667 5678 0 -1 1077944320 13778 12626 0 0 54 4 5 2 20 0 15 0 13698332 14310178816 14705 18446744073709551615 4194304 4196468 140725346355248 140725346337792 140460252815095 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
/proc/6667/statm: 3493696 14705 3087 1 0 3482973 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 13974784

[startup+1.50348 s]
/proc/loadavg: 1.59 1.65 1.68 3/209 6730
/proc/meminfo: memFree=30407096/32770624 swapFree=0/944000
[pid=6667] ppid=6664 vsize=13985408 CPUtime=1.85 cores=1,3,5,7
/proc/6667/stat : 6667 (java) S 6664 6667 5678 0 -1 1077944320 25973 12626 0 0 169 9 5 2 20 0 15 0 13698332 14321057792 40123 18446744073709551615 4194304 4196468 140725346355248 140725346337792 140460252815095 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
/proc/6667/statm: 3496352 40123 3334 1 0 3485533 0
[pid=6667/tid=6717] ppid=6664 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/6667/task/6717/stat : 6717 (java) S 6664 6667 5678 0 -1 1077944384 20380 12626 0 0 114 6 5 2 20 0 15 0 13698355 14321057792 40123 18446744073709551615 4194304 4196468 140725346355248 140460257032368 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6718] ppid=6664 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6718/stat : 6718 (java) R 6664 6667 5678 0 -1 1077944384 176 12626 0 0 0 0 5 2 20 0 15 0 13698356 14321057792 40123 18446744073709551615 4194304 4196468 140725346355248 140459853224784 140460252825301 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6719] ppid=6664 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6719/stat : 6719 (java) S 6664 6667 5678 0 -1 1077944384 27 12626 0 0 0 0 5 2 20 0 15 0 13698356 14321057792 40123 18446744073709551615 4194304 4196468 140725346355248 140459852172176 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6720] ppid=6664 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6720/stat : 6720 (java) S 6664 6667 5678 0 -1 1077944384 40 12626 0 0 0 0 5 2 20 0 15 0 13698356 14321057792 40123 18446744073709551615 4194304 4196468 140725346355248 140459851119632 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6721] ppid=6664 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6721/stat : 6721 (java) S 6664 6667 5678 0 -1 1077944384 46 12626 0 0 0 0 5 2 20 0 15 0 13698356 14321057792 40123 18446744073709551615 4194304 4196468 140725346355248 140459850067088 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6722] ppid=6664 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6722/stat : 6722 (java) R 6664 6667 5678 0 -1 4202560 49 12626 0 0 0 0 5 2 20 0 15 0 13698357 14321057792 40123 18446744073709551615 4194304 4196468 140725346355248 140459798511936 140460233009786 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6723] ppid=6664 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6723/stat : 6723 (java) S 6664 6667 5678 0 -1 1077944384 33 12626 0 0 0 0 5 2 20 0 15 0 13698358 14321057792 40123 18446744073709551615 4194304 4196468 140725346355248 140459797459872 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6724] ppid=6664 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6724/stat : 6724 (java) S 6664 6667 5678 0 -1 1077944384 21 12626 0 0 0 0 5 2 20 0 15 0 13698358 14321057792 40123 18446744073709551615 4194304 4196468 140725346355248 140459796407280 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6725] ppid=6664 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6725/stat : 6725 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14321057792 40123 18446744073709551615 4194304 4196468 140725346355248 140459795355856 140460252833691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6726] ppid=6664 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/6667/task/6726/stat : 6726 (java) S 6664 6667 5678 0 -1 1077944384 963 12626 0 0 13 0 5 2 20 0 15 0 13698361 14321057792 40123 18446744073709551615 4194304 4196468 140725346355248 140459794303472 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6727] ppid=6664 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/6667/task/6727/stat : 6727 (java) S 6664 6667 5678 0 -1 1077944384 841 12626 0 0 16 0 5 2 20 0 15 0 13698361 14321057792 40149 18446744073709551615 4194304 4196468 140725346355248 140459793250928 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6728] ppid=6664 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/6667/task/6728/stat : 6728 (java) S 6664 6667 5678 0 -1 1077944384 1243 12626 0 0 22 0 5 2 20 0 15 0 13698361 14321057792 40149 18446744073709551615 4194304 4196468 140725346355248 140459162987248 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6729] ppid=6664 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6729/stat : 6729 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14321057792 40149 18446744073709551615 4194304 4196468 140725346355248 140459161934944 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6730] ppid=6664 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6730/stat : 6730 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698365 14321057792 40149 18446744073709551615 4194304 4196468 140725346355248 140459160881456 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 13985408

[startup+3.10761 s]
/proc/loadavg: 1.59 1.65 1.68 6/209 6730
/proc/meminfo: memFree=30332452/32770624 swapFree=0/943980
[pid=6667] ppid=6664 vsize=13995836 CPUtime=6.26 cores=1,3,5,7
/proc/6667/stat : 6667 (java) S 6664 6667 5678 0 -1 1077944320 34440 12626 0 0 603 16 5 2 20 0 15 0 13698332 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140725346337792 140460252815095 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
/proc/6667/statm: 3498959 64741 3440 1 0 3487581 0
[pid=6667/tid=6717] ppid=6664 vsize=13995836 CPUtime=2.84 cores=1,3,5,7
/proc/6667/task/6717/stat : 6717 (java) R 6664 6667 5678 0 -1 4202560 23459 12626 0 0 268 9 5 2 20 0 15 0 13698355 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140460257045288 140460233654592 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6718] ppid=6664 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6718/stat : 6718 (java) S 6664 6667 5678 0 -1 1077944384 180 12626 0 0 0 0 5 2 20 0 15 0 13698356 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459853224720 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6719] ppid=6664 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6719/stat : 6719 (java) S 6664 6667 5678 0 -1 1077944384 27 12626 0 0 0 0 5 2 20 0 15 0 13698356 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459852172176 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6720] ppid=6664 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/6667/task/6720/stat : 6720 (java) S 6664 6667 5678 0 -1 1077944384 40 12626 0 0 1 0 5 2 20 0 15 0 13698356 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459851119632 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6721] ppid=6664 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/6667/task/6721/stat : 6721 (java) S 6664 6667 5678 0 -1 1077944384 52 12626 0 0 1 0 5 2 20 0 15 0 13698356 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459850067088 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6722] ppid=6664 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/6667/task/6722/stat : 6722 (java) S 6664 6667 5678 0 -1 1077944384 653 12626 0 0 1 0 5 2 20 0 15 0 13698357 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459798513648 140460252826242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6723] ppid=6664 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6723/stat : 6723 (java) S 6664 6667 5678 0 -1 1077944384 34 12626 0 0 0 0 5 2 20 0 15 0 13698358 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459797459936 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6724] ppid=6664 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6724/stat : 6724 (java) S 6664 6667 5678 0 -1 1077944384 22 12626 0 0 0 0 5 2 20 0 15 0 13698358 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459796407296 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6725] ppid=6664 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6725/stat : 6725 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459795355856 140460252833691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6726] ppid=6664 vsize=13995836 CPUtime=1.24 cores=1,3,5,7
/proc/6667/task/6726/stat : 6726 (java) R 6664 6667 5678 0 -1 4202560 2699 12626 0 0 116 1 5 2 20 0 15 0 13698361 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459794282000 140460238830624 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6727] ppid=6664 vsize=13995836 CPUtime=1.13 cores=1,3,5,7
/proc/6667/task/6727/stat : 6727 (java) R 6664 6667 5678 0 -1 4202560 1799 12626 0 0 106 0 5 2 20 0 15 0 13698361 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459793239600 140460232331712 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6728] ppid=6664 vsize=13995836 CPUtime=1.12 cores=1,3,5,7
/proc/6667/task/6728/stat : 6728 (java) S 6664 6667 5678 0 -1 1077944384 3311 12626 0 0 104 1 5 2 20 0 15 0 13698361 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459162987248 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6729] ppid=6664 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6729/stat : 6729 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459161934944 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6730] ppid=6664 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6730/stat : 6730 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698365 14331736064 64741 18446744073709551615 4194304 4196468 140725346355248 140459160881456 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13995836

[startup+6.30061 s]
/proc/loadavg: 1.86 1.71 1.70 7/209 6730
/proc/meminfo: memFree=30192820/32770624 swapFree=0/943992
[pid=6667] ppid=6664 vsize=14001980 CPUtime=15.81 cores=1,3,5,7
/proc/6667/stat : 6667 (java) S 6664 6667 5678 0 -1 1077944320 53078 12626 0 0 1547 27 5 2 20 0 15 0 13698332 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140725346337792 140460252815095 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
/proc/6667/statm: 3500495 96243 3473 1 0 3489117 0
[pid=6667/tid=6717] ppid=6664 vsize=14001980 CPUtime=5.83 cores=1,3,5,7
/proc/6667/task/6717/stat : 6717 (java) R 6664 6667 5678 0 -1 4202560 27158 12626 0 0 565 11 5 2 20 0 15 0 13698355 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140460257050352 140460252827030 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6718] ppid=6664 vsize=14001980 CPUtime=0.23 cores=1,3,5,7
/proc/6667/task/6718/stat : 6718 (java) S 6664 6667 5678 0 -1 1077944384 282 12626 0 0 14 2 5 2 20 0 15 0 13698356 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459853224720 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6719] ppid=6664 vsize=14001980 CPUtime=0.24 cores=1,3,5,7
/proc/6667/task/6719/stat : 6719 (java) S 6664 6667 5678 0 -1 1077944384 96 12626 0 0 15 2 5 2 20 0 15 0 13698356 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459852172176 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6720] ppid=6664 vsize=14001980 CPUtime=0.23 cores=1,3,5,7
/proc/6667/task/6720/stat : 6720 (java) S 6664 6667 5678 0 -1 1077944384 199 12626 0 0 14 2 5 2 20 0 15 0 13698356 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459851119632 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6721] ppid=6664 vsize=14001980 CPUtime=0.24 cores=1,3,5,7
/proc/6667/task/6721/stat : 6721 (java) S 6664 6667 5678 0 -1 1077944384 120 12626 0 0 15 2 5 2 20 0 15 0 13698356 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459850067088 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6722] ppid=6664 vsize=14001980 CPUtime=0.11 cores=1,3,5,7
/proc/6667/task/6722/stat : 6722 (java) S 6664 6667 5678 0 -1 1077944384 2858 12626 0 0 4 0 5 2 20 0 15 0 13698357 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459798513648 140460252826242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6723] ppid=6664 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6723/stat : 6723 (java) S 6664 6667 5678 0 -1 1077944384 39 12626 0 0 0 0 5 2 20 0 15 0 13698358 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459797460000 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6724] ppid=6664 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6724/stat : 6724 (java) S 6664 6667 5678 0 -1 1077944384 27 12626 0 0 0 0 5 2 20 0 15 0 13698358 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459796407296 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6725] ppid=6664 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6725/stat : 6725 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459795355856 140460252833691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6726] ppid=6664 vsize=14001980 CPUtime=3.73 cores=1,3,5,7
/proc/6667/task/6726/stat : 6726 (java) R 6664 6667 5678 0 -1 4202560 6268 12626 0 0 365 1 5 2 20 0 15 0 13698361 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459794290544 140460252836442 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6727] ppid=6664 vsize=14001980 CPUtime=3.63 cores=1,3,5,7
/proc/6667/task/6727/stat : 6727 (java) R 6664 6667 5678 0 -1 4202560 5261 12626 0 0 356 0 5 2 20 0 15 0 13698361 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459793243832 140460235991678 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6728] ppid=6664 vsize=14001980 CPUtime=2.03 cores=1,3,5,7
/proc/6667/task/6728/stat : 6728 (java) S 6664 6667 5678 0 -1 1077944384 8446 12626 0 0 194 2 5 2 20 0 15 0 13698361 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459162987248 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6729] ppid=6664 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6729/stat : 6729 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459161934944 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6730] ppid=6664 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6730/stat : 6730 (java) S 6664 6667 5678 0 -1 1077944384 163 12626 0 0 0 0 5 2 20 0 15 0 13698365 14338027520 96243 18446744073709551615 4194304 4196468 140725346355248 140459160881456 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
Current children cumulated CPU time (s) 15.81
Current children cumulated vsize (KiB) 14001980

[startup+12.7007 s]
/proc/loadavg: 1.79 1.70 1.70 3/209 6730
/proc/meminfo: memFree=29936748/32770624 swapFree=0/944000
[pid=6667] ppid=6664 vsize=14004028 CPUtime=28.06 cores=1,3,5,7
/proc/6667/stat : 6667 (java) S 6664 6667 5678 0 -1 1077944320 69637 12626 0 0 2750 49 5 2 20 0 15 0 13698332 14340124672 164975 18446744073709551615 4194304 4196468 140725346355248 140725346337792 140460252815095 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
/proc/6667/statm: 3501007 164975 3481 1 0 3489629 0
[pid=6667/tid=6717] ppid=6664 vsize=14004028 CPUtime=11.72 cores=1,3,5,7
/proc/6667/task/6717/stat : 6717 (java) R 6664 6667 5678 0 -1 4202560 37420 12626 0 0 1151 14 5 2 20 0 15 0 13698355 14340124672 164975 18446744073709551615 4194304 4196468 140725346355248 140460257043664 140459896113544 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6718] ppid=6664 vsize=14004028 CPUtime=0.61 cores=1,3,5,7
/proc/6667/task/6718/stat : 6718 (java) S 6664 6667 5678 0 -1 1077944384 625 12626 0 0 48 6 5 2 20 0 15 0 13698356 14340124672 164975 18446744073709551615 4194304 4196468 140725346355248 140459853224720 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6719] ppid=6664 vsize=14004028 CPUtime=0.63 cores=1,3,5,7
/proc/6667/task/6719/stat : 6719 (java) S 6664 6667 5678 0 -1 1077944384 470 12626 0 0 50 6 5 2 20 0 15 0 13698356 14340124672 164975 18446744073709551615 4194304 4196468 140725346355248 140459852172176 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6720] ppid=6664 vsize=14004028 CPUtime=0.62 cores=1,3,5,7
/proc/6667/task/6720/stat : 6720 (java) S 6664 6667 5678 0 -1 1077944384 429 12626 0 0 49 6 5 2 20 0 15 0 13698356 14340124672 164975 18446744073709551615 4194304 4196468 140725346355248 140459851119632 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6721] ppid=6664 vsize=14004028 CPUtime=0.64 cores=1,3,5,7
/proc/6667/task/6721/stat : 6721 (java) S 6664 6667 5678 0 -1 1077944384 432 12626 0 0 51 6 5 2 20 0 15 0 13698356 14340124672 164975 18446744073709551615 4194304 4196468 140725346355248 140459850067088 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6722] ppid=6664 vsize=14004028 CPUtime=0.22 cores=1,3,5,7
/proc/6667/task/6722/stat : 6722 (java) S 6664 6667 5678 0 -1 1077944384 2979 12626 0 0 15 0 5 2 20 0 15 0 13698357 14340124672 164975 18446744073709551615 4194304 4196468 140725346355248 140459798513648 140460252826242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6723] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6723/stat : 6723 (java) S 6664 6667 5678 0 -1 1077944384 39 12626 0 0 0 0 5 2 20 0 15 0 13698358 14340124672 164975 18446744073709551615 4194304 4196468 140725346355248 140459797460000 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6724] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6724/stat : 6724 (java) S 6664 6667 5678 0 -1 1077944384 27 12626 0 0 0 0 5 2 20 0 15 0 13698358 14340124672 164975 18446744073709551615 4194304 4196468 140725346355248 140459796407296 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6725] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6725/stat : 6725 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14340124672 164975 18446744073709551615 4194304 4196468 140725346355248 140459795355856 140460252833691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0

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

/proc/6667/task/6729/stat : 6729 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14340124672 381421 18446744073709551615 4194304 4196468 140725346355248 140459161934944 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6730] ppid=6664 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/6667/task/6730/stat : 6730 (java) S 6664 6667 5678 0 -1 1077944384 409 12626 0 0 0 1 5 2 20 0 15 0 13698365 14340124672 381421 18446744073709551615 4194304 4196468 140725346355248 140459160881456 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
Current children cumulated CPU time (s) 68.34
Current children cumulated vsize (KiB) 14004028

[startup+102.301 s]
/proc/loadavg: 1.80 1.73 1.71 3/209 6857
/proc/meminfo: memFree=28207724/32770624 swapFree=0/944212
[pid=6667] ppid=6664 vsize=14004028 CPUtime=121.07 cores=1,3,5,7
/proc/6667/stat : 6667 (java) S 6664 6667 5678 0 -1 1077944320 116421 12626 0 0 11918 182 5 2 20 0 15 0 13698332 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140725346337792 140460252815095 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
/proc/6667/statm: 3501007 470254 3482 1 0 3489629 0
[pid=6667/tid=6717] ppid=6664 vsize=14004028 CPUtime=100.55 cores=1,3,5,7
/proc/6667/task/6717/stat : 6717 (java) R 6664 6667 5678 0 -1 4202560 50533 12626 0 0 10029 19 5 2 20 0 15 0 13698355 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140460257046640 140459886247510 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6718] ppid=6664 vsize=14004028 CPUtime=1.37 cores=1,3,5,7
/proc/6667/task/6718/stat : 6718 (java) S 6664 6667 5678 0 -1 1077944384 1659 12626 0 0 93 37 5 2 20 0 15 0 13698356 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459853224720 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6719] ppid=6664 vsize=14004028 CPUtime=1.39 cores=1,3,5,7
/proc/6667/task/6719/stat : 6719 (java) S 6664 6667 5678 0 -1 1077944384 2242 12626 0 0 94 38 5 2 20 0 15 0 13698356 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459852172176 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6720] ppid=6664 vsize=14004028 CPUtime=1.38 cores=1,3,5,7
/proc/6667/task/6720/stat : 6720 (java) S 6664 6667 5678 0 -1 1077944384 3553 12626 0 0 94 37 5 2 20 0 15 0 13698356 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459851119632 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6721] ppid=6664 vsize=14004028 CPUtime=1.39 cores=1,3,5,7
/proc/6667/task/6721/stat : 6721 (java) S 6664 6667 5678 0 -1 1077944384 2080 12626 0 0 95 37 5 2 20 0 15 0 13698356 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459850067088 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6722] ppid=6664 vsize=14004028 CPUtime=0.25 cores=1,3,5,7
/proc/6667/task/6722/stat : 6722 (java) S 6664 6667 5678 0 -1 1077944384 4510 12626 0 0 17 1 5 2 20 0 15 0 13698357 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459798513648 140460252826242 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6723] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6723/stat : 6723 (java) S 6664 6667 5678 0 -1 1077944384 51 12626 0 0 0 0 5 2 20 0 15 0 13698358 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459797460000 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6724] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6724/stat : 6724 (java) S 6664 6667 5678 0 -1 1077944384 27 12626 0 0 0 0 5 2 20 0 15 0 13698358 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459796407296 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6725] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6725/stat : 6725 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459795355856 140460252833691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6726] ppid=6664 vsize=14004028 CPUtime=6.27 cores=1,3,5,7
/proc/6667/task/6726/stat : 6726 (java) S 6664 6667 5678 0 -1 1077944384 12975 12626 0 0 617 3 5 2 20 0 15 0 13698361 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459794303472 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6727] ppid=6664 vsize=14004028 CPUtime=6.44 cores=1,3,5,7
/proc/6667/task/6727/stat : 6727 (java) S 6664 6667 5678 0 -1 1077944384 17184 12626 0 0 635 2 5 2 20 0 15 0 13698361 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459793250928 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6728] ppid=6664 vsize=14004028 CPUtime=2.46 cores=1,3,5,7
/proc/6667/task/6728/stat : 6728 (java) S 6664 6667 5678 0 -1 1077944384 19021 12626 0 0 235 4 5 2 20 0 15 0 13698361 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459162987248 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6729] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6729/stat : 6729 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459161934944 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6730] ppid=6664 vsize=14004028 CPUtime=0.1 cores=1,3,5,7
/proc/6667/task/6730/stat : 6730 (java) S 6664 6667 5678 0 -1 1077944384 425 12626 0 0 1 2 5 2 20 0 15 0 13698365 14340124672 470254 18446744073709551615 4194304 4196468 140725346355248 140459160881456 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
Current children cumulated CPU time (s) 121.07
Current children cumulated vsize (KiB) 14004028

[startup+162.301 s]
/proc/loadavg: 1.87 1.76 1.72 3/211 6875
/proc/meminfo: memFree=28077148/32770624 swapFree=0/944292
[pid=6667] ppid=6664 vsize=14004028 CPUtime=182.33 cores=1,3,5,7
/proc/6667/stat : 6667 (java) S 6664 6667 5678 0 -1 1077944320 126975 12626 0 0 18005 221 5 2 20 0 15 0 13698332 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140725346337792 140460252815095 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
/proc/6667/statm: 3501007 502483 3482 1 0 3489629 0
[pid=6667/tid=6717] ppid=6664 vsize=14004028 CPUtime=160.26 cores=1,3,5,7
/proc/6667/task/6717/stat : 6717 (java) R 6664 6667 5678 0 -1 4202560 54210 12626 0 0 16000 19 5 2 20 0 15 0 13698355 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140460257043712 140459892039304 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6718] ppid=6664 vsize=14004028 CPUtime=1.64 cores=1,3,5,7
/proc/6667/task/6718/stat : 6718 (java) S 6664 6667 5678 0 -1 1077944384 2678 12626 0 0 111 46 5 2 20 0 15 0 13698356 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459853224720 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6719] ppid=6664 vsize=14004028 CPUtime=1.67 cores=1,3,5,7
/proc/6667/task/6719/stat : 6719 (java) S 6664 6667 5678 0 -1 1077944384 2430 12626 0 0 113 47 5 2 20 0 15 0 13698356 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459852172176 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6720] ppid=6664 vsize=14004028 CPUtime=1.66 cores=1,3,5,7
/proc/6667/task/6720/stat : 6720 (java) S 6664 6667 5678 0 -1 1077944384 3737 12626 0 0 113 46 5 2 20 0 15 0 13698356 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459851119632 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6721] ppid=6664 vsize=14004028 CPUtime=1.67 cores=1,3,5,7
/proc/6667/task/6721/stat : 6721 (java) S 6664 6667 5678 0 -1 1077944384 2261 12626 0 0 114 46 5 2 20 0 15 0 13698356 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459850067088 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6722] ppid=6664 vsize=14004028 CPUtime=0.25 cores=1,3,5,7
/proc/6667/task/6722/stat : 6722 (java) S 6664 6667 5678 0 -1 1077944384 4585 12626 0 0 17 1 5 2 20 0 15 0 13698357 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459798513648 140460252826242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6723] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6723/stat : 6723 (java) S 6664 6667 5678 0 -1 1077944384 51 12626 0 0 0 0 5 2 20 0 15 0 13698358 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459797460000 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6724] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6724/stat : 6724 (java) S 6664 6667 5678 0 -1 1077944384 27 12626 0 0 0 0 5 2 20 0 15 0 13698358 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459796407296 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6725] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6725/stat : 6725 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459795355856 140460252833691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6726] ppid=6664 vsize=14004028 CPUtime=6.51 cores=1,3,5,7
/proc/6667/task/6726/stat : 6726 (java) S 6664 6667 5678 0 -1 1077944384 15461 12626 0 0 641 3 5 2 20 0 15 0 13698361 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459794303472 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6727] ppid=6664 vsize=14004028 CPUtime=6.58 cores=1,3,5,7
/proc/6667/task/6727/stat : 6727 (java) S 6664 6667 5678 0 -1 1077944384 17984 12626 0 0 648 3 5 2 20 0 15 0 13698361 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459793250928 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6728] ppid=6664 vsize=14004028 CPUtime=2.5 cores=1,3,5,7
/proc/6667/task/6728/stat : 6728 (java) S 6664 6667 5678 0 -1 1077944384 20933 12626 0 0 239 4 5 2 20 0 15 0 13698361 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459162987248 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6729] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6729/stat : 6729 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459161934944 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6730] ppid=6664 vsize=14004028 CPUtime=0.12 cores=1,3,5,7
/proc/6667/task/6730/stat : 6730 (java) S 6664 6667 5678 0 -1 1077944384 457 12626 0 0 2 3 5 2 20 0 15 0 13698365 14340124672 502483 18446744073709551615 4194304 4196468 140725346355248 140459160881456 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
Current children cumulated CPU time (s) 182.33
Current children cumulated vsize (KiB) 14004028

[startup+222.307 s]
/proc/loadavg: 1.67 1.73 1.71 3/215 6905
/proc/meminfo: memFree=28369816/32770624 swapFree=0/944428
[pid=6667] ppid=6664 vsize=14004028 CPUtime=243.38 cores=1,3,5,7
/proc/6667/stat : 6667 (java) S 6664 6667 5678 0 -1 1077944320 137073 12626 0 0 24107 224 5 2 20 0 15 0 13698332 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140725346337792 140460252815095 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
/proc/6667/statm: 3501007 428252 3482 1 0 3489629 0
[pid=6667/tid=6717] ppid=6664 vsize=14004028 CPUtime=220 cores=1,3,5,7
/proc/6667/task/6717/stat : 6717 (java) R 6664 6667 5678 0 -1 4202560 58062 12626 0 0 21974 19 5 2 20 0 15 0 13698355 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140460257048968 140459892039304 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6718] ppid=6664 vsize=14004028 CPUtime=1.89 cores=1,3,5,7
/proc/6667/task/6718/stat : 6718 (java) S 6664 6667 5678 0 -1 1077944384 2835 12626 0 0 136 46 5 2 20 0 15 0 13698356 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459853224720 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6719] ppid=6664 vsize=14004028 CPUtime=1.92 cores=1,3,5,7
/proc/6667/task/6719/stat : 6719 (java) S 6664 6667 5678 0 -1 1077944384 3066 12626 0 0 138 47 5 2 20 0 15 0 13698356 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459852172176 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6720] ppid=6664 vsize=14004028 CPUtime=1.91 cores=1,3,5,7
/proc/6667/task/6720/stat : 6720 (java) S 6664 6667 5678 0 -1 1077944384 3854 12626 0 0 138 46 5 2 20 0 15 0 13698356 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459851119632 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6721] ppid=6664 vsize=14004028 CPUtime=1.91 cores=1,3,5,7
/proc/6667/task/6721/stat : 6721 (java) S 6664 6667 5678 0 -1 1077944384 2409 12626 0 0 138 46 5 2 20 0 15 0 13698356 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459850067088 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6722] ppid=6664 vsize=14004028 CPUtime=0.26 cores=1,3,5,7
/proc/6667/task/6722/stat : 6722 (java) S 6664 6667 5678 0 -1 1077944384 4840 12626 0 0 18 1 5 2 20 0 15 0 13698357 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459798513648 140460252826242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6723] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6723/stat : 6723 (java) S 6664 6667 5678 0 -1 1077944384 55 12626 0 0 0 0 5 2 20 0 15 0 13698358 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459797460000 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6724] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6724/stat : 6724 (java) S 6664 6667 5678 0 -1 1077944384 27 12626 0 0 0 0 5 2 20 0 15 0 13698358 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459796407296 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6725] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6725/stat : 6725 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459795355856 140460252833691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6726] ppid=6664 vsize=14004028 CPUtime=6.62 cores=1,3,5,7
/proc/6667/task/6726/stat : 6726 (java) S 6664 6667 5678 0 -1 1077944384 15973 12626 0 0 652 3 5 2 20 0 15 0 13698361 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459794303472 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6727] ppid=6664 vsize=14004028 CPUtime=6.69 cores=1,3,5,7
/proc/6667/task/6727/stat : 6727 (java) S 6664 6667 5678 0 -1 1077944384 20000 12626 0 0 659 3 5 2 20 0 15 0 13698361 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459793250928 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6728] ppid=6664 vsize=14004028 CPUtime=2.54 cores=1,3,5,7
/proc/6667/task/6728/stat : 6728 (java) S 6664 6667 5678 0 -1 1077944384 23308 12626 0 0 243 4 5 2 20 0 15 0 13698361 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459162987248 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6729] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6729/stat : 6729 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459161934944 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6730] ppid=6664 vsize=14004028 CPUtime=0.14 cores=1,3,5,7
/proc/6667/task/6730/stat : 6730 (java) S 6664 6667 5678 0 -1 1077944384 483 12626 0 0 3 4 5 2 20 0 15 0 13698365 14340124672 428252 18446744073709551615 4194304 4196468 140725346355248 140459160881456 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
Current children cumulated CPU time (s) 243.38
Current children cumulated vsize (KiB) 14004028



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.70 1.73 1.71 3/215 6906
/proc/meminfo: memFree=28505640/32770624 swapFree=0/944472
[pid=6667] ppid=6664 vsize=14004028 CPUtime=261.41 cores=1,3,5,7
/proc/6667/stat : 6667 (java) S 6664 6667 5678 0 -1 1077944320 143451 12626 0 0 25909 225 5 2 20 0 15 0 13698332 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140725346337792 140460252815095 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
/proc/6667/statm: 3501007 394284 3482 1 0 3489629 0
[pid=6667/tid=6717] ppid=6664 vsize=14004028 CPUtime=237.61 cores=1,3,5,7
/proc/6667/task/6717/stat : 6717 (java) R 6664 6667 5678 0 -1 4202560 60225 12626 0 0 23734 20 5 2 20 0 15 0 13698355 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140460257048352 140459896113298 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6718] ppid=6664 vsize=14004028 CPUtime=1.98 cores=1,3,5,7
/proc/6667/task/6718/stat : 6718 (java) S 6664 6667 5678 0 -1 1077944384 3995 12626 0 0 145 46 5 2 20 0 15 0 13698356 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459853224720 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6719] ppid=6664 vsize=14004028 CPUtime=2.01 cores=1,3,5,7
/proc/6667/task/6719/stat : 6719 (java) S 6664 6667 5678 0 -1 1077944384 3702 12626 0 0 147 47 5 2 20 0 15 0 13698356 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459852172176 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6720] ppid=6664 vsize=14004028 CPUtime=2 cores=1,3,5,7
/proc/6667/task/6720/stat : 6720 (java) S 6664 6667 5678 0 -1 1077944384 4055 12626 0 0 147 46 5 2 20 0 15 0 13698356 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459851119632 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6721] ppid=6664 vsize=14004028 CPUtime=2 cores=1,3,5,7
/proc/6667/task/6721/stat : 6721 (java) S 6664 6667 5678 0 -1 1077944384 2619 12626 0 0 147 46 5 2 20 0 15 0 13698356 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459850067088 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6722] ppid=6664 vsize=14004028 CPUtime=0.27 cores=1,3,5,7
/proc/6667/task/6722/stat : 6722 (java) S 6664 6667 5678 0 -1 1077944384 5095 12626 0 0 18 2 5 2 20 0 15 0 13698357 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459798513648 140460252826242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6723] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6723/stat : 6723 (java) S 6664 6667 5678 0 -1 1077944384 58 12626 0 0 0 0 5 2 20 0 15 0 13698358 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459797460000 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6724] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6724/stat : 6724 (java) S 6664 6667 5678 0 -1 1077944384 27 12626 0 0 0 0 5 2 20 0 15 0 13698358 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459796407296 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6725] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6725/stat : 6725 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459795355856 140460252833691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6726] ppid=6664 vsize=14004028 CPUtime=6.65 cores=1,3,5,7
/proc/6667/task/6726/stat : 6726 (java) S 6664 6667 5678 0 -1 1077944384 16507 12626 0 0 655 3 5 2 20 0 15 0 13698361 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459794303472 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6727] ppid=6664 vsize=14004028 CPUtime=6.73 cores=1,3,5,7
/proc/6667/task/6727/stat : 6727 (java) S 6664 6667 5678 0 -1 1077944384 20561 12626 0 0 663 3 5 2 20 0 15 0 13698361 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459793250928 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6728] ppid=6664 vsize=14004028 CPUtime=2.54 cores=1,3,5,7
/proc/6667/task/6728/stat : 6728 (java) S 6664 6667 5678 0 -1 1077944384 23889 12626 0 0 243 4 5 2 20 0 15 0 13698361 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459162987248 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6729] ppid=6664 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/6667/task/6729/stat : 6729 (java) S 6664 6667 5678 0 -1 1077944384 3 12626 0 0 0 0 5 2 20 0 15 0 13698361 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459161934944 140460252825301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
[pid=6667/tid=6730] ppid=6664 vsize=14004028 CPUtime=0.15 cores=1,3,5,7
/proc/6667/task/6730/stat : 6730 (java) S 6664 6667 5678 0 -1 1077944384 557 12626 0 0 4 4 5 2 20 0 15 0 13698365 14340124672 394284 18446744073709551615 4194304 4196468 140725346355248 140459160881456 140460252826242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140725346363341 140725346366126 140725346366126 140725346369487 0
Current children cumulated CPU time (s) 261.41
Current children cumulated vsize (KiB) 14004028

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

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

Child status: 143
Real time (s): 240.046
CPU time (s): 261.486
CPU user time (s): 259.189
CPU system time (s): 2.29671
CPU usage (%): 108.932
Max. virtual memory (cumulated for all children) (KiB): 14004028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.189
system time used= 2.29671
maximum resident set size= 2153636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158411
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15766
involuntary context switches= 448

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07036 second user time and 1.45186 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 06:58:17
IDJOB=4259852
IDBENCH=124454
IDSOLVER=2646
FILE ID=node128/4259852-1501650736
RUNJOBID= node128-1501642693-29418
PBS_JOBID= 
Free space on /tmp= 61828 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n78-k10.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259852-1501650736/watcher-4259852-1501650736 -o /tmp/evaluation-result-4259852-1501650736/solver-4259852-1501650736 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29418 --watchdog 300  bin/concrete HOME/instance-4259852-1501650736.xml

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

MD5SUM BENCH= 7c96a44e638c86f7d39463bcb8517eb1
RANDOM SEED=2031859746

node128.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.05
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.05
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.05
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.05
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:        30483836 kB
MemAvailable:   31428424 kB
Buffers:          121280 kB
Cached:          1103916 kB
SwapCached:            0 kB
Active:           923036 kB
Inactive:         952532 kB
Active(anon):     651096 kB
Inactive(anon):     8532 kB
Active(file):     271940 kB
Inactive(file):   944000 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24856 kB
Writeback:             0 kB
AnonPages:        658824 kB
Mapped:            43700 kB
Shmem:              8872 kB
Slab:             114724 kB
SReclaimable:      88964 kB
SUnreclaim:        25760 kB
KernelStack:        3392 kB
PageTables:         6188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1486120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    446464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61804 MiB
End job on node128 at 2017-08-02 07:02:18