0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-18196-serial-file.bin HOME/instance-4305303-1534072292.xml
0.55/0.51
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 13:11:32 CEST 2018
0.66/0.54 c PID: 18199
0.66/0.54 c IP: 172.20.3.107
0.66/0.54 c HOST: node107.alineos.net
0.66/0.55 c (0,0) Parsing Begin
5.62/2.26 c (1,1) Parsing End
5.62/2.28 c (1,1) CSP: 0 int (0 aux), 6600 bool (0 aux), 5576 ctr, max domain size 2
5.62/2.28 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.62/2.28 c (1,1) Constraint Name Generate Begin
5.94/2.32 c (1,1) Ctr:HOME/instance-4305303-1534072292.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum
5.94/2.32 c (1,1) Constraint Name Generate End
5.94/2.32 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.94/2.32 c (1,1) CSP to CSPinCNF Begin
8.60/3.11 c (2,2) translated 558 (10%) constraints
9.67/3.43 c (2,2) translated 1116 (20%) constraints
10.29/3.66 c (3,3) translated 1673 (30%) constraints
10.89/3.89 c (3,3) translated 2231 (40%) constraints
11.82/4.12 c (3,3) translated 2788 (50%) constraints
12.39/4.35 c (3,3) translated 3346 (60%) constraints
13.00/4.55 c (4,4) translated 3904 (70%) constraints
13.30/4.69 c (4,4) translated 4461 (80%) constraints
13.82/4.81 c (4,4) translated 5019 (90%) constraints
15.19/5.41 c (4,4) translated 5576 (100%) constraints
33.32/20.48 c (19,19) STATISTICS1:HOME/instance-4305303-1534072292.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,19414,31459,9223372036854775807,2,4,120,9223372036854775807:110;512:240;2:15212,2:82066,4:2014;3:10928;2:12814;1:5703,120:110;10:240;2:15212;1:60042,6400:110
33.32/20.48 c (19,19) ==========================================
33.32/20.48 c (19,19) Order
33.32/20.48 c (19,19) ==========================================
34.75/20.85 c (20,19) translated 3146 (10%) constraints
35.08/20.98 c (20,19) translated 6292 (20%) constraints
35.40/21.11 c (20,20) translated 9438 (30%) constraints
35.98/21.23 c (20,20) translated 12584 (40%) constraints
36.28/21.33 c (20,20) translated 15730 (50%) constraints
36.55/21.42 c (20,20) translated 18876 (60%) constraints
36.65/21.51 c (20,20) translated 22022 (70%) constraints
36.65/21.59 c (21,20) translated 25168 (80%) constraints
37.77/22.12 c (21,21) translated 28314 (90%) constraints
38.04/22.24 c (21,21) translated 31459 (100%) constraints
38.04/22.25 c (21,21) CSP to CSPinCNF End
38.04/22.26 c (21,21) CSP: 1155 int (1155 aux), 24814 bool (18214 aux), 50144 ctr, max domain size 37
38.04/22.26 c (21,21) Heap : 586 MiB used (max 11163 MiB), NonHeap : 32 MiB used (max 0 MiB)
38.04/22.26 c (21,21) CSPinCNF Propagation Begin
39.23/22.64 c (22,21) 0 values, 5400 unsatisfiable literals, and 5400 valid clauses are removed
39.23/22.64 c (22,21) CSPinCNF Propagation End
39.23/22.64 c (22,21) CSP: 1155 int (1155 aux), 24814 bool (18214 aux), 44744 ctr, max domain size 37
39.23/22.64 c (22,21) Heap : 814 MiB used (max 11163 MiB), NonHeap : 31 MiB used (max 0 MiB)
39.23/22.64 c (22,21) Simplify CSPinCNF Begin
39.59/22.83 c (22,21) Simplify CSPinCNF End
39.59/22.84 c (22,21) CSP: 1155 int (1155 aux), 29226 bool (22626 aux), 49156 ctr, max domain size 37
39.59/22.84 c (22,21) Heap : 885 MiB used (max 11163 MiB), NonHeap : 32 MiB used (max 0 MiB)
39.59/22.84 c (22,21) Calculate Precise Domain Begin
39.91/22.92 c (22,21) 0 values are removed by re-calculation
39.91/22.92 c (22,21) Calculate Precise Domain End
39.91/22.92 c (22,21) CSP: 1155 int (1155 aux), 29226 bool (22626 aux), 49156 ctr, max domain size 37
39.91/22.92 c (22,21) Heap : 885 MiB used (max 11163 MiB), NonHeap : 32 MiB used (max 0 MiB)
39.91/22.92 c (22,21) CSPinCNF to SatSolver Begin
42.55/24.37 c (23,23) 4916 (10 %) CSP clauses are encoded (41346 SAT variables, 345560 SAT clauses)
42.84/24.42 c (23,23) 9832 (20 %) CSP clauses are encoded (41346 SAT variables, 350476 SAT clauses)
42.84/24.46 c (23,23) 14747 (30 %) CSP clauses are encoded (41346 SAT variables, 355391 SAT clauses)
42.84/24.50 c (23,23) 19663 (40 %) CSP clauses are encoded (41346 SAT variables, 360307 SAT clauses)
43.12/24.53 c (24,23) 24578 (50 %) CSP clauses are encoded (41346 SAT variables, 365222 SAT clauses)
43.12/24.56 c (24,23) 29494 (60 %) CSP clauses are encoded (41346 SAT variables, 370138 SAT clauses)
43.32/24.60 c (24,23) 34410 (70 %) CSP clauses are encoded (41346 SAT variables, 375054 SAT clauses)
45.68/26.73 c (26,25) 39325 (80 %) CSP clauses are encoded (41346 SAT variables, 866831 SAT clauses)
48.04/29.05 c (28,27) 44241 (90 %) CSP clauses are encoded (41346 SAT variables, 1529771 SAT clauses)
48.24/29.14 c (28,27) 49156 (100 %) CSP clauses are encoded (41346 SAT variables, 1537084 SAT clauses)
48.24/29.14 c (28,27) Launch Command will be: minisat_release
48.24/29.14 c (28,27) CSPinCNF to SatSolver End
48.24/29.14 c (28,27) Heap : 2806 MiB used (max 11134 MiB), NonHeap : 31 MiB used (max 0 MiB)
48.79/29.36 c (28,28) STATISTICS2:HOME/instance-4305303-1534072292.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,30381,49156,1369,37,4,11,1369:20;1024:1320;512:240;441:60;121:120;99:540;81:360;2:17354,37:120;21:240;11:2640;9:1620;2:124574,4:2014;3:5528;2:28026;1:13588,11:1320;10:240;3:1100;2:17354;1:74266,
48.79/29.37 c (28,28) 41346 bool, 1537085 clause
48.79/29.37 c (28,28) Export Begin
49.46/29.69 c (29,28) Export to HOME/scop-18196-serial-file.bin
49.46/29.69 c (29,28) Export End
49.46/29.69 c (29,28) Export File Size: 1.08 MB
49.46/29.69 c (29,28) 1,1,21,22,22,22,28,STOP-AFTER(DIMACS)
49.46/29.69 c END-Prog: Sun Aug 12 13:12:01 CEST 2018
49.59/29.73 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-18196-serial-file.bin
50.22/30.22 c (0,0) Read Serial File Begin
50.22/30.22 c (0,0) HOME/scop-18196-serial-file.bin
51.06/30.64 c (0,0) Read Serial File End
51.06/30.65
51.35/30.92 scop order+minisat_release (2018-07-31)
51.35/30.92 (Solving Process)
51.35/30.92
51.35/30.92 c BEGIN-Prog: Sun Aug 12 13:12:02 CEST 2018
51.35/30.92 c PID: 18214
51.35/30.92 c IP: 172.20.3.107
51.35/30.92 c HOST: node107.alineos.net
51.35/30.92 c (0,0) SatSolver.solve Begin
51.35/30.92 c (0,0) 0 bool, 0 clause
51.35/30.92 c (0,0) minisat_release HOME/instance-4305303-1534072292.xml-scop-18199.cnf
63.33/42.95 c (12,0) c This is COMiniSatPS.
63.33/42.95 c (12,0) c WARNING: for repeatability, setting FPU to use double precision
63.33/42.95 c (12,0) c ============================[ Problem Statistics ]=============================
63.33/42.95 c (12,0) c | |
63.33/42.95 c (12,0) c | Number of variables: 41346 |
63.33/42.95 c (12,0) c | Number of clauses: 1536545 |
63.33/42.95 c (12,0) c | Parse time: 0.48 s |
63.33/42.95 c (12,0) c | Eliminated clauses: 0.54 Mb |
63.33/42.95 c (12,0) c Reduced to 20294 vars, 1418336 cls (grow=0)
63.33/42.95 c (12,0) c No iterative elimination performed. (vars=20294, c/v ratio=69.9)
63.33/42.95 c (12,0) c | Simplification time: 9.99 s |
63.33/42.95 c (12,0) c | |
63.33/42.95 c (12,0) c ============================[ Search Statistics ]==============================
63.33/42.95 c (12,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
63.33/42.95 c (12,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
63.33/42.95 c (12,0) c ===============================================================================
63.33/42.95 c (12,0) c ===============================================================================
63.33/42.95 c (12,0) c restarts : 37
63.33/42.95 c (12,0) c conflicts : 5236 (440 /sec)
63.33/42.95 c (12,0) c decisions : 28905 (0.00 % random) (2427 /sec)
63.33/42.95 c (12,0) c propagations : 3122228 (262148 /sec)
63.33/42.95 c (12,0) c conflict literals : 145442 (19.46 % deleted)
63.33/42.95 c (12,0) c CPU time : 11.9102 s
63.33/42.95 c (12,0)
63.33/42.95 c (12,0) s SATISFIABLE
63.54/43.01 c (12,0) SatSolver.solve End
63.54/43.01 c (12,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
63.54/43.01 c (12,0) Show results Begin
63.76/43.14 s SATISFIABLE
64.06/43.20 v <instantiation>
64.06/43.20 v <list>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[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] 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[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] 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[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] 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[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] 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[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] 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[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] 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[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] 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[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] 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[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] 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[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][1][7] s[0][1][8] s[0][1][9] s[0][1][10] s[0][1][11] s[0][1][12] s[0][1][13] s[0][1][14] s[0][1][15] s[0][1][16] s[0][1][17] s[0][1][18] s[0][1][19] s[0][1][20] s[0][1][21] s[0][1][22] s[0][1][23] s[0][1][24] s[0][1][25] s[0][1][26] s[0][1][27] s[0][1][28] s[0][1][29] s[0][1][30] s[0][1][31] s[0][1][32] s[0][1][33] s[0][1][34] s[0][1][35] s[0][1][36] s[0][1][37] s[0][1][38] s[0][1][39] s[0][1][40] s[0][1][41] s[0][1][42] s[0][1][43] s[0][1][44] s[0][1][45] s[0][1][46] s[0][1][47] s[0][1][48] s[0][1][49] s[0][1][50] s[0][1][51] s[0][1][52] s[0][1][53] s[0][1][54] s[0][1][55] s[0][1][56] s[0][1][57] s[0][1][58] s[0][1][59] s[0][1][60] s[0][1][61] s[0][1][62] s[0][1][63] s[0][1][64] s[0][1][65] s[0][1][66] s[0][1][67] s[0][1][68] s[0][1][69] s[0][1][70] s[0][1][71] s[0][1][72] s[0][1][73] s[0][1][74] s[0][1][75] s[0][1][76] s[0][1][77] s[0][1][78] s[0][1][79] s[0][1][80] s[0][1][81] s[0][1][82] s[0][1][83] s[0][1][84] s[0][1][85] s[0][1][86] s[0][1][87] s[0][1][88] s[0][1][89] s[0][1][90] s[0][1][91] s[0][1][92] s[0][1][93] s[0][1][94] s[0][1][95] s[0][1][96] s[0][1][97] s[0][1][98] s[0][1][99] s[0][1][100] s[0][1][101] s[0][1][102] s[0][1][103] s[0][1][104] s[0][1][105] s[0][1][106] s[0][1][107] s[0][1][108] s[0][1][109] s[0][1][110] s[0][1][111] s[0][1][112] s[0][1][113] s[0][1][114] s[0][1][115] s[0][1][116] s[0][1][117] s[0][1][118] s[0][1][119] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][2][7] s[0][2][8] s[0][2][9] s[0][2][10] s[0][2][11] s[0][2][12] s[0][2][13] s[0][2][14] s[0][2][15] s[0][2][16] s[0][2][17] s[0][2][18] s[0][2][19] s[0][2][20] s[0][2][21] s[0][2][22] s[0][2][23] s[0][2][24] s[0][2][25] s[0][2][26] s[0][2][27] s[0][2][28] s[0][2][29] s[0][2][30] s[0][2][31] s[0][2][32] s[0][2][33] s[0][2][34] s[0][2][35] s[0][2][36] s[0][2][37] s[0][2][38] s[0][2][39] s[0][2][40] s[0][2][41] s[0][2][42] s[0][2][43] s[0][2][44] s[0][2][45] s[0][2][46] s[0][2][47] s[0][2][48] s[0][2][49] s[0][2][50] s[0][2][51] s[0][2][52] s[0][2][53] s[0][2][54] s[0][2][55] s[0][2][56] s[0][2][57] s[0][2][58] s[0][2][59] s[0][2][60] s[0][2][61] s[0][2][62] s[0][2][63] s[0][2][64] s[0][2][65] s[0][2][66] s[0][2][67] s[0][2][68] s[0][2][69] s[0][2][70] s[0][2][71] s[0][2][72] s[0][2][73] s[0][2][74] s[0][2][75] s[0][2][76] s[0][2][77] s[0][2][78] s[0][2][79] s[0][2][80] s[0][2][81] s[0][2][82] s[0][2][83] s[0][2][84] s[0][2][85] s[0][2][86] s[0][2][87] s[0][2][88] s[0][2][89] s[0][2][90] s[0][2][91] s[0][2][92] s[0][2][93] s[0][2][94] s[0][2][95] s[0][2][96] s[0][2][97] s[0][2][98] s[0][2][99] s[0][2][100] s[0][2][101] s[0][2][102] s[0][2][103] s[0][2][104] s[0][2][105] s[0][2][106] s[0][2][107] s[0][2][108] s[0][2][109] s[0][2][110] s[0][2][111] s[0][2][112] s[0][2][113] s[0][2][114] s[0][2][115] s[0][2][116] s[0][2][117] s[0][2][118] s[0][2][119] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][3][7] s[0][3][8] s[0][3][9] s[0][3][10] s[0][3][11] s[0][3][12] s[0][3][13] s[0][3][14] s[0][3][15] s[0][3][16] s[0][3][17] s[0][3][18] s[0][3][19] s[0][3][20] s[0][3][21] s[0][3][22] s[0][3][23] s[0][3][24] s[0][3][25] s[0][3][26] s[0][3][27] s[0][3][28] s[0][3][29] s[0][3][30] s[0][3][31] s[0][3][32] s[0][3][33] s[0][3][34] s[0][3][35] s[0][3][36] s[0][3][37] s[0][3][38] s[0][3][39] s[0][3][40] s[0][3][41] s[0][3][42] s[0][3][43] s[0][3][44] s[0][3][45] s[0][3][46] s[0][3][47] s[0][3][48] s[0][3][49] s[0][3][50] s[0][3][51] s[0][3][52] s[0][3][53] s[0][3][54] s[0][3][55] s[0][3][56] s[0][3][57] s[0][3][58] s[0][3][59] s[0][3][60] s[0][3][61] s[0][3][62] s[0][3][63] s[0][3][64] s[0][3][65] s[0][3][66] s[0][3][67] s[0][3][68] s[0][3][69] s[0][3][70] s[0][3][71] s[0][3][72] s[0][3][73] s[0][3][74] s[0][3][75] s[0][3][76] s[0][3][77] s[0][3][78] s[0][3][79] s[0][3][80] s[0][3][81] s[0][3][82] s[0][3][83] s[0][3][84] s[0][3][85] s[0][3][86] s[0][3][87] s[0][3][88] s[0][3][89] s[0][3][90] s[0][3][91] s[0][3][92] s[0][3][93] s[0][3][94] s[0][3][95] s[0][3][96] s[0][3][97] s[0][3][98] s[0][3][99] s[0][3][100] s[0][3][101] s[0][3][102] s[0][3][103] s[0][3][104] s[0][3][105] s[0][3][106] s[0][3][107] s[0][3][108] s[0][3][109] s[0][3][110] s[0][3][111] s[0][3][112] s[0][3][113] s[0][3][114] s[0][3][115] s[0][3][116] s[0][3][117] s[0][3][118] s[0][3][119] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][4][7] s[0][4][8] s[0][4][9] s[0][4][10] s[0][4][11] s[0][4][12] s[0][4][13] s[0][4][14] s[0][4][15] s[0][4][16] s[0][4][17] s[0][4][18] s[0][4][19] s[0][4][20] s[0][4][21] s[0][4][22] s[0][4][23] s[0][4][24] s[0][4][25] s[0][4][26] s[0][4][27] s[0][4][28] s[0][4][29] s[0][4][30] s[0][4][31] s[0][4][32] s[0][4][33] s[0][4][34] s[0][4][35] s[0][4][36] s[0][4][37] s[0][4][38] s[0][4][39] s[0][4][40] s[0][4][41] s[0][4][42] s[0][4][43] s[0][4][44] s[0][4][45] s[0][4][46] s[0][4][47] s[0][4][48] s[0][4][49] s[0][4][50] s[0][4][51] s[0][4][52] s[0][4][53] s[0][4][54] s[0][4][55] s[0][4][56] s[0][4][57] s[0][4][58] s[0][4][59] s[0][4][60] s[0][4][61] s[0][4][62] s[0][4][63] s[0][4][64] s[0][4][65] s[0][4][66] s[0][4][67] s[0][4][68] s[0][4][69] s[0][4][70] s[0][4][71] s[0][4][72] s[0][4][73] s[0][4][74] s[0][4][75] s[0][4][76] s[0][4][77] s[0][4][78] s[0][4][79] s[0][4][80] s[0][4][81] s[0][4][82] s[0][4][83] s[0][4][84] s[0][4][85] s[0][4][86] s[0][4][87] s[0][4][88] s[0][4][89] s[0][4][90] s[0][4][91] s[0][4][92] s[0][4][93] s[0][4][94] s[0][4][95] s[0][4][96] s[0][4][97] s[0][4][98] s[0][4][99] s[0][4][100] s[0][4][101] s[0][4][102] s[0][4][103] s[0][4][104] s[0][4][105] s[0][4][106] s[0][4][107] s[0][4][108] s[0][4][109] s[0][4][110] s[0][4][111] s[0][4][112] s[0][4][113] s[0][4][114] s[0][4][115] s[0][4][116] s[0][4][117] s[0][4][118] s[0][4][119] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][5][7] s[0][5][8] s[0][5][9] s[0][5][10] s[0][5][11] s[0][5][12] s[0][5][13] s[0][5][14] s[0][5][15] s[0][5][16] s[0][5][17] s[0][5][18] s[0][5][19] s[0][5][20] s[0][5][21] s[0][5][22] s[0][5][23] s[0][5][24] s[0][5][25] s[0][5][26] s[0][5][27] s[0][5][28] s[0][5][29] s[0][5][30] s[0][5][31] s[0][5][32] s[0][5][33] s[0][5][34] s[0][5][35] s[0][5][36] s[0][5][37] s[0][5][38] s[0][5][39] s[0][5][40] s[0][5][41] s[0][5][42] s[0][5][43] s[0][5][44] s[0][5][45] s[0][5][46] s[0][5][47] s[0][5][48] s[0][5][49] s[0][5][50] s[0][5][51] s[0][5][52] s[0][5][53] s[0][5][54] s[0][5][55] s[0][5][56] s[0][5][57] s[0][5][58] s[0][5][59] s[0][5][60] s[0][5][61] s[0][5][62] s[0][5][63] s[0][5][64] s[0][5][65] s[0][5][66] s[0][5][67] s[0][5][68] s[0][5][69] s[0][5][70] s[0][5][71] s[0][5][72] s[0][5][73] s[0][5][74] s[0][5][75] s[0][5][76] s[0][5][77] s[0][5][78] s[0][5][79] s[0][5][80] s[0][5][81] s[0][5][82] s[0][5][83] s[0][5][84] s[0][5][85] s[0][5][86] s[0][5][87] s[0][5][88] s[0][5][89] s[0][5][90] s[0][5][91] s[0][5][92] s[0][5][93] s[0][5][94] s[0][5][95] s[0][5][96] s[0][5][97] s[0][5][98] s[0][5][99] s[0][5][100] s[0][5][101] s[0][5][102] s[0][5][103] s[0][5][104] s[0][5][105] s[0][5][106] s[0][5][107] s[0][5][108] s[0][5][109] s[0][5][110] s[0][5][111] s[0][5][112] s[0][5][113] s[0][5][114] s[0][5][115] s[0][5][116] s[0][5][117] s[0][5][118] s[0][5][119] s[0][6][0] s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[0][6][7] s[0][6][8] s[0][6][9] s[0][6][10] s[0][6][11] s[0][6][12] s[0][6][13] s[0][6][14] s[0][6][15] s[0][6][16] s[0][6][17] s[0][6][18] s[0][6][19] s[0][6][20] s[0][6][21] s[0][6][22] s[0][6][23] s[0][6][24] s[0][6][25] s[0][6][26] s[0][6][27] s[0][6][28] s[0][6][29] s[0][6][30] s[0][6][31] s[0][6][32] s[0][6][33] s[0][6][34] s[0][6][35] s[0][6][36] s[0][6][37] s[0][6][38] s[0][6][39] s[0][6][40] s[0][6][41] s[0][6][42] s[0][6][43] s[0][6][44] s[0][6][45] s[0][6][46] s[0][6][47] s[0][6][48] s[0][6][49] s[0][6][50] s[0][6][51] s[0][6][52] s[0][6][53] s[0][6][54] s[0][6][55] s[0][6][56] s[0][6][57] s[0][6][58] s[0][6][59] s[0][6][60] s[0][6][61] s[0][6][62] s[0][6][63] s[0][6][64] s[0][6][65] s[0][6][66] s[0][6][67] s[0][6][68] s[0][6][69] s[0][6][70] s[0][6][71] s[0][6][72] s[0][6][73] s[0][6][74] s[0][6][75] s[0][6][76] s[0][6][77] s[0][6][78] s[0][6][79] s[0][6][80] s[0][6][81] s[0][6][82] s[0][6][83] s[0][6][84] s[0][6][85] s[0][6][86] s[0][6][87] s[0][6][88] s[0][6][89] s[0][6][90] s[0][6][91] s[0][6][92] s[0][6][93] s[0][6][94] s[0][6][95] s[0][6][96] s[0][6][97] s[0][6][98] s[0][6][99] s[0][6][100] s[0][6][101] s[0][6][102] s[0][6][103] s[0][6][104] s[0][6][105] s[0][6][106] s[0][6][107] s[0][6][108] s[0][6][109] s[0][6][110] s[0][6][111] s[0][6][112] s[0][6][113] s[0][6][114] s[0][6][115] s[0][6][116] s[0][6][117] s[0][6][118] s[0][6][119] s[0][7][0] s[0][7][1] s[0][7][2] s[0][7][3] s[0][7][4] s[0][7][5] s[0][7][6] s[0][7][7] s[0][7][8] s[0][7][9] s[0][7][10] s[0][7][11] s[0][7][12] s[0][7][13] s[0][7][14] s[0][7][15] s[0][7][16] s[0][7][17] s[0][7][18] s[0][7][19] s[0][7][20] s[0][7][21] s[0][7][22] s[0][7][23] s[0][7][24] s[0][7][25] s[0][7][26] s[0][7][27] s[0][7][28] s[0][7][29] s[0][7][30] s[0][7][31] s[0][7][32] s[0][7][33] s[0][7][34] s[0][7][35] s[0][7][36] s[0][7][37] s[0][7][38] s[0][7][39] s[0][7][40] s[0][7][41] s[0][7][42] s[0][7][43] s[0][7][44] s[0][7][45] s[0][7][46] s[0][7][47] s[0][7][48] s[0][7][49] s[0][7][50] s[0][7][51] s[0][7][52] s[0][7][53] s[0][7][54] s[0][7][55] s[0][7][56] s[0][7][57] s[0][7][58] s[0][7][59] s[0][7][60] s[0][7][61] s[0][7][62] s[0][7][63] s[0][7][64] s[0][7][65] s[0][7][66] s[0][7][67] s[0][7][68] s[0][7][69] s[0][7][70] s[0][7][71] s[0][7][72] s[0][7][73] s[0][7][74] s[0][7][75] s[0][7][76] s[0][7][77] s[0][7][78] s[0][7][79] s[0][7][80] s[0][7][81] s[0][7][82] s[0][7][83] s[0][7][84] s[0][7][85] s[0][7][86] s[0][7][87] s[0][7][88] s[0][7][89] s[0][7][90] s[0][7][91] s[0][7][92] s[0][7][93] s[0][7][94] s[0][7][95] s[0][7][96] s[0][7][97] s[0][7][98] s[0][7][99] s[0][7][100] s[0][7][101] s[0][7][102] s[0][7][103] s[0][7][104] s[0][7][105] s[0][7][106] s[0][7][107] s[0][7][108] s[0][7][109] s[0][7][110] s[0][7][111] s[0][7][112] s[0][7][113] s[0][7][114] s[0][7][115] s[0][7][116] s[0][7][117] s[0][7][118] s[0][7][119] s[0][8][0] s[0][8][1] s[0][8][2] s[0][8][3] s[0][8][4] s[0][8][5] s[0][8][6] s[0][8][7] s[0][8][8] s[0][8][9] s[0][8][10] s[0][8][11] s[0][8][12] s[0][8][13] s[0][8][14] s[0][8][15] s[0][8][16] s[0][8][17] s[0][8][18] s[0][8][19] s[0][8][20] s[0][8][21] s[0][8][22] s[0][8][23] s[0][8][24] s[0][8][25] s[0][8][26] s[0][8][27] s[0][8][28] s[0][8][29] s[0][8][30] s[0][8][31] s[0][8][32] s[0][8][33] s[0][8][34] s[0][8][35] s[0][8][36] s[0][8][37] s[0][8][38] s[0][8][39] s[0][8][40] s[0][8][41] s[0][8][42] s[0][8][43] s[0][8][44] s[0][8][45] s[0][8][46] s[0][8][47] s[0][8][48] s[0][8][49] s[0][8][50] s[0][8][51] s[0][8][52] s[0][8][53] s[0][8][54] s[0][8][55] s[0][8][56] s[0][8][57] s[0][8][58] s[0][8][59] s[0][8][60] s[0][8][61] s[0][8][62] s[0][8][63] s[0][8][64] s[0][8][65] s[0][8][66] s[0][8][67] s[0][8][68] s[0][8][69] s[0][8][70] s[0][8][71] s[0][8][72] s[0][8][73] s[0][8][74] s[0][8][75] s[0][8][76] s[0][8][77] s[0][8][78] s[0][8][79] s[0][8][80] s[0][8][81] s[0][8][82] s[0][8][83] s[0][8][84] s[0][8][85] s[0][8][86] s[0][8][87] s[0][8][88] s[0][8][89] s[0][8][90] s[0][8][91] s[0][8][92] s[0][8][93] s[0][8][94] s[0][8][95] s[0][8][96] s[0][8][97] s[0][8][98] s[0][8][99] s[0][8][100] s[0][8][101] s[0][8][102] s[0][8][103] s[0][8][104] s[0][8][105] s[0][8][106] s[0][8][107] s[0][8][108] s[0][8][109] s[0][8][110] s[0][8][111] s[0][8][112] s[0][8][113] s[0][8][114] s[0][8][115] s[0][8][116] s[0][8][117] s[0][8][118] s[0][8][119] s[0][9][0] s[0][9][1] s[0][9][2] s[0][9][3] s[0][9][4] s[0][9][5] s[0][9][6] s[0][9][7] s[0][9][8] s[0][9][9] s[0][9][10] s[0][9][11] s[0][9][12] s[0][9][13] s[0][9][14] s[0][9][15] s[0][9][16] s[0][9][17] s[0][9][18] s[0][9][19] s[0][9][20] s[0][9][21] s[0][9][22] s[0][9][23] s[0][9][24] s[0][9][25] s[0][9][26] s[0][9][27] s[0][9][28] s[0][9][29] s[0][9][30] s[0][9][31] s[0][9][32] s[0][9][33] s[0][9][34] s[0][9][35] s[0][9][36] s[0][9][37] s[0][9][38] s[0][9][39] s[0][9][40] s[0][9][41] s[0][9][42] s[0][9][43] s[0][9][44] s[0][9][45] s[0][9][46] s[0][9][47] s[0][9][48] s[0][9][49] s[0][9][50] s[0][9][51] s[0][9][52] s[0][9][53] s[0][9][54] s[0][9][55] s[0][9][56] s[0][9][57] s[0][9][58] s[0][9][59] s[0][9][60] s[0][9][61] s[0][9][62] s[0][9][63] s[0][9][64] s[0][9][65] s[0][9][66] s[0][9][67] s[0][9][68] s[0][9][69] s[0][9][70] s[0][9][71] s[0][9][72] s[0][9][73] s[0][9][74] s[0][9][75] s[0][9][76] s[0][9][77] s[0][9][78] s[0][9][79] s[0][9][80] s[0][9][81] s[0][9][82] s[0][9][83] s[0][9][84] s[0][9][85] s[0][9][86] s[0][9][87] s[0][9][88] s[0][9][89] s[0][9][90] s[0][9][91] s[0][9][92] s[0][9][93] s[0][9][94] s[0][9][95] s[0][9][96] s[0][9][97] s[0][9][98] s[0][9][99] s[0][9][100] s[0][9][101] s[0][9][102] s[0][9][103] s[0][9][104] s[0][9][105] s[0][9][106] s[0][9][107] s[0][9][108] s[0][9][109] s[0][9][110] s[0][9][111] s[0][9][112] s[0][9][113] s[0][9][114] s[0][9][115] s[0][9][116] s[0][9][117] s[0][9][118] s[0][9][119] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][2][7] s[1][2][8] s[1][2][9] s[1][2][10] s[1][2][11] s[1][2][12] s[1][2][13] s[1][2][14] s[1][2][15] s[1][2][16] s[1][2][17] s[1][2][18] s[1][2][19] s[1][2][20] s[1][2][21] s[1][2][22] s[1][2][23] s[1][2][24] s[1][2][25] s[1][2][26] s[1][2][27] s[1][2][28] s[1][2][29] s[1][2][30] s[1][2][31] s[1][2][32] s[1][2][33] s[1][2][34] s[1][2][35] s[1][2][36] s[1][2][37] s[1][2][38] s[1][2][39] s[1][2][40] s[1][2][41] s[1][2][42] s[1][2][43] s[1][2][44] s[1][2][45] s[1][2][46] s[1][2][47] s[1][2][48] s[1][2][49] s[1][2][50] s[1][2][51] s[1][2][52] s[1][2][53] s[1][2][54] s[1][2][55] s[1][2][56] s[1][2][57] s[1][2][58] s[1][2][59] s[1][2][60] s[1][2][61] s[1][2][62] s[1][2][63] s[1][2][64] s[1][2][65] s[1][2][66] s[1][2][67] s[1][2][68] s[1][2][69] s[1][2][70] s[1][2][71] s[1][2][72] s[1][2][73] s[1][2][74] s[1][2][75] s[1][2][76] s[1][2][77] s[1][2][78] s[1][2][79] s[1][2][80] s[1][2][81] s[1][2][82] s[1][2][83] s[1][2][84] s[1][2][85] s[1][2][86] s[1][2][87] s[1][2][88] s[1][2][89] s[1][2][90] s[1][2][91] s[1][2][92] s[1][2][93] s[1][2][94] s[1][2][95] s[1][2][96] s[1][2][97] s[1][2][98] s[1][2][99] s[1][2][100] s[1][2][101] s[1][2][102] s[1][2][103] s[1][2][104] s[1][2][105] s[1][2][106] s[1][2][107] s[1][2][108] s[1][2][109] s[1][2][110] s[1][2][111] s[1][2][112] s[1][2][113] s[1][2][114] s[1][2][115] s[1][2][116] s[1][2][117] s[1][2][118] s[1][2][119] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][3][7] s[1][3][8] s[1][3][9] s[1][3][10] s[1][3][11] s[1][3][12] s[1][3][13] s[1][3][14] s[1][3][15] s[1][3][16] s[1][3][17] s[1][3][18] s[1][3][19] s[1][3][20] s[1][3][21] s[1][3][22] s[1][3][23] s[1][3][24] s[1][3][25] s[1][3][26] s[1][3][27] s[1][3][28] s[1][3][29] s[1][3][30] s[1][3][31] s[1][3][32] s[1][3][33] s[1][3][34] s[1][3][35] s[1][3][36] s[1][3][37] s[1][3][38] s[1][3][39] s[1][3][40] s[1][3][41] s[1][3][42] s[1][3][43] s[1][3][44] s[1][3][45] s[1][3][46] s[1][3][47] s[1][3][48] s[1][3][49] s[1][3][50] s[1][3][51] s[1][3][52] s[1][3][53] s[1][3][54] s[1][3][55] s[1][3][56] s[1][3][57] s[1][3][58] s[1][3][59] s[1][3][60] s[1][3][61] s[1][3][62] s[1][3][63] s[1][3][64] s[1][3][65] s[1][3][66] s[1][3][67] s[1][3][68] s[1][3][69] s[1][3][70] s[1][3][71] s[1][3][72] s[1][3][73] s[1][3][74] s[1][3][75] s[1][3][76] s[1][3][77] s[1][3][78] s[1][3][79] s[1][3][80] s[1][3][81] s[1][3][82] s[1][3][83] s[1][3][84] s[1][3][85] s[1][3][86] s[1][3][87] s[1][3][88] s[1][3][89] s[1][3][90] s[1][3][91] s[1][3][92] s[1][3][93] s[1][3][94] s[1][3][95] s[1][3][96] s[1][3][97] s[1][3][98] s[1][3][99] s[1][3][100] s[1][3][101] s[1][3][102] s[1][3][103] s[1][3][104] s[1][3][105] s[1][3][106] s[1][3][107] s[1][3][108] s[1][3][109] s[1][3][110] s[1][3][111] s[1][3][112] s[1][3][113] s[1][3][114] s[1][3][115] s[1][3][116] s[1][3][117] s[1][3][118] s[1][3][119] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][4][7] s[1][4][8] s[1][4][9] s[1][4][10] s[1][4][11] s[1][4][12] s[1][4][13] s[1][4][14] s[1][4][15] s[1][4][16] s[1][4][17] s[1][4][18] s[1][4][19] s[1][4][20] s[1][4][21] s[1][4][22] s[1][4][23] s[1][4][24] s[1][4][25] s[1][4][26] s[1][4][27] s[1][4][28] s[1][4][29] s[1][4][30] s[1][4][31] s[1][4][32] s[1][4][33] s[1][4][34] s[1][4][35] s[1][4][36] s[1][4][37] s[1][4][38] s[1][4][39] s[1][4][40] s[1][4][41] s[1][4][42] s[1][4][43] s[1][4][44] s[1][4][45] s[1][4][46] s[1][4][47] s[1][4][48] s[1][4][49] s[1][4][50] s[1][4][51] s[1][4][52] s[1][4][53] s[1][4][54] s[1][4][55] s[1][4][56] s[1][4][57] s[1][4][58] s[1][4][59] s[1][4][60] s[1][4][61] s[1][4][62] s[1][4][63] s[1][4][64] s[1][4][65] s[1][4][66] s[1][4][67] s[1][4][68] s[1][4][69] s[1][4][70] s[1][4][71] s[1][4][72] s[1][4][73] s[1][4][74] s[1][4][75] s[1][4][76] s[1][4][77] s[1][4][78] s[1][4][79] s[1][4][80] s[1][4][81] s[1][4][82] s[1][4][83] s[1][4][84] s[1][4][85] s[1][4][86] s[1][4][87] s[1][4][88] s[1][4][89] s[1][4][90] s[1][4][91] s[1][4][92] s[1][4][93] s[1][4][94] s[1][4][95] s[1][4][96] s[1][4][97] s[1][4][98] s[1][4][99] s[1][4][100] s[1][4][101] s[1][4][102] s[1][4][103] s[1][4][104] s[1][4][105] s[1][4][106] s[1][4][107] s[1][4][108] s[1][4][109] s[1][4][110] s[1][4][111] s[1][4][112] s[1][4][113] s[1][4][114] s[1][4][115] s[1][4][116] s[1][4][117] s[1][4][118] s[1][4][119] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][5][7] s[1][5][8] s[1][5][9] s[1][5][10] s[1][5][11] s[1][5][12] s[1][5][13] s[1][5][14] s[1][5][15] s[1][5][16] s[1][5][17] s[1][5][18] s[1][5][19] s[1][5][20] s[1][5][21] s[1][5][22] s[1][5][23] s[1][5][24] s[1][5][25] s[1][5][26] s[1][5][27] s[1][5][28] s[1][5][29] s[1][5][30] s[1][5][31] s[1][5][32] s[1][5][33] s[1][5][34] s[1][5][35] s[1][5][36] s[1][5][37] s[1][5][38] s[1][5][39] s[1][5][40] s[1][5][41] s[1][5][42] s[1][5][43] s[1][5][44] s[1][5][45] s[1][5][46] s[1][5][47] s[1][5][48] s[1][5][49] s[1][5][50] s[1][5][51] s[1][5][52] s[1][5][53] s[1][5][54] s[1][5][55] s[1][5][56] s[1][5][57] s[1][5][58] s[1][5][59] s[1][5][60] s[1][5][61] s[1][5][62] s[1][5][63] s[1][5][64] s[1][5][65] s[1][5][66] s[1][5][67] s[1][5][68] s[1][5][69] s[1][5][70] s[1][5][71] s[1][5][72] s[1][5][73] s[1][5][74] s[1][5][75] s[1][5][76] s[1][5][77] s[1][5][78] s[1][5][79] s[1][5][80] s[1][5][81] s[1][5][82] s[1][5][83] s[1][5][84] s[1][5][85] s[1][5][86] s[1][5][87] s[1][5][88] s[1][5][89] s[1][5][90] s[1][5][91] s[1][5][92] s[1][5][93] s[1][5][94] s[1][5][95] s[1][5][96] s[1][5][97] s[1][5][98] s[1][5][99] s[1][5][100] s[1][5][101] s[1][5][102] s[1][5][103] s[1][5][104] s[1][5][105] s[1][5][106] s[1][5][107] s[1][5][108] s[1][5][109] s[1][5][110] s[1][5][111] s[1][5][112] s[1][5][113] s[1][5][114] s[1][5][115] s[1][5][116] s[1][5][117] s[1][5][118] s[1][5][119] s[1][6][0] s[1][6][1] s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[1][6][7] s[1][6][8] s[1][6][9] s[1][6][10] s[1][6][11] s[1][6][12] s[1][6][13] s[1][6][14] s[1][6][15] s[1][6][16] s[1][6][17] s[1][6][18] s[1][6][19] s[1][6][20] s[1][6][21] s[1][6][22] s[1][6][23] s[1][6][24] s[1][6][25] s[1][6][26] s[1][6][27] s[1][6][28] s[1][6][29] s[1][6][30] s[1][6][31] s[1][6][32] s[1][6][33] s[1][6][34] s[1][6][35] s[1][6][36] s[1][6][37] s[1][6][38] s[1][6][39] s[1][6][40] s[1][6][41] s[1][6][42] s[1][6][43] s[1][6][44] s[1][6][45] s[1][6][46] s[1][6][47] s[1][6][48] s[1][6][49] s[1][6][50] s[1][6][51] s[1][6][52] s[1][6][53] s[1][6][54] s[1][6][55] s[1][6][56] s[1][6][57] s[1][6][58] s[1][6][59] s[1][6][60] s[1][6][61] s[1][6][62] s[1][6][63] s[1][6][64] s[1][6][65] s[1][6][66] s[1][6][67] s[1][6][68] s[1][6][69] s[1][6][70] s[1][6][71] s[1][6][72] s[1][6][73] s[1][6][74] s[1][6][75] s[1][6][76] s[1][6][77] s[1][6][78] s[1][6][79] s[1][6][80] s[1][6][81] s[1][6][82] s[1][6][83] s[1][6][84] s[1][6][85] s[1][6][86] s[1][6][87] s[1][6][88] s[1][6][89] s[1][6][90] s[1][6][91] s[1][6][92] s[1][6][93] s[1][6][94] s[1][6][95] s[1][6][96] s[1][6][97] s[1][6][98] s[1][6][99] s[1][6][100] s[1][6][101] s[1][6][102] s[1][6][103] s[1][6][104] s[1][6][105] s[1][6][106] s[1][6][107] s[1][6][108] s[1][6][109] s[1][6][110] s[1][6][111] s[1][6][112] s[1][6][113] s[1][6][114] s[1][6][115] s[1][6][116] s[1][6][117] s[1][6][118] s[1][6][119] s[1][7][0] s[1][7][1] s[1][7][2] s[1][7][3] s[1][7][4] s[1][7][5] s[1][7][6] s[1][7][7] s[1][7][8] s[1][7][9] s[1][7][10] s[1][7][11] s[1][7][12] s[1][7][13] s[1][7][14] s[1][7][15] s[1][7][16] s[1][7][17] s[1][7][18] s[1][7][19] s[1][7][20] s[1][7][21] s[1][7][22] s[1][7][23] s[1][7][24] s[1][7][25] s[1][7][26] s[1][7][27] s[1][7][28] s[1][7][29] s[1][7][30] s[1][7][31] s[1][7][32] s[1][7][33] s[1][7][34] s[1][7][35] s[1][7][36] s[1][7][37] s[1][7][38] s[1][7][39] s[1][7][40] s[1][7][41] s[1][7][42] s[1][7][43] s[1][7][44] s[1][7][45] s[1][7][46] s[1][7][47] s[1][7][48] s[1][7][49] s[1][7][50] s[1][7][51] s[1][7][52] s[1][7][53] s[1][7][54] s[1][7][55] s[1][7][56] s[1][7][57] s[1][7][58] s[1][7][59] s[1][7][60] s[1][7][61] s[1][7][62] s[1][7][63] s[1][7][64] s[1][7][65] s[1][7][66] s[1][7][67] s[1][7][68] s[1][7][69] s[1][7][70] s[1][7][71] s[1][7][72] s[1][7][73] s[1][7][74] s[1][7][75] s[1][7][76] s[1][7][77] s[1][7][78] s[1][7][79] s[1][7][80] s[1][7][81] s[1][7][82] s[1][7][83] s[1][7][84] s[1][7][85] s[1][7][86] s[1][7][87] s[1][7][88] s[1][7][89] s[1][7][90] s[1][7][91] s[1][7][92] s[1][7][93] s[1][7][94] s[1][7][95] s[1][7][96] s[1][7][97] s[1][7][98] s[1][7][99] s[1][7][100] s[1][7][101] s[1][7][102] s[1][7][103] s[1][7][104] s[1][7][105] s[1][7][106] s[1][7][107] s[1][7][108] s[1][7][109] s[1][7][110] s[1][7][111] s[1][7][112] s[1][7][113] s[1][7][114] s[1][7][115] s[1][7][116] s[1][7][117] s[1][7][118] s[1][7][119] s[1][8][0] s[1][8][1] s[1][8][2] s[1][8][3] s[1][8][4] s[1][8][5] s[1][8][6] s[1][8][7] s[1][8][8] s[1][8][9] s[1][8][10] s[1][8][11] s[1][8][12] s[1][8][13] s[1][8][14] s[1][8][15] s[1][8][16] s[1][8][17] s[1][8][18] s[1][8][19] s[1][8][20] s[1][8][21] s[1][8][22] s[1][8][23] s[1][8][24] s[1][8][25] s[1][8][26] s[1][8][27] s[1][8][28] s[1][8][29] s[1][8][30] s[1][8][31] s[1][8][32] s[1][8][33] s[1][8][34] s[1][8][35] s[1][8][36] s[1][8][37] s[1][8][38] s[1][8][39] s[1][8][40] s[1][8][41] s[1][8][42] s[1][8][43] s[1][8][44] s[1][8][45] s[1][8][46] s[1][8][47] s[1][8][48] s[1][8][49] s[1][8][50] s[1][8][51] s[1][8][52] s[1][8][53] s[1][8][54] s[1][8][55] s[1][8][56] s[1][8][57] s[1][8][58] s[1][8][59] s[1][8][60] s[1][8][61] s[1][8][62] s[1][8][63] s[1][8][64] s[1][8][65] s[1][8][66] s[1][8][67] s[1][8][68] s[1][8][69] s[1][8][70] s[1][8][71] s[1][8][72] s[1][8][73] s[1][8][74] s[1][8][75] s[1][8][76] s[1][8][77] s[1][8][78] s[1][8][79] s[1][8][80] s[1][8][81] s[1][8][82] s[1][8][83] s[1][8][84] s[1][8][85] s[1][8][86] s[1][8][87] s[1][8][88] s[1][8][89] s[1][8][90] s[1][8][91] s[1][8][92] s[1][8][93] s[1][8][94] s[1][8][95] s[1][8][96] s[1][8][97] s[1][8][98] s[1][8][99] s[1][8][100] s[1][8][101] s[1][8][102] s[1][8][103] s[1][8][104] s[1][8][105] s[1][8][106] s[1][8][107] s[1][8][108] s[1][8][109] s[1][8][110] s[1][8][111] s[1][8][112] s[1][8][113] s[1][8][114] s[1][8][115] s[1][8][116] s[1][8][117] s[1][8][118] s[1][8][119] s[1][9][0] s[1][9][1] s[1][9][2] s[1][9][3] s[1][9][4] s[1][9][5] s[1][9][6] s[1][9][7] s[1][9][8] s[1][9][9] s[1][9][10] s[1][9][11] s[1][9][12] s[1][9][13] s[1][9][14] s[1][9][15] s[1][9][16] s[1][9][17] s[1][9][18] s[1][9][19] s[1][9][20] s[1][9][21] s[1][9][22] s[1][9][23] s[1][9][24] s[1][9][25] s[1][9][26] s[1][9][27] s[1][9][28] s[1][9][29] s[1][9][30] s[1][9][31] s[1][9][32] s[1][9][33] s[1][9][34] s[1][9][35] s[1][9][36] s[1][9][37] s[1][9][38] s[1][9][39] s[1][9][40] s[1][9][41] s[1][9][42] s[1][9][43] s[1][9][44] s[1][9][45] s[1][9][46] s[1][9][47] s[1][9][48] s[1][9][49] s[1][9][50] s[1][9][51] s[1][9][52] s[1][9][53] s[1][9][54] s[1][9][55] s[1][9][56] s[1][9][57] s[1][9][58] s[1][9][59] s[1][9][60] s[1][9][61] s[1][9][62] s[1][9][63] s[1][9][64] s[1][9][65] s[1][9][66] s[1][9][67] s[1][9][68] s[1][9][69] s[1][9][70] s[1][9][71] s[1][9][72] s[1][9][73] s[1][9][74] s[1][9][75] s[1][9][76] s[1][9][77] s[1][9][78] s[1][9][79] s[1][9][80] s[1][9][81] s[1][9][82] s[1][9][83] s[1][9][84] s[1][9][85] s[1][9][86] s[1][9][87] s[1][9][88] s[1][9][89] s[1][9][90] s[1][9][91] s[1][9][92] s[1][9][93] s[1][9][94] s[1][9][95] s[1][9][96] s[1][9][97] s[1][9][98] s[1][9][99] s[1][9][100] s[1][9][101] s[1][9][102] s[1][9][103] s[1][9][104] s[1][9][105] s[1][9][106] s[1][9][107] s[1][9][108] s[1][9][109] s[1][9][110] s[1][9][111] s[1][9][112] s[1][9][113] s[1][9][114] s[1][9][115] s[1][9][116] s[1][9][117] s[1][9][118] s[1][9][119] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][3][7] s[2][3][8] s[2][3][9] s[2][3][10] s[2][3][11] s[2][3][12] s[2][3][13] s[2][3][14] s[2][3][15] s[2][3][16] s[2][3][17] s[2][3][18] s[2][3][19] s[2][3][20] s[2][3][21] s[2][3][22] s[2][3][23] s[2][3][24] s[2][3][25] s[2][3][26] s[2][3][27] s[2][3][28] s[2][3][29] s[2][3][30] s[2][3][31] s[2][3][32] s[2][3][33] s[2][3][34] s[2][3][35] s[2][3][36] s[2][3][37] s[2][3][38] s[2][3][39] s[2][3][40] s[2][3][41] s[2][3][42] s[2][3][43] s[2][3][44] s[2][3][45] s[2][3][46] s[2][3][47] s[2][3][48] s[2][3][49] s[2][3][50] s[2][3][51] s[2][3][52] s[2][3][53] s[2][3][54] s[2][3][55] s[2][3][56] s[2][3][57] s[2][3][58] s[2][3][59] s[2][3][60] s[2][3][61] s[2][3][62] s[2][3][63] s[2][3][64] s[2][3][65] s[2][3][66] s[2][3][67] s[2][3][68] s[2][3][69] s[2][3][70] s[2][3][71] s[2][3][72] s[2][3][73] s[2][3][74] s[2][3][75] s[2][3][76] s[2][3][77] s[2][3][78] s[2][3][79] s[2][3][80] s[2][3][81] s[2][3][82] s[2][3][83] s[2][3][84] s[2][3][85] s[2][3][86] s[2][3][87] s[2][3][88] s[2][3][89] s[2][3][90] s[2][3][91] s[2][3][92] s[2][3][93] s[2][3][94] s[2][3][95] s[2][3][96] s[2][3][97] s[2][3][98] s[2][3][99] s[2][3][100] s[2][3][101] s[2][3][102] s[2][3][103] s[2][3][104] s[2][3][105] s[2][3][106] s[2][3][107] s[2][3][108] s[2][3][109] s[2][3][110] s[2][3][111] s[2][3][112] s[2][3][113] s[2][3][114] s[2][3][115] s[2][3][116] s[2][3][117] s[2][3][118] s[2][3][119] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][4][7] s[2][4][8] s[2][4][9] s[2][4][10] s[2][4][11] s[2][4][12] s[2][4][13] s[2][4][14] s[2][4][15] s[2][4][16] s[2][4][17] s[2][4][18] s[2][4][19] s[2][4][20] s[2][4][21] s[2][4][22] s[2][4][23] s[2][4][24] s[2][4][25] s[2][4][26] s[2][4][27] s[2][4][28] s[2][4][29] s[2][4][30] s[2][4][31] s[2][4][32] s[2][4][33] s[2][4][34] s[2][4][35] s[2][4][36] s[2][4][37] s[2][4][38] s[2][4][39] s[2][4][40] s[2][4][41] s[2][4][42] s[2][4][43] s[2][4][44] s[2][4][45] s[2][4][46] s[2][4][47] s[2][4][48] s[2][4][49] s[2][4][50] s[2][4][51] s[2][4][52] s[2][4][53] s[2][4][54] s[2][4][55] s[2][4][56] s[2][4][57] s[2][4][58] s[2][4][59] s[2][4][60] s[2][4][61] s[2][4][62] s[2][4][63] s[2][4][64] s[2][4][65] s[2][4][66] s[2][4][67] s[2][4][68] s[2][4][69] s[2][4][70] s[2][4][71] s[2][4][72] s[2][4][73] s[2][4][74] s[2][4][75] s[2][4][76] s[2][4][77] s[2][4][78] s[2][4][79] s[2][4][80] s[2][4][81] s[2][4][82] s[2][4][83] s[2][4][84] s[2][4][85] s[2][4][86] s[2][4][87] s[2][4][88] s[2][4][89] s[2][4][90] s[2][4][91] s[2][4][92] s[2][4][93] s[2][4][94] s[2][4][95] s[2][4][96] s[2][4][97] s[2][4][98] s[2][4][99] s[2][4][100] s[2][4][101] s[2][4][102] s[2][4][103] s[2][4][104] s[2][4][105] s[2][4][106] s[2][4][107] s[2][4][108] s[2][4][109] s[2][4][110] s[2][4][111] s[2][4][112] s[2][4][113] s[2][4][114] s[2][4][115] s[2][4][116] s[2][4][117] s[2][4][118] s[2][4][119] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][5][7] s[2][5][8] s[2][5][9] s[2][5][10] s[2][5][11] s[2][5][12] s[2][5][13] s[2][5][14] s[2][5][15] s[2][5][16] s[2][5][17] s[2][5][18] s[2][5][19] s[2][5][20] s[2][5][21] s[2][5][22] s[2][5][23] s[2][5][24] s[2][5][25] s[2][5][26] s[2][5][27] s[2][5][28] s[2][5][29] s[2][5][30] s[2][5][31] s[2][5][32] s[2][5][33] s[2][5][34] s[2][5][35] s[2][5][36] s[2][5][37] s[2][5][38] s[2][5][39] s[2][5][40] s[2][5][41] s[2][5][42] s[2][5][43] s[2][5][44] s[2][5][45] s[2][5][46] s[2][5][47] s[2][5][48] s[2][5][49] s[2][5][50] s[2][5][51] s[2][5][52] s[2][5][53] s[2][5][54] s[2][5][55] s[2][5][56] s[2][5][57] s[2][5][58] s[2][5][59] s[2][5][60] s[2][5][61] s[2][5][62] s[2][5][63] s[2][5][64] s[2][5][65] s[2][5][66] s[2][5][67] s[2][5][68] s[2][5][69] s[2][5][70] s[2][5][71] s[2][5][72] s[2][5][73] s[2][5][74] s[2][5][75] s[2][5][76] s[2][5][77] s[2][5][78] s[2][5][79] s[2][5][80] s[2][5][81] s[2][5][82] s[2][5][83] s[2][5][84] s[2][5][85] s[2][5][86] s[2][5][87] s[2][5][88] s[2][5][89] s[2][5][90] s[2][5][91] s[2][5][92] s[2][5][93] s[2][5][94] s[2][5][95] s[2][5][96] s[2][5][97] s[2][5][98] s[2][5][99] s[2][5][100] s[2][5][101] s[2][5][102] s[2][5][103] s[2][5][104] s[2][5][105] s[2][5][106] s[2][5][107] s[2][5][108] s[2][5][109] s[2][5][110] s[2][5][111] s[2][5][112] s[2][5][113] s[2][5][114] s[2][5][115] s[2][5][116] s[2][5][117] s[2][5][118] s[2][5][119] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[2][6][7] s[2][6][8] s[2][6][9] s[2][6][10] s[2][6][11] s[2][6][12] s[2][6][13] s[2][6][14] s[2][6][15] s[2][6][16] s[2][6][17] s[2][6][18] s[2][6][19] s[2][6][20] s[2][6][21] s[2][6][22] s[2][6][23] s[2][6][24] s[2][6][25] s[2][6][26] s[2][6][27] s[2][6][28] s[2][6][29] s[2][6][30] s[2][6][31] s[2][6][32] s[2][6][33] s[2][6][34] s[2][6][35] s[2][6][36] s[2][6][37] s[2][6][38] s[2][6][39] s[2][6][40] s[2][6][41] s[2][6][42] s[2][6][43] s[2][6][44] s[2][6][45] s[2][6][46] s[2][6][47] s[2][6][48] s[2][6][49] s[2][6][50] s[2][6][51] s[2][6][52] s[2][6][53] s[2][6][54] s[2][6][55] s[2][6][56] s[2][6][57] s[2][6][58] s[2][6][59] s[2][6][60] s[2][6][61] s[2][6][62] s[2][6][63] s[2][6][64] s[2][6][65] s[2][6][66] s[2][6][67] s[2][6][68] s[2][6][69] s[2][6][70] s[2][6][71] s[2][6][72] s[2][6][73] s[2][6][74] s[2][6][75] s[2][6][76] s[2][6][77] s[2][6][78] s[2][6][79] s[2][6][80] s[2][6][81] s[2][6][82] s[2][6][83] s[2][6][84] s[2][6][85] s[2][6][86] s[2][6][87] s[2][6][88] s[2][6][89] s[2][6][90] s[2][6][91] s[2][6][92] s[2][6][93] s[2][6][94] s[2][6][95] s[2][6][96] s[2][6][97] s[2][6][98] s[2][6][99] s[2][6][100] s[2][6][101] s[2][6][102] s[2][6][103] s[2][6][104] s[2][6][105] s[2][6][106] s[2][6][107] s[2][6][108] s[2][6][109] s[2][6][110] s[2][6][111] s[2][6][112] s[2][6][113] s[2][6][114] s[2][6][115] s[2][6][116] s[2][6][117] s[2][6][118] s[2][6][119] s[2][7][0] s[2][7][1] s[2][7][2] s[2][7][3] s[2][7][4] s[2][7][5] s[2][7][6] s[2][7][7] s[2][7][8] s[2][7][9] s[2][7][10] s[2][7][11] s[2][7][12] s[2][7][13] s[2][7][14] s[2][7][15] s[2][7][16] s[2][7][17] s[2][7][18] s[2][7][19] s[2][7][20] s[2][7][21] s[2][7][22] s[2][7][23] s[2][7][24] s[2][7][25] s[2][7][26] s[2][7][27] s[2][7][28] s[2][7][29] s[2][7][30] s[2][7][31] s[2][7][32] s[2][7][33] s[2][7][34] s[2][7][35] s[2][7][36] s[2][7][37] s[2][7][38] s[2][7][39] s[2][7][40] s[2][7][41] s[2][7][42] s[2][7][43] s[2][7][44] s[2][7][45] s[2][7][46] s[2][7][47] s[2][7][48] s[2][7][49] s[2][7][50] s[2][7][51] s[2][7][52] s[2][7][53] s[2][7][54] s[2][7][55] s[2][7][56] s[2][7][57] s[2][7][58] s[2][7][59] s[2][7][60] s[2][7][61] s[2][7][62] s[2][7][63] s[2][7][64] s[2][7][65] s[2][7][66] s[2][7][67] s[2][7][68] s[2][7][69] s[2][7][70] s[2][7][71] s[2][7][72] s[2][7][73] s[2][7][74] s[2][7][75] s[2][7][76] s[2][7][77] s[2][7][78] s[2][7][79] s[2][7][80] s[2][7][81] s[2][7][82] s[2][7][83] s[2][7][84] s[2][7][85] s[2][7][86] s[2][7][87] s[2][7][88] s[2][7][89] s[2][7][90] s[2][7][91] s[2][7][92] s[2][7][93] s[2][7][94] s[2][7][95] s[2][7][96] s[2][7][97] s[2][7][98] s[2][7][99] s[2][7][100] s[2][7][101] s[2][7][102] s[2][7][103] s[2][7][104] s[2][7][105] s[2][7][106] s[2][7][107] s[2][7][108] s[2][7][109] s[2][7][110] s[2][7][111] s[2][7][112] s[2][7][113] s[2][7][114] s[2][7][115] s[2][7][116] s[2][7][117] s[2][7][118] s[2][7][119] s[2][8][0] s[2][8][1] s[2][8][2] s[2][8][3] s[2][8][4] s[2][8][5] s[2][8][6] s[2][8][7] s[2][8][8] s[2][8][9] s[2][8][10] s[2][8][11] s[2][8][12] s[2][8][13] s[2][8][14] s[2][8][15] s[2][8][16] s[2][8][17] s[2][8][18] s[2][8][19] s[2][8][20] s[2][8][21] s[2][8][22] s[2][8][23] s[2][8][24] s[2][8][25] s[2][8][26] s[2][8][27] s[2][8][28] s[2][8][29] s[2][8][30] s[2][8][31] s[2][8][32] s[2][8][33] s[2][8][34] s[2][8][35] s[2][8][36] s[2][8][37] s[2][8][38] s[2][8][39] s[2][8][40] s[2][8][41] s[2][8][42] s[2][8][43] s[2][8][44] s[2][8][45] s[2][8][46] s[2][8][47] s[2][8][48] s[2][8][49] s[2][8][50] s[2][8][51] s[2][8][52] s[2][8][53] s[2][8][54] s[2][8][55] s[2][8][56] s[2][8][57] s[2][8][58] s[2][8][59] s[2][8][60] s[2][8][61] s[2][8][62] s[2][8][63] s[2][8][64] s[2][8][65] s[2][8][66] s[2][8][67] s[2][8][68] s[2][8][69] s[2][8][70] s[2][8][71] s[2][8][72] s[2][8][73] s[2][8][74] s[2][8][75] s[2][8][76] s[2][8][77] s[2][8][78] s[2][8][79] s[2][8][80] s[2][8][81] s[2][8][82] s[2][8][83] s[2][8][84] s[2][8][85] s[2][8][86] s[2][8][87] s[2][8][88] s[2][8][89] s[2][8][90] s[2][8][91] s[2][8][92] s[2][8][93] s[2][8][94] s[2][8][95] s[2][8][96] s[2][8][97] s[2][8][98] s[2][8][99] s[2][8][100] s[2][8][101] s[2][8][102] s[2][8][103] s[2][8][104] s[2][8][105] s[2][8][106] s[2][8][107] s[2][8][108] s[2][8][109] s[2][8][110] s[2][8][111] s[2][8][112] s[2][8][113] s[2][8][114] s[2][8][115] s[2][8][116] s[2][8][117] s[2][8][118] s[2][8][119] s[2][9][0] s[2][9][1] s[2][9][2] s[2][9][3] s[2][9][4] s[2][9][5] s[2][9][6] s[2][9][7] s[2][9][8] s[2][9][9] s[2][9][10] s[2][9][11] s[2][9][12] s[2][9][13] s[2][9][14] s[2][9][15] s[2][9][16] s[2][9][17] s[2][9][18] s[2][9][19] s[2][9][20] s[2][9][21] s[2][9][22] s[2][9][23] s[2][9][24] s[2][9][25] s[2][9][26] s[2][9][27] s[2][9][28] s[2][9][29] s[2][9][30] s[2][9][31] s[2][9][32] s[2][9][33] s[2][9][34] s[2][9][35] s[2][9][36] s[2][9][37] s[2][9][38] s[2][9][39] s[2][9][40] s[2][9][41] s[2][9][42] s[2][9][43] s[2][9][44] s[2][9][45] s[2][9][46] s[2][9][47] s[2][9][48] s[2][9][49] s[2][9][50] s[2][9][51] s[2][9][52] s[2][9][53] s[2][9][54] s[2][9][55] s[2][9][56] s[2][9][57] s[2][9][58] s[2][9][59] s[2][9][60] s[2][9][61] s[2][9][62] s[2][9][63] s[2][9][64] s[2][9][65] s[2][9][66] s[2][9][67] s[2][9][68] s[2][9][69] s[2][9][70] s[2][9][71] s[2][9][72] s[2][9][73] s[2][9][74] s[2][9][75] s[2][9][76] s[2][9][77] s[2][9][78] s[2][9][79] s[2][9][80] s[2][9][81] s[2][9][82] s[2][9][83] s[2][9][84] s[2][9][85] s[2][9][86] s[2][9][87] s[2][9][88] s[2][9][89] s[2][9][90] s[2][9][91] s[2][9][92] s[2][9][93] s[2][9][94] s[2][9][95] s[2][9][96] s[2][9][97] s[2][9][98] s[2][9][99] s[2][9][100] s[2][9][101] s[2][9][102] s[2][9][103] s[2][9][104] s[2][9][105] s[2][9][106] s[2][9][107] s[2][9][108] s[2][9][109] s[2][9][110] s[2][9][111] s[2][9][112] s[2][9][113] s[2][9][114] s[2][9][115] s[2][9][116] s[2][9][117] s[2][9][118] s[2][9][119] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][4][7] s[3][4][8] s[3][4][9] s[3][4][10] s[3][4][11] s[3][4][12] s[3][4][13] s[3][4][14] s[3][4][15] s[3][4][16] s[3][4][17] s[3][4][18] s[3][4][19] s[3][4][20] s[3][4][21] s[3][4][22] s[3][4][23] s[3][4][24] s[3][4][25] s[3][4][26] s[3][4][27] s[3][4][28] s[3][4][29] s[3][4][30] s[3][4][31] s[3][4][32] s[3][4][33] s[3][4][34] s[3][4][35] s[3][4][36] s[3][4][37] s[3][4][38] s[3][4][39] s[3][4][40] s[3][4][41] s[3][4][42] s[3][4][43] s[3][4][44] s[3][4][45] s[3][4][46] s[3][4][47] s[3][4][48] s[3][4][49] s[3][4][50] s[3][4][51] s[3][4][52] s[3][4][53] s[3][4][54] s[3][4][55] s[3][4][56] s[3][4][57] s[3][4][58] s[3][4][59] s[3][4][60] s[3][4][61] s[3][4][62] s[3][4][63] s[3][4][64] s[3][4][65] s[3][4][66] s[3][4][67] s[3][4][68] s[3][4][69] s[3][4][70] s[3][4][71] s[3][4][72] s[3][4][73] s[3][4][74] s[3][4][75] s[3][4][76] s[3][4][77] s[3][4][78] s[3][4][79] s[3][4][80] s[3][4][81] s[3][4][82] s[3][4][83] s[3][4][84] s[3][4][85] s[3][4][86] s[3][4][87] s[3][4][88] s[3][4][89] s[3][4][90] s[3][4][91] s[3][4][92] s[3][4][93] s[3][4][94] s[3][4][95] s[3][4][96] s[3][4][97] s[3][4][98] s[3][4][99] s[3][4][100] s[3][4][101] s[3][4][102] s[3][4][103] s[3][4][104] s[3][4][105] s[3][4][106] s[3][4][107] s[3][4][108] s[3][4][109] s[3][4][110] s[3][4][111] s[3][4][112] s[3][4][113] s[3][4][114] s[3][4][115] s[3][4][116] s[3][4][117] s[3][4][118] s[3][4][119] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][5][7] s[3][5][8] s[3][5][9] s[3][5][10] s[3][5][11] s[3][5][12] s[3][5][13] s[3][5][14] s[3][5][15] s[3][5][16] s[3][5][17] s[3][5][18] s[3][5][19] s[3][5][20] s[3][5][21] s[3][5][22] s[3][5][23] s[3][5][24] s[3][5][25] s[3][5][26] s[3][5][27] s[3][5][28] s[3][5][29] s[3][5][30] s[3][5][31] s[3][5][32] s[3][5][33] s[3][5][34] s[3][5][35] s[3][5][36] s[3][5][37] s[3][5][38] s[3][5][39] s[3][5][40] s[3][5][41] s[3][5][42] s[3][5][43] s[3][5][44] s[3][5][45] s[3][5][46] s[3][5][47] s[3][5][48] s[3][5][49] s[3][5][50] s[3][5][51] s[3][5][52] s[3][5][53] s[3][5][54] s[3][5][55] s[3][5][56] s[3][5][57] s[3][5][58] s[3][5][59] s[3][5][60] s[3][5][61] s[3][5][62] s[3][5][63] s[3][5][64] s[3][5][65] s[3][5][66] s[3][5][67] s[3][5][68] s[3][5][69] s[3][5][70] s[3][5][71] s[3][5][72] s[3][5][73] s[3][5][74] s[3][5][75] s[3][5][76] s[3][5][77] s[3][5][78] s[3][5][79] s[3][5][80] s[3][5][81] s[3][5][82] s[3][5][83] s[3][5][84] s[3][5][85] s[3][5][86] s[3][5][87] s[3][5][88] s[3][5][89] s[3][5][90] s[3][5][91] s[3][5][92] s[3][5][93] s[3][5][94] s[3][5][95] s[3][5][96] s[3][5][97] s[3][5][98] s[3][5][99] s[3][5][100] s[3][5][101] s[3][5][102] s[3][5][103] s[3][5][104] s[3][5][105] s[3][5][106] s[3][5][107] s[3][5][108] s[3][5][109] s[3][5][110] s[3][5][111] s[3][5][112] s[3][5][113] s[3][5][114] s[3][5][115] s[3][5][116] s[3][5][117] s[3][5][118] s[3][5][119] s[3][6][0] s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[3][6][7] s[3][6][8] s[3][6][9] s[3][6][10] s[3][6][11] s[3][6][12] s[3][6][13] s[3][6][14] s[3][6][15] s[3][6][16] s[3][6][17] s[3][6][18] s[3][6][19] s[3][6][20] s[3][6][21] s[3][6][22] s[3][6][23] s[3][6][24] s[3][6][25] s[3][6][26] s[3][6][27] s[3][6][28] s[3][6][29] s[3][6][30] s[3][6][31] s[3][6][32] s[3][6][33] s[3][6][34] s[3][6][35] s[3][6][36] s[3][6][37] s[3][6][38] s[3][6][39] s[3][6][40] s[3][6][41] s[3][6][42] s[3][6][43] s[3][6][44] s[3][6][45] s[3][6][46] s[3][6][47] s[3][6][48] s[3][6][49] s[3][6][50] s[3][6][51] s[3][6][52] s[3][6][53] s[3][6][54] s[3][6][55] s[3][6][56] s[3][6][57] s[3][6][58] s[3][6][59] s[3][6][60] s[3][6][61] s[3][6][62] s[3][6][63] s[3][6][64] s[3][6][65] s[3][6][66] s[3][6][67] s[3][6][68] s[3][6][69] s[3][6][70] s[3][6][71] s[3][6][72] s[3][6][73] s[3][6][74] s[3][6][75] s[3][6][76] s[3][6][77] s[3][6][78] s[3][6][79] s[3][6][80] s[3][6][81] s[3][6][82] s[3][6][83] s[3][6][84] s[3][6][85] s[3][6][86] s[3][6][87] s[3][6][88] s[3][6][89] s[3][6][90] s[3][6][91] s[3][6][92] s[3][6][93] s[3][6][94] s[3][6][95] s[3][6][96] s[3][6][97] s[3][6][98] s[3][6][99] s[3][6][100] s[3][6][101] s[3][6][102] s[3][6][103] s[3][6][104] s[3][6][105] s[3][6][106] s[3][6][107] s[3][6][108] s[3][6][109] s[3][6][110] s[3][6][111] s[3][6][112] s[3][6][113] s[3][6][114] s[3][6][115] s[3][6][116] s[3][6][117] s[3][6][118] s[3][6][119] s[3][7][0] s[3][7][1] s[3][7][2] s[3][7][3] s[3][7][4] s[3][7][5] s[3][7][6] s[3][7][7] s[3][7][8] s[3][7][9] s[3][7][10] s[3][7][11] s[3][7][12] s[3][7][13] s[3][7][14] s[3][7][15] s[3][7][16] s[3][7][17] s[3][7][18] s[3][7][19] s[3][7][20] s[3][7][21] s[3][7][22] s[3][7][23] s[3][7][24] s[3][7][25] s[3][7][26] s[3][7][27] s[3][7][28] s[3][7][29] s[3][7][30] s[3][7][31] s[3][7][32] s[3][7][33] s[3][7][34] s[3][7][35] s[3][7][36] s[3][7][37] s[3][7][38] s[3][7][39] s[3][7][40] s[3][7][41] s[3][7][42] s[3][7][43] s[3][7][44] s[3][7][45] s[3][7][46] s[3][7][47] s[3][7][48] s[3][7][49] s[3][7][50] s[3][7][51] s[3][7][52] s[3][7][53] s[3][7][54] s[3][7][55] s[3][7][56] s[3][7][57] s[3][7][58] s[3][7][59] s[3][7][60] s[3][7][61] s[3][7][62] s[3][7][63] s[3][7][64] s[3][7][65] s[3][7][66] s[3][7][67] s[3][7][68] s[3][7][69] s[3][7][70] s[3][7][71] s[3][7][72] s[3][7][73] s[3][7][74] s[3][7][75] s[3][7][76] s[3][7][77] s[3][7][78] s[3][7][79] s[3][7][80] s[3][7][81] s[3][7][82] s[3][7][83] s[3][7][84] s[3][7][85] s[3][7][86] s[3][7][87] s[3][7][88] s[3][7][89] s[3][7][90] s[3][7][91] s[3][7][92] s[3][7][93] s[3][7][94] s[3][7][95] s[3][7][96] s[3][7][97] s[3][7][98] s[3][7][99] s[3][7][100] s[3][7][101] s[3][7][102] s[3][7][103] s[3][7][104] s[3][7][105] s[3][7][106] s[3][7][107] s[3][7][108] s[3][7][109] s[3][7][110] s[3][7][111] s[3][7][112] s[3][7][113] s[3][7][114] s[3][7][115] s[3][7][116] s[3][7][117] s[3][7][118] s[3][7][119] s[3][8][0] s[3][8][1] s[3][8][2] s[3][8][3] s[3][8][4] s[3][8][5] s[3][8][6] s[3][8][7] s[3][8][8] s[3][8][9] s[3][8][10] s[3][8][11] s[3][8][12] s[3][8][13] s[3][8][14] s[3][8][15] s[3][8][16] s[3][8][17] s[3][8][18] s[3][8][19] s[3][8][20] s[3][8][21] s[3][8][22] s[3][8][23] s[3][8][24] s[3][8][25] s[3][8][26] s[3][8][27] s[3][8][28] s[3][8][29] s[3][8][30] s[3][8][31] s[3][8][32] s[3][8][33] s[3][8][34] s[3][8][35] s[3][8][36] s[3][8][37] s[3][8][38] s[3][8][39] s[3][8][40] s[3][8][41] s[3][8][42] s[3][8][43] s[3][8][44] s[3][8][45] s[3][8][46] s[3][8][47] s[3][8][48] s[3][8][49] s[3][8][50] s[3][8][51] s[3][8][52] s[3][8][53] s[3][8][54] s[3][8][55] s[3][8][56] s[3][8][57] s[3][8][58] s[3][8][59] s[3][8][60] s[3][8][61] s[3][8][62] s[3][8][63] s[3][8][64] s[3][8][65] s[3][8][66] s[3][8][67] s[3][8][68] s[3][8][69] s[3][8][70] s[3][8][71] s[3][8][72] s[3][8][73] s[3][8][74] s[3][8][75] s[3][8][76] s[3][8][77] s[3][8][78] s[3][8][79] s[3][8][80] s[3][8][81] s[3][8][82] s[3][8][83] s[3][8][84] s[3][8][85] s[3][8][86] s[3][8][87] s[3][8][88] s[3][8][89] s[3][8][90] s[3][8][91] s[3][8][92] s[3][8][93] s[3][8][94] s[3][8][95] s[3][8][96] s[3][8][97] s[3][8][98] s[3][8][99] s[3][8][100] s[3][8][101] s[3][8][102] s[3][8][103] s[3][8][104] s[3][8][105] s[3][8][106] s[3][8][107] s[3][8][108] s[3][8][109] s[3][8][110] s[3][8][111] s[3][8][112] s[3][8][113] s[3][8][114] s[3][8][115] s[3][8][116] s[3][8][117] s[3][8][118] s[3][8][119] s[3][9][0] s[3][9][1] s[3][9][2] s[3][9][3] s[3][9][4] s[3][9][5] s[3][9][6] s[3][9][7] s[3][9][8] s[3][9][9] s[3][9][10] s[3][9][11] s[3][9][12] s[3][9][13] s[3][9][14] s[3][9][15] s[3][9][16] s[3][9][17] s[3][9][18] s[3][9][19] s[3][9][20] s[3][9][21] s[3][9][22] s[3][9][23] s[3][9][24] s[3][9][25] s[3][9][26] s[3][9][27] s[3][9][28] s[3][9][29] s[3][9][30] s[3][9][31] s[3][9][32] s[3][9][33] s[3][9][34] s[3][9][35] s[3][9][36] s[3][9][37] s[3][9][38] s[3][9][39] s[3][9][40] s[3][9][41] s[3][9][42] s[3][9][43] s[3][9][44] s[3][9][45] s[3][9][46] s[3][9][47] s[3][9][48] s[3][9][49] s[3][9][50] s[3][9][51] s[3][9][52] s[3][9][53] s[3][9][54] s[3][9][55] s[3][9][56] s[3][9][57] s[3][9][58] s[3][9][59] s[3][9][60] s[3][9][61] s[3][9][62] s[3][9][63] s[3][9][64] s[3][9][65] s[3][9][66] s[3][9][67] s[3][9][68] s[3][9][69] s[3][9][70] s[3][9][71] s[3][9][72] s[3][9][73] s[3][9][74] s[3][9][75] s[3][9][76] s[3][9][77] s[3][9][78] s[3][9][79] s[3][9][80] s[3][9][81] s[3][9][82] s[3][9][83] s[3][9][84] s[3][9][85] s[3][9][86] s[3][9][87] s[3][9][88] s[3][9][89] s[3][9][90] s[3][9][91] s[3][9][92] s[3][9][93] s[3][9][94] s[3][9][95] s[3][9][96] s[3][9][97] s[3][9][98] s[3][9][99] s[3][9][100] s[3][9][101] s[3][9][102] s[3][9][103] s[3][9][104] s[3][9][105] s[3][9][106] s[3][9][107] s[3][9][108] s[3][9][109] s[3][9][110] s[3][9][111] s[3][9][112] s[3][9][113] s[3][9][114] s[3][9][115] s[3][9][116] s[3][9][117] s[3][9][118] s[3][9][119] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][5][7] s[4][5][8] s[4][5][9] s[4][5][10] s[4][5][11] s[4][5][12] s[4][5][13] s[4][5][14] s[4][5][15] s[4][5][16] s[4][5][17] s[4][5][18] s[4][5][19] s[4][5][20] s[4][5][21] s[4][5][22] s[4][5][23] s[4][5][24] s[4][5][25] s[4][5][26] s[4][5][27] s[4][5][28] s[4][5][29] s[4][5][30] s[4][5][31] s[4][5][32] s[4][5][33] s[4][5][34] s[4][5][35] s[4][5][36] s[4][5][37] s[4][5][38] s[4][5][39] s[4][5][40] s[4][5][41] s[4][5][42] s[4][5][43] s[4][5][44] s[4][5][45] s[4][5][46] s[4][5][47] s[4][5][48] s[4][5][49] s[4][5][50] s[4][5][51] s[4][5][52] s[4][5][53] s[4][5][54] s[4][5][55] s[4][5][56] s[4][5][57] s[4][5][58] s[4][5][59] s[4][5][60] s[4][5][61] s[4][5][62] s[4][5][63] s[4][5][64] s[4][5][65] s[4][5][66] s[4][5][67] s[4][5][68] s[4][5][69] s[4][5][70] s[4][5][71] s[4][5][72] s[4][5][73] s[4][5][74] s[4][5][75] s[4][5][76] s[4][5][77] s[4][5][78] s[4][5][79] s[4][5][80] s[4][5][81] s[4][5][82] s[4][5][83] s[4][5][84] s[4][5][85] s[4][5][86] s[4][5][87] s[4][5][88] s[4][5][89] s[4][5][90] s[4][5][91] s[4][5][92] s[4][5][93] s[4][5][94] s[4][5][95] s[4][5][96] s[4][5][97] s[4][5][98] s[4][5][99] s[4][5][100] s[4][5][101] s[4][5][102] s[4][5][103] s[4][5][104] s[4][5][105] s[4][5][106] s[4][5][107] s[4][5][108] s[4][5][109] s[4][5][110] s[4][5][111] s[4][5][112] s[4][5][113] s[4][5][114] s[4][5][115] s[4][5][116] s[4][5][117] s[4][5][118] s[4][5][119] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[4][6][7] s[4][6][8] s[4][6][9] s[4][6][10] s[4][6][11] s[4][6][12] s[4][6][13] s[4][6][14] s[4][6][15] s[4][6][16] s[4][6][17] s[4][6][18] s[4][6][19] s[4][6][20] s[4][6][21] s[4][6][22] s[4][6][23] s[4][6][24] s[4][6][25] s[4][6][26] s[4][6][27] s[4][6][28] s[4][6][29] s[4][6][30] s[4][6][31] s[4][6][32] s[4][6][33] s[4][6][34] s[4][6][35] s[4][6][36] s[4][6][37] s[4][6][38] s[4][6][39] s[4][6][40] s[4][6][41] s[4][6][42] s[4][6][43] s[4][6][44] s[4][6][45] s[4][6][46] s[4][6][47] s[4][6][48] s[4][6][49] s[4][6][50] s[4][6][51] s[4][6][52] s[4][6][53] s[4][6][54] s[4][6][55] s[4][6][56] s[4][6][57] s[4][6][58] s[4][6][59] s[4][6][60] s[4][6][61] s[4][6][62] s[4][6][63] s[4][6][64] s[4][6][65] s[4][6][66] s[4][6][67] s[4][6][68] s[4][6][69] s[4][6][70] s[4][6][71] s[4][6][72] s[4][6][73] s[4][6][74] s[4][6][75] s[4][6][76] s[4][6][77] s[4][6][78] s[4][6][79] s[4][6][80] s[4][6][81] s[4][6][82] s[4][6][83] s[4][6][84] s[4][6][85] s[4][6][86] s[4][6][87] s[4][6][88] s[4][6][89] s[4][6][90] s[4][6][91] s[4][6][92] s[4][6][93] s[4][6][94] s[4][6][95] s[4][6][96] s[4][6][97] s[4][6][98] s[4][6][99] s[4][6][100] s[4][6][101] s[4][6][102] s[4][6][103] s[4][6][104] s[4][6][105] s[4][6][106] s[4][6][107] s[4][6][108] s[4][6][109] s[4][6][110] s[4][6][111] s[4][6][112] s[4][6][113] s[4][6][114] s[4][6][115] s[4][6][116] s[4][6][117] s[4][6][118] s[4][6][119] s[4][7][0] s[4][7][1] s[4][7][2] s[4][7][3] s[4][7][4] s[4][7][5] s[4][7][6] s[4][7][7] s[4][7][8] s[4][7][9] s[4][7][10] s[4][7][11] s[4][7][12] s[4][7][13] s[4][7][14] s[4][7][15] s[4][7][16] s[4][7][17] s[4][7][18] s[4][7][19] s[4][7][20] s[4][7][21] s[4][7][22] s[4][7][23] s[4][7][24] s[4][7][25] s[4][7][26] s[4][7][27] s[4][7][28] s[4][7][29] s[4][7][30] s[4][7][31] s[4][7][32] s[4][7][33] s[4][7][34] s[4][7][35] s[4][7][36] s[4][7][37] s[4][7][38] s[4][7][39] s[4][7][40] s[4][7][41] s[4][7][42] s[4][7][43] s[4][7][44] s[4][7][45] s[4][7][46] s[4][7][47] s[4][7][48] s[4][7][49] s[4][7][50] s[4][7][51] s[4][7][52] s[4][7][53] s[4][7][54] s[4][7][55] s[4][7][56] s[4][7][57] s[4][7][58] s[4][7][59] s[4][7][60] s[4][7][61] s[4][7][62] s[4][7][63] s[4][7][64] s[4][7][65] s[4][7][66] s[4][7][67] s[4][7][68] s[4][7][69] s[4][7][70] s[4][7][71] s[4][7][72] s[4][7][73] s[4][7][74] s[4][7][75] s[4][7][76] s[4][7][77] s[4][7][78] s[4][7][79] s[4][7][80] s[4][7][81] s[4][7][82] s[4][7][83] s[4][7][84] s[4][7][85] s[4][7][86] s[4][7][87] s[4][7][88] s[4][7][89] s[4][7][90] s[4][7][91] s[4][7][92] s[4][7][93] s[4][7][94] s[4][7][95] s[4][7][96] s[4][7][97] s[4][7][98] s[4][7][99] s[4][7][100] s[4][7][101] s[4][7][102] s[4][7][103] s[4][7][104] s[4][7][105] s[4][7][106] s[4][7][107] s[4][7][108] s[4][7][109] s[4][7][110] s[4][7][111] s[4][7][112] s[4][7][113] s[4][7][114] s[4][7][115] s[4][7][116] s[4][7][117] s[4][7][118] s[4][7][119] s[4][8][0] s[4][8][1] s[4][8][2] s[4][8][3] s[4][8][4] s[4][8][5] s[4][8][6] s[4][8][7] s[4][8][8] s[4][8][9] s[4][8][10] s[4][8][11] s[4][8][12] s[4][8][13] s[4][8][14] s[4][8][15] s[4][8][16] s[4][8][17] s[4][8][18] s[4][8][19] s[4][8][20] s[4][8][21] s[4][8][22] s[4][8][23] s[4][8][24] s[4][8][25] s[4][8][26] s[4][8][27] s[4][8][28] s[4][8][29] s[4][8][30] s[4][8][31] s[4][8][32] s[4][8][33] s[4][8][34] s[4][8][35] s[4][8][36] s[4][8][37] s[4][8][38] s[4][8][39] s[4][8][40] s[4][8][41] s[4][8][42] s[4][8][43] s[4][8][44] s[4][8][45] s[4][8][46] s[4][8][47] s[4][8][48] s[4][8][49] s[4][8][50] s[4][8][51] s[4][8][52] s[4][8][53] s[4][8][54] s[4][8][55] s[4][8][56] s[4][8][57] s[4][8][58] s[4][8][59] s[4][8][60] s[4][8][61] s[4][8][62] s[4][8][63] s[4][8][64] s[4][8][65] s[4][8][66] s[4][8][67] s[4][8][68] s[4][8][69] s[4][8][70] s[4][8][71] s[4][8][72] s[4][8][73] s[4][8][74] s[4][8][75] s[4][8][76] s[4][8][77] s[4][8][78] s[4][8][79] s[4][8][80] s[4][8][81] s[4][8][82] s[4][8][83] s[4][8][84] s[4][8][85] s[4][8][86] s[4][8][87] s[4][8][88] s[4][8][89] s[4][8][90] s[4][8][91] s[4][8][92] s[4][8][93] s[4][8][94] s[4][8][95] s[4][8][96] s[4][8][97] s[4][8][98] s[4][8][99] s[4][8][100] s[4][8][101] s[4][8][102] s[4][8][103] s[4][8][104] s[4][8][105] s[4][8][106] s[4][8][107] s[4][8][108] s[4][8][109] s[4][8][110] s[4][8][111] s[4][8][112] s[4][8][113] s[4][8][114] s[4][8][115] s[4][8][116] s[4][8][117] s[4][8][118] s[4][8][119] s[4][9][0] s[4][9][1] s[4][9][2] s[4][9][3] s[4][9][4] s[4][9][5] s[4][9][6] s[4][9][7] s[4][9][8] s[4][9][9] s[4][9][10] s[4][9][11] s[4][9][12] s[4][9][13] s[4][9][14] s[4][9][15] s[4][9][16] s[4][9][17] s[4][9][18] s[4][9][19] s[4][9][20] s[4][9][21] s[4][9][22] s[4][9][23] s[4][9][24] s[4][9][25] s[4][9][26] s[4][9][27] s[4][9][28] s[4][9][29] s[4][9][30] s[4][9][31] s[4][9][32] s[4][9][33] s[4][9][34] s[4][9][35] s[4][9][36] s[4][9][37] s[4][9][38] s[4][9][39] s[4][9][40] s[4][9][41] s[4][9][42] s[4][9][43] s[4][9][44] s[4][9][45] s[4][9][46] s[4][9][47] s[4][9][48] s[4][9][49] s[4][9][50] s[4][9][51] s[4][9][52] s[4][9][53] s[4][9][54] s[4][9][55] s[4][9][56] s[4][9][57] s[4][9][58] s[4][9][59] s[4][9][60] s[4][9][61] s[4][9][62] s[4][9][63] s[4][9][64] s[4][9][65] s[4][9][66] s[4][9][67] s[4][9][68] s[4][9][69] s[4][9][70] s[4][9][71] s[4][9][72] s[4][9][73] s[4][9][74] s[4][9][75] s[4][9][76] s[4][9][77] s[4][9][78] s[4][9][79] s[4][9][80] s[4][9][81] s[4][9][82] s[4][9][83] s[4][9][84] s[4][9][85] s[4][9][86] s[4][9][87] s[4][9][88] s[4][9][89] s[4][9][90] s[4][9][91] s[4][9][92] s[4][9][93] s[4][9][94] s[4][9][95] s[4][9][96] s[4][9][97] s[4][9][98] s[4][9][99] s[4][9][100] s[4][9][101] s[4][9][102] s[4][9][103] s[4][9][104] s[4][9][105] s[4][9][106] s[4][9][107] s[4][9][108] s[4][9][109] s[4][9][110] s[4][9][111] s[4][9][112] s[4][9][113] s[4][9][114] s[4][9][115] s[4][9][116] s[4][9][117] s[4][9][118] s[4][9][119] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3] s[5][6][4] s[5][6][5] s[5][6][6] s[5][6][7] s[5][6][8] s[5][6][9] s[5][6][10] s[5][6][11] s[5][6][12] s[5][6][13] s[5][6][14] s[5][6][15] s[5][6][16] s[5][6][17] s[5][6][18] s[5][6][19] s[5][6][20] s[5][6][21] s[5][6][22] s[5][6][23] s[5][6][24] s[5][6][25] s[5][6][26] s[5][6][27] s[5][6][28] s[5][6][29] s[5][6][30] s[5][6][31] s[5][6][32] s[5][6][33] s[5][6][34] s[5][6][35] s[5][6][36] s[5][6][37] s[5][6][38] s[5][6][39] s[5][6][40] s[5][6][41] s[5][6][42] s[5][6][43] s[5][6][44] s[5][6][45] s[5][6][46] s[5][6][47] s[5][6][48] s[5][6][49] s[5][6][50] s[5][6][51] s[5][6][52] s[5][6][53] s[5][6][54] s[5][6][55] s[5][6][56] s[5][6][57] s[5][6][58] s[5][6][59] s[5][6][60] s[5][6][61] s[5][6][62] s[5][6][63] s[5][6][64] s[5][6][65] s[5][6][66] s[5][6][67] s[5][6][68] s[5][6][69] s[5][6][70] s[5][6][71] s[5][6][72] s[5][6][73] s[5][6][74] s[5][6][75] s[5][6][76] s[5][6][77] s[5][6][78] s[5][6][79] s[5][6][80] s[5][6][81] s[5][6][82] s[5][6][83] s[5][6][84] s[5][6][85] s[5][6][86] s[5][6][87] s[5][6][88] s[5][6][89] s[5][6][90] s[5][6][91] s[5][6][92] s[5][6][93] s[5][6][94] s[5][6][95] s[5][6][96] s[5][6][97] s[5][6][98] s[5][6][99] s[5][6][100] s[5][6][101] s[5][6][102] s[5][6][103] s[5][6][104] s[5][6][105] s[5][6][106] s[5][6][107] s[5][6][108] s[5][6][109] s[5][6][110] s[5][6][111] s[5][6][112] s[5][6][113] s[5][6][114] s[5][6][115] s[5][6][116] s[5][6][117] s[5][6][118] s[5][6][119] s[5][7][0] s[5][7][1] s[5][7][2] s[5][7][3] s[5][7][4] s[5][7][5] s[5][7][6] s[5][7][7] s[5][7][8] s[5][7][9] s[5][7][10] s[5][7][11] s[5][7][12] s[5][7][13] s[5][7][14] s[5][7][15] s[5][7][16] s[5][7][17] s[5][7][18] s[5][7][19] s[5][7][20] s[5][7][21] s[5][7][22] s[5][7][23] s[5][7][24] s[5][7][25] s[5][7][26] s[5][7][27] s[5][7][28] s[5][7][29] s[5][7][30] s[5][7][31] s[5][7][32] s[5][7][33] s[5][7][34] s[5][7][35] s[5][7][36] s[5][7][37] s[5][7][38] s[5][7][39] s[5][7][40] s[5][7][41] s[5][7][42] s[5][7][43] s[5][7][44] s[5][7][45] s[5][7][46] s[5][7][47] s[5][7][48] s[5][7][49] s[5][7][50] s[5][7][51] s[5][7][52] s[5][7][53] s[5][7][54] s[5][7][55] s[5][7][56] s[5][7][57] s[5][7][58] s[5][7][59] s[5][7][60] s[5][7][61] s[5][7][62] s[5][7][63] s[5][7][64] s[5][7][65] s[5][7][66] s[5][7][67] s[5][7][68] s[5][7][69] s[5][7][70] s[5][7][71] s[5][7][72] s[5][7][73] s[5][7][74] s[5][7][75] s[5][7][76] s[5][7][77] s[5][7][78] s[5][7][79] s[5][7][80] s[5][7][81] s[5][7][82] s[5][7][83] s[5][7][84] s[5][7][85] s[5][7][86] s[5][7][87] s[5][7][88] s[5][7][89] s[5][7][90] s[5][7][91] s[5][7][92] s[5][7][93] s[5][7][94] s[5][7][95] s[5][7][96] s[5][7][97] s[5][7][98] s[5][7][99] s[5][7][100] s[5][7][101] s[5][7][102] s[5][7][103] s[5][7][104] s[5][7][105] s[5][7][106] s[5][7][107] s[5][7][108] s[5][7][109] s[5][7][110] s[5][7][111] s[5][7][112] s[5][7][113] s[5][7][114] s[5][7][115] s[5][7][116] s[5][7][117] s[5][7][118] s[5][7][119] s[5][8][0] s[5][8][1] s[5][8][2] s[5][8][3] s[5][8][4] s[5][8][5] s[5][8][6] s[5][8][7] s[5][8][8] s[5][8][9] s[5][8][10] s[5][8][11] s[5][8][12] s[5][8][13] s[5][8][14] s[5][8][15] s[5][8][16] s[5][8][17] s[5][8][18] s[5][8][19] s[5][8][20] s[5][8][21] s[5][8][22] s[5][8][23] s[5][8][24] s[5][8][25] s[5][8][26] s[5][8][27] s[5][8][28] s[5][8][29] s[5][8][30] s[5][8][31] s[5][8][32] s[5][8][33] s[5][8][34] s[5][8][35] s[5][8][36] s[5][8][37] s[5][8][38] s[5][8][39] s[5][8][40] s[5][8][41] s[5][8][42] s[5][8][43] s[5][8][44] s[5][8][45] s[5][8][46] s[5][8][47] s[5][8][48] s[5][8][49] s[5][8][50] s[5][8][51] s[5][8][52] s[5][8][53] s[5][8][54] s[5][8][55] s[5][8][56] s[5][8][57] s[5][8][58] s[5][8][59] s[5][8][60] s[5][8][61] s[5][8][62] s[5][8][63] s[5][8][64] s[5][8][65] s[5][8][66] s[5][8][67] s[5][8][68] s[5][8][69] s[5][8][70] s[5][8][71] s[5][8][72] s[5][8][73] s[5][8][74] s[5][8][75] s[5][8][76] s[5][8][77] s[5][8][78] s[5][8][79] s[5][8][80] s[5][8][81] s[5][8][82] s[5][8][83] s[5][8][84] s[5][8][85] s[5][8][86] s[5][8][87] s[5][8][88] s[5][8][89] s[5][8][90] s[5][8][91] s[5][8][92] s[5][8][93] s[5][8][94] s[5][8][95] s[5][8][96] s[5][8][97] s[5][8][98] s[5][8][99] s[5][8][100] s[5][8][101] s[5][8][102] s[5][8][103] s[5][8][104] s[5][8][105] s[5][8][106] s[5][8][107] s[5][8][108] s[5][8][109] s[5][8][110] s[5][8][111] s[5][8][112] s[5][8][113] s[5][8][114] s[5][8][115] s[5][8][116] s[5][8][117] s[5][8][118] s[5][8][119] s[5][9][0] s[5][9][1] s[5][9][2] s[5][9][3] s[5][9][4] s[5][9][5] s[5][9][6] s[5][9][7] s[5][9][8] s[5][9][9] s[5][9][10] s[5][9][11] s[5][9][12] s[5][9][13] s[5][9][14] s[5][9][15] s[5][9][16] s[5][9][17] s[5][9][18] s[5][9][19] s[5][9][20] s[5][9][21] s[5][9][22] s[5][9][23] s[5][9][24] s[5][9][25] s[5][9][26] s[5][9][27] s[5][9][28] s[5][9][29] s[5][9][30] s[5][9][31] s[5][9][32] s[5][9][33] s[5][9][34] s[5][9][35] s[5][9][36] s[5][9][37] s[5][9][38] s[5][9][39] s[5][9][40] s[5][9][41] s[5][9][42] s[5][9][43] s[5][9][44] s[5][9][45] s[5][9][46] s[5][9][47] s[5][9][48] s[5][9][49] s[5][9][50] s[5][9][51] s[5][9][52] s[5][9][53] s[5][9][54] s[5][9][55] s[5][9][56] s[5][9][57] s[5][9][58] s[5][9][59] s[5][9][60] s[5][9][61] s[5][9][62] s[5][9][63] s[5][9][64] s[5][9][65] s[5][9][66] s[5][9][67] s[5][9][68] s[5][9][69] s[5][9][70] s[5][9][71] s[5][9][72] s[5][9][73] s[5][9][74] s[5][9][75] s[5][9][76] s[5][9][77] s[5][9][78] s[5][9][79] s[5][9][80] s[5][9][81] s[5][9][82] s[5][9][83] s[5][9][84] s[5][9][85] s[5][9][86] s[5][9][87] s[5][9][88] s[5][9][89] s[5][9][90] s[5][9][91] s[5][9][92] s[5][9][93] s[5][9][94] s[5][9][95] s[5][9][96] s[5][9][97] s[5][9][98] s[5][9][99] s[5][9][100] s[5][9][101] s[5][9][102] s[5][9][103] s[5][9][104] s[5][9][105] s[5][9][106] s[5][9][107] s[5][9][108] s[5][9][109] s[5][9][110] s[5][9][111] s[5][9][112] s[5][9][113] s[5][9][114] s[5][9][115] s[5][9][116] s[5][9][117] s[5][9][118] s[5][9][119] s[6][7][0] s[6][7][1] s[6][7][2] s[6][7][3] s[6][7][4] s[6][7][5] s[6][7][6] s[6][7][7] s[6][7][8] s[6][7][9] s[6][7][10] s[6][7][11] s[6][7][12] s[6][7][13] s[6][7][14] s[6][7][15] s[6][7][16] s[6][7][17] s[6][7][18] s[6][7][19] s[6][7][20] s[6][7][21] s[6][7][22] s[6][7][23] s[6][7][24] s[6][7][25] s[6][7][26] s[6][7][27] s[6][7][28] s[6][7][29] s[6][7][30] s[6][7][31] s[6][7][32] s[6][7][33] s[6][7][34] s[6][7][35] s[6][7][36] s[6][7][37] s[6][7][38] s[6][7][39] s[6][7][40] s[6][7][41] s[6][7][42] s[6][7][43] s[6][7][44] s[6][7][45] s[6][7][46] s[6][7][47] s[6][7][48] s[6][7][49] s[6][7][50] s[6][7][51] s[6][7][52] s[6][7][53] s[6][7][54] s[6][7][55] s[6][7][56] s[6][7][57] s[6][7][58] s[6][7][59] s[6][7][60] s[6][7][61] s[6][7][62] s[6][7][63] s[6][7][64] s[6][7][65] s[6][7][66] s[6][7][67] s[6][7][68] s[6][7][69] s[6][7][70] s[6][7][71] s[6][7][72] s[6][7][73] s[6][7][74] s[6][7][75] s[6][7][76] s[6][7][77] s[6][7][78] s[6][7][79] s[6][7][80] s[6][7][81] s[6][7][82] s[6][7][83] s[6][7][84] s[6][7][85] s[6][7][86] s[6][7][87] s[6][7][88] s[6][7][89] s[6][7][90] s[6][7][91] s[6][7][92] s[6][7][93] s[6][7][94] s[6][7][95] s[6][7][96] s[6][7][97] s[6][7][98] s[6][7][99] s[6][7][100] s[6][7][101] s[6][7][102] s[6][7][103] s[6][7][104] s[6][7][105] s[6][7][106] s[6][7][107] s[6][7][108] s[6][7][109] s[6][7][110] s[6][7][111] s[6][7][112] s[6][7][113] s[6][7][114] s[6][7][115] s[6][7][116] s[6][7][117] s[6][7][118] s[6][7][119] s[6][8][0] s[6][8][1] s[6][8][2] s[6][8][3] s[6][8][4] s[6][8][5] s[6][8][6] s[6][8][7] s[6][8][8] s[6][8][9] s[6][8][10] s[6][8][11] s[6][8][12] s[6][8][13] s[6][8][14] s[6][8][15] s[6][8][16] s[6][8][17] s[6][8][18] s[6][8][19] s[6][8][20] s[6][8][21] s[6][8][22] s[6][8][23] s[6][8][24] s[6][8][25] s[6][8][26] s[6][8][27] s[6][8][28] s[6][8][29] s[6][8][30] s[6][8][31] s[6][8][32] s[6][8][33] s[6][8][34] s[6][8][35] s[6][8][36] s[6][8][37] s[6][8][38] s[6][8][39] s[6][8][40] s[6][8][41] s[6][8][42] s[6][8][43] s[6][8][44] s[6][8][45] s[6][8][46] s[6][8][47] s[6][8][48] s[6][8][49] s[6][8][50] s[6][8][51] s[6][8][52] s[6][8][53] s[6][8][54] s[6][8][55] s[6][8][56] s[6][8][57] s[6][8][58] s[6][8][59] s[6][8][60] s[6][8][61] s[6][8][62] s[6][8][63] s[6][8][64] s[6][8][65] s[6][8][66] s[6][8][67] s[6][8][68] s[6][8][69] s[6][8][70] s[6][8][71] s[6][8][72] s[6][8][73] s[6][8][74] s[6][8][75] s[6][8][76] s[6][8][77] s[6][8][78] s[6][8][79] s[6][8][80] s[6][8][81] s[6][8][82] s[6][8][83] s[6][8][84] s[6][8][85] s[6][8][86] s[6][8][87] s[6][8][88] s[6][8][89] s[6][8][90] s[6][8][91] s[6][8][92] s[6][8][93] s[6][8][94] s[6][8][95] s[6][8][96] s[6][8][97] s[6][8][98] s[6][8][99] s[6][8][100] s[6][8][101] s[6][8][102] s[6][8][103] s[6][8][104] s[6][8][105] s[6][8][106] s[6][8][107] s[6][8][108] s[6][8][109] s[6][8][110] s[6][8][111] s[6][8][112] s[6][8][113] s[6][8][114] s[6][8][115] s[6][8][116] s[6][8][117] s[6][8][118] s[6][8][119] s[6][9][0] s[6][9][1] s[6][9][2] s[6][9][3] s[6][9][4] s[6][9][5] s[6][9][6] s[6][9][7] s[6][9][8] s[6][9][9] s[6][9][10] s[6][9][11] s[6][9][12] s[6][9][13] s[6][9][14] s[6][9][15] s[6][9][16] s[6][9][17] s[6][9][18] s[6][9][19] s[6][9][20] s[6][9][21] s[6][9][22] s[6][9][23] s[6][9][24] s[6][9][25] s[6][9][26] s[6][9][27] s[6][9][28] s[6][9][29] s[6][9][30] s[6][9][31] s[6][9][32] s[6][9][33] s[6][9][34] s[6][9][35] s[6][9][36] s[6][9][37] s[6][9][38] s[6][9][39] s[6][9][40] s[6][9][41] s[6][9][42] s[6][9][43] s[6][9][44] s[6][9][45] s[6][9][46] s[6][9][47] s[6][9][48] s[6][9][49] s[6][9][50] s[6][9][51] s[6][9][52] s[6][9][53] s[6][9][54] s[6][9][55] s[6][9][56] s[6][9][57] s[6][9][58] s[6][9][59] s[6][9][60] s[6][9][61] s[6][9][62] s[6][9][63] s[6][9][64] s[6][9][65] s[6][9][66] s[6][9][67] s[6][9][68] s[6][9][69] s[6][9][70] s[6][9][71] s[6][9][72] s[6][9][73] s[6][9][74] s[6][9][75] s[6][9][76] s[6][9][77] s[6][9][78] s[6][9][79] s[6][9][80] s[6][9][81] s[6][9][82] s[6][9][83] s[6][9][84] s[6][9][85] s[6][9][86] s[6][9][87] s[6][9][88] s[6][9][89] s[6][9][90] s[6][9][91] s[6][9][92] s[6][9][93] s[6][9][94] s[6][9][95] s[6][9][96] s[6][9][97] s[6][9][98] s[6][9][99] s[6][9][100] s[6][9][101] s[6][9][102] s[6][9][103] s[6][9][104] s[6][9][105] s[6][9][106] s[6][9][107] s[6][9][108] s[6][9][109] s[6][9][110] s[6][9][111] s[6][9][112] s[6][9][113] s[6][9][114] s[6][9][115] s[6][9][116] s[6][9][117] s[6][9][118] s[6][9][119] s[7][8][0] s[7][8][1] s[7][8][2] s[7][8][3] s[7][8][4] s[7][8][5] s[7][8][6] s[7][8][7] s[7][8][8] s[7][8][9] s[7][8][10] s[7][8][11] s[7][8][12] s[7][8][13] s[7][8][14] s[7][8][15] s[7][8][16] s[7][8][17] s[7][8][18] s[7][8][19] s[7][8][20] s[7][8][21] s[7][8][22] s[7][8][23] s[7][8][24] s[7][8][25] s[7][8][26] s[7][8][27] s[7][8][28] s[7][8][29] s[7][8][30] s[7][8][31] s[7][8][32] s[7][8][33] s[7][8][34] s[7][8][35] s[7][8][36] s[7][8][37] s[7][8][38] s[7][8][39] s[7][8][40] s[7][8][41] s[7][8][42] s[7][8][43] s[7][8][44] s[7][8][45] s[7][8][46] s[7][8][47] s[7][8][48] s[7][8][49] s[7][8][50] s[7][8][51] s[7][8][52] s[7][8][53] s[7][8][54] s[7][8][55] s[7][8][56] s[7][8][57] s[7][8][58] s[7][8][59] s[7][8][60] s[7][8][61] s[7][8][62] s[7][8][63] s[7][8][64] s[7][8][65] s[7][8][66] s[7][8][67] s[7][8][68] s[7][8][69] s[7][8][70] s[7][8][71] s[7][8][72] s[7][8][73] s[7][8][74] s[7][8][75] s[7][8][76] s[7][8][77] s[7][8][78] s[7][8][79] s[7][8][80] s[7][8][81] s[7][8][82] s[7][8][83] s[7][8][84] s[7][8][85] s[7][8][86] s[7][8][87] s[7][8][88] s[7][8][89] s[7][8][90] s[7][8][91] s[7][8][92] s[7][8][93] s[7][8][94] s[7][8][95] s[7][8][96] s[7][8][97] s[7][8][98] s[7][8][99] s[7][8][100] s[7][8][101] s[7][8][102] s[7][8][103] s[7][8][104] s[7][8][105] s[7][8][106] s[7][8][107] s[7][8][108] s[7][8][109] s[7][8][110] s[7][8][111] s[7][8][112] s[7][8][113] s[7][8][114] s[7][8][115] s[7][8][116] s[7][8][117] s[7][8][118] s[7][8][119] s[7][9][0] s[7][9][1] s[7][9][2] s[7][9][3] s[7][9][4] s[7][9][5] s[7][9][6] s[7][9][7] s[7][9][8] s[7][9][9] s[7][9][10] s[7][9][11] s[7][9][12] s[7][9][13] s[7][9][14] s[7][9][15] s[7][9][16] s[7][9][17] s[7][9][18] s[7][9][19] s[7][9][20] s[7][9][21] s[7][9][22] s[7][9][23] s[7][9][24] s[7][9][25] s[7][9][26] s[7][9][27] s[7][9][28] s[7][9][29] s[7][9][30] s[7][9][31] s[7][9][32] s[7][9][33] s[7][9][34] s[7][9][35] s[7][9][36] s[7][9][37] s[7][9][38] s[7][9][39] s[7][9][40] s[7][9][41] s[7][9][42] s[7][9][43] s[7][9][44] s[7][9][45] s[7][9][46] s[7][9][47] s[7][9][48] s[7][9][49] s[7][9][50] s[7][9][51] s[7][9][52] s[7][9][53] s[7][9][54] s[7][9][55] s[7][9][56] s[7][9][57] s[7][9][58] s[7][9][59] s[7][9][60] s[7][9][61] s[7][9][62] s[7][9][63] s[7][9][64] s[7][9][65] s[7][9][66] s[7][9][67] s[7][9][68] s[7][9][69] s[7][9][70] s[7][9][71] s[7][9][72] s[7][9][73] s[7][9][74] s[7][9][75] s[7][9][76] s[7][9][77] s[7][9][78] s[7][9][79] s[7][9][80] s[7][9][81] s[7][9][82] s[7][9][83] s[7][9][84] s[7][9][85] s[7][9][86] s[7][9][87] s[7][9][88] s[7][9][89] s[7][9][90] s[7][9][91] s[7][9][92] s[7][9][93] s[7][9][94] s[7][9][95] s[7][9][96] s[7][9][97] s[7][9][98] s[7][9][99] s[7][9][100] s[7][9][101] s[7][9][102] s[7][9][103] s[7][9][104] s[7][9][105] s[7][9][106] s[7][9][107] s[7][9][108] s[7][9][109] s[7][9][110] s[7][9][111] s[7][9][112] s[7][9][113] s[7][9][114] s[7][9][115] s[7][9][116] s[7][9][117] s[7][9][118] s[7][9][119] s[8][9][0] s[8][9][1] s[8][9][2] s[8][9][3] s[8][9][4] s[8][9][5] s[8][9][6] s[8][9][7] s[8][9][8] s[8][9][9] s[8][9][10] s[8][9][11] s[8][9][12] s[8][9][13] s[8][9][14] s[8][9][15] s[8][9][16] s[8][9][17] s[8][9][18] s[8][9][19] s[8][9][20] s[8][9][21] s[8][9][22] s[8][9][23] s[8][9][24] s[8][9][25] s[8][9][26] s[8][9][27] s[8][9][28] s[8][9][29] s[8][9][30] s[8][9][31] s[8][9][32] s[8][9][33] s[8][9][34] s[8][9][35] s[8][9][36] s[8][9][37] s[8][9][38] s[8][9][39] s[8][9][40] s[8][9][41] s[8][9][42] s[8][9][43] s[8][9][44] s[8][9][45] s[8][9][46] s[8][9][47] s[8][9][48] s[8][9][49] s[8][9][50] s[8][9][51] s[8][9][52] s[8][9][53] s[8][9][54] s[8][9][55] s[8][9][56] s[8][9][57] s[8][9][58] s[8][9][59] s[8][9][60] s[8][9][61] s[8][9][62] s[8][9][63] s[8][9][64] s[8][9][65] s[8][9][66] s[8][9][67] s[8][9][68] s[8][9][69] s[8][9][70] s[8][9][71] s[8][9][72] s[8][9][73] s[8][9][74] s[8][9][75] s[8][9][76] s[8][9][77] s[8][9][78] s[8][9][79] s[8][9][80] s[8][9][81] s[8][9][82] s[8][9][83] s[8][9][84] s[8][9][85] s[8][9][86] s[8][9][87] s[8][9][88] s[8][9][89] s[8][9][90] s[8][9][91] s[8][9][92] s[8][9][93] s[8][9][94] s[8][9][95] s[8][9][96] s[8][9][97] s[8][9][98] s[8][9][99] s[8][9][100] s[8][9][101] s[8][9][102] s[8][9][103] s[8][9][104] s[8][9][105] s[8][9][106] s[8][9][107] s[8][9][108] s[8][9][109] s[8][9][110] s[8][9][111] s[8][9][112] s[8][9][113] s[8][9][114] s[8][9][115] s[8][9][116] s[8][9][117] s[8][9][118] s[8][9][119]</list>
64.06/43.21 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 1 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 1 1 1 1 1 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 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 0 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 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 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 1 1 1 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 1 1 1 1 1 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 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 1 0 0 0 1 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 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 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 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 1 1 1 1 0 0 0 0 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 0 0 0 0 0 1 1 1 1 1 1 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 1 1 1 1 1 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 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 1 1 1 1 1 1 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 0 0 0 1 1 1 1 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 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 1 1 0 0 0 0 0 0 0 0 0 1 1 1 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 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 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 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 1 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 1 1 1 1 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 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 1 1 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 1 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 1 1 1 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 1 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 1 1 1 1 0 1 1 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 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 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 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 1 1 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 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 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 1 1 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 1 1 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 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 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 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 1 1 1 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 1 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 1 1 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 1 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 1 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 1 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 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 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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</values>
64.06/43.21 v </instantiation>
64.06/43.21 c (13,0) Show results End
64.06/43.21 c (13,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
64.06/43.21 c (13,0) 12,13,STOP-AFTER(ALL)
64.06/43.21 c END-Prog: Sun Aug 12 13:12:15 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12184 MiB free)
memory of node 1: 16384 MiB (11316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305303-1534072292/watcher-4305303-1534072292 -o /tmp/evaluation-result-4305303-1534072292/solver-4305303-1534072292 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305303-1534072292.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18196, runsolver pid=18193
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 2.00 2.02 2.05 3/223 18213
/proc/meminfo: memFree=24003948/32770624 swapFree=67108860/67108860
[pid=18196] ppid=18193 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18196/stat : 18196 (scop.sh) S 18193 18196 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224792363 115843072 349 33554432000 4194304 5098028 140727709131584 140727709128840 140688961753724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26017792 140727709135936 140727709136135 140727709136135 140727709138893 0
/proc/18196/statm: 28282 349 296 221 0 87 0
[pid=18199] ppid=18196 vsize=15012476 memory=73564 CPUtime=0.11 cores=1,3,5,7
/proc/18199/stat : 18199 (java) S 18196 18196 16605 0 -1 1077944320 6503 0 0 0 9 2 0 0 20 0 15 0 224792363 15372775424 18391 33554432000 4194304 4196468 140721663589056 140721663571600 140267682737911 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
/proc/18199/statm: 3753119 18391 2771 1 0 3715579 0
[pid=18199/tid=18200] ppid=18196 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=1,3,5,7
/proc/18199/task/18200/stat : 18200 (java) R 18196 18196 16605 0 -1 4202560 4583 0 0 0 8 1 0 0 20 0 15 0 224792363 15372775424 18391 33554432000 4194304 4196468 140721663589056 140267654549896 140267664301486 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18201] ppid=18196 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18201/stat : 18201 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224792365 15372775424 18391 33554432000 4194304 4196468 140721663589056 140267686979856 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18202] ppid=18196 vsize=15012476 memory=139928574649984 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18202/stat : 18202 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792365 15372775424 18391 33554432000 4194304 4196468 140721663589056 140267462683024 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18203] ppid=18196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18203/stat : 18203 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792365 15372775424 18391 33554432000 4194304 4196468 140721663589056 140267461630480 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18204] ppid=18196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18204/stat : 18204 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224792365 15372775424 18391 33554432000 4194304 4196468 140721663589056 140267460577936 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18205] ppid=18196 vsize=15012476 memory=139928574649984 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18205/stat : 18205 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224792366 15372775424 18391 33554432000 4194304 4196468 140721663589056 140266451233264 140267682749058 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18206] ppid=18196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18206/stat : 18206 (java) S 18196 18196 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224792367 15372775424 18391 33554432000 4194304 4196468 140721663589056 140266317014432 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18207] ppid=18196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18207/stat : 18207 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792367 15372775424 18391 33554432000 4194304 4196468 140721663589056 140266048579056 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18208] ppid=18196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18208/stat : 18208 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224792369 15372775424 18391 33554432000 4194304 4196468 140721663589056 140265674070736 140267682756507 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18209] ppid=18196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18209/stat : 18209 (java) S 18196 18196 16605 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 224792369 15372775424 18391 33554432000 4194304 4196468 140721663589056 140266450180080 140267682749058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18210] ppid=18196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18210/stat : 18210 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224792369 15372775424 18391 33554432000 4194304 4196468 140721663589056 140266449127536 140267682749058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18211] ppid=18196 vsize=15012476 memory=139928574649984 CPUtime=0.01 cores=1,3,5,7
/proc/18199/task/18211/stat : 18211 (java) S 18196 18196 16605 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 224792369 15372775424 18391 33554432000 4194304 4196468 140721663589056 140266448074992 140267682749058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18212] ppid=18196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18212/stat : 18212 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224792370 15372775424 18391 33554432000 4194304 4196468 140721663589056 140265176164960 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18213] ppid=18196 vsize=15012476 memory=139928574649984 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18213/stat : 18213 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792370 15372775424 18391 33554432000 4194304 4196468 140721663589056 140266447022896 140267682749058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74960 KiB
[startup+0.210759 s]*
/proc/loadavg: 2.00 2.02 2.05 4/223 18213
/proc/meminfo: memFree=23990492/32770624 swapFree=67108860/67108860
[pid=18196] ppid=18193 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18196/stat : 18196 (scop.sh) S 18193 18196 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224792363 115843072 349 33554432000 4194304 5098028 140727709131584 140727709128840 140688961753724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26017792 140727709135936 140727709136135 140727709136135 140727709138893 0
/proc/18196/statm: 28282 349 296 221 0 87 0
[pid=18199] ppid=18196 vsize=15012476 memory=86608 CPUtime=0.25 cores=1,3,5,7
/proc/18199/stat : 18199 (java) S 18196 18196 16605 0 -1 1077944320 10007 0 0 0 23 2 0 0 20 0 15 0 224792363 15372775424 21652 33554432000 4194304 4196468 140721663589056 140721663571600 140267682737911 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
/proc/18199/statm: 3753119 21652 2870 1 0 3715579 0
[pid=18199/tid=18200] ppid=18196 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/18199/task/18200/stat : 18200 (java) R 18196 18196 16605 0 -1 4202560 7905 0 0 0 18 2 0 0 20 0 15 0 224792363 15372775424 21652 33554432000 4194304 4196468 140721663589056 140267654536656 140267682749846 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18201] ppid=18196 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18201/stat : 18201 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224792365 15372775424 21652 33554432000 4194304 4196468 140721663589056 140267686979856 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18202] ppid=18196 vsize=15012476 memory=4122684242880652960 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18202/stat : 18202 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792365 15372775424 21652 33554432000 4194304 4196468 140721663589056 140267462683024 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18203] ppid=18196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18203/stat : 18203 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792365 15372775424 21652 33554432000 4194304 4196468 140721663589056 140267461630480 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18204] ppid=18196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18204/stat : 18204 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224792365 15372775424 21652 33554432000 4194304 4196468 140721663589056 140267460577936 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18205] ppid=18196 vsize=15012476 memory=139928574649984 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18205/stat : 18205 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224792366 15372775424 21652 33554432000 4194304 4196468 140721663589056 140266451233264 140267682749058 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18206] ppid=18196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18206/stat : 18206 (java) S 18196 18196 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224792367 15372775424 21652 33554432000 4194304 4196468 140721663589056 140266317014432 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18207] ppid=18196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18207/stat : 18207 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792367 15372775424 21652 33554432000 4194304 4196468 140721663589056 140266048579056 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18208] ppid=18196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18208/stat : 18208 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224792369 15372775424 21652 33554432000 4194304 4196468 140721663589056 140265674070736 140267682756507 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18209] ppid=18196 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18199/task/18209/stat : 18209 (java) S 18196 18196 16605 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 224792369 15372775424 21652 33554432000 4194304 4196468 140721663589056 140266450180080 140267682749058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18210] ppid=18196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18210/stat : 18210 (java) S 18196 18196 16605 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 224792369 15372775424 21652 33554432000 4194304 4196468 140721663589056 140266449127536 140267682749058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18211] ppid=18196 vsize=15012476 memory=139928574649984 CPUtime=0.03 cores=1,3,5,7
/proc/18199/task/18211/stat : 18211 (java) R 18196 18196 16605 0 -1 4202560 295 0 0 0 3 0 0 0 20 0 15 0 224792369 15372775424 21652 33554432000 4194304 4196468 140721663589056 140266448074992 140267661658483 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18212] ppid=18196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18212/stat : 18212 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224792370 15372775424 21652 33554432000 4194304 4196468 140721663589056 140265176164960 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18213] ppid=18196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18213/stat : 18213 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792370 15372775424 21652 33554432000 4194304 4196468 140721663589056 140266447022896 140267682749058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88004 KiB
[startup+0.310699 s]*
/proc/loadavg: 2.00 2.02 2.05 3/223 18213
/proc/meminfo: memFree=23986824/32770624 swapFree=67108860/67108860
[pid=18196] ppid=18193 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18196/stat : 18196 (scop.sh) S 18193 18196 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224792363 115843072 349 33554432000 4194304 5098028 140727709131584 140727709128840 140688961753724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26017792 140727709135936 140727709136135 140727709136135 140727709138893 0
/proc/18196/statm: 28282 349 296 221 0 87 0
[pid=18199] ppid=18196 vsize=15012476 memory=90132 CPUtime=0.43 cores=1,3,5,7
/proc/18199/stat : 18199 (java) S 18196 18196 16605 0 -1 1077944320 10546 0 0 0 40 3 0 0 20 0 15 0 224792363 15372775424 22533 33554432000 4194304 4196468 140721663589056 140721663571600 140267682737911 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
/proc/18199/statm: 3753119 22533 2973 1 0 3715579 0
[pid=18199/tid=18200] ppid=18196 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18199/task/18200/stat : 18200 (java) R 18196 18196 16605 0 -1 4202560 8281 0 0 0 27 2 0 0 20 0 15 0 224792363 15372775424 22533 33554432000 4194304 4196468 140721663589056 140267654532912 140267666818398 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18201] ppid=18196 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18201/stat : 18201 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224792365 15372775424 22533 33554432000 4194304 4196468 140721663589056 140267686979856 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18202] ppid=18196 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18202/stat : 18202 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792365 15372775424 22533 33554432000 4194304 4196468 140721663589056 140267462683024 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18203] ppid=18196 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18203/stat : 18203 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792365 15372775424 22533 33554432000 4194304 4196468 140721663589056 140267461630480 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18204] ppid=18196 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18204/stat : 18204 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224792365 15372775424 22533 33554432000 4194304 4196468 140721663589056 140267460577936 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18205] ppid=18196 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18205/stat : 18205 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224792366 15372775424 22533 33554432000 4194304 4196468 140721663589056 140266451233264 140267682749058 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18206] ppid=18196 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18206/stat : 18206 (java) S 18196 18196 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224792367 15372775424 22533 33554432000 4194304 4196468 140721663589056 140266317014432 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18207] ppid=18196 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18207/stat : 18207 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792367 15372775424 22533 33554432000 4194304 4196468 140721663589056 140266048579056 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18208] ppid=18196 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18208/stat : 18208 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224792369 15372775424 22533 33554432000 4194304 4196468 140721663589056 140265674070736 140267682756507 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18209] ppid=18196 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18199/task/18209/stat : 18209 (java) R 18196 18196 16605 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 224792369 15372775424 22533 33554432000 4194304 4196468 140721663589056 140266450180080 140267682749058 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18210] ppid=18196 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18199/task/18210/stat : 18210 (java) R 18196 18196 16605 0 -1 4202560 95 0 0 0 2 0 0 0 20 0 15 0 224792369 15372775424 22533 33554432000 4194304 4196468 140721663589056 140266449127536 140267662391585 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18211] ppid=18196 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18199/task/18211/stat : 18211 (java) R 18196 18196 16605 0 -1 4202560 315 0 0 0 7 0 0 0 20 0 15 0 224792369 15372775424 22533 33554432000 4194304 4196468 140721663589056 140266448074992 140267661363735 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18212] ppid=18196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18212/stat : 18212 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224792370 15372775424 22533 33554432000 4194304 4196468 140721663589056 140265176164960 140267682748117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18213] ppid=18196 vsize=15012476 memory=3905525982033944625 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18213/stat : 18213 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792370 15372775424 22533 33554432000 4194304 4196468 140721663589056 140266447022896 140267682749058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91528 KiB
[startup+0.707743 s]
/proc/loadavg: 2.00 2.02 2.05 3/223 18213
/proc/meminfo: memFree=23962764/32770624 swapFree=67108860/67108860
[pid=18196] ppid=18193 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18196/stat : 18196 (scop.sh) S 18193 18196 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224792363 115843072 349 33554432000 4194304 5098028 140727709131584 140727709128840 140688961753724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26017792 140727709135936 140727709136135 140727709136135 140727709138893 0
/proc/18196/statm: 28282 349 296 221 0 87 0
[pid=18199] ppid=18196 vsize=15018748 memory=131728 CPUtime=1.07 cores=1,3,5,7
/proc/18199/stat : 18199 (java) S 18196 18196 16605 0 -1 1077944320 17531 0 0 0 102 5 0 0 20 0 15 0 224792363 15379197952 32932 33554432000 4194304 4196468 140721663589056 140721663571600 140267682737911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
/proc/18199/statm: 3754687 32932 3146 1 0 3716091 0
[pid=18199/tid=18200] ppid=18196 vsize=15018748 memory=-7816663703405220396 CPUtime=0.68 cores=1,3,5,7
/proc/18199/task/18200/stat : 18200 (java) R 18196 18196 16605 0 -1 4202560 14596 0 0 0 64 4 0 0 20 0 15 0 224792363 15379197952 32932 33554432000 4194304 4196468 140721663589056 140267654575584 140267141500214 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18201] ppid=18196 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18201/stat : 18201 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224792365 15379197952 32932 33554432000 4194304 4196468 140721663589056 140267686979856 140267682748117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18202] ppid=18196 vsize=15018748 memory=61168 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18202/stat : 18202 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792365 15379197952 32932 33554432000 4194304 4196468 140721663589056 140267462683024 140267682748117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18203] ppid=18196 vsize=15018748 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18203/stat : 18203 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792365 15379197952 32932 33554432000 4194304 4196468 140721663589056 140267461630480 140267682748117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18204] ppid=18196 vsize=15018748 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18204/stat : 18204 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224792365 15379197952 32932 33554432000 4194304 4196468 140721663589056 140267460577936 140267682748117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18205] ppid=18196 vsize=15018748 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18205/stat : 18205 (java) S 18196 18196 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224792366 15379197952 32932 33554432000 4194304 4196468 140721663589056 140266451233264 140267682749058 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18206] ppid=18196 vsize=15018748 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18206/stat : 18206 (java) S 18196 18196 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224792367 15379197952 32932 33554432000 4194304 4196468 140721663589056 140266317014432 140267682748117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18207] ppid=18196 vsize=15018748 memory=752 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18207/stat : 18207 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792367 15379197952 32932 33554432000 4194304 4196468 140721663589056 140266048579056 140267682748117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18208] ppid=18196 vsize=15018748 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18208/stat : 18208 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224792369 15379197952 32932 33554432000 4194304 4196468 140721663589056 140265674070736 140267682756507 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18209] ppid=18196 vsize=15018748 memory=1120 CPUtime=0.08 cores=1,3,5,7
/proc/18199/task/18209/stat : 18209 (java) R 18196 18196 16605 0 -1 4202560 645 0 0 0 8 0 0 0 20 0 15 0 224792369 15379197952 32932 33554432000 4194304 4196468 140721663589056 140266450171408 140267667659877 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18210] ppid=18196 vsize=15018748 memory=6120 CPUtime=0.11 cores=1,3,5,7
/proc/18199/task/18210/stat : 18210 (java) R 18196 18196 16605 0 -1 4202560 464 0 0 0 11 0 0 0 20 0 15 0 224792369 15379197952 32932 33554432000 4194304 4196468 140721663589056 140266449108552 140267666148882 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18211] ppid=18196 vsize=15018748 memory=1724 CPUtime=0.18 cores=1,3,5,7
/proc/18199/task/18211/stat : 18211 (java) S 18196 18196 16605 0 -1 1077944384 491 0 0 0 18 0 0 0 20 0 15 0 224792369 15379197952 32932 33554432000 4194304 4196468 140721663589056 140266448074992 140267682749058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18212] ppid=18196 vsize=15018748 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18212/stat : 18212 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224792370 15379197952 32932 33554432000 4194304 4196468 140721663589056 140265176164960 140267682748117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
[pid=18199/tid=18213] ppid=18196 vsize=15018748 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/18199/task/18213/stat : 18213 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224792370 15379197952 32932 33554432000 4194304 4196468 140721663589056 140266447022896 140267682749058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12066816 140721663595526 140721663595825 140721663595825 140721663598543 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 133124 KiB
[startup+1.50085 s]
/proc/loadavg: 2.24 2.06 2.06 6/223 18213
/proc/meminfo: memFree=23884688/32770624 swapFree=67108860/67108860
[pid=18196] ppid=18193 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18196/stat : 18196 (scop.sh) S 18193 18196 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224792363 115843072 349 33554432000 4194304 5098028 140727709131584 140727709128840 140688961753724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26017792 140727709135936 140727709136135 140727709136135 140727709138893 0
/proc/18196/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/18214/task/18230/stat : 18230 (java) S 18196 18196 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224795433 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577118750144 140578019856153 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18232] ppid=18196 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18232/stat : 18232 (java) S 18196 18196 16605 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224795433 8261857280 34502 33554432000 4194304 4196468 140731757597904 140575353319472 140578019853469 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18233] ppid=18196 vsize=8068220 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18233/stat : 18233 (java) S 18196 18196 16605 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224795433 8261857280 34502 33554432000 4194304 4196468 140731757597904 140575487540656 140578019853469 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18234] ppid=18196 vsize=8068220 memory=61168 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18234/stat : 18234 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224795435 8261857280 34502 33554432000 4194304 4196468 140731757597904 140575084895136 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
Current children cumulated CPU time: 62.02 s
Current children cumulated vsize: 8344532 KiB
Current children cumulated memory: 276016 KiB
[startup+42.401 s]
/proc/loadavg: 2.32 2.10 2.07 3/228 18234
/proc/meminfo: memFree=23740696/32770624 swapFree=67108860/67108860
[pid=18196] ppid=18193 vsize=113128 memory=1472 CPUtime=49.62 cores=1,3,5,7
/proc/18196/stat : 18196 (scop.sh) S 18193 18196 16605 0 -1 4202496 592 63598 0 0 0 0 4831 131 20 0 1 0 224792363 115843072 368 33554432000 4194304 5098028 140727709131584 140727709128328 140688961753724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26017792 140727709135936 140727709136135 140727709136135 140727709138893 0
/proc/18196/statm: 28282 368 311 221 0 87 0
[pid=18214] ppid=18196 vsize=8068220 memory=138008 CPUtime=1.74 cores=1,3,5,7
/proc/18214/stat : 18214 (java) S 18196 18196 16605 0 -1 1077944320 18630 0 0 0 158 16 0 0 20 0 19 0 224795336 8261857280 34502 33554432000 4194304 4196468 140731757597904 140731757580448 140578019831543 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
/proc/18214/statm: 2017055 34502 3172 1 0 1978454 0
[pid=18229] ppid=18214 vsize=163184 memory=136576 CPUtime=11.47 cores=1,3,5,7
/proc/18229/stat : 18229 (minisat_release) R 18214 18196 16605 0 -1 4202496 121497 0 0 0 1136 11 0 0 20 0 1 0 224795433 167100416 34144 33554432000 4194304 4308513 140721013514784 140721013511448 4276056 0 4 0 8396802 0 0 0 17 3 0 0 21 0 0 6409496 6410680 25042944 140721013523572 140721013523670 140721013523670 140721013526469 0
/proc/18229/statm: 40796 34144 335 28 0 37036 0
[pid=18214/tid=18215] ppid=18196 vsize=8068220 memory=136576 CPUtime=0.99 cores=1,3,5,7
/proc/18214/task/18215/stat : 18215 (java) S 18196 18196 16605 0 -1 1077944384 14979 0 0 0 84 15 0 0 20 0 19 0 224795336 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577991671696 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18216] ppid=18196 vsize=8068220 memory=-7824251494390783081 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18216/stat : 18216 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224795338 8261857280 34502 33554432000 4194304 4196468 140731757597904 140578024073616 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18217] ppid=18196 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18217/stat : 18217 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224795338 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577838229776 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18218] ppid=18196 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18218/stat : 18218 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224795338 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577503607440 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18219] ppid=18196 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18219/stat : 18219 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224795338 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577502554640 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18220] ppid=18196 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18220/stat : 18220 (java) S 18196 18196 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224795339 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577130769008 140578019842690 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18221] ppid=18196 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18221/stat : 18221 (java) S 18196 18196 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224795340 8261857280 34502 33554432000 4194304 4196468 140731757597904 140576896836896 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18222] ppid=18196 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18222/stat : 18222 (java) S 18196 18196 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224795340 8261857280 34502 33554432000 4194304 4196468 140731757597904 140576762615408 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18223] ppid=18196 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18223/stat : 18223 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224795342 8261857280 34502 33554432000 4194304 4196468 140731757597904 140576388110928 140578019850139 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18224] ppid=18196 vsize=8068220 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/18214/task/18224/stat : 18224 (java) S 18196 18196 16605 0 -1 1077944384 1158 0 0 0 26 0 0 0 20 0 19 0 224795342 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577129715824 140578019842690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18225] ppid=18196 vsize=8068220 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/18214/task/18225/stat : 18225 (java) S 18196 18196 16605 0 -1 1077944384 489 0 0 0 24 0 0 0 20 0 19 0 224795342 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577128663024 140578019842690 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18226] ppid=18196 vsize=8068220 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/18214/task/18226/stat : 18226 (java) S 18196 18196 16605 0 -1 1077944384 573 0 0 0 22 0 0 0 20 0 19 0 224795342 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577127610736 140578019842690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18227] ppid=18196 vsize=8068220 memory=299771070096081211 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18227/stat : 18227 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224795342 8261857280 34502 33554432000 4194304 4196468 140731757597904 140575890205152 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18228] ppid=18196 vsize=8068220 memory=13850759267617157 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18228/stat : 18228 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224795343 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577126558640 140578019842690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18230] ppid=18196 vsize=8068220 memory=138008 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18230/stat : 18230 (java) S 18196 18196 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224795433 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577118750144 140578019856153 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18232] ppid=18196 vsize=8068220 memory=154700 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18232/stat : 18232 (java) S 18196 18196 16605 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224795433 8261857280 34502 33554432000 4194304 4196468 140731757597904 140575353319472 140578019853469 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18233] ppid=18196 vsize=8068220 memory=7086559425684219801 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18233/stat : 18233 (java) S 18196 18196 16605 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224795433 8261857280 34502 33554432000 4194304 4196468 140731757597904 140575487540656 140578019853469 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18234] ppid=18196 vsize=8068220 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18234/stat : 18234 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224795435 8261857280 34502 33554432000 4194304 4196468 140731757597904 140575084895136 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
Current children cumulated CPU time: 62.83 s
Current children cumulated vsize: 8344532 KiB
Current children cumulated memory: 276056 KiB
[startup+42.801 s]
/proc/loadavg: 2.32 2.10 2.07 3/228 18234
/proc/meminfo: memFree=23740696/32770624 swapFree=67108860/67108860
[pid=18196] ppid=18193 vsize=113128 memory=1472 CPUtime=49.62 cores=1,3,5,7
/proc/18196/stat : 18196 (scop.sh) S 18193 18196 16605 0 -1 4202496 592 63598 0 0 0 0 4831 131 20 0 1 0 224792363 115843072 368 33554432000 4194304 5098028 140727709131584 140727709128328 140688961753724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26017792 140727709135936 140727709136135 140727709136135 140727709138893 0
/proc/18196/statm: 28282 368 311 221 0 87 0
[pid=18214] ppid=18196 vsize=8068220 memory=138008 CPUtime=1.74 cores=1,3,5,7
/proc/18214/stat : 18214 (java) S 18196 18196 16605 0 -1 1077944320 18630 0 0 0 158 16 0 0 20 0 19 0 224795336 8261857280 34502 33554432000 4194304 4196468 140731757597904 140731757580448 140578019831543 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
/proc/18214/statm: 2017055 34502 3172 1 0 1978454 0
[pid=18229] ppid=18214 vsize=163184 memory=138624 CPUtime=11.87 cores=1,3,5,7
/proc/18229/stat : 18229 (minisat_release) R 18214 18196 16605 0 -1 4202496 121498 0 0 0 1176 11 0 0 20 0 1 0 224795433 167100416 34656 33554432000 4194304 4308513 140721013514784 140721013511448 4276395 0 4 0 8396802 0 0 0 17 3 0 0 21 0 0 6409496 6410680 25042944 140721013523572 140721013523670 140721013523670 140721013526469 0
/proc/18229/statm: 40796 34656 335 28 0 37036 0
[pid=18214/tid=18215] ppid=18196 vsize=8068220 memory=1472 CPUtime=0.99 cores=1,3,5,7
/proc/18214/task/18215/stat : 18215 (java) S 18196 18196 16605 0 -1 1077944384 14979 0 0 0 84 15 0 0 20 0 19 0 224795336 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577991671696 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18216] ppid=18196 vsize=8068220 memory=138008 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18216/stat : 18216 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224795338 8261857280 34502 33554432000 4194304 4196468 140731757597904 140578024073616 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18217] ppid=18196 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18217/stat : 18217 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224795338 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577838229776 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18218] ppid=18196 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18218/stat : 18218 (java) S 18196 18196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224795338 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577503607440 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18219] ppid=18196 vsize=8068220 memory=13850759267617157 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18219/stat : 18219 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224795338 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577502554640 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18220] ppid=18196 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18220/stat : 18220 (java) S 18196 18196 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224795339 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577130769008 140578019842690 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18221] ppid=18196 vsize=8068220 memory=26 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18221/stat : 18221 (java) S 18196 18196 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224795340 8261857280 34502 33554432000 4194304 4196468 140731757597904 140576896836896 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18222] ppid=18196 vsize=8068220 memory=24 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18222/stat : 18222 (java) S 18196 18196 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224795340 8261857280 34502 33554432000 4194304 4196468 140731757597904 140576762615408 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18223] ppid=18196 vsize=8068220 memory=22 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18223/stat : 18223 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224795342 8261857280 34502 33554432000 4194304 4196468 140731757597904 140576388110928 140578019850139 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18224] ppid=18196 vsize=8068220 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/18214/task/18224/stat : 18224 (java) S 18196 18196 16605 0 -1 1077944384 1158 0 0 0 26 0 0 0 20 0 19 0 224795342 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577129715824 140578019842690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18225] ppid=18196 vsize=8068220 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/18214/task/18225/stat : 18225 (java) S 18196 18196 16605 0 -1 1077944384 489 0 0 0 24 0 0 0 20 0 19 0 224795342 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577128663024 140578019842690 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18226] ppid=18196 vsize=8068220 memory=1472 CPUtime=0.22 cores=1,3,5,7
/proc/18214/task/18226/stat : 18226 (java) S 18196 18196 16605 0 -1 1077944384 573 0 0 0 22 0 0 0 20 0 19 0 224795342 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577127610736 140578019842690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18227] ppid=18196 vsize=8068220 memory=138008 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18227/stat : 18227 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224795342 8261857280 34502 33554432000 4194304 4196468 140731757597904 140575890205152 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18228] ppid=18196 vsize=8068220 memory=136576 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18228/stat : 18228 (java) S 18196 18196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224795343 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577126558640 140578019842690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18230] ppid=18196 vsize=8068220 memory=6440545857071835750 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18230/stat : 18230 (java) S 18196 18196 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224795433 8261857280 34502 33554432000 4194304 4196468 140731757597904 140577118750144 140578019856153 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18232] ppid=18196 vsize=8068220 memory=6009050215349840230 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18232/stat : 18232 (java) S 18196 18196 16605 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224795433 8261857280 34502 33554432000 4194304 4196468 140731757597904 140575353319472 140578019853469 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18233] ppid=18196 vsize=8068220 memory=6370719275257063784 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18233/stat : 18233 (java) S 18196 18196 16605 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224795433 8261857280 34502 33554432000 4194304 4196468 140731757597904 140575487540656 140578019853469 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18234] ppid=18196 vsize=8068220 memory=7453576583293982059 CPUtime=0 cores=1,3,5,7
/proc/18214/task/18234/stat : 18234 (java) S 18196 18196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224795435 8261857280 34502 33554432000 4194304 4196468 140731757597904 140575084895136 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
Current children cumulated CPU time: 63.23 s
Current children cumulated vsize: 8344532 KiB
Current children cumulated memory: 278104 KiB
[startup+43.2008 s]
/proc/loadavg: 2.32 2.10 2.07 6/226 18234
/proc/meminfo: memFree=23861668/32770624 swapFree=67108860/67108860
[pid=18196] ppid=18193 vsize=113128 memory=1472 CPUtime=49.62 cores=1,3,5,7
/proc/18196/stat : 18196 (scop.sh) S 18193 18196 16605 0 -1 4202496 592 63598 0 0 0 0 4831 131 20 0 1 0 224792363 115843072 368 33554432000 4194304 5098028 140727709131584 140727709128328 140688961753724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26017792 140727709135936 140727709136135 140727709136135 140727709138893 0
/proc/18196/statm: 28282 368 311 221 0 87 0
[pid=18214] ppid=18196 vsize=7937144 memory=173388 CPUtime=14.44 cores=1,3,5,7
/proc/18214/stat : 18214 (java) S 18196 18196 16605 0 -1 1077944320 20371 121754 0 0 224 17 1191 12 20 0 17 0 224795336 8127635456 43347 33554432000 4194304 4196468 140731757597904 140731757580448 140578019831543 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
/proc/18214/statm: 1984286 43347 3184 1 0 1945685 0
[pid=18214/tid=18215] ppid=18196 vsize=7937144 memory=1740 CPUtime=13.2 cores=1,3,5,7
/proc/18214/task/18215/stat : 18215 (java) R 18196 18196 16605 0 -1 4202560 15245 121754 0 0 102 15 1191 12 20 0 17 0 224795336 8127635456 43347 33554432000 4194304 4196468 140731757597904 140577991667712 140577521827190 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18216] ppid=18196 vsize=7937144 memory=138008 CPUtime=12.03 cores=1,3,5,7
/proc/18214/task/18216/stat : 18216 (java) S 18196 18196 16605 0 -1 1077944384 2 121754 0 0 0 0 1191 12 20 0 17 0 224795338 8127635456 43347 33554432000 4194304 4196468 140731757597904 140578024073616 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18217] ppid=18196 vsize=7937144 memory=872 CPUtime=12.03 cores=1,3,5,7
/proc/18214/task/18217/stat : 18217 (java) S 18196 18196 16605 0 -1 1077944384 1 121754 0 0 0 0 1191 12 20 0 17 0 224795338 8127635456 43347 33554432000 4194304 4196468 140731757597904 140577838229776 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18218] ppid=18196 vsize=7937144 memory=1288 CPUtime=12.03 cores=1,3,5,7
/proc/18214/task/18218/stat : 18218 (java) S 18196 18196 16605 0 -1 1077944384 1 121754 0 0 0 0 1191 12 20 0 17 0 224795338 8127635456 43347 33554432000 4194304 4196468 140731757597904 140577503607440 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18219] ppid=18196 vsize=7937144 memory=1088 CPUtime=12.03 cores=1,3,5,7
/proc/18214/task/18219/stat : 18219 (java) S 18196 18196 16605 0 -1 1077944384 2 121754 0 0 0 0 1191 12 20 0 17 0 224795338 8127635456 43347 33554432000 4194304 4196468 140731757597904 140577502554640 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18220] ppid=18196 vsize=7937144 memory=15512 CPUtime=12.03 cores=1,3,5,7
/proc/18214/task/18220/stat : 18220 (java) S 18196 18196 16605 0 -1 1077944384 5 121754 0 0 0 0 1191 12 20 0 17 0 224795339 8127635456 43347 33554432000 4194304 4196468 140731757597904 140577130769008 140578019842690 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18221] ppid=18196 vsize=7937144 memory=33844 CPUtime=12.03 cores=1,3,5,7
/proc/18214/task/18221/stat : 18221 (java) S 18196 18196 16605 0 -1 1077944384 13 121754 0 0 0 0 1191 12 20 0 17 0 224795340 8127635456 43347 33554432000 4194304 4196468 140731757597904 140576896836896 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18222] ppid=18196 vsize=7937144 memory=3312 CPUtime=12.03 cores=1,3,5,7
/proc/18214/task/18222/stat : 18222 (java) S 18196 18196 16605 0 -1 1077944384 21 121754 0 0 0 0 1191 12 20 0 17 0 224795340 8127635456 43347 33554432000 4194304 4196468 140731757597904 140576762615408 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18223] ppid=18196 vsize=7937144 memory=1740 CPUtime=12.03 cores=1,3,5,7
/proc/18214/task/18223/stat : 18223 (java) S 18196 18196 16605 0 -1 1077944384 3 121754 0 0 0 0 1191 12 20 0 17 0 224795342 8127635456 43347 33554432000 4194304 4196468 140731757597904 140576388110928 140578019850139 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18224] ppid=18196 vsize=7937144 memory=11192 CPUtime=12.43 cores=1,3,5,7
/proc/18214/task/18224/stat : 18224 (java) R 18196 18196 16605 0 -1 4202560 1233 121754 0 0 40 0 1191 12 20 0 17 0 224795342 8127635456 43347 33554432000 4194304 4196468 140731757597904 140577129707152 140578004221392 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18225] ppid=18196 vsize=7937144 memory=1472 CPUtime=12.43 cores=1,3,5,7
/proc/18214/task/18225/stat : 18225 (java) R 18196 18196 16605 0 -1 4202560 1092 121754 0 0 40 0 1191 12 20 0 17 0 224795342 8127635456 43347 33554432000 4194304 4196468 140731757597904 140577128662208 140578003360274 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18226] ppid=18196 vsize=7937144 memory=1472 CPUtime=12.36 cores=1,3,5,7
/proc/18214/task/18226/stat : 18226 (java) S 18196 18196 16605 0 -1 1077944384 1282 121754 0 0 33 0 1191 12 20 0 17 0 224795342 8127635456 43347 33554432000 4194304 4196468 140731757597904 140577127610736 140578019842690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18227] ppid=18196 vsize=7937144 memory=138008 CPUtime=12.03 cores=1,3,5,7
/proc/18214/task/18227/stat : 18227 (java) S 18196 18196 16605 0 -1 1077944384 3 121754 0 0 0 0 1191 12 20 0 17 0 224795342 8127635456 43347 33554432000 4194304 4196468 140731757597904 140575890205152 140578019841749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18228] ppid=18196 vsize=7937144 memory=154700 CPUtime=12.03 cores=1,3,5,7
/proc/18214/task/18228/stat : 18228 (java) S 18196 18196 16605 0 -1 1077944384 2 121754 0 0 0 0 1191 12 20 0 17 0 224795343 8127635456 43347 33554432000 4194304 4196468 140731757597904 140577126558640 140578019842690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18230] ppid=18196 vsize=7937144 memory=1724 CPUtime=12.03 cores=1,3,5,7
/proc/18214/task/18230/stat : 18230 (java) S 18196 18196 16605 0 -1 1077944384 24 121754 0 0 0 0 1191 12 20 0 17 0 224795433 8127635456 43347 33554432000 4194304 4196468 140731757597904 140577118749328 140578019842690 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
[pid=18214/tid=18234] ppid=18196 vsize=7937144 memory=4004 CPUtime=12.03 cores=1,3,5,7
/proc/18214/task/18234/stat : 18234 (java) S 18196 18196 16605 0 -1 1077944384 9 121754 0 0 0 0 1191 12 20 0 17 0 224795435 8127635456 43347 33554432000 4194304 4196468 140731757597904 140575084896944 140578019842690 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25903104 140731757606069 140731757606193 140731757606193 140731757608911 0
Current children cumulated CPU time: 64.06 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 174860 KiB
Child status: 0
Real time (s): 43.2392
CPU time (s): 64.1715
CPU user time (s): 62.5378
CPU system time (s): 1.63375
CPU usage (%): 148.41
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4036788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.5378
system time used= 1.63375
maximum resident set size= 4035400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206441
page faults= 0
swaps= 0
block input operations= 0
block output operations= 102272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8496
involuntary context switches= 146
# summary of solver processes directly reported to runsolver:
# pid: 18196
# total CPU time (s): 64.1715
# total CPU user time (s): 62.5378
# total CPU system time (s): 1.63375
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.347907 second user time and 0.44527 second system time
The end