Trace number 4262221

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)1973 2520.0901 2454.6599

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 benchmark1282
Best CPU time to get the best result obtained on this benchmark2400.05
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.32/2.22	c Concrete v3.4 running
19.47/7.68	o 4642
22.14/9.04	o 4614
23.06/9.76	o 4587
24.55/10.30	o 4577
25.15/10.87	o 4575
26.33/11.94	o 4482
26.90/12.40	o 4439
27.30/12.86	o 4405
27.82/13.32	o 4373
28.51/13.90	o 4345
28.91/14.33	o 4327
30.04/15.47	o 4326
30.74/16.04	o 4305
31.35/16.65	o 4288
31.85/17.19	o 4278
32.57/17.77	o 4250
33.16/18.34	o 4107
33.77/18.96	o 4077
34.38/19.51	o 4068
35.08/20.15	o 4066
35.69/20.78	o 4064
36.29/21.39	o 4062
37.01/22.01	o 4060
37.60/22.68	o 4058
38.31/23.27	o 4046
39.02/23.90	o 4024
40.22/25.16	o 3991
40.99/25.82	o 3904
41.63/26.42	o 3893
42.23/27.08	o 3890
43.04/27.84	o 3883
43.74/28.52	o 3828
44.35/29.18	o 3818
46.06/30.65	o 3714
47.48/32.03	o 3713
48.28/32.84	o 3707
50.03/34.42	o 3679
50.77/35.12	o 3674
51.47/35.89	o 3648
52.28/36.64	o 3600
53.09/37.44	o 3580
54.69/39.00	o 3579
55.68/39.82	o 3564
56.49/40.63	o 3498
58.00/42.16	o 3478
58.91/43.00	o 3431
59.61/43.79	o 3428
62.54/46.43	o 3419
63.49/47.30	o 3402
64.29/48.18	o 3394
65.19/49.04	o 3388
65.99/49.87	o 3381
66.91/50.76	o 3380
68.75/52.45	o 3373
69.55/53.27	o 3372
72.06/55.70	o 3361
72.87/56.54	o 3360
74.75/58.29	o 3357
75.56/59.07	o 3323
76.36/59.89	o 3287
77.17/60.67	o 3280
78.93/62.36	o 3279
79.83/63.20	o 3277
80.54/63.98	o 3275
84.88/68.06	o 3272
86.50/69.64	o 3246
87.21/70.38	o 3228
88.11/71.22	o 3227
88.95/72.04	o 3160
90.75/73.77	o 3130
91.65/74.60	o 3127
94.17/77.11	o 3122
94.96/77.99	o 3096
96.77/79.70	o 3067
97.58/80.59	o 3062
100.17/82.93	o 3055
101.07/83.80	o 3035
101.78/84.56	o 3034
102.57/85.38	o 3032
103.48/86.22	o 2966
105.30/88.01	o 2947
107.32/89.86	o 2941
108.22/90.72	o 2939
110.94/93.34	o 2932
111.84/94.24	o 2911
115.46/97.82	o 2910
118.36/100.56	o 2907
120.09/102.30	o 2906
120.99/103.17	o 2904
122.70/104.84	o 2903
124.44/106.57	o 2895
126.27/108.27	o 2838
128.89/110.78	o 2837
131.61/113.47	o 2802
135.22/117.00	o 2789
137.93/119.59	o 2788
140.55/122.16	o 2781
141.55/123.18	o 2767
143.36/124.99	o 2766
144.25/125.89	o 2727
146.87/128.41	o 2721
149.51/130.91	o 2719
152.73/134.18	o 2718
159.19/140.43	o 2708
164.42/145.68	o 2701
165.32/146.58	o 2682
168.84/150.02	o 2665
180.37/161.38	o 2639
181.07/162.06	o 2630
184.39/165.37	o 2605
185.20/166.16	o 2596
190.86/171.68	o 2561
191.76/172.59	o 2522
198.80/179.59	o 2504
199.81/180.57	o 2473
204.89/185.54	o 2458
212.26/192.76	o 2422
213.17/193.62	o 2413
221.44/201.79	o 2382
232.46/212.68	o 2378
237.97/218.06	o 2377
238.88/218.91	o 2369
244.55/224.47	o 2365
255.92/235.70	o 2357
263.27/242.85	o 2347
287.01/265.91	o 2297
304.40/282.95	o 2296
313.21/291.55	o 2295
316.55/294.80	o 2293
317.45/295.61	o 2288
329.14/306.96	o 2270
341.73/319.21	o 2247
360.29/337.18	o 2241
361.94/338.74	o 2235
366.19/342.89	o 2233
375.18/351.55	o 2231
412.45/387.40	o 2226
413.98/388.94	o 2173
414.74/389.67	o 2167
419.71/394.56	o 2166
426.56/401.19	o 2152
427.37/401.94	o 2149
428.88/403.47	o 2145
437.05/411.44	o 2140
439.76/414.03	o 2130
450.53/424.52	o 2129
469.09/442.79	o 2127
474.77/448.26	o 2124
492.04/465.08	o 2120
525.37/496.93	o 2119
527.28/498.75	o 2104
543.65/514.64	o 2103
561.32/531.88	o 2100
579.06/548.96	o 2094
597.17/566.61	o 2093
601.59/571.01	o 2091
628.91/597.55	o 2083
706.91/672.46	o 2071
722.16/687.39	o 2070
722.96/688.15	o 2066
739.00/703.82	o 2063
759.63/724.03	o 2060
951.57/910.15	o 2057
952.28/910.86	o 2053
970.83/928.77	o 2051
1252.83/1203.51	o 2050
1265.75/1216.22	o 2049
1270.37/1220.82	o 2046
1383.07/1331.34	o 2034
1421.44/1369.20	o 2033
1520.61/1466.92	o 2029
2221.21/2159.09	o 2027
2222.02/2159.89	o 2010
2223.73/2161.53	o 2006
2226.24/2164.01	o 2000
2227.05/2164.83	o 1992
2236.17/2173.87	o 1983
2237.88/2175.59	o 1977
2257.15/2194.52	o 1973
2520.00/2454.61	java.util.concurrent.TimeoutException
2520.00/2454.61		at concrete.MAC.mac(MAC.scala:74)
2520.00/2454.61		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.00/2454.61		at scala.util.Try$.apply(Try.scala:209)
2520.00/2454.61		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2454.61		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2454.61		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2454.61		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2454.61		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.00/2454.61		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2454.61		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2454.61		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2454.61		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2454.61		at concrete.MAC.oneRun(MAC.scala:146)
2520.00/2454.61		at concrete.MAC.nextSolution(MAC.scala:166)
2520.00/2454.61		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.00/2454.61		at concrete.ProblemState.map(ProblemState.scala:203)
2520.00/2454.61		at concrete.ProblemState.map(ProblemState.scala:188)
2520.00/2454.61		at concrete.MAC.nextSolution(MAC.scala:195)
2520.00/2454.61		at concrete.Solver.hasNext(Solver.scala:202)
2520.00/2454.61		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.00/2454.61		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.00/2454.61		at concrete.Solver.toStream(Solver.scala:73)
2520.00/2454.61		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.00/2454.61		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.00/2454.61		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.00/2454.61		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.00/2454.61		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.00/2454.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2454.61		at scala.util.Success.map(Try.scala:209)
2520.00/2454.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.00/2454.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.00/2454.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.00/2454.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.00/2454.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.00/2454.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2454.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2454.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2454.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2454.61		at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2454.61		at scala.App.main(App.scala:76)
2520.00/2454.61		at scala.App.main$(App.scala:74)
2520.00/2454.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.00/2454.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2454.61	v <instantiation cost="1973">
2520.00/2454.61	v       <list>
2520.00/2454.61	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]
2520.00/2454.61	v       </list>
2520.00/2454.61	v       <values>
2520.00/2454.61	v         0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 100 30 51 74 100 39 73 65 78 69 61 64 8 94 46 100 14 19 41 70 60 95 100 86 100 91 53 58 58 87 71 56 35 68 78 11 83 28 34 96 21 16 23 87 36 38 96 51 12 100 50 83 94 19 6 83 94 16 57 100 2 100 67 66 100 22 37 37 55 81 100 13 86 32 69 74 59
2520.00/2454.62	v       </values>
2520.00/2454.62	v     </instantiation>
2520.00/2454.62	s SATISFIABLE

Verifier Data 

OK	1973

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-4262221-1502439400/watcher-4262221-1502439400 -o /tmp/evaluation-result-4262221-1502439400/solver-4262221-1502439400 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1523 --watchdog 2580 bin/concrete HOME/instance-4262221-1502439400.xml 

pid=8976
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.69 1.56 1.47 3/201 8979
/proc/meminfo: memFree=28178912/32770624 swapFree=0/566548
[pid=8979] ppid=8976 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8979/stat : 8979 (runsolver) D 8976 8979 1460 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 91446345 24240128 106 18446744073709551615 4194304 4338465 140726782561296 140726782558936 140710608302807 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 31604736 140726782566609 140726782566985 140726782566985 140726782570442 0
/proc/8979/statm: 5918 106 53 36 0 2156 0

[startup+0.10011 s]
/proc/loadavg: 1.69 1.56 1.47 3/201 8979
/proc/meminfo: memFree=28178912/32770624 swapFree=0/566548
[pid=8979] ppid=8976 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/8979/stat : 8979 (bash) R 8976 8979 1460 0 -1 4202496 638 0 0 0 0 0 0 0 20 0 1 0 91446345 9736192 351 18446744073709551615 4194304 5098028 140721500323872 140721500323872 140548157006976 0 0 5 65536 0 0 0 17 0 0 0 9 0 0 7196144 7232144 10153984 140721500332564 140721500332649 140721500332649 140721500336106 0
/proc/8979/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200214 s]
/proc/loadavg: 1.69 1.56 1.47 3/201 8979
/proc/meminfo: memFree=28178912/32770624 swapFree=0/566548
[pid=8979] ppid=8976 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/8979/stat : 8979 (bash) S 8976 8979 1460 0 -1 4202496 892 6490 0 0 0 0 0 1 20 0 1 0 91446345 9867264 377 18446744073709551615 4194304 5098028 140721500323872 140721500317880 140548157742080 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 9 0 0 7196144 7232144 10153984 140721500332564 140721500332649 140721500332649 140721500336106 0
/proc/8979/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300294 s]
/proc/loadavg: 1.69 1.56 1.47 3/201 8979
/proc/meminfo: memFree=28178912/32770624 swapFree=0/566548
[pid=8979] ppid=8976 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/8979/stat : 8979 (java) S 8976 8979 1460 0 -1 1077944320 5498 12694 0 0 5 1 5 2 20 0 14 0 91446345 14241083392 5175 18446744073709551615 4194304 4196468 140721942360896 140721942343440 140592883134199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
/proc/8979/statm: 3476827 5175 2563 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.703115 s]
/proc/loadavg: 1.69 1.56 1.47 3/201 8979
/proc/meminfo: memFree=28178912/32770624 swapFree=0/566548
[pid=8979] ppid=8976 vsize=13974784 CPUtime=0.67 cores=0,2,4,6
/proc/8979/stat : 8979 (java) S 8976 8979 1460 0 -1 1077944320 13775 12694 0 0 56 4 5 2 20 0 15 0 91446345 14310178816 14203 18446744073709551615 4194304 4196468 140721942360896 140721942343440 140592883134199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
/proc/8979/statm: 3493696 14203 3134 1 0 3482965 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13974784

[startup+1.50465 s]
/proc/loadavg: 1.69 1.56 1.47 3/215 9042
/proc/meminfo: memFree=28087512/32770624 swapFree=0/566620
[pid=8979] ppid=8976 vsize=13985408 CPUtime=1.86 cores=0,2,4,6
/proc/8979/stat : 8979 (java) S 8976 8979 1460 0 -1 1077944320 28011 12694 0 0 171 8 5 2 20 0 15 0 91446345 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140721942343440 140592883134199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
/proc/8979/statm: 3496352 35965 3340 1 0 3485525 0
[pid=8979/tid=9029] ppid=8976 vsize=13985408 CPUtime=1.28 cores=0,2,4,6
/proc/8979/task/9029/stat : 9029 (java) S 8976 8979 1460 0 -1 1077944384 22409 12694 0 0 115 6 5 2 20 0 15 0 91446368 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592887351504 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9030] ppid=8976 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9030/stat : 9030 (java) S 8976 8979 1460 0 -1 1077944384 188 12694 0 0 0 0 5 2 20 0 15 0 91446368 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592482872080 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9031] ppid=8976 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9031/stat : 9031 (java) S 8976 8979 1460 0 -1 1077944384 41 12694 0 0 0 0 5 2 20 0 15 0 91446368 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592481819536 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9032] ppid=8976 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9032/stat : 9032 (java) S 8976 8979 1460 0 -1 1077944384 32 12694 0 0 0 0 5 2 20 0 15 0 91446368 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592480766992 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9033] ppid=8976 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9033/stat : 9033 (java) S 8976 8979 1460 0 -1 1077944384 48 12694 0 0 0 0 5 2 20 0 15 0 91446368 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592479714448 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9034] ppid=8976 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9034/stat : 9034 (java) R 8976 8979 1460 0 -1 4202560 39 12694 0 0 0 0 5 2 20 0 15 0 91446370 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592361718272 140592868198944 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9035] ppid=8976 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9035/stat : 9035 (java) S 8976 8979 1460 0 -1 1077944384 33 12694 0 0 0 0 5 2 20 0 15 0 91446370 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592360666016 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9036] ppid=8976 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9036/stat : 9036 (java) S 8976 8979 1460 0 -1 1077944384 21 12694 0 0 0 0 5 2 20 0 15 0 91446370 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592359613424 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9037] ppid=8976 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9037/stat : 9037 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592358562000 140592883152795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9038] ppid=8976 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/8979/task/9038/stat : 9038 (java) S 8976 8979 1460 0 -1 1077944384 1014 12694 0 0 16 0 5 2 20 0 15 0 91446373 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592357509616 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9039] ppid=8976 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/8979/task/9039/stat : 9039 (java) S 8976 8979 1460 0 -1 1077944384 634 12694 0 0 13 0 5 2 20 0 15 0 91446373 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592356457072 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9040] ppid=8976 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/8979/task/9040/stat : 9040 (java) S 8976 8979 1460 0 -1 1077944384 1384 12694 0 0 23 0 5 2 20 0 15 0 91446373 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592355399904 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9041] ppid=8976 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9041/stat : 9041 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592354352224 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9042] ppid=8976 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9042/stat : 9042 (java) S 8976 8979 1460 0 -1 1077944384 11 12694 0 0 0 0 5 2 20 0 15 0 91446377 14321057792 35965 18446744073709551615 4194304 4196468 140721942360896 140592353298736 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 13985408

[startup+3.10107 s]
/proc/loadavg: 1.69 1.56 1.47 3/215 9042
/proc/meminfo: memFree=28011748/32770624 swapFree=0/566620
[pid=8979] ppid=8976 vsize=13995836 CPUtime=5.86 cores=0,2,4,6
/proc/8979/stat : 8979 (java) S 8976 8979 1460 0 -1 1077944320 39504 12694 0 0 563 16 5 2 20 0 15 0 91446345 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140721942343440 140592883134199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
/proc/8979/statm: 3498959 63329 3448 1 0 3487573 0
[pid=8979/tid=9029] ppid=8976 vsize=13995836 CPUtime=2.85 cores=0,2,4,6
/proc/8979/task/9029/stat : 9029 (java) R 8976 8979 1460 0 -1 4202560 26998 12694 0 0 269 9 5 2 20 0 15 0 91446368 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592887368480 140592483020007 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9030] ppid=8976 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9030/stat : 9030 (java) S 8976 8979 1460 0 -1 1077944384 200 12694 0 0 0 0 5 2 20 0 15 0 91446368 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592482872080 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9031] ppid=8976 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/8979/task/9031/stat : 9031 (java) S 8976 8979 1460 0 -1 1077944384 57 12694 0 0 1 0 5 2 20 0 15 0 91446368 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592481819536 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9032] ppid=8976 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/8979/task/9032/stat : 9032 (java) S 8976 8979 1460 0 -1 1077944384 44 12694 0 0 1 0 5 2 20 0 15 0 91446368 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592480766992 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9033] ppid=8976 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/8979/task/9033/stat : 9033 (java) S 8976 8979 1460 0 -1 1077944384 63 12694 0 0 1 0 5 2 20 0 15 0 91446368 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592479714448 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9034] ppid=8976 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/8979/task/9034/stat : 9034 (java) S 8976 8979 1460 0 -1 1077944384 1339 12694 0 0 1 0 5 2 20 0 15 0 91446370 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592361719792 140592883145346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9035] ppid=8976 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9035/stat : 9035 (java) S 8976 8979 1460 0 -1 1077944384 54 12694 0 0 0 0 5 2 20 0 15 0 91446370 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592360666016 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9036] ppid=8976 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9036/stat : 9036 (java) S 8976 8979 1460 0 -1 1077944384 45 12694 0 0 0 0 5 2 20 0 15 0 91446370 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592359613440 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9037] ppid=8976 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9037/stat : 9037 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592358562000 140592883152795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9038] ppid=8976 vsize=13995836 CPUtime=1 cores=0,2,4,6
/proc/8979/task/9038/stat : 9038 (java) R 8976 8979 1460 0 -1 4202560 2393 12694 0 0 93 0 5 2 20 0 15 0 91446373 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592357496384 140592883155546 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9039] ppid=8976 vsize=13995836 CPUtime=1.02 cores=0,2,4,6
/proc/8979/task/9039/stat : 9039 (java) R 8976 8979 1460 0 -1 4202560 1985 12694 0 0 94 1 5 2 20 0 15 0 91446373 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592356443616 140592864678772 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9040] ppid=8976 vsize=13995836 CPUtime=1.07 cores=0,2,4,6
/proc/8979/task/9040/stat : 9040 (java) R 8976 8979 1460 0 -1 4202560 4155 12694 0 0 99 1 5 2 20 0 15 0 91446373 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592355404528 140592883146134 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9041] ppid=8976 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9041/stat : 9041 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592354352224 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9042] ppid=8976 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9042/stat : 9042 (java) S 8976 8979 1460 0 -1 1077944384 14 12694 0 0 0 0 5 2 20 0 15 0 91446377 14331736064 63329 18446744073709551615 4194304 4196468 140721942360896 140592353298736 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 13995836

[startup+6.30907 s]
/proc/loadavg: 1.88 1.60 1.48 6/215 9042
/proc/meminfo: memFree=27845456/32770624 swapFree=0/566624
[pid=8979] ppid=8976 vsize=14001980 CPUtime=15.3 cores=0,2,4,6
/proc/8979/stat : 8979 (java) S 8976 8979 1460 0 -1 1077944320 63965 12694 0 0 1495 28 5 2 20 0 15 0 91446345 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140721942343440 140592883134199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
/proc/8979/statm: 3500495 96393 3480 1 0 3489109 0
[pid=8979/tid=9029] ppid=8976 vsize=14001980 CPUtime=5.84 cores=0,2,4,6
/proc/8979/task/9029/stat : 9029 (java) R 8976 8979 1460 0 -1 4202560 31999 12694 0 0 566 11 5 2 20 0 15 0 91446368 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592887367856 140592494933257 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9030] ppid=8976 vsize=14001980 CPUtime=0.24 cores=0,2,4,6
/proc/8979/task/9030/stat : 9030 (java) S 8976 8979 1460 0 -1 1077944384 406 12694 0 0 15 2 5 2 20 0 15 0 91446368 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592482872080 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9031] ppid=8976 vsize=14001980 CPUtime=0.23 cores=0,2,4,6
/proc/8979/task/9031/stat : 9031 (java) S 8976 8979 1460 0 -1 1077944384 401 12694 0 0 14 2 5 2 20 0 15 0 91446368 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592481819536 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9032] ppid=8976 vsize=14001980 CPUtime=0.22 cores=0,2,4,6
/proc/8979/task/9032/stat : 9032 (java) S 8976 8979 1460 0 -1 1077944384 211 12694 0 0 14 1 5 2 20 0 15 0 91446368 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592480766992 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9033] ppid=8976 vsize=14001980 CPUtime=0.25 cores=0,2,4,6
/proc/8979/task/9033/stat : 9033 (java) S 8976 8979 1460 0 -1 1077944384 797 12694 0 0 16 2 5 2 20 0 15 0 91446368 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592479714448 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9034] ppid=8976 vsize=14001980 CPUtime=0.12 cores=0,2,4,6
/proc/8979/task/9034/stat : 9034 (java) S 8976 8979 1460 0 -1 1077944384 4253 12694 0 0 5 0 5 2 20 0 15 0 91446370 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592361719792 140592883145346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9035] ppid=8976 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9035/stat : 9035 (java) S 8976 8979 1460 0 -1 1077944384 54 12694 0 0 0 0 5 2 20 0 15 0 91446370 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592360666080 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9036] ppid=8976 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9036/stat : 9036 (java) S 8976 8979 1460 0 -1 1077944384 45 12694 0 0 0 0 5 2 20 0 15 0 91446370 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592359613440 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9037] ppid=8976 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9037/stat : 9037 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592358562000 140592883152795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9038] ppid=8976 vsize=14001980 CPUtime=3.36 cores=0,2,4,6
/proc/8979/task/9038/stat : 9038 (java) R 8976 8979 1460 0 -1 4202560 6680 12694 0 0 328 1 5 2 20 0 15 0 91446373 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592357497056 140592862825887 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9039] ppid=8976 vsize=14001980 CPUtime=3.51 cores=0,2,4,6
/proc/8979/task/9039/stat : 9039 (java) R 8976 8979 1460 0 -1 4202560 6018 12694 0 0 342 2 5 2 20 0 15 0 91446373 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592356441264 140592867530882 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9040] ppid=8976 vsize=14001980 CPUtime=1.99 cores=0,2,4,6
/proc/8979/task/9040/stat : 9040 (java) S 8976 8979 1460 0 -1 1077944384 10772 12694 0 0 189 3 5 2 20 0 15 0 91446373 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592355404528 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9041] ppid=8976 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9041/stat : 9041 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592354352224 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9042] ppid=8976 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9042/stat : 9042 (java) S 8976 8979 1460 0 -1 1077944384 171 12694 0 0 0 0 5 2 20 0 15 0 91446377 14338027520 96393 18446744073709551615 4194304 4196468 140721942360896 140592353298736 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
Current children cumulated CPU time (s) 15.3
Current children cumulated vsize (KiB) 14001980

[startup+12.7008 s]
/proc/loadavg: 1.89 1.61 1.49 3/215 9042
/proc/meminfo: memFree=27478484/32770624 swapFree=0/566624
[pid=8979] ppid=8976 vsize=14004028 CPUtime=27.2 cores=0,2,4,6
/proc/8979/stat : 8979 (java) S 8976 8979 1460 0 -1 1077944320 91921 12694 0 0 2664 49 5 2 20 0 15 0 91446345 14340124672 166521 18446744073709551615 4194304 4196468 140721942360896 140721942343440 140592883134199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
/proc/8979/statm: 3501007 166521 3488 1 0 3489621 0
[pid=8979/tid=9029] ppid=8976 vsize=14004028 CPUtime=11.69 cores=0,2,4,6
/proc/8979/task/9029/stat : 9029 (java) R 8976 8979 1460 0 -1 4202560 47949 12694 0 0 1148 14 5 2 20 0 15 0 91446368 14340124672 166521 18446744073709551615 4194304 4196468 140721942360896 140592887362736 140592501630485 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9030] ppid=8976 vsize=14004028 CPUtime=0.67 cores=0,2,4,6
/proc/8979/task/9030/stat : 9030 (java) S 8976 8979 1460 0 -1 1077944384 701 12694 0 0 54 6 5 2 20 0 15 0 91446368 14340124672 166521 18446744073709551615 4194304 4196468 140721942360896 140592482872080 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9031] ppid=8976 vsize=14004028 CPUtime=0.64 cores=0,2,4,6
/proc/8979/task/9031/stat : 9031 (java) S 8976 8979 1460 0 -1 1077944384 547 12694 0 0 51 6 5 2 20 0 15 0 91446368 14340124672 166521 18446744073709551615 4194304 4196468 140721942360896 140592481819536 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9032] ppid=8976 vsize=14004028 CPUtime=0.63 cores=0,2,4,6
/proc/8979/task/9032/stat : 9032 (java) S 8976 8979 1460 0 -1 1077944384 475 12694 0 0 51 5 5 2 20 0 15 0 91446368 14340124672 166521 18446744073709551615 4194304 4196468 140721942360896 140592480766992 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9033] ppid=8976 vsize=14004028 CPUtime=0.64 cores=0,2,4,6
/proc/8979/task/9033/stat : 9033 (java) S 8976 8979 1460 0 -1 1077944384 922 12694 0 0 52 5 5 2 20 0 15 0 91446368 14340124672 166521 18446744073709551615 4194304 4196468 140721942360896 140592479714448 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9034] ppid=8976 vsize=14004028 CPUtime=0.22 cores=0,2,4,6
/proc/8979/task/9034/stat : 9034 (java) S 8976 8979 1460 0 -1 1077944384 7233 12694 0 0 15 0 5 2 20 0 15 0 91446370 14340124672 166521 18446744073709551615 4194304 4196468 140721942360896 140592361719792 140592883145346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9035] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9035/stat : 9035 (java) S 8976 8979 1460 0 -1 1077944384 58 12694 0 0 0 0 5 2 20 0 15 0 91446370 14340124672 166521 18446744073709551615 4194304 4196468 140721942360896 140592360666144 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9036] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9036/stat : 9036 (java) S 8976 8979 1460 0 -1 1077944384 50 12694 0 0 0 0 5 2 20 0 15 0 91446370 14340124672 166521 18446744073709551615 4194304 4196468 140721942360896 140592359613440 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9037] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9037/stat : 9037 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14340124672 166521 18446744073709551615 4194304 4196468 140721942360896 140592358562000 140592883152795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0

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

/proc/8979/task/9041/stat : 9041 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592354352224 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9042] ppid=8976 vsize=14004028 CPUtime=1.25 cores=0,2,4,6
/proc/8979/task/9042/stat : 9042 (java) S 8976 8979 1460 0 -1 1077944384 1668 12694 0 0 55 63 5 2 20 0 15 0 91446377 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592353298736 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
Current children cumulated CPU time (s) 2325.66
Current children cumulated vsize (KiB) 14004028

[startup+2322.3 s]
/proc/loadavg: 1.75 1.74 1.76 3/216 9440
/proc/meminfo: memFree=23373984/32770624 swapFree=0/568272
[pid=8979] ppid=8976 vsize=14004028 CPUtime=2386.38 cores=0,2,4,6
/proc/8979/stat : 8979 (java) S 8976 8979 1460 0 -1 1077944320 630388 12694 0 0 237714 917 5 2 20 0 15 0 91446345 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140721942343440 140592883134199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
/proc/8979/statm: 3501007 1084784 3496 1 0 3489621 0
[pid=8979/tid=9029] ppid=8976 vsize=14004028 CPUtime=2308.51 cores=0,2,4,6
/proc/8979/task/9029/stat : 9029 (java) R 8976 8979 1460 0 -1 4202560 232111 12694 0 0 230799 45 5 2 20 0 15 0 91446368 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592887368320 140592486266795 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9030] ppid=8976 vsize=14004028 CPUtime=12.91 cores=0,2,4,6
/proc/8979/task/9030/stat : 9030 (java) S 8976 8979 1460 0 -1 1077944384 21938 12694 0 0 1089 195 5 2 20 0 15 0 91446368 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592482872080 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9031] ppid=8976 vsize=14004028 CPUtime=12.9 cores=0,2,4,6
/proc/8979/task/9031/stat : 9031 (java) S 8976 8979 1460 0 -1 1077944384 27148 12694 0 0 1086 197 5 2 20 0 15 0 91446368 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592481819536 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9032] ppid=8976 vsize=14004028 CPUtime=12.85 cores=0,2,4,6
/proc/8979/task/9032/stat : 9032 (java) S 8976 8979 1460 0 -1 1077944384 22393 12694 0 0 1084 194 5 2 20 0 15 0 91446368 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592480766992 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9033] ppid=8976 vsize=14004028 CPUtime=12.87 cores=0,2,4,6
/proc/8979/task/9033/stat : 9033 (java) S 8976 8979 1460 0 -1 1077944384 32507 12694 0 0 1087 193 5 2 20 0 15 0 91446368 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592479714448 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9034] ppid=8976 vsize=14004028 CPUtime=0.67 cores=0,2,4,6
/proc/8979/task/9034/stat : 9034 (java) S 8976 8979 1460 0 -1 1077944384 31218 12694 0 0 50 10 5 2 20 0 15 0 91446370 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592361719792 140592883145346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9035] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9035/stat : 9035 (java) S 8976 8979 1460 0 -1 1077944384 96 12694 0 0 0 0 5 2 20 0 15 0 91446370 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592360666144 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9036] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9036/stat : 9036 (java) S 8976 8979 1460 0 -1 1077944384 50 12694 0 0 0 0 5 2 20 0 15 0 91446370 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592359613440 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9037] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9037/stat : 9037 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592358562000 140592883152795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9038] ppid=8976 vsize=14004028 CPUtime=10.24 cores=0,2,4,6
/proc/8979/task/9038/stat : 9038 (java) S 8976 8979 1460 0 -1 1077944384 74233 12694 0 0 1010 7 5 2 20 0 15 0 91446373 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592357509616 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9039] ppid=8976 vsize=14004028 CPUtime=10.3 cores=0,2,4,6
/proc/8979/task/9039/stat : 9039 (java) S 8976 8979 1460 0 -1 1077944384 85720 12694 0 0 1013 10 5 2 20 0 15 0 91446373 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592356457072 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9040] ppid=8976 vsize=14004028 CPUtime=4.35 cores=0,2,4,6
/proc/8979/task/9040/stat : 9040 (java) S 8976 8979 1460 0 -1 1077944384 99123 12694 0 0 415 13 5 2 20 0 15 0 91446373 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592355404528 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9041] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9041/stat : 9041 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592354352224 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9042] ppid=8976 vsize=14004028 CPUtime=1.29 cores=0,2,4,6
/proc/8979/task/9042/stat : 9042 (java) S 8976 8979 1460 0 -1 1077944384 1693 12694 0 0 56 66 5 2 20 0 15 0 91446377 14340124672 1084784 18446744073709551615 4194304 4196468 140721942360896 140592353298736 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
Current children cumulated CPU time (s) 2386.38
Current children cumulated vsize (KiB) 14004028

[startup+2382.3 s]
/proc/loadavg: 1.87 1.77 1.78 3/213 9442
/proc/meminfo: memFree=23165864/32770624 swapFree=0/568292
[pid=8979] ppid=8976 vsize=14004028 CPUtime=2447.08 cores=0,2,4,6
/proc/8979/stat : 8979 (java) S 8976 8979 1460 0 -1 1077944320 638028 12694 0 0 243782 919 5 2 20 0 15 0 91446345 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140721942343440 140592883134199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
/proc/8979/statm: 3501007 1085295 3496 1 0 3489621 0
[pid=8979/tid=9029] ppid=8976 vsize=14004028 CPUtime=2368.29 cores=0,2,4,6
/proc/8979/task/9029/stat : 9029 (java) R 8976 8979 1460 0 -1 4202560 236789 12694 0 0 236776 46 5 2 20 0 15 0 91446368 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592887368432 140592502265578 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9030] ppid=8976 vsize=14004028 CPUtime=13.13 cores=0,2,4,6
/proc/8979/task/9030/stat : 9030 (java) S 8976 8979 1460 0 -1 1077944384 23499 12694 0 0 1111 195 5 2 20 0 15 0 91446368 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592482872080 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9031] ppid=8976 vsize=14004028 CPUtime=13.13 cores=0,2,4,6
/proc/8979/task/9031/stat : 9031 (java) S 8976 8979 1460 0 -1 1077944384 27352 12694 0 0 1108 198 5 2 20 0 15 0 91446368 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592481819536 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9032] ppid=8976 vsize=14004028 CPUtime=13.07 cores=0,2,4,6
/proc/8979/task/9032/stat : 9032 (java) S 8976 8979 1460 0 -1 1077944384 22812 12694 0 0 1106 194 5 2 20 0 15 0 91446368 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592480766992 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9033] ppid=8976 vsize=14004028 CPUtime=13.11 cores=0,2,4,6
/proc/8979/task/9033/stat : 9033 (java) S 8976 8979 1460 0 -1 1077944384 32921 12694 0 0 1110 194 5 2 20 0 15 0 91446368 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592479714448 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9034] ppid=8976 vsize=14004028 CPUtime=0.67 cores=0,2,4,6
/proc/8979/task/9034/stat : 9034 (java) S 8976 8979 1460 0 -1 1077944384 31543 12694 0 0 50 10 5 2 20 0 15 0 91446370 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592361719792 140592883145346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9035] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9035/stat : 9035 (java) S 8976 8979 1460 0 -1 1077944384 96 12694 0 0 0 0 5 2 20 0 15 0 91446370 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592360666144 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9036] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9036/stat : 9036 (java) S 8976 8979 1460 0 -1 1077944384 50 12694 0 0 0 0 5 2 20 0 15 0 91446370 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592359613440 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9037] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9037/stat : 9037 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592358562000 140592883152795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9038] ppid=8976 vsize=14004028 CPUtime=10.24 cores=0,2,4,6
/proc/8979/task/9038/stat : 9038 (java) S 8976 8979 1460 0 -1 1077944384 74237 12694 0 0 1010 7 5 2 20 0 15 0 91446373 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592357509616 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9039] ppid=8976 vsize=14004028 CPUtime=10.3 cores=0,2,4,6
/proc/8979/task/9039/stat : 9039 (java) S 8976 8979 1460 0 -1 1077944384 85726 12694 0 0 1013 10 5 2 20 0 15 0 91446373 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592356457072 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9040] ppid=8976 vsize=14004028 CPUtime=4.35 cores=0,2,4,6
/proc/8979/task/9040/stat : 9040 (java) S 8976 8979 1460 0 -1 1077944384 99127 12694 0 0 415 13 5 2 20 0 15 0 91446373 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592355404528 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9041] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9041/stat : 9041 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592354352224 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9042] ppid=8976 vsize=14004028 CPUtime=1.33 cores=0,2,4,6
/proc/8979/task/9042/stat : 9042 (java) S 8976 8979 1460 0 -1 1077944384 1718 12694 0 0 58 68 5 2 20 0 15 0 91446377 14340124672 1085295 18446744073709551615 4194304 4196468 140721942360896 140592353298736 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
Current children cumulated CPU time (s) 2447.08
Current children cumulated vsize (KiB) 14004028

[startup+2442.3 s]
/proc/loadavg: 1.83 1.77 1.77 3/213 9445
/proc/meminfo: memFree=22903328/32770624 swapFree=0/568300
[pid=8979] ppid=8976 vsize=14004028 CPUtime=2507.61 cores=0,2,4,6
/proc/8979/stat : 8979 (java) S 8976 8979 1460 0 -1 1077944320 645737 12694 0 0 249830 924 5 2 20 0 15 0 91446345 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140721942343440 140592883134199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
/proc/8979/statm: 3501007 1099375 3496 1 0 3489621 0
[pid=8979/tid=9029] ppid=8976 vsize=14004028 CPUtime=2428.12 cores=0,2,4,6
/proc/8979/task/9029/stat : 9029 (java) R 8976 8979 1460 0 -1 4202560 241285 12694 0 0 242758 47 5 2 20 0 15 0 91446368 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592887368544 140592486268174 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9030] ppid=8976 vsize=14004028 CPUtime=13.3 cores=0,2,4,6
/proc/8979/task/9030/stat : 9030 (java) S 8976 8979 1460 0 -1 1077944384 23849 12694 0 0 1128 195 5 2 20 0 15 0 91446368 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592482872080 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9031] ppid=8976 vsize=14004028 CPUtime=13.29 cores=0,2,4,6
/proc/8979/task/9031/stat : 9031 (java) S 8976 8979 1460 0 -1 1077944384 27663 12694 0 0 1123 199 5 2 20 0 15 0 91446368 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592481819536 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9032] ppid=8976 vsize=14004028 CPUtime=13.24 cores=0,2,4,6
/proc/8979/task/9032/stat : 9032 (java) S 8976 8979 1460 0 -1 1077944384 24620 12694 0 0 1121 196 5 2 20 0 15 0 91446368 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592480766992 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9033] ppid=8976 vsize=14004028 CPUtime=13.27 cores=0,2,4,6
/proc/8979/task/9033/stat : 9033 (java) S 8976 8979 1460 0 -1 1077944384 33297 12694 0 0 1126 194 5 2 20 0 15 0 91446368 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592479714448 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9034] ppid=8976 vsize=14004028 CPUtime=0.68 cores=0,2,4,6
/proc/8979/task/9034/stat : 9034 (java) S 8976 8979 1460 0 -1 1077944384 31872 12694 0 0 50 11 5 2 20 0 15 0 91446370 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592361719792 140592883145346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9035] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9035/stat : 9035 (java) S 8976 8979 1460 0 -1 1077944384 96 12694 0 0 0 0 5 2 20 0 15 0 91446370 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592360666144 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9036] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9036/stat : 9036 (java) S 8976 8979 1460 0 -1 1077944384 50 12694 0 0 0 0 5 2 20 0 15 0 91446370 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592359613440 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9037] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9037/stat : 9037 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592358562000 140592883152795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9038] ppid=8976 vsize=14004028 CPUtime=10.24 cores=0,2,4,6
/proc/8979/task/9038/stat : 9038 (java) S 8976 8979 1460 0 -1 1077944384 74243 12694 0 0 1010 7 5 2 20 0 15 0 91446373 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592357509616 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9039] ppid=8976 vsize=14004028 CPUtime=10.3 cores=0,2,4,6
/proc/8979/task/9039/stat : 9039 (java) S 8976 8979 1460 0 -1 1077944384 85730 12694 0 0 1013 10 5 2 20 0 15 0 91446373 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592356457072 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9040] ppid=8976 vsize=14004028 CPUtime=4.35 cores=0,2,4,6
/proc/8979/task/9040/stat : 9040 (java) S 8976 8979 1460 0 -1 1077944384 99131 12694 0 0 415 13 5 2 20 0 15 0 91446373 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592355404528 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9041] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9041/stat : 9041 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592354352224 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9042] ppid=8976 vsize=14004028 CPUtime=1.36 cores=0,2,4,6
/proc/8979/task/9042/stat : 9042 (java) S 8976 8979 1460 0 -1 1077944384 1743 12694 0 0 60 69 5 2 20 0 15 0 91446377 14340124672 1099375 18446744073709551615 4194304 4196468 140721942360896 140592353298736 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
Current children cumulated CPU time (s) 2507.61
Current children cumulated vsize (KiB) 14004028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2454.6 s]
/proc/loadavg: 1.86 1.78 1.78 3/215 9449
/proc/meminfo: memFree=22875032/32770624 swapFree=0/568320
[pid=8979] ppid=8976 vsize=14004028 CPUtime=2520 cores=0,2,4,6
/proc/8979/stat : 8979 (java) S 8976 8979 1460 0 -1 1077944320 646056 12694 0 0 251068 925 5 2 20 0 15 0 91446345 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140721942343440 140592883134199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
/proc/8979/statm: 3501007 1098349 3496 1 0 3489621 0
[pid=8979/tid=9029] ppid=8976 vsize=14004028 CPUtime=2440.39 cores=0,2,4,6
/proc/8979/task/9029/stat : 9029 (java) R 8976 8979 1460 0 -1 4202560 241590 12694 0 0 243985 47 5 2 20 0 15 0 91446368 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592887368176 140592502265357 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9030] ppid=8976 vsize=14004028 CPUtime=13.32 cores=0,2,4,6
/proc/8979/task/9030/stat : 9030 (java) S 8976 8979 1460 0 -1 1077944384 23852 12694 0 0 1130 195 5 2 20 0 15 0 91446368 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592482872080 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9031] ppid=8976 vsize=14004028 CPUtime=13.31 cores=0,2,4,6
/proc/8979/task/9031/stat : 9031 (java) S 8976 8979 1460 0 -1 1077944384 27664 12694 0 0 1125 199 5 2 20 0 15 0 91446368 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592481819536 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9032] ppid=8976 vsize=14004028 CPUtime=13.27 cores=0,2,4,6
/proc/8979/task/9032/stat : 9032 (java) S 8976 8979 1460 0 -1 1077944384 24622 12694 0 0 1124 196 5 2 20 0 15 0 91446368 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592480766992 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9033] ppid=8976 vsize=14004028 CPUtime=13.29 cores=0,2,4,6
/proc/8979/task/9033/stat : 9033 (java) S 8976 8979 1460 0 -1 1077944384 33299 12694 0 0 1128 194 5 2 20 0 15 0 91446368 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592479714448 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9034] ppid=8976 vsize=14004028 CPUtime=0.68 cores=0,2,4,6
/proc/8979/task/9034/stat : 9034 (java) S 8976 8979 1460 0 -1 1077944384 31878 12694 0 0 50 11 5 2 20 0 15 0 91446370 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592361719792 140592883145346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9035] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9035/stat : 9035 (java) S 8976 8979 1460 0 -1 1077944384 96 12694 0 0 0 0 5 2 20 0 15 0 91446370 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592360666144 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9036] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9036/stat : 9036 (java) S 8976 8979 1460 0 -1 1077944384 50 12694 0 0 0 0 5 2 20 0 15 0 91446370 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592359613440 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9037] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9037/stat : 9037 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592358562000 140592883152795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9038] ppid=8976 vsize=14004028 CPUtime=10.24 cores=0,2,4,6
/proc/8979/task/9038/stat : 9038 (java) S 8976 8979 1460 0 -1 1077944384 74243 12694 0 0 1010 7 5 2 20 0 15 0 91446373 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592357509616 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9039] ppid=8976 vsize=14004028 CPUtime=10.3 cores=0,2,4,6
/proc/8979/task/9039/stat : 9039 (java) S 8976 8979 1460 0 -1 1077944384 85730 12694 0 0 1013 10 5 2 20 0 15 0 91446373 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592356457072 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9040] ppid=8976 vsize=14004028 CPUtime=4.35 cores=0,2,4,6
/proc/8979/task/9040/stat : 9040 (java) S 8976 8979 1460 0 -1 1077944384 99131 12694 0 0 415 13 5 2 20 0 15 0 91446373 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592355404528 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9041] ppid=8976 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/8979/task/9041/stat : 9041 (java) S 8976 8979 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 91446373 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592354352224 140592883144405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
[pid=8979/tid=9042] ppid=8976 vsize=14004028 CPUtime=1.37 cores=0,2,4,6
/proc/8979/task/9042/stat : 9042 (java) S 8976 8979 1460 0 -1 1077944384 1743 12694 0 0 60 70 5 2 20 0 15 0 91446377 14340124672 1098349 18446744073709551615 4194304 4196468 140721942360896 140592353298736 140592883145346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140721942366160 140721942368945 140721942368945 140721942372303 0
Current children cumulated CPU time (s) 2520
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 8979 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2454.66
CPU time (s): 2520.09
CPU user time (s): 2510.78
CPU system time (s): 9.31005
CPU usage (%): 102.666
Max. virtual memory (cumulated for all children) (KiB): 14004028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.78
system time used= 9.31005
maximum resident set size= 4398528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 664144
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76449
involuntary context switches= 2575

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4806 second user time and 14.9148 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-11 10:02:45
IDJOB=4262221
IDBENCH=124454
IDSOLVER=2650
FILE ID=node134/4262221-1502439400
RUNJOBID= node134-1502411438-1523
PBS_JOBID= 
Free space on /tmp= 62008 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-4262221-1502439400/watcher-4262221-1502439400 -o /tmp/evaluation-result-4262221-1502439400/solver-4262221-1502439400 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1523 --watchdog 2580  bin/concrete HOME/instance-4262221-1502439400.xml

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

MD5SUM BENCH= 7c96a44e638c86f7d39463bcb8517eb1
RANDOM SEED=156659494

node134.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.43
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.43
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.43
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.43
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:        28178476 kB
MemAvailable:   29150404 kB
Buffers:          284224 kB
Cached:           981708 kB
SwapCached:            0 kB
Active:          3553588 kB
Inactive:         597764 kB
Active(anon):    2888052 kB
Inactive(anon):    31216 kB
Active(file):     665536 kB
Inactive(file):   566548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24944 kB
Writeback:             0 kB
AnonPages:       2885372 kB
Mapped:            63912 kB
Shmem:             33468 kB
Slab:             138012 kB
SReclaimable:     111356 kB
SUnreclaim:        26656 kB
KernelStack:        3536 kB
PageTables:        10664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3605468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2621440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61952 MiB
End job on node134 at 2017-08-11 10:43:39