Trace number 4267870

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 1.12SAT (TO)391 2519.73 2520

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-50.xml
MD5SUMb46c08097c4951fbb159b9042bff535d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1196
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables5461
Number of constraints3008
Number of domains4
Minimum domain size2
Maximum domain size5409
Distribution of domain sizes[{"size":2,"count":2704},{"size":3,"count":2704},{"size":2501,"count":1},{"size":5409,"count":52}]
Minimum variable degree1
Maximum variable degree53
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2701},{"degree":3,"count":55},{"degree":4,"count":200},{"degree":8,"count":196},{"degree":9,"count":2304},{"degree":53,"count":1}]
Minimum constraint arity2
Maximum constraint arity54
Distribution of constraint arities[{"arity":2,"count":252},{"arity":3,"count":200},{"arity":10,"count":2500},{"arity":52,"count":4},{"arity":53,"count":1},{"arity":54,"count":51}]
Number of extensional constraints2700
Number of intensional constraints251
Distribution of constraint types[{"type":"extension","count":2700},{"type":"intension","count":251},{"type":"sum","count":53},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


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

Solver Data 

0.43/0.50	c best=?? lower=0 upper=2500 
42.11/42.25	c
42.11/42.25	c This is cosoco 1.12 --  
42.11/42.25	c
42.11/42.25	c command line: cosoco -lc -model -restarts HOME/instance-4267870-1502504265.xml 
42.11/42.25	c enable optimization
42.11/42.25	c ========================================[ Problem Statistics ]===========================================
42.11/42.25	c |                                                                                                       
42.11/42.25	c |  Parse time        :         0.41 s 
42.11/42.25	c |
42.11/42.25	c |               Variables: 5461
42.11/42.25	c |            Domain Sizes: 2..5409
42.11/42.25	c |
42.11/42.25	c |             Constraints: 3213
42.11/42.25	c |                   Arity: 1..54  -- Unary: 209  -- Binary: 252  -- Ternary: 200
42.11/42.25	c | 
42.11/42.25	c |                   Types: 
42.11/42.25	c |                          Extension: 2700  (nb tuples: 1..724) -- (shared: 2695)
42.11/42.25	c |                          Intension: 252
42.11/42.25	c |                          Sum: 53
42.11/42.25	c |                          Unary: 208
42.11/42.25	c |                          
42.11/42.25	c =========================================================================================================
42.11/42.25	o 32
42.11/42.25	c    1 calls to solver: best=32 lower=33 upper=2500 
44.31/44.49	o 39
46.41/46.59	o 40
46.41/46.59	c    3 calls to solver: best=40 lower=41 upper=2500 
52.50/52.61	o 41
60.70/60.84	o 49
60.70/60.84	c    5 calls to solver: best=49 lower=50 upper=2500 
65.80/65.91	o 50
67.89/68.07	o 51
67.89/68.07	c    7 calls to solver: best=51 lower=52 upper=2500 
80.78/80.93	o 68
84.19/84.35	o 70
84.19/84.35	c    9 calls to solver: best=70 lower=71 upper=2500 
90.09/90.22	o 158
156.26/156.46	o 177
156.26/156.46	c   11 calls to solver: best=177 lower=178 upper=2500 
193.14/193.32	o 262
679.31/679.58	o 264
679.31/679.58	c   13 calls to solver: best=264 lower=265 upper=2500 
996.50/996.75	o 280
1113.99/1114.29	o 391
1113.99/1114.29	c   15 calls to solver: best=391 lower=392 upper=2500 
2519.72/2520.00	
2519.72/2520.00	c *** INTERRUPTED ***
2519.72/2520.00	c restarts              : 75          
2519.72/2520.00	c conflicts             : 1339087      (531 /sec)
2519.72/2520.00	c decisions             : 12273643     (4872 /sec)
2519.72/2520.00	c propagations          : 547099400   (217150 /sec)
2519.72/2520.00	c root propagations     : 144816      
2519.72/2520.00	c filter calls          : 408776079      (162248 /sec)
2519.72/2520.00	c useless filter calls  : 300005525      (73 %)
2519.72/2520.00	c Memory used           : 341.19 MB
2519.72/2520.00	c CPU time              : 2519.46 s
2519.72/2520.00	
2519.72/2520.00	c nb Solutions = 15
2519.72/2520.00	s SATISFIABLE
2519.72/2520.00	c Best value found: 391
2519.72/2520.00	
2519.72/2520.00	
2519.72/2520.00	v <instantiation type='solution' cost='391'>
2519.72/2520.00	v <list>w[0][0] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][1] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][2] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][3] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[0][46] w[0][47] w[0][48] w[0][49] w[0][4] w[0][50] w[0][51] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[10][0] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][1] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][2] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][3] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[10][46] w[10][47] w[10][48] w[10][49] w[10][4] w[10][50] w[10][51] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[11][0] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][1] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][2] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][3] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[11][46] w[11][47] w[11][48] w[11][49] w[11][4] w[11][50] w[11][51] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[12][0] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][1] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][2] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][3] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[12][46] w[12][47] w[12][48] w[12][49] w[12][4] w[12][50] w[12][51] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[13][0] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][1] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][2] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][3] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[13][46] w[13][47] w[13][48] w[13][49] w[13][4] w[13][50] w[13][51] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[14][0] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][1] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][2] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][3] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[14][46] w[14][47] w[14][48] w[14][49] w[14][4] w[14][50] w[14][51] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[15][0] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][1] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][2] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][3] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[15][46] w[15][47] w[15][48] w[15][49] w[15][4] w[15][50] w[15][51] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[16][0] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][1] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][2] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][3] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[16][46] w[16][47] w[16][48] w[16][49] w[16][4] w[16][50] w[16][51] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[17][0] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][1] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][2] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][3] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[17][46] w[17][47] w[17][48] w[17][49] w[17][4] w[17][50] w[17][51] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[18][0] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][1] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][2] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][3] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[18][46] w[18][47] w[18][48] w[18][49] w[18][4] w[18][50] w[18][51] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[19][0] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][1] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][2] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][3] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[19][46] w[19][47] w[19][48] w[19][49] w[19][4] w[19][50] w[19][51] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[1][0] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][1] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][2] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][3] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[1][46] w[1][47] w[1][48] w[1][49] w[1][4] w[1][50] w[1][51] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[20][0] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][1] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][2] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][3] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[20][46] w[20][47] w[20][48] w[20][49] w[20][4] w[20][50] w[20][51] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[21][0] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][1] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][2] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][3] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[21][46] w[21][47] w[21][48] w[21][49] w[21][4] w[21][50] w[21][51] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[22][0] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][1] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][2] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][3] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[22][46] w[22][47] w[22][48] w[22][49] w[22][4] w[22][50] w[22][51] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[23][0] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][1] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][2] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][3] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[23][46] w[23][47] w[23][48] w[23][49] w[23][4] w[23][50] w[23][51] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[24][0] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][1] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][2] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][3] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[24][46] w[24][47] w[24][48] w[24][49] w[24][4] w[24][50] w[24][51] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[25][0] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][1] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][2] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][3] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[25][46] w[25][47] w[25][48] w[25][49] w[25][4] w[25][50] w[25][51] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[26][0] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][1] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][2] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][3] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[26][46] w[26][47] w[26][48] w[26][49] w[26][4] w[26][50] w[26][51] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[27][0] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][1] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][2] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][3] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[27][46] w[27][47] w[27][48] w[27][49] w[27][4] w[27][50] w[27][51] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[28][0] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][1] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][2] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][3] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[28][46] w[28][47] w[28][48] w[28][49] w[28][4] w[28][50] w[28][51] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[29][0] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][1] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][2] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][3] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[29][46] w[29][47] w[29][48] w[29][49] w[29][4] w[29][50] w[29][51] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[2][0] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][1] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][2] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][3] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[2][46] w[2][47] w[2][48] w[2][49] w[2][4] w[2][50] w[2][51] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[30][0] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][1] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][2] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][3] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[30][46] w[30][47] w[30][48] w[30][49] w[30][4] w[30][50] w[30][51] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[31][0] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][1] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][2] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][3] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[31][46] w[31][47] w[31][48] w[31][49] w[31][4] w[31][50] w[31][51] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[32][0] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][1] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][2] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][3] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[32][46] w[32][47] w[32][48] w[32][49] w[32][4] w[32][50] w[32][51] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[33][0] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][1] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][2] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][3] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[33][46] w[33][47] w[33][48] w[33][49] w[33][4] w[33][50] w[33][51] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[34][0] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][1] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][2] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][3] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[34][46] w[34][47] w[34][48] w[34][49] w[34][4] w[34][50] w[34][51] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[35][0] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][1] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][2] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][3] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[35][46] w[35][47] w[35][48] w[35][49] w[35][4] w[35][50] w[35][51] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[36][0] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][1] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][2] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][3] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[36][46] w[36][47] w[36][48] w[36][49] w[36][4] w[36][50] w[36][51] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[37][0] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][1] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][2] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][3] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[37][46] w[37][47] w[37][48] w[37][49] w[37][4] w[37][50] w[37][51] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[38][0] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][1] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][2] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][3] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[38][46] w[38][47] w[38][48] w[38][49] w[38][4] w[38][50] w[38][51] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[39][0] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][1] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][2] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][3] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[39][46] w[39][47] w[39][48] w[39][49] w[39][4] w[39][50] w[39][51] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[3][0] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][1] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][2] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][3] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[3][46] w[3][47] w[3][48] w[3][49] w[3][4] w[3][50] w[3][51] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[40][0] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][1] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][2] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][3] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[40][46] w[40][47] w[40][48] w[40][49] w[40][4] w[40][50] w[40][51] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[41][0] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][1] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][2] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][3] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[41][46] w[41][47] w[41][48] w[41][49] w[41][4] w[41][50] w[41][51] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[42][0] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][1] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][2] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][3] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[42][46] w[42][47] w[42][48] w[42][49] w[42][4] w[42][50] w[42][51] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[43][0] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][1] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][2] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][3] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[43][46] w[43][47] w[43][48] w[43][49] w[43][4] w[43][50] w[43][51] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[44][0] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][1] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][2] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][3] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[44][46] w[44][47] w[44][48] w[44][49] w[44][4] w[44][50] w[44][51] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[45][0] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][1] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][2] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][3] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] w[45][46] w[45][47] w[45][48] w[45][49] w[45][4] w[45][50] w[45][51] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[46][0] w[46][10] w[46][11] w[46][12] w[46][13] w[46][14] w[46][15] w[46][16] w[46][17] w[46][18] w[46][19] w[46][1] w[46][20] w[46][21] w[46][22] w[46][23] w[46][24] w[46][25] w[46][26] w[46][27] w[46][28] w[46][29] w[46][2] w[46][30] w[46][31] w[46][32] w[46][33] w[46][34] w[46][35] w[46][36] w[46][37] w[46][38] w[46][39] w[46][3] w[46][40] w[46][41] w[46][42] w[46][43] w[46][44] w[46][45] w[46][46] w[46][47] w[46][48] w[46][49] w[46][4] w[46][50] w[46][51] w[46][5] w[46][6] w[46][7] w[46][8] w[46][9] w[47][0] w[47][10] w[47][11] w[47][12] w[47][13] w[47][14] w[47][15] w[47][16] w[47][17] w[47][18] w[47][19] w[47][1] w[47][20] w[47][21] w[47][22] w[47][23] w[47][24] w[47][25] w[47][26] w[47][27] w[47][28] w[47][29] w[47][2] w[47][30] w[47][31] w[47][32] w[47][33] w[47][34] w[47][35] w[47][36] w[47][37] w[47][38] w[47][39] w[47][3] w[47][40] w[47][41] w[47][42] w[47][43] w[47][44] w[47][45] w[47][46] w[47][47] w[47][48] w[47][49] w[47][4] w[47][50] w[47][51] w[47][5] w[47][6] w[47][7] w[47][8] w[47][9] w[48][0] w[48][10] w[48][11] w[48][12] w[48][13] w[48][14] w[48][15] w[48][16] w[48][17] w[48][18] w[48][19] w[48][1] w[48][20] w[48][21] w[48][22] w[48][23] w[48][24] w[48][25] w[48][26] w[48][27] w[48][28] w[48][29] w[48][2] w[48][30] w[48][31] w[48][32] w[48][33] w[48][34] w[48][35] w[48][36] w[48][37] w[48][38] w[48][39] w[48][3] w[48][40] w[48][41] w[48][42] w[48][43] w[48][44] w[48][45] w[48][46] w[48][47] w[48][48] w[48][49] w[48][4] w[48][50] w[48][51] w[48][5] w[48][6] w[48][7] w[48][8] w[48][9] w[49][0] w[49][10] w[49][11] w[49][12] w[49][13] w[49][14] w[49][15] w[49][16] w[49][17] w[49][18] w[49][19] w[49][1] w[49][20] w[49][21] w[49][22] w[49][23] w[49][24] w[49][25] w[49][26] w[49][27] w[49][28] w[49][29] w[49][2] w[49][30] w[49][31] w[49][32] w[49][33] w[49][34] w[49][35] w[49][36] w[49][37] w[49][38] w[49][39] w[49][3] w[49][40] w[49][41] w[49][42] w[49][43] w[49][44] w[49][45] w[49][46] w[49][47] w[49][48] w[49][49] w[49][4] w[49][50] w[49][51] w[49][5] w[49][6] w[49][7] w[49][8] w[49][9] w[4][0] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][1] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][2] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][3] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[4][46] w[4][47] w[4][48] w[4][49] w[4][4] w[4][50] w[4][51] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[50][0] w[50][10] w[50][11] w[50][12] w[50][13] w[50][14] w[50][15] w[50][16] w[50][17] w[50][18] w[50][19] w[50][1] w[50][20] w[50][21] w[50][22] w[50][23] w[50][24] w[50][25] w[50][26] w[50][27] w[50][28] w[50][29] w[50][2] w[50][30] w[50][31] w[50][32] w[50][33] w[50][34] w[50][35] w[50][36] w[50][37] w[50][38] w[50][39] w[50][3] w[50][40] w[50][41] w[50][42] w[50][43] w[50][44] w[50][45] w[50][46] w[50][47] w[50][48] w[50][49] w[50][4] w[50][50] w[50][51] w[50][5] w[50][6] w[50][7] w[50][8] w[50][9] w[51][0] w[51][10] w[51][11] w[51][12] w[51][13] w[51][14] w[51][15] w[51][16] w[51][17] w[51][18] w[51][19] w[51][1] w[51][20] w[51][21] w[51][22] w[51][23] w[51][24] w[51][25] w[51][26] w[51][27] w[51][28] w[51][29] w[51][2] w[51][30] w[51][31] w[51][32] w[51][33] w[51][34] w[51][35] w[51][36] w[51][37] w[51][38] w[51][39] w[51][3] w[51][40] w[51][41] w[51][42] w[51][43] w[51][44] w[51][45] w[51][46] w[51][47] w[51][48] w[51][49] w[51][4] w[51][50] w[51][51] w[51][5] w[51][6] w[51][7] w[51][8] w[51][9] w[5][0] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][1] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][2] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][3] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[5][46] w[5][47] w[5][48] w[5][49] w[5][4] w[5][50] w[5][51] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][1] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][2] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][3] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[6][46] w[6][47] w[6][48] w[6][49] w[6][4] w[6][50] w[6][51] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][1] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][2] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][3] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[7][46] w[7][47] w[7][48] w[7][49] w[7][4] w[7][50] w[7][51] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][1] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][2] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][3] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[8][46] w[8][47] w[8][48] w[8][49] w[8][4] w[8][50] w[8][51] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][1] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][2] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][3] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[9][46] w[9][47] w[9][48] w[9][49] w[9][4] w[9][50] w[9][51] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] ws[0] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[1] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[2] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[3] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] ws[46] ws[47] ws[48] ws[49] ws[4] ws[50] ws[51] ws[5] ws[6] ws[7] ws[8] ws[9] x[0][0] 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][1] 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][2] 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][3] 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][4] x[0][50] x[0][51] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][3] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][4] x[10][50] x[10][51] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][3] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][4] x[11][50] x[11][51] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][3] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][4] x[12][50] x[12][51] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][3] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][4] x[13][50] x[13][51] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][3] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][4] x[14][50] x[14][51] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][3] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][4] x[15][50] x[15][51] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][3] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][4] x[16][50] x[16][51] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][3] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][4] x[17][50] x[17][51] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][3] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][4] x[18][50] x[18][51] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][3] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][4] x[19][50] x[19][51] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] 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][1] 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][2] 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][3] 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][4] x[1][50] x[1][51] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][3] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][4] x[20][50] x[20][51] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][3] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][4] x[21][50] x[21][51] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][3] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][4] x[22][50] x[22][51] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][3] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][4] x[23][50] x[23][51] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][3] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][4] x[24][50] x[24][51] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][3] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][4] x[25][50] x[25][51] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][3] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][4] x[26][50] x[26][51] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][3] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][4] x[27][50] x[27][51] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][2] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][3] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][4] x[28][50] x[28][51] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][3] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][4] x[29][50] x[29][51] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] 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][1] 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][2] 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][3] 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][4] x[2][50] x[2][51] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][3] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][4] x[30][50] x[30][51] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][1] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][3] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][4] x[31][50] x[31][51] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][3] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][4] x[32][50] x[32][51] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][3] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][4] x[33][50] x[33][51] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][3] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][4] x[34][50] x[34][51] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][3] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][4] x[35][50] x[35][51] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][3] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][4] x[36][50] x[36][51] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][3] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][4] x[37][50] x[37][51] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][1] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][2] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][3] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][4] x[38][50] x[38][51] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][1] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][2] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][3] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][4] x[39][50] x[39][51] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[3][0] 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][1] 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][2] 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][3] 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][4] x[3][50] x[3][51] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[40][0] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][1] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][2] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][3] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][4] x[40][50] x[40][51] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[41][0] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][1] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][2] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][3] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][4] x[41][50] x[41][51] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[42][0] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][1] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][2] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][3] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][4] x[42][50] x[42][51] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[43][0] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][1] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][2] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][3] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][4] x[43][50] x[43][51] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[44][0] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][1] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][2] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][3] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][4] x[44][50] x[44][51] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[45][0] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][1] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][2] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][3] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][4] x[45][50] x[45][51] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[46][0] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][1] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][2] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][3] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][4] x[46][50] x[46][51] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[47][0] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][1] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][2] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][3] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][4] x[47][50] x[47][51] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[48][0] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][1] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][2] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][3] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][4] x[48][50] x[48][51] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[49][0] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][1] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][2] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][3] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][4] x[49][50] x[49][51] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[4][0] 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][1] 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][2] 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][3] 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][4] x[4][50] x[4][51] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[50][0] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][1] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][2] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][3] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][4] x[50][50] x[50][51] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[51][0] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][1] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][2] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][3] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][4] x[51][50] x[51][51] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[5][0] 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][1] 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][2] 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][3] 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][4] x[5][50] x[5][51] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] 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][1] 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][2] 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][3] 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][4] x[6][50] x[6][51] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] 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][1] 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][2] 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][3] 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][4] x[7][50] x[7][51] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] 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][1] 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][2] 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][3] 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][4] x[8][50] x[8][51] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] 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][1] 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][2] 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][3] 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][4] x[9][50] x[9][51] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list>
2519.72/2520.00	v <values>0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 2 1 1 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 2 1 1 0 0 0 1 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 2 2 0 1 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 2 2 2 1 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 2 2 2 2 2 0 0 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 1 0 1 1 2 2 1 0 0 1 0 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 2 2 2 2 1 0 0 1 1 2 2 2 2 2 2 1 1 0 0 2 2 2 1 1 0 1 2 2 2 2 1 1 2 1 0 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 2 2 2 2 2 0 1 0 0 1 2 2 2 2 1 1 0 1 1 2 2 2 2 1 2 2 2 2 2 1 1 0 2 0 1 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 1 0 1 2 2 2 2 1 0 1 1 2 2 2 2 1 0 0 0 2 2 2 2 2 2 2 2 2 2 2 1 0 1 2 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 1 1 0 1 0 2 2 2 2 2 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 0 1 2 2 2 1 1 0 0 0 0 1 1 1 1 0 1 2 2 2 2 2 2 0 2 2 2 2 2 2 1 0 1 1 1 2 2 2 2 2 2 1 0 1 1 1 2 1 1 1 2 2 2 1 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 2 1 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 0 1 0 2 2 2 2 2 2 2 2 0 1 0 2 2 2 2 2 2 2 1 2 2 1 1 2 0 2 2 2 2 2 2 2 1 1 2 0 2 2 2 2 2 2 2 2 2 2 0 2 1 1 2 1 1 2 1 1 2 1 2 1 1 2 1 1 2 2 2 2 2 2 1 2 1 0 1 1 0 2 1 2 2 2 2 1 0 0 1 0 2 2 1 2 1 2 2 2 2 2 0 2 2 0 1 0 2 1 1 0 1 1 2 2 0 1 0 2 2 2 2 2 2 2 1 2 1 0 0 2 1 0 1 0 2 2 2 1 0 0 1 1 2 0 1 0 1 1 2 2 2 2 1 2 2 2 1 2 2 2 0 0 1 2 2 2 2 1 2 2 2 2 2 2 2 2 1 1 1 0 1 1 1 1 2 1 1 1 1 2 1 1 2 2 1 1 0 0 0 0 1 2 2 1 2 1 2 2 1 1 2 1 0 0 2 2 2 2 2 2 1 1 2 2 2 2 1 2 1 0 0 1 0 1 1 0 1 0 1 1 0 1 2 2 2 1 0 0 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 2 2 2 2 1 0 1 1 1 2 1 1 1 1 1 0 1 2 2 0 2 1 2 2 0 0 1 2 2 1 0 1 0 1 2 1 0 0 2 1 0 0 0 1 1 0 0 1 2 1 1 2 1 2 2 2 1 1 0 0 0 0 0 2 0 0 1 2 2 2 2 0 2 2 2 1 0 0 2 2 2 2 0 1 1 2 1 1 0 1 1 2 0 0 1 0 0 1 0 2 2 2 1 2 1 1 1 2 1 1 1 1 0 0 0 2 1 0 2 2 2 2 2 1 2 2 2 2 0 0 0 0 0 1 1 2 0 0 1 1 2 2 2 2 2 0 2 2 2 2 2 2 1 0 0 2 0 2 2 2 2 2 2 1 0 0 1 0 1 1 0 0 1 2 2 1 2 2 2 1 0 1 1 2 2 2 1 1 2 0 0 0 1 0 2 2 2 1 0 0 0 0 2 2 2 1 1 0 2 0 0 0 1 0 1 0 1 1 2 2 1 1 2 2 2 2 2 1 2 2 2 2 1 1 2 2 2 1 2 1 0 2 0 0 0 1 2 2 0 2 1 0 0 0 1 2 2 1 0 0 2 0 1 0 0 0 0 0 1 2 1 2 2 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 1 2 0 0 0 2 1 0 1 1 1 1 2 0 1 0 1 1 2 2 2 1 1 2 2 1 1 0 1 0 1 0 0 1 2 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 0 1 0 0 1 0 2 0 0 2 1 2 2 2 2 2 2 2 2 0 1 1 0 2 0 1 0 0 2 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 1 0 0 2 0 1 1 2 2 2 2 2 2 1 2 1 1 0 0 1 0 1 0 0 0 2 2 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 1 0 1 2 0 0 0 2 2 2 2 2 1 1 2 0 0 1 0 0 0 0 0 0 0 2 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 1 2 2 2 1 1 0 0 1 1 2 2 2 2 1 0 2 1 0 0 1 1 1 0 0 0 1 2 1 1 2 2 2 2 2 0 2 1 1 2 2 2 2 2 1 1 1 2 1 2 1 1 2 2 2 2 1 0 1 0 0 1 1 2 2 1 1 0 1 0 0 0 1 2 1 1 0 0 1 2 2 1 2 1 1 2 1 1 0 0 0 1 2 2 1 1 1 0 0 0 1 0 0 0 1 2 2 2 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 2 2 1 0 0 1 0 2 2 1 0 0 0 0 1 0 0 0 1 1 2 1 1 0 0 1 0 0 0 0 0 1 1 2 2 1 1 0 0 0 1 0 0 1 0 0 0 0 2 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 2 1 2 1 1 0 0 0 2 2 2 1 1 0 1 0 2 1 1 2 0 2 2 2 2 2 2 2 0 0 1 1 2 2 2 2 2 2 2 0 1 0 1 0 0 0 1 1 2 1 0 1 2 1 2 2 1 0 1 1 1 0 2 1 1 2 1 2 2 2 2 1 1 1 2 1 2 1 0 1 1 1 2 1 1 0 1 1 1 0 1 0 1 0 0 1 1 0 1 1 2 1 1 2 2 2 2 2 2 1 1 2 2 1 2 1 2 1 2 2 2 2 2 2 1 2 2 2 2 2 1 1 2 2 2 1 2 2 1 2 2 1 1 2 1 1 1 2 1 0 1 2 2 2 1 2 2 1 2 1 2 2 2 2 2 2 1 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 1 0 2 2 2 2 1 2 0 1 0 1 1 2 2 2 2 2 1 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 0 2 1 0 0 2 2 2 1 1 1 0 0 0 1 2 2 2 2 2 2 1 1 1 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 0 2 1 2 1 1 2 2 1 0 0 1 1 1 2 2 2 2 2 2 2 2 2 1 1 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 2 1 1 0 2 2 2 1 1 0 1 2 2 2 2 2 2 2 1 1 1 2 2 0 1 0 1 1 2 1 2 2 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 2 1 1 1 2 2 2 1 0 1 1 2 2 2 2 2 2 2 1 0 0 0 1 2 2 1 2 1 2 2 1 2 0 1 0 1 1 2 2 2 2 1 2 2 2 2 2 2 2 2 0 0 2 1 1 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 1 0 0 0 1 2 2 2 2 2 2 2 0 1 1 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 2 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 0 1 1 2 2 2 2 2 2 2 2 0 0 0 1 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 0 2 1 0 2 2 2 2 2 1 0 0 1 0 1 0 0 0 0 1 2 2 2 0 1 0 1 0 0 1 1 2 2 2 2 2 1 1 1 0 0 1 1 1 1 2 2 2 1 1 2 1 0 1 1 0 2 1 2 1 1 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 1 0 1 0 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 0 0 2 0 0 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 1 2 2 2 2 1 0 1 0 0 0 2 2 2 2 2 1 1 0 1 0 0 0 2 0 1 1 2 1 0 1 1 1 2 2 1 1 2 2 2 2 0 1 1 0 0 0 0 0 1 0 0 2 2 2 2 2 1 1 0 0 1 1 2 2 2 2 2 2 0 0 0 0 0 1 2 0 0 2 2 1 1 0 0 1 1 2 2 1 2 2 2 2 1 1 0 1 0 0 0 0 0 0 1 1 2 2 2 2 2 0 1 1 0 2 2 2 2 2 2 2 0 0 0 0 1 0 2 1 1 2 2 2 1 1 1 0 1 2 2 1 2 2 2 2 2 1 2 1 1 0 0 0 1 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 0 0 0 0 1 2 0 2 2 2 2 2 2 1 1 2 2 2 1 2 2 2 2 2 1 2 2 0 1 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 38 685 768 851 938 1028 1110 1188 1266 1345 1434 107 1529 1624 1710 1789 1856 1925 1989 2039 2089 2147 168 2205 2264 2329 2400 2469 2534 2606 2667 2700 2729 229 2784 2868 2957 3036 3116 3195 3273 3348 3425 3507 280 3592 3636 330 384 444 518 602 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 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 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 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 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 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 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 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 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 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 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 1 0 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 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 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 1 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 391 </values>
2519.72/2520.00	v </instantiation>
2519.72/2520.00

Verifier Data 

OK	391

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267870-1502504265/watcher-4267870-1502504265 -o /tmp/evaluation-result-4267870-1502504265/solver-4267870-1502504265 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6741 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267870-1502504265.xml 

pid=7541
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.17 0.05 0.06 1/175 7544
/proc/meminfo: memFree=31216128/32770624 swapFree=0/553152
[pid=7544] ppid=7541 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7544/stat : 7544 (runsolver) D 7541 7544 6677 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 52619893 24240128 108 18446744073709551615 4194304 4338465 140734710996864 140734710994504 139637660439255 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 7364608 140734711001282 140734711001673 140734711001673 140734711005130 0
/proc/7544/statm: 5918 108 54 36 0 2156 0

[startup+0.100156 s]
/proc/loadavg: 0.17 0.05 0.06 1/175 7544
/proc/meminfo: memFree=31216128/32770624 swapFree=0/553152
[pid=7544] ppid=7541 vsize=41712 CPUtime=0.03 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 4641 0 0 0 3 0 0 0 20 0 1 0 52619893 42713088 4442 18446744073709551615 4194304 5972588 140722867327328 140722867323976 140625175059456 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 10428 4442 730 435 0 3791 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 41712

[startup+0.200343 s]
/proc/loadavg: 0.17 0.05 0.06 1/175 7544
/proc/meminfo: memFree=31216128/32770624 swapFree=0/553152
[pid=7544] ppid=7541 vsize=97692 CPUtime=0.13 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 18691 0 0 0 11 2 0 0 20 0 1 0 52619893 100036608 18500 18446744073709551615 4194304 5972588 140722867327328 140722867323976 5211096 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 24423 18500 764 435 0 17786 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 97692

[startup+0.300341 s]
/proc/loadavg: 0.17 0.05 0.06 1/175 7544
/proc/meminfo: memFree=31216128/32770624 swapFree=0/553152
[pid=7544] ppid=7541 vsize=101272 CPUtime=0.23 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 19617 0 0 0 21 2 0 0 20 0 1 0 52619893 103702528 19399 18446744073709551615 4194304 5972588 140722867327328 140722867323976 140625174621157 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 25318 19399 797 435 0 18681 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 101272

[startup+0.700247 s]
/proc/loadavg: 0.17 0.05 0.06 1/175 7544
/proc/meminfo: memFree=31216128/32770624 swapFree=0/553152
[pid=7544] ppid=7541 vsize=136116 CPUtime=0.63 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 28383 0 0 0 60 3 0 0 20 0 1 0 52619893 139382784 28175 18446744073709551615 4194304 5972588 140722867327328 140722867323976 5041377 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 34029 28175 826 435 0 27392 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 136116

[startup+1.50017 s]
/proc/loadavg: 0.17 0.05 0.06 3/182 7560
/proc/meminfo: memFree=31053432/32770624 swapFree=0/553136
[pid=7544] ppid=7541 vsize=148724 CPUtime=1.43 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 31527 0 0 0 139 4 0 0 20 0 1 0 52619893 152293376 31355 18446744073709551615 4194304 5972588 140722867327328 140722867324040 5040154 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 37181 31355 854 435 0 30544 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 148724

[startup+3.10019 s]
/proc/loadavg: 0.15 0.05 0.06 3/182 7560
/proc/meminfo: memFree=31027900/32770624 swapFree=0/553148
[pid=7544] ppid=7541 vsize=160696 CPUtime=3.03 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 44747 0 0 0 298 5 0 0 20 0 1 0 52619893 164552704 34337 18446744073709551615 4194304 5972588 140722867327328 140722867324040 5040128 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 40174 34337 854 435 0 33537 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 160696

[startup+6.30019 s]
/proc/loadavg: 0.15 0.05 0.06 3/182 7560
/proc/meminfo: memFree=31005564/32770624 swapFree=0/553148
[pid=7544] ppid=7541 vsize=160696 CPUtime=6.23 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 59540 0 0 0 617 6 0 0 20 0 1 0 52619893 164552704 34337 18446744073709551615 4194304 5972588 140722867327328 140722867324040 5099648 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 40174 34337 854 435 0 33537 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 160696

[startup+12.7002 s]
/proc/loadavg: 0.44 0.11 0.08 3/182 7560
/proc/meminfo: memFree=30978468/32770624 swapFree=0/553140
[pid=7544] ppid=7541 vsize=166200 CPUtime=12.62 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 76415 0 0 0 1255 7 0 0 20 0 1 0 52619893 170188800 35730 18446744073709551615 4194304 5972588 140722867327328 140722867323928 4935408 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 41550 35730 854 435 0 34913 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 166200

[startup+25.5003 s]
/proc/loadavg: 0.68 0.18 0.10 3/182 7560
/proc/meminfo: memFree=30900936/32770624 swapFree=0/553140
[pid=7544] ppid=7541 vsize=240760 CPUtime=25.42 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 140119 0 0 0 2529 13 0 0 20 0 1 0 52619893 246538240 53592 18446744073709551615 4194304 5972588 140722867327328 140722867324088 4935596 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 60190 53592 854 435 0 53553 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 240760

[startup+51.1003 s]
/proc/loadavg: 1.13 0.32 0.15 3/182 7561
/proc/meminfo: memFree=30838668/32770624 swapFree=0/553136
[pid=7544] ppid=7541 vsize=301012 CPUtime=51 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 194648 0 0 0 5083 17 0 0 20 0 1 0 52619893 308236288 68061 18446744073709551615 4194304 5972588 140722867327328 140722867314520 5040166 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 75253 68061 855 435 0 68616 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 301012

[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 3/181 7562
/proc/meminfo: memFree=30816844/32770624 swapFree=0/553148
[pid=7544] ppid=7541 vsize=322044 CPUtime=102.19 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 224571 0 0 0 10200 19 0 0 20 0 1 0 52619893 329773056 73041 18446744073709551615 4194304 5972588 140722867327328 140722867323928 5039256 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 80511 73041 855 435 0 73874 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 322044

[startup+162.3 s]
/proc/loadavg: 1.87 0.86 0.36 3/181 7564
/proc/meminfo: memFree=30804224/32770624 swapFree=0/553148
[pid=7544] ppid=7541 vsize=332188 CPUtime=162.15 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 239353 0 0 0 16195 20 0 0 20 0 1 0 52619893 340160512 76050 18446744073709551615 4194304 5972588 140722867327328 140722867324040 5070711 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 83047 76050 855 435 0 76410 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 332188

[startup+222.306 s]
/proc/loadavg: 1.95 1.07 0.47 3/181 7566
/proc/meminfo: memFree=30796676/32770624 swapFree=0/553160
[pid=7544] ppid=7541 vsize=335196 CPUtime=222.14 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 244711 0 0 0 22193 21 0 0 20 0 1 0 52619893 343240704 77663 18446744073709551615 4194304 5972588 140722867327328 140722867324776 4934214 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 83799 77663 855 435 0 77162 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 335196

[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.56 3/181 7568
/proc/meminfo: memFree=30795200/32770624 swapFree=0/553172
[pid=7544] ppid=7541 vsize=335196 CPUtime=282.13 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 248418 0 0 0 28192 21 0 0 20 0 1 0 52619893 343240704 77672 18446744073709551615 4194304 5972588 140722867327328 140722867324776 5040622 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 83799 77672 855 435 0 77162 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 335196

[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.65 3/181 7570
/proc/meminfo: memFree=30792472/32770624 swapFree=0/553184
[pid=7544] ppid=7541 vsize=335628 CPUtime=342.13 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 252078 0 0 0 34191 22 0 0 20 0 1 0 52619893 343683072 77755 18446744073709551615 4194304 5972588 140722867327328 140722867324040 5041364 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 83907 77755 855 435 0 77270 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 335628

[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 3/184 7586
/proc/meminfo: memFree=30789120/32770624 swapFree=0/553212
[pid=7544] ppid=7541 vsize=336048 CPUtime=402.13 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 255019 0 0 0 40191 22 0 0 20 0 1 0 52619893 344113152 77859 18446744073709551615 4194304 5972588 140722867327328 140722867323928 4931776 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 84012 77859 855 435 0 77375 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 336048

[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.81 3/184 7588
/proc/meminfo: memFree=30788344/32770624 swapFree=0/553224
[pid=7544] ppid=7541 vsize=336480 CPUtime=462.12 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 258746 0 0 0 46190 22 0 0 20 0 1 0 52619893 344555520 77938 18446744073709551615 4194304 5972588 140722867327328 140722867323928 4931747 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 84120 77938 855 435 0 77483 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 336480

[startup+522.3 s]
/proc/loadavg: 2.04 1.67 0.89 3/181 7590
/proc/meminfo: memFree=30790940/32770624 swapFree=0/553240
[pid=7544] ppid=7541 vsize=336480 CPUtime=522.11 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 260519 0 0 0 52189 22 0 0 20 0 1 0 52619893 344555520 78169 18446744073709551615 4194304 5972588 140722867327328 140722867323928 5040532 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 84120 78169 855 435 0 77483 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 336480

[startup+582.3 s]
/proc/loadavg: 2.09 1.75 0.97 3/181 7592
/proc/meminfo: memFree=30790116/32770624 swapFree=0/553256
[pid=7544] ppid=7541 vsize=337608 CPUtime=582.11 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 262080 0 0 0 58189 22 0 0 20 0 1 0 52619893 345710592 78425 18446744073709551615 4194304 5972588 140722867327328 140722867324040 4923636 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 84402 78425 855 435 0 77765 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 337608


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.66 3/185 7658
/proc/meminfo: memFree=30772020/32770624 swapFree=0/553488
[pid=7544] ppid=7541 vsize=349236 CPUtime=1602.06 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 289658 0 0 0 160181 25 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 5039256 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 349236

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.69 3/185 7660
/proc/meminfo: memFree=30772300/32770624 swapFree=0/553496
[pid=7544] ppid=7541 vsize=349236 CPUtime=1662.05 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 290268 0 0 0 166180 25 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 4931747 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 349236

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.70 3/182 7662
/proc/meminfo: memFree=30775932/32770624 swapFree=0/553516
[pid=7544] ppid=7541 vsize=349236 CPUtime=1722.05 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 292061 0 0 0 172180 25 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 4931696 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 349236

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.72 3/182 7664
/proc/meminfo: memFree=30775436/32770624 swapFree=0/553524
[pid=7544] ppid=7541 vsize=349236 CPUtime=1782.05 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 292553 0 0 0 178180 25 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 4935759 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 349236

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.74 3/182 7666
/proc/meminfo: memFree=30775312/32770624 swapFree=0/553536
[pid=7544] ppid=7541 vsize=349236 CPUtime=1842.04 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 293027 0 0 0 184179 25 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 4935081 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 1842.04
Current children cumulated vsize (KiB) 349236

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/181 7668
/proc/meminfo: memFree=30775788/32770624 swapFree=0/553552
[pid=7544] ppid=7541 vsize=349236 CPUtime=1902.04 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 293513 0 0 0 190179 25 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 4931704 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 1902.04
Current children cumulated vsize (KiB) 349236

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.77 3/181 7670
/proc/meminfo: memFree=30775416/32770624 swapFree=0/553560
[pid=7544] ppid=7541 vsize=349236 CPUtime=1962.05 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 295232 0 0 0 196179 26 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 5040238 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 1962.05
Current children cumulated vsize (KiB) 349236

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/181 7672
/proc/meminfo: memFree=30775664/32770624 swapFree=0/553576
[pid=7544] ppid=7541 vsize=349236 CPUtime=2022.04 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 295706 0 0 0 202178 26 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 4931747 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 2022.04
Current children cumulated vsize (KiB) 349236

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/181 7674
/proc/meminfo: memFree=30775304/32770624 swapFree=0/553580
[pid=7544] ppid=7541 vsize=349236 CPUtime=2082.05 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 296197 0 0 0 208179 26 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 4931776 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 2082.05
Current children cumulated vsize (KiB) 349236

[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 1.81 3/181 7676
/proc/meminfo: memFree=30775800/32770624 swapFree=0/553604
[pid=7544] ppid=7541 vsize=349236 CPUtime=2142.04 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 297687 0 0 0 214178 26 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 5041404 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 2142.04
Current children cumulated vsize (KiB) 349236

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 1.83 3/185 7693
/proc/meminfo: memFree=30771380/32770624 swapFree=0/553636
[pid=7544] ppid=7541 vsize=349236 CPUtime=2202.04 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 298364 0 0 0 220178 26 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 5040162 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 2202.04
Current children cumulated vsize (KiB) 349236

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/185 7695
/proc/meminfo: memFree=30772004/32770624 swapFree=0/553660
[pid=7544] ppid=7541 vsize=349236 CPUtime=2262.03 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 298767 0 0 0 226177 26 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 4965365 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 349236

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/182 7697
/proc/meminfo: memFree=30775032/32770624 swapFree=0/553672
[pid=7544] ppid=7541 vsize=349236 CPUtime=2322.02 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 300309 0 0 0 232176 26 0 0 20 0 1 0 52619893 357617664 81356 18446744073709551615 4194304 5972588 140722867327328 140722867314520 4931747 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87309 81356 855 435 0 80672 0
Current children cumulated CPU time (s) 2322.02
Current children cumulated vsize (KiB) 349236

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/182 7699
/proc/meminfo: memFree=30774788/32770624 swapFree=0/553692
[pid=7544] ppid=7541 vsize=349372 CPUtime=2382.03 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 300884 0 0 0 238176 27 0 0 20 0 1 0 52619893 357756928 81356 18446744073709551615 4194304 5972588 140722867327328 140722867323928 5338173 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87343 81356 855 435 0 80706 0
Current children cumulated CPU time (s) 2382.03
Current children cumulated vsize (KiB) 349372

[startup+2442.3 s]
/proc/loadavg: 2.14 2.06 1.89 3/182 7701
/proc/meminfo: memFree=30774168/32770624 swapFree=0/553696
[pid=7544] ppid=7541 vsize=349372 CPUtime=2442.03 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 301393 0 0 0 244176 27 0 0 20 0 1 0 52619893 357756928 81365 18446744073709551615 4194304 5972588 140722867327328 140722867323928 4931790 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87343 81365 855 435 0 80706 0
Current children cumulated CPU time (s) 2442.03
Current children cumulated vsize (KiB) 349372

[startup+2502.3 s]
/proc/loadavg: 2.06 2.05 1.89 3/181 7703
/proc/meminfo: memFree=30774556/32770624 swapFree=0/553708
[pid=7544] ppid=7541 vsize=349372 CPUtime=2502.02 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 301909 0 0 0 250175 27 0 0 20 0 1 0 52619893 357756928 81366 18446744073709551615 4194304 5972588 140722867327328 140722867323928 5053038 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87343 81366 855 435 0 80706 0
Current children cumulated CPU time (s) 2502.02
Current children cumulated vsize (KiB) 349372



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.04 2.04 1.89 3/181 7704
/proc/meminfo: memFree=30774556/32770624 swapFree=0/553704
[pid=7544] ppid=7541 vsize=349372 CPUtime=2519.72 cores=1,3,5,7
/proc/7544/stat : 7544 (cosoco) R 7541 7544 6677 0 -1 4202496 302065 0 0 0 251945 27 0 0 20 0 1 0 52619893 357756928 81366 18446744073709551615 4194304 5972588 140722867327328 140722867323928 4931786 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 16101376 140722867331566 140722867331661 140722867331661 140722867335118 0
/proc/7544/statm: 87343 81366 855 435 0 80706 0
Current children cumulated CPU time (s) 2519.72
Current children cumulated vsize (KiB) 349372

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

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

Child status: 1
Real time (s): 2520
CPU time (s): 2519.73
CPU user time (s): 2519.46
CPU system time (s): 0.273986
CPU usage (%): 99.9892
Max. virtual memory (cumulated for all children) (KiB): 349372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.46
system time used= 0.273986
maximum resident set size= 325532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125
involuntary context switches= 897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62207 second user time and 9.10007 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-12 04:03:37
IDJOB=4267870
IDBENCH=115882
IDSOLVER=2658
FILE ID=node127/4267870-1502504265
RUNJOBID= node127-1502500309-6741
PBS_JOBID= 
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267870-1502504265/watcher-4267870-1502504265 -o /tmp/evaluation-result-4267870-1502504265/solver-4267870-1502504265 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6741 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267870-1502504265.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=1530865214

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31216400 kB
MemAvailable:   32001480 kB
Buffers:          266372 kB
Cached:           808432 kB
SwapCached:            0 kB
Active:           551660 kB
Inactive:         578060 kB
Active(anon):      55252 kB
Inactive(anon):    24908 kB
Active(file):     496408 kB
Inactive(file):   553152 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2568 kB
Writeback:             4 kB
AnonPages:         54668 kB
Mapped:            42564 kB
Shmem:             25252 kB
Slab:             127776 kB
SReclaimable:     102708 kB
SUnreclaim:        25068 kB
KernelStack:        3104 kB
PageTables:         4668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     298548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62028 MiB
End job on node127 at 2017-08-12 04:45:37