Trace number 4246378

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
R1: Concrete 3.4SAT (TO)1973 2400.15 2278.45

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.80/2.13	c Concrete v3.4 running
25.63/7.76	o 4642
28.36/9.13	o 4614
29.46/9.85	o 4587
30.65/10.39	o 4577
31.53/10.98	o 4575
32.74/12.07	o 4482
33.51/12.54	o 4439
34.01/13.00	o 4405
34.77/13.51	o 4373
35.31/14.06	o 4345
35.72/14.50	o 4327
37.47/15.69	o 4326
38.08/16.26	o 4305
38.71/16.88	o 4288
39.31/17.42	o 4278
40.09/18.05	o 4250
40.69/18.62	o 4107
41.29/19.24	o 4077
42.24/19.85	o 4068
42.80/20.45	o 4066
43.50/21.10	o 4064
44.10/21.72	o 4062
44.74/22.35	o 4060
45.61/23.05	o 4058
46.41/23.65	o 4046
47.02/24.27	o 4024
48.32/25.55	o 3991
49.14/26.24	o 3904
50.01/26.85	o 3893
50.74/27.52	o 3890
51.43/28.28	o 3883
52.13/28.98	o 3828
52.84/29.64	o 3818
54.97/31.16	o 3714
56.38/32.55	o 3713
57.19/33.34	o 3707
58.76/34.89	o 3679
59.75/35.66	o 3674
60.83/36.44	o 3648
61.53/37.19	o 3600
62.33/37.99	o 3580
63.94/39.56	o 3579
64.74/40.32	o 3564
66.14/41.21	o 3498
67.66/42.75	o 3478
68.56/43.60	o 3431
69.39/44.40	o 3428
72.05/47.00	o 3419
74.04/48.02	o 3402
74.84/48.90	o 3394
75.75/49.77	o 3388
76.55/50.60	o 3381
77.56/51.50	o 3380
79.17/53.14	o 3373
79.98/53.96	o 3372
82.89/56.46	o 3361
83.71/57.30	o 3360
85.41/58.99	o 3357
86.21/59.79	o 3323
87.13/60.61	o 3287
88.06/61.47	o 3280
90.28/63.18	o 3279
91.19/64.03	o 3277
91.99/64.82	o 3275
96.02/68.87	o 3272
98.28/70.54	o 3246
98.98/71.29	o 3228
99.88/72.13	o 3227
100.75/72.92	o 3160
102.46/74.66	o 3130
103.36/75.50	o 3127
105.87/78.03	o 3122
107.35/78.99	o 3096
109.16/80.70	o 3067
109.97/81.54	o 3062
112.28/83.87	o 3055
113.20/84.73	o 3035
113.90/85.49	o 3034
114.80/86.30	o 3032
115.60/87.15	o 2966
118.10/89.00	o 2947
119.81/90.77	o 2941
120.71/91.62	o 2939
123.42/94.22	o 2932
124.32/95.12	o 2911
129.12/98.82	o 2910
131.91/101.51	o 2907
133.64/103.23	o 2906
134.54/104.11	o 2904
136.16/105.76	o 2903
137.86/107.47	o 2895
140.41/109.24	o 2838
142.99/111.73	o 2837
145.60/114.40	o 2802
149.23/117.90	o 2789
151.74/120.41	o 2788
154.87/123.04	o 2781
155.78/123.92	o 2767
157.59/125.71	o 2766
158.50/126.62	o 2727
161.01/129.11	o 2721
163.41/131.56	o 2719
167.03/134.89	o 2718
173.26/141.03	o 2708
179.10/146.31	o 2701
179.99/147.20	o 2682
183.41/150.64	o 2665
195.32/161.98	o 2639
196.02/162.66	o 2630
199.34/165.93	o 2605
200.14/166.72	o 2596
205.57/172.16	o 2561
207.67/173.21	o 2522
214.60/180.18	o 2504
215.61/181.12	o 2473
220.55/186.02	o 2458
228.53/193.26	o 2422
229.43/194.12	o 2413
237.51/202.17	o 2382
249.33/213.07	o 2378
254.70/218.39	o 2377
255.62/219.25	o 2369
261.73/224.83	o 2365
273.17/236.02	o 2357
280.32/243.13	o 2347
303.87/266.12	o 2297
321.39/283.16	o 2296
329.97/291.70	o 2295
333.44/294.95	o 2293
334.34/295.81	o 2288
345.84/307.07	o 2270
358.36/319.22	o 2247
377.15/337.16	o 2241
378.65/338.70	o 2235
383.04/342.86	o 2233
391.70/351.47	o 2231
429.42/387.32	o 2226
430.92/388.85	o 2173
431.92/389.65	o 2167
436.88/394.55	o 2166
443.80/401.21	o 2152
444.51/401.97	o 2149
446.26/403.55	o 2145
454.60/411.57	o 2140
457.20/414.15	o 2130
468.30/424.67	o 2129
487.76/443.04	o 2127
493.42/448.48	o 2124
511.20/465.28	o 2120
546.01/497.07	o 2119
547.83/498.84	o 2104
564.97/514.73	o 2103
583.83/531.95	o 2100
601.30/548.80	o 2094
620.61/566.50	o 2093
625.46/570.93	o 2091
653.37/597.36	o 2083
734.95/672.04	o 2071
751.10/686.91	o 2070
751.81/687.67	o 2066
768.46/703.37	o 2063
790.37/723.51	o 2060
985.63/908.73	o 2057
986.43/909.46	o 2053
1004.61/927.19	o 2051
1295.53/1202.32	o 2050
1308.10/1214.89	o 2049
1312.89/1219.47	o 2046
1426.02/1329.15	o 2034
1464.67/1366.73	o 2033
1564.75/1463.49	o 2029
2272.17/2154.05	o 2027
2272.98/2154.85	o 2010
2274.59/2156.48	o 2006
2277.10/2158.95	o 2000
2277.92/2159.76	o 1992
2287.21/2168.78	o 1983
2288.92/2170.49	o 1977
2308.28/2189.38	o 1973
2400.07/2278.41	java.util.concurrent.TimeoutException
2400.07/2278.41		at concrete.MAC.mac(MAC.scala:74)
2400.07/2278.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.07/2278.41		at scala.util.Try$.apply(Try.scala:209)
2400.07/2278.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.07/2278.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.07/2278.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.07/2278.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.07/2278.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.07/2278.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.07/2278.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.07/2278.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.07/2278.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.07/2278.41		at concrete.MAC.oneRun(MAC.scala:146)
2400.07/2278.41		at concrete.MAC.nextSolution(MAC.scala:166)
2400.07/2278.41		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.07/2278.41		at concrete.ProblemState.map(ProblemState.scala:203)
2400.07/2278.41		at concrete.ProblemState.map(ProblemState.scala:188)
2400.07/2278.41		at concrete.MAC.nextSolution(MAC.scala:195)
2400.07/2278.41		at concrete.Solver.hasNext(Solver.scala:202)
2400.07/2278.41		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.07/2278.41		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.07/2278.41		at concrete.Solver.toStream(Solver.scala:73)
2400.07/2278.41		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.07/2278.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.07/2278.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.07/2278.41		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.07/2278.41		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.07/2278.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.07/2278.41		at scala.util.Success.map(Try.scala:209)
2400.07/2278.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.07/2278.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.07/2278.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.07/2278.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.07/2278.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.07/2278.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.07/2278.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.07/2278.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.07/2278.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.07/2278.41		at scala.collection.immutable.List.foreach(List.scala:389)
2400.07/2278.41		at scala.App.main(App.scala:76)
2400.07/2278.41		at scala.App.main$(App.scala:74)
2400.07/2278.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.07/2278.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.07/2278.41	v <instantiation cost="1973">
2400.07/2278.41	v       <list>
2400.07/2278.41	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]
2400.07/2278.41	v       </list>
2400.07/2278.41	v       <values>
2400.07/2278.41	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
2400.07/2278.42	v       </values>
2400.07/2278.42	v     </instantiation>
2400.07/2278.42	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-4246378-1500714352/watcher-4246378-1500714352 -o /tmp/evaluation-result-4246378-1500714352/solver-4246378-1500714352 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500684099-14649 --watchdog 2560 bin/concrete HOME/instance-4246378-1500714352.xml 

pid=23648
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.97 1.64 1.55 3/261 23651
/proc/meminfo: memFree=30604424/32770624 swapFree=5940/275864
[pid=23651] ppid=23648 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23651/stat : 23651 (bash) S 23648 23651 14618 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 6702078 9736192 350 33554432000 4194304 5098028 140725361696864 140725361694504 140617443200000 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 30601216 140725361702158 140725361702243 140725361702243 140725361704942 0
/proc/23651/statm: 2377 350 277 221 0 86 0

[startup+0.100134 s]
/proc/loadavg: 1.97 1.64 1.55 3/261 23651
/proc/meminfo: memFree=30604424/32770624 swapFree=5940/275864
[pid=23651] ppid=23648 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/23651/stat : 23651 (bash) S 23648 23651 14618 0 -1 4202496 879 6427 0 0 0 0 0 1 20 0 1 0 6702078 9871360 378 33554432000 4194304 5098028 140725361696864 140725361690872 140617443200000 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 30601216 140725361702158 140725361702243 140725361702243 140725361704942 0
/proc/23651/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200413 s]
/proc/loadavg: 1.97 1.64 1.55 3/261 23651
/proc/meminfo: memFree=30604424/32770624 swapFree=5940/275864
[pid=23651] ppid=23648 vsize=10435860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/23651/stat : 23651 (java) S 23648 23651 14618 0 -1 1077944320 5014 12418 0 0 6 1 9 3 20 0 13 0 6702078 10686320640 5369 33554432000 4194304 4196468 140735703974112 140735703956656 140592274857719 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
/proc/23651/statm: 2608965 5369 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860

[startup+0.30039 s]
/proc/loadavg: 1.97 1.64 1.55 3/261 23651
/proc/meminfo: memFree=30604424/32770624 swapFree=5940/275864
[pid=23651] ppid=23648 vsize=10902292 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/23651/stat : 23651 (java) S 23648 23651 14618 0 -1 1077944320 9155 12418 0 0 21 3 9 3 20 0 20 0 6702078 11163947008 10197 33554432000 4194304 4196468 140735703974112 140735703956656 140592274857719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
/proc/23651/statm: 2725573 10197 2972 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292

[startup+0.700202 s]
/proc/loadavg: 1.97 1.64 1.55 3/261 23651
/proc/meminfo: memFree=30604424/32770624 swapFree=5940/275864
[pid=23651] ppid=23648 vsize=10902720 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/23651/stat : 23651 (java) S 23648 23651 14618 0 -1 1077944320 12910 12418 0 0 83 4 9 3 20 0 20 0 6702078 11164385280 16198 33554432000 4194304 4196468 140735703974112 140735703956656 140592274857719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
/proc/23651/statm: 2725680 16198 3229 1 0 2713890 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10902720

[startup+1.50076 s]
/proc/loadavg: 1.97 1.64 1.55 3/281 23724
/proc/meminfo: memFree=30495632/32770624 swapFree=5940/275868
[pid=23651] ppid=23648 vsize=10913344 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/23651/stat : 23651 (java) S 23648 23651 14618 0 -1 1077944320 27132 12418 0 0 205 13 9 3 20 0 20 0 6702078 11175264256 44715 33554432000 4194304 4196468 140735703974112 140735703956656 140592274857719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
/proc/23651/statm: 2728336 44715 3408 1 0 2716450 0
[pid=23651/tid=23706] ppid=23648 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23706/stat : 23706 (java) R 23648 23651 14618 0 -1 4202560 19677 12418 0 0 125 6 9 3 20 0 20 0 6702091 11175264256 44715 33554432000 4194304 4196468 140735703974112 140592279086224 140592274869654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23707] ppid=23648 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23707/stat : 23707 (java) S 23648 23651 14618 0 -1 1077944384 130 12418 0 0 1 0 9 3 20 0 20 0 6702092 11175264256 44715 33554432000 4194304 4196468 140735703974112 140592200932112 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23708] ppid=23648 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23708/stat : 23708 (java) S 23648 23651 14618 0 -1 1077944384 12 12418 0 0 0 0 9 3 20 0 20 0 6702092 11175264256 44715 33554432000 4194304 4196468 140735703974112 140592199879568 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23709] ppid=23648 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23709/stat : 23709 (java) S 23648 23651 14618 0 -1 1077944384 28 12418 0 0 1 0 9 3 20 0 20 0 6702092 11175264256 44715 33554432000 4194304 4196468 140735703974112 140592198827024 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23710] ppid=23648 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23710/stat : 23710 (java) S 23648 23651 14618 0 -1 1077944384 11 12418 0 0 0 0 9 3 20 0 20 0 6702092 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591878892688 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23711] ppid=23648 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23711/stat : 23711 (java) S 23648 23651 14618 0 -1 1077944384 53 12418 0 0 0 0 9 3 20 0 20 0 6702092 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591877839120 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23712] ppid=23648 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23712/stat : 23712 (java) S 23648 23651 14618 0 -1 1077944384 22 12418 0 0 1 0 9 3 20 0 20 0 6702092 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591876786576 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23713] ppid=23648 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23713/stat : 23713 (java) S 23648 23651 14618 0 -1 1077944384 42 12418 0 0 1 0 9 3 20 0 20 0 6702092 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591875734032 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23714] ppid=23648 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23714/stat : 23714 (java) S 23648 23651 14618 0 -1 1077944384 45 12418 0 0 1 0 9 3 20 0 20 0 6702092 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591874681488 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23715] ppid=23648 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23715/stat : 23715 (java) S 23648 23651 14618 0 -1 1077944384 1271 12418 0 0 1 0 9 3 20 0 20 0 6702093 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591615224304 140592274868866 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23716] ppid=23648 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23716/stat : 23716 (java) S 23648 23651 14618 0 -1 1077944384 56 12418 0 0 0 0 9 3 20 0 20 0 6702094 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591614170528 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23717] ppid=23648 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23717/stat : 23717 (java) S 23648 23651 14618 0 -1 1077944384 45 12418 0 0 0 0 9 3 20 0 20 0 6702094 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591613117936 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23718] ppid=23648 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23718/stat : 23718 (java) S 23648 23651 14618 0 -1 1077944384 1 12418 0 0 0 0 9 3 20 0 20 0 6702098 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591612066512 140592274876315 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23719] ppid=23648 vsize=10913344 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23719/stat : 23719 (java) S 23648 23651 14618 0 -1 1077944384 776 12418 0 0 10 0 9 3 20 0 20 0 6702098 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591611013104 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23720] ppid=23648 vsize=10913344 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23720/stat : 23720 (java) S 23648 23651 14618 0 -1 1077944384 591 12418 0 0 16 0 9 3 20 0 20 0 6702098 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591609960560 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23721] ppid=23648 vsize=10913344 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23721/stat : 23721 (java) S 23648 23651 14618 0 -1 1077944384 760 12418 0 0 16 0 9 3 20 0 20 0 6702098 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591608908016 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23722] ppid=23648 vsize=10913344 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23722/stat : 23722 (java) S 23648 23651 14618 0 -1 1077944384 1474 12418 0 0 27 0 9 3 20 0 20 0 6702098 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591607855472 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23723] ppid=23648 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23723/stat : 23723 (java) S 23648 23651 14618 0 -1 1077944384 3 12418 0 0 0 0 9 3 20 0 20 0 6702098 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591606803168 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23724] ppid=23648 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23724/stat : 23724 (java) S 23648 23651 14618 0 -1 1077944384 6 12418 0 0 0 0 9 3 20 0 20 0 6702098 11175264256 44715 33554432000 4194304 4196468 140735703974112 140591605750704 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10913344

[startup+3.10115 s]
/proc/loadavg: 1.97 1.64 1.55 5/281 23724
/proc/meminfo: memFree=30423096/32770624 swapFree=5940/275868
[pid=23651] ppid=23648 vsize=10923772 CPUtime=7.58 cores=0,2,4,6,8,10,12,14
/proc/23651/stat : 23651 (java) S 23648 23651 14618 0 -1 1077944320 41632 12418 0 0 726 20 9 3 20 0 20 0 6702078 11185942528 65539 33554432000 4194304 4196468 140735703974112 140735703956656 140592274857719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
/proc/23651/statm: 2730943 65539 3482 1 0 2718498 0
[pid=23651/tid=23706] ppid=23648 vsize=10923772 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23706/stat : 23706 (java) R 23648 23651 14618 0 -1 4202560 24356 12418 0 0 280 9 9 3 20 0 20 0 6702091 11185942528 65539 33554432000 4194304 4196468 140735703974112 140592279091528 140592274869654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23707] ppid=23648 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23707/stat : 23707 (java) S 23648 23651 14618 0 -1 1077944384 130 12418 0 0 1 0 9 3 20 0 20 0 6702092 11185942528 65539 33554432000 4194304 4196468 140735703974112 140592200932112 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23708] ppid=23648 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23708/stat : 23708 (java) S 23648 23651 14618 0 -1 1077944384 12 12418 0 0 0 0 9 3 20 0 20 0 6702092 11185942528 65539 33554432000 4194304 4196468 140735703974112 140592199879568 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23709] ppid=23648 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23709/stat : 23709 (java) S 23648 23651 14618 0 -1 1077944384 28 12418 0 0 1 0 9 3 20 0 20 0 6702092 11185942528 65539 33554432000 4194304 4196468 140735703974112 140592198827024 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23710] ppid=23648 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23710/stat : 23710 (java) S 23648 23651 14618 0 -1 1077944384 11 12418 0 0 0 0 9 3 20 0 20 0 6702092 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591878892688 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23711] ppid=23648 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23711/stat : 23711 (java) S 23648 23651 14618 0 -1 1077944384 53 12418 0 0 0 0 9 3 20 0 20 0 6702092 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591877839120 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23712] ppid=23648 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23712/stat : 23712 (java) S 23648 23651 14618 0 -1 1077944384 22 12418 0 0 1 0 9 3 20 0 20 0 6702092 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591876786576 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23713] ppid=23648 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23713/stat : 23713 (java) S 23648 23651 14618 0 -1 1077944384 42 12418 0 0 1 0 9 3 20 0 20 0 6702092 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591875734032 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23714] ppid=23648 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23714/stat : 23714 (java) S 23648 23651 14618 0 -1 1077944384 45 12418 0 0 1 0 9 3 20 0 20 0 6702092 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591874681488 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23715] ppid=23648 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23715/stat : 23715 (java) S 23648 23651 14618 0 -1 1077944384 1292 12418 0 0 1 0 9 3 20 0 20 0 6702093 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591615224304 140592274868866 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23716] ppid=23648 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23716/stat : 23716 (java) S 23648 23651 14618 0 -1 1077944384 56 12418 0 0 0 0 9 3 20 0 20 0 6702094 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591614170528 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23717] ppid=23648 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23717/stat : 23717 (java) S 23648 23651 14618 0 -1 1077944384 45 12418 0 0 0 0 9 3 20 0 20 0 6702094 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591613117936 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23718] ppid=23648 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23718/stat : 23718 (java) S 23648 23651 14618 0 -1 1077944384 1 12418 0 0 0 0 9 3 20 0 20 0 6702098 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591612066512 140592274876315 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23719] ppid=23648 vsize=10923772 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23719/stat : 23719 (java) R 23648 23651 14618 0 -1 4202560 2421 12418 0 0 94 1 9 3 20 0 20 0 6702098 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591610998064 140592258351958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23720] ppid=23648 vsize=10923772 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23720/stat : 23720 (java) R 23648 23651 14618 0 -1 4202560 4582 12418 0 0 120 1 9 3 20 0 20 0 6702098 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591609949232 140592260551200 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23721] ppid=23648 vsize=10923772 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23721/stat : 23721 (java) R 23648 23651 14618 0 -1 4202560 2357 12418 0 0 110 0 9 3 20 0 20 0 6702098 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591608888912 140592252707072 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23722] ppid=23648 vsize=10923772 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23722/stat : 23722 (java) S 23648 23651 14618 0 -1 1077944384 4040 12418 0 0 107 1 9 3 20 0 20 0 6702098 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591607855472 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23723] ppid=23648 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23723/stat : 23723 (java) S 23648 23651 14618 0 -1 1077944384 3 12418 0 0 0 0 9 3 20 0 20 0 6702098 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591606803168 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23724] ppid=23648 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23724/stat : 23724 (java) S 23648 23651 14618 0 -1 1077944384 7 12418 0 0 0 0 9 3 20 0 20 0 6702098 11185942528 65539 33554432000 4194304 4196468 140735703974112 140591605750704 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 10923772

[startup+6.30115 s]
/proc/loadavg: 2.06 1.66 1.56 7/281 23724
/proc/meminfo: memFree=30261260/32770624 swapFree=5940/275876
[pid=23651] ppid=23648 vsize=10929916 CPUtime=19.42 cores=0,2,4,6,8,10,12,14
/proc/23651/stat : 23651 (java) S 23648 23651 14618 0 -1 1077944320 67200 12418 0 0 1874 56 9 3 20 0 20 0 6702078 11192233984 96563 33554432000 4194304 4196468 140735703974112 140735703956656 140592274857719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
/proc/23651/statm: 2732479 96563 3512 1 0 2720034 0
[pid=23651/tid=23706] ppid=23648 vsize=10929916 CPUtime=5.99 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23706/stat : 23706 (java) R 23648 23651 14618 0 -1 4202560 28785 12418 0 0 576 11 9 3 20 0 20 0 6702091 11192233984 96563 33554432000 4194304 4196468 140735703974112 140592279094496 140591878974600 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23707] ppid=23648 vsize=10929916 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23707/stat : 23707 (java) S 23648 23651 14618 0 -1 1077944384 288 12418 0 0 11 5 9 3 20 0 20 0 6702092 11192233984 96563 33554432000 4194304 4196468 140735703974112 140592200932112 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23708] ppid=23648 vsize=10929916 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23708/stat : 23708 (java) S 23648 23651 14618 0 -1 1077944384 88 12418 0 0 12 3 9 3 20 0 20 0 6702092 11192233984 96563 33554432000 4194304 4196468 140735703974112 140592199879568 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23709] ppid=23648 vsize=10929916 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23709/stat : 23709 (java) S 23648 23651 14618 0 -1 1077944384 190 12418 0 0 13 5 9 3 20 0 20 0 6702092 11192233984 96563 33554432000 4194304 4196468 140735703974112 140592198827024 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23710] ppid=23648 vsize=10929916 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23710/stat : 23710 (java) S 23648 23651 14618 0 -1 1077944384 174 12418 0 0 12 3 9 3 20 0 20 0 6702092 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591878892688 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23711] ppid=23648 vsize=10929916 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23711/stat : 23711 (java) S 23648 23651 14618 0 -1 1077944384 194 12418 0 0 12 4 9 3 20 0 20 0 6702092 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591877839120 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23712] ppid=23648 vsize=10929916 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23712/stat : 23712 (java) S 23648 23651 14618 0 -1 1077944384 137 12418 0 0 13 4 9 3 20 0 20 0 6702092 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591876786576 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23713] ppid=23648 vsize=10929916 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23713/stat : 23713 (java) S 23648 23651 14618 0 -1 1077944384 580 12418 0 0 13 4 9 3 20 0 20 0 6702092 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591875734032 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23714] ppid=23648 vsize=10929916 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23714/stat : 23714 (java) S 23648 23651 14618 0 -1 1077944384 156 12418 0 0 13 3 9 3 20 0 20 0 6702092 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591874681488 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23715] ppid=23648 vsize=10929916 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23715/stat : 23715 (java) S 23648 23651 14618 0 -1 1077944384 5701 12418 0 0 5 1 9 3 20 0 20 0 6702093 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591615224304 140592274868866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23716] ppid=23648 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23716/stat : 23716 (java) S 23648 23651 14618 0 -1 1077944384 59 12418 0 0 0 0 9 3 20 0 20 0 6702094 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591614170592 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23717] ppid=23648 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23717/stat : 23717 (java) S 23648 23651 14618 0 -1 1077944384 48 12418 0 0 0 0 9 3 20 0 20 0 6702094 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591613117952 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23718] ppid=23648 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23718/stat : 23718 (java) S 23648 23651 14618 0 -1 1077944384 1 12418 0 0 0 0 9 3 20 0 20 0 6702098 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591612066512 140592274876315 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23719] ppid=23648 vsize=10929916 CPUtime=3.23 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23719/stat : 23719 (java) R 23648 23651 14618 0 -1 4202560 5105 12418 0 0 310 1 9 3 20 0 20 0 6702098 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591611013104 140592259965401 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23720] ppid=23648 vsize=10929916 CPUtime=3.45 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23720/stat : 23720 (java) R 23648 23651 14618 0 -1 4202560 8373 12418 0 0 332 1 9 3 20 0 20 0 6702098 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591609960560 140592259763119 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23721] ppid=23648 vsize=10929916 CPUtime=3.41 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23721/stat : 23721 (java) R 23648 23651 14618 0 -1 4202560 4983 12418 0 0 328 1 9 3 20 0 20 0 6702098 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591608908312 140592254097630 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23722] ppid=23648 vsize=10929916 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23722/stat : 23722 (java) R 23648 23651 14618 0 -1 4202560 10076 12418 0 0 216 2 9 3 20 0 20 0 6702098 11192233984 96563 33554432000 4194304 4196468 140735703974112 140591607855472 140592253799365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23723] ppid=23648 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14

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

[pid=23651/tid=23720] ppid=23648 vsize=10997500 CPUtime=8.26 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23720/stat : 23720 (java) S 23648 23651 14618 0 -1 1077944384 61770 12418 0 0 806 8 9 3 20 0 20 0 6702098 11261440000 814564 33554432000 4194304 4196468 140735703974112 140591609960560 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23721] ppid=23648 vsize=10997500 CPUtime=8.06 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23721/stat : 23721 (java) S 23648 23651 14618 0 -1 1077944384 48421 12418 0 0 788 6 9 3 20 0 20 0 6702098 11261440000 814564 33554432000 4194304 4196468 140735703974112 140591608908016 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23722] ppid=23648 vsize=10997500 CPUtime=4.63 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23722/stat : 23722 (java) S 23648 23651 14618 0 -1 1077944384 97577 12418 0 0 440 11 9 3 20 0 20 0 6702098 11261440000 814564 33554432000 4194304 4196468 140735703974112 140591607855472 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23723] ppid=23648 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23723/stat : 23723 (java) S 23648 23651 14618 0 -1 1077944384 3 12418 0 0 0 0 9 3 20 0 20 0 6702098 11261440000 814564 33554432000 4194304 4196468 140735703974112 140591606803168 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23724] ppid=23648 vsize=10997500 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23724/stat : 23724 (java) S 23648 23651 14618 0 -1 1077944384 2521 12418 0 0 60 46 9 3 20 0 20 0 6702098 11261440000 814564 33554432000 4194304 4196468 140735703974112 140591605750704 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
Current children cumulated CPU time (s) 2260.18
Current children cumulated vsize (KiB) 10997500

[startup+2202.31 s]
/proc/loadavg: 0.91 1.05 1.38 2/256 23845
/proc/meminfo: memFree=28506360/32770624 swapFree=5940/278216
[pid=23651] ppid=23648 vsize=10997500 CPUtime=2321.69 cores=0,2,4,6,8,10,12,14
/proc/23651/stat : 23651 (java) S 23648 23651 14618 0 -1 1077944320 621274 12418 0 0 229218 2939 9 3 20 0 20 0 6702078 11261440000 821421 33554432000 4194304 4196468 140735703974112 140735703956656 140592274857719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
/proc/23651/statm: 2749375 821421 3531 1 0 2736930 0
[pid=23651/tid=23706] ppid=23648 vsize=10997500 CPUtime=2187.56 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23706/stat : 23706 (java) R 23648 23651 14618 0 -1 4202560 185545 12418 0 0 218696 48 9 3 20 0 20 0 6702091 11261440000 821421 33554432000 4194304 4196468 140735703974112 140592279091976 140591899309757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23707] ppid=23648 vsize=10997500 CPUtime=13.07 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23707/stat : 23707 (java) S 23648 23651 14618 0 -1 1077944384 17141 12418 0 0 941 354 9 3 20 0 20 0 6702092 11261440000 821421 33554432000 4194304 4196468 140735703974112 140592200932112 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23708] ppid=23648 vsize=10997500 CPUtime=13.05 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23708/stat : 23708 (java) S 23648 23651 14618 0 -1 1077944384 16464 12418 0 0 947 346 9 3 20 0 20 0 6702092 11261440000 821421 33554432000 4194304 4196468 140735703974112 140592199879568 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23709] ppid=23648 vsize=10997500 CPUtime=12.94 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23709/stat : 23709 (java) S 23648 23651 14618 0 -1 1077944384 19521 12418 0 0 936 346 9 3 20 0 20 0 6702092 11261440000 821421 33554432000 4194304 4196468 140735703974112 140592198827024 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23710] ppid=23648 vsize=10997500 CPUtime=13.03 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23710/stat : 23710 (java) S 23648 23651 14618 0 -1 1077944384 13924 12418 0 0 936 355 9 3 20 0 20 0 6702092 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591878892688 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23711] ppid=23648 vsize=10997500 CPUtime=13.01 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23711/stat : 23711 (java) S 23648 23651 14618 0 -1 1077944384 17430 12418 0 0 936 353 9 3 20 0 20 0 6702092 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591877839120 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23712] ppid=23648 vsize=10997500 CPUtime=13.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23712/stat : 23712 (java) S 23648 23651 14618 0 -1 1077944384 15593 12418 0 0 945 355 9 3 20 0 20 0 6702092 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591876786576 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23713] ppid=23648 vsize=10997500 CPUtime=13.03 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23713/stat : 23713 (java) S 23648 23651 14618 0 -1 1077944384 14204 12418 0 0 942 349 9 3 20 0 20 0 6702092 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591875734032 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23714] ppid=23648 vsize=10997500 CPUtime=13.14 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23714/stat : 23714 (java) S 23648 23651 14618 0 -1 1077944384 14511 12418 0 0 947 355 9 3 20 0 20 0 6702092 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591874681488 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23715] ppid=23648 vsize=10997500 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23715/stat : 23715 (java) S 23648 23651 14618 0 -1 1077944384 27628 12418 0 0 54 10 9 3 20 0 20 0 6702093 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591615224304 140592274868866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23716] ppid=23648 vsize=10997500 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23716/stat : 23716 (java) S 23648 23651 14618 0 -1 1077944384 173 12418 0 0 1 0 9 3 20 0 20 0 6702094 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591614170592 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23717] ppid=23648 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23717/stat : 23717 (java) S 23648 23651 14618 0 -1 1077944384 48 12418 0 0 0 0 9 3 20 0 20 0 6702094 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591613117952 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23718] ppid=23648 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23718/stat : 23718 (java) S 23648 23651 14618 0 -1 1077944384 1 12418 0 0 0 0 9 3 20 0 20 0 6702098 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591612066512 140592274876315 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23719] ppid=23648 vsize=10997500 CPUtime=8.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23719/stat : 23719 (java) S 23648 23651 14618 0 -1 1077944384 61814 12418 0 0 794 7 9 3 20 0 20 0 6702098 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591611013104 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23720] ppid=23648 vsize=10997500 CPUtime=8.33 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23720/stat : 23720 (java) S 23648 23651 14618 0 -1 1077944384 62296 12418 0 0 813 8 9 3 20 0 20 0 6702098 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591609960560 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23721] ppid=23648 vsize=10997500 CPUtime=8.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23721/stat : 23721 (java) S 23648 23651 14618 0 -1 1077944384 49239 12418 0 0 794 6 9 3 20 0 20 0 6702098 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591608908016 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23722] ppid=23648 vsize=10997500 CPUtime=4.7 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23722/stat : 23722 (java) S 23648 23651 14618 0 -1 1077944384 101066 12418 0 0 446 12 9 3 20 0 20 0 6702098 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591607855472 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23723] ppid=23648 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23723/stat : 23723 (java) S 23648 23651 14618 0 -1 1077944384 3 12418 0 0 0 0 9 3 20 0 20 0 6702098 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591606803168 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23724] ppid=23648 vsize=10997500 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23724/stat : 23724 (java) S 23648 23651 14618 0 -1 1077944384 2544 12418 0 0 61 48 9 3 20 0 20 0 6702098 11261440000 821421 33554432000 4194304 4196468 140735703974112 140591605750704 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
Current children cumulated CPU time (s) 2321.69
Current children cumulated vsize (KiB) 10997500

[startup+2262.3 s]
/proc/loadavg: 0.90 1.02 1.35 2/256 23846
/proc/meminfo: memFree=28484996/32770624 swapFree=5940/278272
[pid=23651] ppid=23648 vsize=10997500 CPUtime=2383.37 cores=0,2,4,6,8,10,12,14
/proc/23651/stat : 23651 (java) S 23648 23651 14618 0 -1 1077944320 628926 12418 0 0 235383 2942 9 3 20 0 20 0 6702078 11261440000 826408 33554432000 4194304 4196468 140735703974112 140735703956656 140592274857719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
/proc/23651/statm: 2749375 826408 3531 1 0 2736930 0
[pid=23651/tid=23706] ppid=23648 vsize=10997500 CPUtime=2247.26 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23706/stat : 23706 (java) R 23648 23651 14618 0 -1 4202560 188185 12418 0 0 224665 49 9 3 20 0 20 0 6702091 11261440000 826408 33554432000 4194304 4196468 140735703974112 140592279091856 140591898588929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23707] ppid=23648 vsize=10997500 CPUtime=13.3 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23707/stat : 23707 (java) S 23648 23651 14618 0 -1 1077944384 17566 12418 0 0 964 354 9 3 20 0 20 0 6702092 11261440000 826408 33554432000 4194304 4196468 140735703974112 140592200932112 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23708] ppid=23648 vsize=10997500 CPUtime=13.28 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23708/stat : 23708 (java) S 23648 23651 14618 0 -1 1077944384 16879 12418 0 0 970 346 9 3 20 0 20 0 6702092 11261440000 826408 33554432000 4194304 4196468 140735703974112 140592199879568 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23709] ppid=23648 vsize=10997500 CPUtime=13.19 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23709/stat : 23709 (java) S 23648 23651 14618 0 -1 1077944384 20749 12418 0 0 961 346 9 3 20 0 20 0 6702092 11261440000 826408 33554432000 4194304 4196468 140735703974112 140592198827024 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23710] ppid=23648 vsize=10997500 CPUtime=13.26 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23710/stat : 23710 (java) S 23648 23651 14618 0 -1 1077944384 14305 12418 0 0 959 355 9 3 20 0 20 0 6702092 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591878892688 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23711] ppid=23648 vsize=10997500 CPUtime=13.25 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23711/stat : 23711 (java) S 23648 23651 14618 0 -1 1077944384 18285 12418 0 0 960 353 9 3 20 0 20 0 6702092 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591877839120 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23712] ppid=23648 vsize=10997500 CPUtime=13.37 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23712/stat : 23712 (java) S 23648 23651 14618 0 -1 1077944384 16081 12418 0 0 970 355 9 3 20 0 20 0 6702092 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591876786576 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23713] ppid=23648 vsize=10997500 CPUtime=13.28 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23713/stat : 23713 (java) S 23648 23651 14618 0 -1 1077944384 14591 12418 0 0 967 349 9 3 20 0 20 0 6702092 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591875734032 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23714] ppid=23648 vsize=10997500 CPUtime=13.38 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23714/stat : 23714 (java) S 23648 23651 14618 0 -1 1077944384 15041 12418 0 0 971 355 9 3 20 0 20 0 6702092 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591874681488 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23715] ppid=23648 vsize=10997500 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23715/stat : 23715 (java) S 23648 23651 14618 0 -1 1077944384 27886 12418 0 0 55 11 9 3 20 0 20 0 6702093 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591615224304 140592274868866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23716] ppid=23648 vsize=10997500 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23716/stat : 23716 (java) S 23648 23651 14618 0 -1 1077944384 173 12418 0 0 1 0 9 3 20 0 20 0 6702094 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591614170592 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23717] ppid=23648 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23717/stat : 23717 (java) S 23648 23651 14618 0 -1 1077944384 48 12418 0 0 0 0 9 3 20 0 20 0 6702094 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591613117952 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23718] ppid=23648 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23718/stat : 23718 (java) S 23648 23651 14618 0 -1 1077944384 1 12418 0 0 0 0 9 3 20 0 20 0 6702098 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591612066512 140592274876315 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23719] ppid=23648 vsize=10997500 CPUtime=8.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23719/stat : 23719 (java) S 23648 23651 14618 0 -1 1077944384 61819 12418 0 0 794 7 9 3 20 0 20 0 6702098 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591611013104 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23720] ppid=23648 vsize=10997500 CPUtime=8.33 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23720/stat : 23720 (java) S 23648 23651 14618 0 -1 1077944384 62303 12418 0 0 813 8 9 3 20 0 20 0 6702098 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591609960560 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23721] ppid=23648 vsize=10997500 CPUtime=8.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23721/stat : 23721 (java) S 23648 23651 14618 0 -1 1077944384 49244 12418 0 0 794 6 9 3 20 0 20 0 6702098 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591608908016 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23722] ppid=23648 vsize=10997500 CPUtime=4.7 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23722/stat : 23722 (java) S 23648 23651 14618 0 -1 1077944384 101069 12418 0 0 446 12 9 3 20 0 20 0 6702098 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591607855472 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23723] ppid=23648 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23723/stat : 23723 (java) S 23648 23651 14618 0 -1 1077944384 3 12418 0 0 0 0 9 3 20 0 20 0 6702098 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591606803168 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23724] ppid=23648 vsize=10997500 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23724/stat : 23724 (java) S 23648 23651 14618 0 -1 1077944384 2569 12418 0 0 62 49 9 3 20 0 20 0 6702098 11261440000 826408 33554432000 4194304 4196468 140735703974112 140591605750704 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
Current children cumulated CPU time (s) 2383.37
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2278.4 s]
/proc/loadavg: 0.93 1.02 1.34 2/256 23846
/proc/meminfo: memFree=28483600/32770624 swapFree=5940/278276
[pid=23651] ppid=23648 vsize=10997500 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/23651/stat : 23651 (java) S 23648 23651 14618 0 -1 1077944320 632165 12418 0 0 237053 2942 9 3 20 0 20 0 6702078 11261440000 826570 33554432000 4194304 4196468 140735703974112 140735703956656 140592274857719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
/proc/23651/statm: 2749375 826570 3531 1 0 2736930 0
[pid=23651/tid=23706] ppid=23648 vsize=10997500 CPUtime=2263.26 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23706/stat : 23706 (java) R 23648 23651 14618 0 -1 4202560 188574 12418 0 0 226265 49 9 3 20 0 20 0 6702091 11261440000 826570 33554432000 4194304 4196468 140735703974112 140592279091424 140591898588832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23707] ppid=23648 vsize=10997500 CPUtime=13.39 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23707/stat : 23707 (java) S 23648 23651 14618 0 -1 1077944384 18009 12418 0 0 973 354 9 3 20 0 20 0 6702092 11261440000 826570 33554432000 4194304 4196468 140735703974112 140592200932112 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23708] ppid=23648 vsize=10997500 CPUtime=13.37 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23708/stat : 23708 (java) S 23648 23651 14618 0 -1 1077944384 17233 12418 0 0 979 346 9 3 20 0 20 0 6702092 11261440000 826570 33554432000 4194304 4196468 140735703974112 140592199879568 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23709] ppid=23648 vsize=10997500 CPUtime=13.28 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23709/stat : 23709 (java) S 23648 23651 14618 0 -1 1077944384 21193 12418 0 0 970 346 9 3 20 0 20 0 6702092 11261440000 826570 33554432000 4194304 4196468 140735703974112 140592198827024 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23710] ppid=23648 vsize=10997500 CPUtime=13.35 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23710/stat : 23710 (java) S 23648 23651 14618 0 -1 1077944384 14554 12418 0 0 968 355 9 3 20 0 20 0 6702092 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591878892688 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23711] ppid=23648 vsize=10997500 CPUtime=13.34 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23711/stat : 23711 (java) S 23648 23651 14618 0 -1 1077944384 18652 12418 0 0 969 353 9 3 20 0 20 0 6702092 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591877839120 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23712] ppid=23648 vsize=10997500 CPUtime=13.46 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23712/stat : 23712 (java) S 23648 23651 14618 0 -1 1077944384 16723 12418 0 0 979 355 9 3 20 0 20 0 6702092 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591876786576 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23713] ppid=23648 vsize=10997500 CPUtime=13.36 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23713/stat : 23713 (java) S 23648 23651 14618 0 -1 1077944384 14924 12418 0 0 975 349 9 3 20 0 20 0 6702092 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591875734032 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23714] ppid=23648 vsize=10997500 CPUtime=13.45 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23714/stat : 23714 (java) S 23648 23651 14618 0 -1 1077944384 15050 12418 0 0 978 355 9 3 20 0 20 0 6702092 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591874681488 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23715] ppid=23648 vsize=10997500 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23715/stat : 23715 (java) S 23648 23651 14618 0 -1 1077944384 27893 12418 0 0 55 11 9 3 20 0 20 0 6702093 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591615224304 140592274868866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23716] ppid=23648 vsize=10997500 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23716/stat : 23716 (java) S 23648 23651 14618 0 -1 1077944384 173 12418 0 0 1 0 9 3 20 0 20 0 6702094 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591614170592 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23717] ppid=23648 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23717/stat : 23717 (java) S 23648 23651 14618 0 -1 1077944384 48 12418 0 0 0 0 9 3 20 0 20 0 6702094 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591613117952 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23718] ppid=23648 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23718/stat : 23718 (java) S 23648 23651 14618 0 -1 1077944384 1 12418 0 0 0 0 9 3 20 0 20 0 6702098 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591612066512 140592274876315 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23719] ppid=23648 vsize=10997500 CPUtime=8.13 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23719/stat : 23719 (java) S 23648 23651 14618 0 -1 1077944384 61819 12418 0 0 794 7 9 3 20 0 20 0 6702098 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591611013104 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23720] ppid=23648 vsize=10997500 CPUtime=8.33 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23720/stat : 23720 (java) S 23648 23651 14618 0 -1 1077944384 62303 12418 0 0 813 8 9 3 20 0 20 0 6702098 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591609960560 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23721] ppid=23648 vsize=10997500 CPUtime=8.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23721/stat : 23721 (java) S 23648 23651 14618 0 -1 1077944384 49244 12418 0 0 794 6 9 3 20 0 20 0 6702098 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591608908016 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23722] ppid=23648 vsize=10997500 CPUtime=4.7 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23722/stat : 23722 (java) S 23648 23651 14618 0 -1 1077944384 101069 12418 0 0 446 12 9 3 20 0 20 0 6702098 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591607855472 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23723] ppid=23648 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23723/stat : 23723 (java) S 23648 23651 14618 0 -1 1077944384 3 12418 0 0 0 0 9 3 20 0 20 0 6702098 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591606803168 140592274867925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
[pid=23651/tid=23724] ppid=23648 vsize=10997500 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/23651/task/23724/stat : 23724 (java) S 23648 23651 14618 0 -1 1077944384 2571 12418 0 0 63 50 9 3 20 0 20 0 6702098 11261440000 826570 33554432000 4194304 4196468 140735703974112 140591605750704 140592274868866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29224960 140735703976641 140735703979415 140735703979415 140735703982031 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10997500

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 23651 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2278.45
CPU time (s): 2400.15
CPU user time (s): 2370.66
CPU system time (s): 29.4843
CPU usage (%): 105.341
Max. virtual memory (cumulated for all children) (KiB): 10997500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2370.66
system time used= 29.4843
maximum resident set size= 3306816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 645838
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83795
involuntary context switches= 127092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9996 second user time and 16.0531 second system time

The end

Launcher Data 

Begin job on node138 at 2017-07-22 11:05:52
IDJOB=4246378
IDBENCH=124454
IDSOLVER=2630
FILE ID=node138/4246378-1500714352
RUNJOBID= node138-1500684099-14649
PBS_JOBID= 20623345
Free space on /tmp= 61968 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-4246378-1500714352/watcher-4246378-1500714352 -o /tmp/evaluation-result-4246378-1500714352/solver-4246378-1500714352 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500684099-14649 --watchdog 2560  bin/concrete HOME/instance-4246378-1500714352.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 7c96a44e638c86f7d39463bcb8517eb1
RANDOM SEED=75726216

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

/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		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.44
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.44
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.44
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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.44
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	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30605152 kB
MemAvailable:   30838768 kB
Buffers:          129040 kB
Cached:           384560 kB
SwapCached:            0 kB
Active:          1440084 kB
Inactive:         284292 kB
Active(anon):    1214004 kB
Inactive(anon):     8608 kB
Active(file):     226080 kB
Inactive(file):   275684 kB
Unevictable:        5940 kB
Mlocked:            5940 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24704 kB
Writeback:             0 kB
AnonPages:       1337856 kB
Mapped:            44616 kB
Shmem:              8852 kB
Slab:             129812 kB
SReclaimable:      95376 kB
SUnreclaim:        34436 kB
KernelStack:        4656 kB
PageTables:         8052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1829544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1144832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61968 MiB
End job on node138 at 2017-07-22 11:43:51