Trace number 4307304

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 NameAnswerCPU timeWall clock time
scop both+glucose-syrup (2018-07-31)SAT 50.2437 25.1271

General information on the benchmark

NameBibd/
Bibd-sc-09-03-09_c18.xml
MD5SUM14461c5e126fcf4565f37d2e3313bad0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark20.7315
Satisfiable
(Un)Satisfiability was proved
Number of variables9720
Number of constraints4042
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":4860}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":4860},{"degree":2,"count":3888},{"degree":11,"count":972}]
Minimum constraint arity3
Maximum constraint arity972
Distribution of constraint arities[{"arity":3,"count":3888},{"arity":9,"count":108},{"arity":108,"count":45},{"arity":972,"count":1}]
Number of extensional constraints0
Number of intensional constraints3888
Distribution of constraint types[{"type":"intension","count":3888},{"type":"lex","count":1},{"type":"sum","count":153}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-10790-serial-file.bin HOME/instance-4307304-1534189841.xml
0.66/0.53	
0.66/0.53	scop both+glucose-syrup (2018-07-31)
0.66/0.53	(Encoding Process)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Mon Aug 13 21:50:42 CEST 2018
0.66/0.55	c PID: 10793
0.66/0.55	c IP: 172.20.3.137
0.66/0.55	c HOST: node137.alineos.net
0.66/0.56	c (0,0) Parsing Begin
5.75/1.99	c (1,1) Parsing End
6.20/2.01	c (1,1) CSP: 0 int (0 aux), 4860 bool (0 aux), 4042 ctr, max domain size 2
6.20/2.01	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
6.20/2.01	c (1,1) Constraint Name Generate Begin
6.20/2.03	c (1,1) Ctr:HOME/instance-4307304-1534189841.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum
6.20/2.03	c (1,1) Constraint Name Generate End
6.20/2.03	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
6.20/2.03	c (1,1) CSP to CSPinCNF Begin
8.61/2.62	c (2,2) translated 405 (10%) constraints
9.45/2.82	c (2,2) translated 809 (20%) constraints
9.85/2.98	c (2,2) translated 1213 (30%) constraints
10.71/3.13	c (2,2) translated 1617 (40%) constraints
11.07/3.28	c (2,2) translated 2021 (50%) constraints
11.87/3.42	c (2,2) translated 2426 (60%) constraints
12.26/3.53	c (2,2) translated 2830 (70%) constraints
12.67/3.63	c (3,3) translated 3234 (80%) constraints
13.07/3.73	c (3,3) translated 3638 (90%) constraints
14.07/4.09	c (3,3) translated 4042 (100%) constraints
28.31/14.94	c (14,14) STATISTICS1:HOME/instance-4307304-1534189841.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,14233,23017,9223372036854775807,2,4,108,9223372036854775807:90;256:216;2:11315,2:60469,4:1597;3:7891;2:9373;1:4156,108:90;9:216;2:11315;1:43671,5184:90
28.31/14.94	c (14,14) ==========================================
28.31/14.94	c (14,14) Both Encoding selects:
28.31/14.94	c (14,14) Order
28.31/14.94	c (14,14) ==========================================
29.80/15.27	c (14,14) translated 2302 (10%) constraints
30.24/15.36	c (14,14) translated 4604 (20%) constraints
30.67/15.46	c (14,14) translated 6906 (30%) constraints
31.07/15.56	c (15,14) translated 9207 (40%) constraints
31.47/15.65	c (15,14) translated 11509 (50%) constraints
31.87/15.77	c (15,15) translated 13811 (60%) constraints
32.06/15.83	c (15,15) translated 16112 (70%) constraints
32.06/15.89	c (15,15) translated 18414 (80%) constraints
32.86/16.23	c (15,15) translated 20716 (90%) constraints
33.10/16.31	c (15,15) translated 23017 (100%) constraints
33.10/16.32	c (15,15) CSP to CSPinCNF End
33.10/16.32	c (15,15) CSP: 945 int (945 aux), 18121 bool (13261 aux), 36724 ctr, max domain size 37
33.10/16.32	c (15,15) Heap : 618 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
33.10/16.32	c (15,15) CSPinCNF Propagation Begin
33.87/16.57	c (16,15) 0 values, 3888 unsatisfiable literals, and 3888 valid clauses are removed
33.87/16.57	c (16,15) CSPinCNF Propagation End
33.87/16.58	c (16,15) CSP: 945 int (945 aux), 18121 bool (13261 aux), 32836 ctr, max domain size 37
33.87/16.58	c (16,15) Heap : 764 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
33.87/16.58	c (16,15) Simplify CSPinCNF Begin
34.38/16.72	c (16,16) Simplify CSPinCNF End
34.38/16.72	c (16,16) CSP: 945 int (945 aux), 21660 bool (16800 aux), 36375 ctr, max domain size 37
34.38/16.72	c (16,16) Heap : 874 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
34.38/16.72	c (16,16) Calculate Precise Domain Begin
34.38/16.79	c (16,16) 0 values are removed by re-calculation
34.38/16.79	c (16,16) Calculate Precise Domain End
34.38/16.79	c (16,16) CSP: 945 int (945 aux), 21660 bool (16800 aux), 36375 ctr, max domain size 37
34.38/16.79	c (16,16) Heap : 874 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
34.38/16.79	c (16,16) CSPinCNF to SatSolver Begin
36.88/17.61	c (17,16) 3638 (10 %) CSP clauses are encoded (31380 SAT variables, 182440 SAT clauses)
36.88/17.65	c (17,16) 7275 (20 %) CSP clauses are encoded (31380 SAT variables, 186077 SAT clauses)
36.88/17.68	c (17,17) 10913 (30 %) CSP clauses are encoded (31380 SAT variables, 189715 SAT clauses)
37.28/17.71	c (17,17) 14550 (40 %) CSP clauses are encoded (31380 SAT variables, 193352 SAT clauses)
37.28/17.73	c (17,17) 18188 (50 %) CSP clauses are encoded (31380 SAT variables, 196990 SAT clauses)
37.28/17.76	c (17,17) 21825 (60 %) CSP clauses are encoded (31380 SAT variables, 200627 SAT clauses)
37.28/17.79	c (17,17) 25463 (70 %) CSP clauses are encoded (31380 SAT variables, 204265 SAT clauses)
39.07/19.17	c (18,18) 29100 (80 %) CSP clauses are encoded (31380 SAT variables, 592880 SAT clauses)
39.48/19.56	c (19,18) 32738 (90 %) CSP clauses are encoded (31380 SAT variables, 691998 SAT clauses)
39.70/19.63	c (19,18) 36375 (100 %) CSP clauses are encoded (31380 SAT variables, 697401 SAT clauses)
39.70/19.63	c (19,18) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
39.70/19.63	c (19,18) CSPinCNF to SatSolver End
39.70/19.63	c (19,18) Heap : 3295 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
40.44/19.84	c (19,19) STATISTICS2:HOME/instance-4307304-1534189841.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,22605,36375,1369,37,4,10,1369:18;512:1080;361:54;256:216;100:828;2:13027,37:108;19:216;10:3456;2:92355,4:1597;3:4003;2:20688;1:10087,10:1080;9:216;3:900;2:13027;1:54637,
40.44/19.85	c (19,19) 31380 bool, 697402 clause
40.44/19.85	c (19,19) Export Begin
41.34/20.12	c (19,19) Export to HOME/scop-10790-serial-file.bin
41.34/20.12	c (19,19) Export End
41.34/20.12	c (19,19) Export File Size: 0.80 MB
41.34/20.12	c (19,19) 1,1,15,16,16,16,19,STOP-AFTER(DIMACS)
41.34/20.12	c END-Prog: Mon Aug 13 21:51:01 CEST 2018
41.34/20.18	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-10790-serial-file.bin
41.43/20.67	c (0,0) Read Serial File Begin
41.43/20.67	c (0,0) HOME/scop-10790-serial-file.bin
42.84/21.03	c (0,0) Read Serial File End
42.84/21.03	
42.84/21.03	scop order+glucose-syrup (2018-07-31)
42.84/21.03	(Solving Process)
42.84/21.03	
42.84/21.06	c BEGIN-Prog: Mon Aug 13 21:51:02 CEST 2018
42.84/21.06	c PID: 10813
42.84/21.06	c IP: 172.20.3.137
42.84/21.06	c HOST: node137.alineos.net
42.84/21.06	c (0,0) SatSolver.solve Begin
42.84/21.06	c (0,0) 0 bool, 0 clause
42.84/21.06	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307304-1534189841.xml-scop-10793.cnf
48.96/24.87	c (4,0) c
48.96/24.87	c (4,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
48.96/24.87	c (4,0) c
48.96/24.87	c (4,0) c WARNING: for repeatability, setting FPU to use double precision
48.96/24.87	c (4,0) c 8 solvers engines and 1 companion as a blackboard created.
48.96/24.87	c (4,0) c ========================================[ Problem Statistics ]===========================================
48.96/24.87	c (4,0) c |                                                                                                       |
48.96/24.87	c (4,0) c |  Number of variables:         31380                                                                   |
48.96/24.87	c (4,0) c |  Number of clauses:          697402                                                                   |
48.96/24.87	c (4,0) c |  Parse time:                   0.26 s                                                                 |
48.96/24.87	c (4,0) c |                                                                                                       |
48.96/24.87	c (4,0) c |  Eliminated clauses:           0.43 Mb                                                                |
48.96/24.87	c (4,0) c |  Simplification time:          2.81 s                                                                 |
48.96/24.87	c (4,0) c |                                                                                                       |
48.96/24.88	c (4,0) c |  Generating clones                                                                                    |
48.96/24.88	c (4,0) c |  all clones generated. Memory = 449.39Mb.                                                             |
48.96/24.88	c (4,0) c ========================================================================================================|
48.96/24.88	c (4,0) c last restart ## conflicts  :  85 369 
48.96/24.88	c (4,0) c Thread 5 is 100% pure glucose! First thread to finish! (SAT answer).
48.96/24.88	c (4,0) c Total Memory so far : 1083.68Mb
48.96/24.88	c (4,0) c
48.96/24.88	c (4,0) c real time : 3.78606 s
48.96/24.88	c (4,0) c cpu time  : 4.6206 s
48.96/24.88	c (4,0) c
48.96/24.88	c (4,0) c
48.96/24.88	c (4,0) c
48.96/24.88	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
48.96/24.88	c (4,0) c
48.96/24.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
48.96/24.88	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
48.96/24.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
48.96/24.88	c (4,0) c | Conflicts     |            3564 |       1107 |        304 |        368 |        231 |        525 |        372 |        289 |        368 |
48.96/24.88	c (4,0) c | Decisions     |           23047 |       3769 |       2444 |       2979 |       2295 |       3072 |       3446 |       2429 |       2613 |
48.96/24.88	c (4,0) c | Propagations  |         1832316 |     471365 |     170259 |     202674 |     143300 |     261266 |     221252 |     157514 |     204686 |
48.96/24.88	c (4,0) c | Avg_Trail     |                 |       5918 |       6728 |       8648 |       7258 |       8306 |       9282 |       7363 |       7306 |
48.96/24.88	c (4,0) c | Avg_DL        |                 |         31 |         96 |         98 |        114 |         80 |        103 |         92 |         86 |
48.96/24.88	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
48.96/24.88	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
48.96/24.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
48.96/24.88	c (4,0) c | Exported      |             195 |         10 |         26 |         18 |         24 |         45 |         19 |         27 |         26 |
48.96/24.88	c (4,0) c | Imported      |            1167 |        180 |        154 |         82 |        156 |        141 |        131 |        168 |        155 |
48.96/24.88	c (4,0) c | Good          |             495 |         75 |         66 |         42 |         61 |         62 |         55 |         69 |         65 |
48.96/24.88	c (4,0) c | Purge         |             672 |        105 |         88 |         40 |         95 |         79 |         76 |         99 |         90 |
48.96/24.88	c (4,0) c | Promoted      |              40 |          0 |          9 |          2 |          6 |          7 |          6 |          6 |          4 |
48.96/24.88	c (4,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
48.96/24.88	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
48.96/24.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
48.96/24.88	c (4,0) c | Unaries       |                 |          0 |          6 |          4 |          8 |         11 |          8 |         13 |          6 |
48.96/24.88	c (4,0) c | Binaries      |                 |          6 |          9 |          4 |         16 |         15 |          8 |         14 |         11 |
48.96/24.88	c (4,0) c | Glues         |                 |         10 |         26 |         18 |         24 |         45 |         19 |         27 |         26 |
48.96/24.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
48.96/24.88	c (4,0) c | Orig_Seen     |             0 % |       3424 |       2991 |       3983 |       2880 |       4737 |       4628 |       3150 |       3894 |
48.96/24.88	c (4,0) c | Diff Orig seen|                 | -     1204 | -     1637 | -      645 | -     1748 |        109 |      X     | -     1478 | -      734 |
48.96/24.88	c (4,0) c | Hamming       |             4 % |       1423 |       1558 |       1401 |       1572 |       1419 |      X     |       1691 |       1415 |
48.96/24.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
48.96/24.88	c (4,0) 
48.96/24.88	c (4,0) s SATISFIABLE
43.16/24.93	c (4,0) SatSolver.solve End
43.16/24.93	c (4,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
43.16/24.93	c (4,0) Show results Begin
49.82/25.05	s SATISFIABLE
49.82/25.10	v <instantiation>
49.82/25.10	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][1][7] s[0][1][8] s[0][1][9] s[0][1][10] s[0][1][11] s[0][1][12] s[0][1][13] s[0][1][14] s[0][1][15] s[0][1][16] s[0][1][17] s[0][1][18] s[0][1][19] s[0][1][20] s[0][1][21] s[0][1][22] s[0][1][23] s[0][1][24] s[0][1][25] s[0][1][26] s[0][1][27] s[0][1][28] s[0][1][29] s[0][1][30] s[0][1][31] s[0][1][32] s[0][1][33] s[0][1][34] s[0][1][35] s[0][1][36] s[0][1][37] s[0][1][38] s[0][1][39] s[0][1][40] s[0][1][41] s[0][1][42] s[0][1][43] s[0][1][44] s[0][1][45] s[0][1][46] s[0][1][47] s[0][1][48] s[0][1][49] s[0][1][50] s[0][1][51] s[0][1][52] s[0][1][53] s[0][1][54] s[0][1][55] s[0][1][56] s[0][1][57] s[0][1][58] s[0][1][59] s[0][1][60] s[0][1][61] s[0][1][62] s[0][1][63] s[0][1][64] s[0][1][65] s[0][1][66] s[0][1][67] s[0][1][68] s[0][1][69] s[0][1][70] s[0][1][71] s[0][1][72] s[0][1][73] s[0][1][74] s[0][1][75] s[0][1][76] s[0][1][77] s[0][1][78] s[0][1][79] s[0][1][80] s[0][1][81] s[0][1][82] s[0][1][83] s[0][1][84] s[0][1][85] s[0][1][86] s[0][1][87] s[0][1][88] s[0][1][89] s[0][1][90] s[0][1][91] s[0][1][92] s[0][1][93] s[0][1][94] s[0][1][95] s[0][1][96] s[0][1][97] s[0][1][98] s[0][1][99] s[0][1][100] s[0][1][101] s[0][1][102] s[0][1][103] s[0][1][104] s[0][1][105] s[0][1][106] s[0][1][107] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][2][7] s[0][2][8] s[0][2][9] s[0][2][10] s[0][2][11] s[0][2][12] s[0][2][13] s[0][2][14] s[0][2][15] s[0][2][16] s[0][2][17] s[0][2][18] s[0][2][19] s[0][2][20] s[0][2][21] s[0][2][22] s[0][2][23] s[0][2][24] s[0][2][25] s[0][2][26] s[0][2][27] s[0][2][28] s[0][2][29] s[0][2][30] s[0][2][31] s[0][2][32] s[0][2][33] s[0][2][34] s[0][2][35] s[0][2][36] s[0][2][37] s[0][2][38] s[0][2][39] s[0][2][40] s[0][2][41] s[0][2][42] s[0][2][43] s[0][2][44] s[0][2][45] s[0][2][46] s[0][2][47] s[0][2][48] s[0][2][49] s[0][2][50] s[0][2][51] s[0][2][52] s[0][2][53] s[0][2][54] s[0][2][55] s[0][2][56] s[0][2][57] s[0][2][58] s[0][2][59] s[0][2][60] s[0][2][61] s[0][2][62] s[0][2][63] s[0][2][64] s[0][2][65] s[0][2][66] s[0][2][67] s[0][2][68] s[0][2][69] s[0][2][70] s[0][2][71] s[0][2][72] s[0][2][73] s[0][2][74] s[0][2][75] s[0][2][76] s[0][2][77] s[0][2][78] s[0][2][79] s[0][2][80] s[0][2][81] s[0][2][82] s[0][2][83] s[0][2][84] s[0][2][85] s[0][2][86] s[0][2][87] s[0][2][88] s[0][2][89] s[0][2][90] s[0][2][91] s[0][2][92] s[0][2][93] s[0][2][94] s[0][2][95] s[0][2][96] s[0][2][97] s[0][2][98] s[0][2][99] s[0][2][100] s[0][2][101] s[0][2][102] s[0][2][103] s[0][2][104] s[0][2][105] s[0][2][106] s[0][2][107] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][3][7] s[0][3][8] s[0][3][9] s[0][3][10] s[0][3][11] s[0][3][12] s[0][3][13] s[0][3][14] s[0][3][15] s[0][3][16] s[0][3][17] s[0][3][18] s[0][3][19] s[0][3][20] s[0][3][21] s[0][3][22] s[0][3][23] s[0][3][24] s[0][3][25] s[0][3][26] s[0][3][27] s[0][3][28] s[0][3][29] s[0][3][30] s[0][3][31] s[0][3][32] s[0][3][33] s[0][3][34] s[0][3][35] s[0][3][36] s[0][3][37] s[0][3][38] s[0][3][39] s[0][3][40] s[0][3][41] s[0][3][42] s[0][3][43] s[0][3][44] s[0][3][45] s[0][3][46] s[0][3][47] s[0][3][48] s[0][3][49] s[0][3][50] s[0][3][51] s[0][3][52] s[0][3][53] s[0][3][54] s[0][3][55] s[0][3][56] s[0][3][57] s[0][3][58] s[0][3][59] s[0][3][60] s[0][3][61] s[0][3][62] s[0][3][63] s[0][3][64] s[0][3][65] s[0][3][66] s[0][3][67] s[0][3][68] s[0][3][69] s[0][3][70] s[0][3][71] s[0][3][72] s[0][3][73] s[0][3][74] s[0][3][75] s[0][3][76] s[0][3][77] s[0][3][78] s[0][3][79] s[0][3][80] s[0][3][81] s[0][3][82] s[0][3][83] s[0][3][84] s[0][3][85] s[0][3][86] s[0][3][87] s[0][3][88] s[0][3][89] s[0][3][90] s[0][3][91] s[0][3][92] s[0][3][93] s[0][3][94] s[0][3][95] s[0][3][96] s[0][3][97] s[0][3][98] s[0][3][99] s[0][3][100] s[0][3][101] s[0][3][102] s[0][3][103] s[0][3][104] s[0][3][105] s[0][3][106] s[0][3][107] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][4][7] s[0][4][8] s[0][4][9] s[0][4][10] s[0][4][11] s[0][4][12] s[0][4][13] s[0][4][14] s[0][4][15] s[0][4][16] s[0][4][17] s[0][4][18] s[0][4][19] s[0][4][20] s[0][4][21] s[0][4][22] s[0][4][23] s[0][4][24] s[0][4][25] s[0][4][26] s[0][4][27] s[0][4][28] s[0][4][29] s[0][4][30] s[0][4][31] s[0][4][32] s[0][4][33] s[0][4][34] s[0][4][35] s[0][4][36] s[0][4][37] s[0][4][38] s[0][4][39] s[0][4][40] s[0][4][41] s[0][4][42] s[0][4][43] s[0][4][44] s[0][4][45] s[0][4][46] s[0][4][47] s[0][4][48] s[0][4][49] s[0][4][50] s[0][4][51] s[0][4][52] s[0][4][53] s[0][4][54] s[0][4][55] s[0][4][56] s[0][4][57] s[0][4][58] s[0][4][59] s[0][4][60] s[0][4][61] s[0][4][62] s[0][4][63] s[0][4][64] s[0][4][65] s[0][4][66] s[0][4][67] s[0][4][68] s[0][4][69] s[0][4][70] s[0][4][71] s[0][4][72] s[0][4][73] s[0][4][74] s[0][4][75] s[0][4][76] s[0][4][77] s[0][4][78] s[0][4][79] s[0][4][80] s[0][4][81] s[0][4][82] s[0][4][83] s[0][4][84] s[0][4][85] s[0][4][86] s[0][4][87] s[0][4][88] s[0][4][89] s[0][4][90] s[0][4][91] s[0][4][92] s[0][4][93] s[0][4][94] s[0][4][95] s[0][4][96] s[0][4][97] s[0][4][98] s[0][4][99] s[0][4][100] s[0][4][101] s[0][4][102] s[0][4][103] s[0][4][104] s[0][4][105] s[0][4][106] s[0][4][107] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][5][7] s[0][5][8] s[0][5][9] s[0][5][10] s[0][5][11] s[0][5][12] s[0][5][13] s[0][5][14] s[0][5][15] s[0][5][16] s[0][5][17] s[0][5][18] s[0][5][19] s[0][5][20] s[0][5][21] s[0][5][22] s[0][5][23] s[0][5][24] s[0][5][25] s[0][5][26] s[0][5][27] s[0][5][28] s[0][5][29] s[0][5][30] s[0][5][31] s[0][5][32] s[0][5][33] s[0][5][34] s[0][5][35] s[0][5][36] s[0][5][37] s[0][5][38] s[0][5][39] s[0][5][40] s[0][5][41] s[0][5][42] s[0][5][43] s[0][5][44] s[0][5][45] s[0][5][46] s[0][5][47] s[0][5][48] s[0][5][49] s[0][5][50] s[0][5][51] s[0][5][52] s[0][5][53] s[0][5][54] s[0][5][55] s[0][5][56] s[0][5][57] s[0][5][58] s[0][5][59] s[0][5][60] s[0][5][61] s[0][5][62] s[0][5][63] s[0][5][64] s[0][5][65] s[0][5][66] s[0][5][67] s[0][5][68] s[0][5][69] s[0][5][70] s[0][5][71] s[0][5][72] s[0][5][73] s[0][5][74] s[0][5][75] s[0][5][76] s[0][5][77] s[0][5][78] s[0][5][79] s[0][5][80] s[0][5][81] s[0][5][82] s[0][5][83] s[0][5][84] s[0][5][85] s[0][5][86] s[0][5][87] s[0][5][88] s[0][5][89] s[0][5][90] s[0][5][91] s[0][5][92] s[0][5][93] s[0][5][94] s[0][5][95] s[0][5][96] s[0][5][97] s[0][5][98] s[0][5][99] s[0][5][100] s[0][5][101] s[0][5][102] s[0][5][103] s[0][5][104] s[0][5][105] s[0][5][106] s[0][5][107] s[0][6][0] s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[0][6][7] s[0][6][8] s[0][6][9] s[0][6][10] s[0][6][11] s[0][6][12] s[0][6][13] s[0][6][14] s[0][6][15] s[0][6][16] s[0][6][17] s[0][6][18] s[0][6][19] s[0][6][20] s[0][6][21] s[0][6][22] s[0][6][23] s[0][6][24] s[0][6][25] s[0][6][26] s[0][6][27] s[0][6][28] s[0][6][29] s[0][6][30] s[0][6][31] s[0][6][32] s[0][6][33] s[0][6][34] s[0][6][35] s[0][6][36] s[0][6][37] s[0][6][38] s[0][6][39] s[0][6][40] s[0][6][41] s[0][6][42] s[0][6][43] s[0][6][44] s[0][6][45] s[0][6][46] s[0][6][47] s[0][6][48] s[0][6][49] s[0][6][50] s[0][6][51] s[0][6][52] s[0][6][53] s[0][6][54] s[0][6][55] s[0][6][56] s[0][6][57] s[0][6][58] s[0][6][59] s[0][6][60] s[0][6][61] s[0][6][62] s[0][6][63] s[0][6][64] s[0][6][65] s[0][6][66] s[0][6][67] s[0][6][68] s[0][6][69] s[0][6][70] s[0][6][71] s[0][6][72] s[0][6][73] s[0][6][74] s[0][6][75] s[0][6][76] s[0][6][77] s[0][6][78] s[0][6][79] s[0][6][80] s[0][6][81] s[0][6][82] s[0][6][83] s[0][6][84] s[0][6][85] s[0][6][86] s[0][6][87] s[0][6][88] s[0][6][89] s[0][6][90] s[0][6][91] s[0][6][92] s[0][6][93] s[0][6][94] s[0][6][95] s[0][6][96] s[0][6][97] s[0][6][98] s[0][6][99] s[0][6][100] s[0][6][101] s[0][6][102] s[0][6][103] s[0][6][104] s[0][6][105] s[0][6][106] s[0][6][107] s[0][7][0] s[0][7][1] s[0][7][2] s[0][7][3] s[0][7][4] s[0][7][5] s[0][7][6] s[0][7][7] s[0][7][8] s[0][7][9] s[0][7][10] s[0][7][11] s[0][7][12] s[0][7][13] s[0][7][14] s[0][7][15] s[0][7][16] s[0][7][17] s[0][7][18] s[0][7][19] s[0][7][20] s[0][7][21] s[0][7][22] s[0][7][23] s[0][7][24] s[0][7][25] s[0][7][26] s[0][7][27] s[0][7][28] s[0][7][29] s[0][7][30] s[0][7][31] s[0][7][32] s[0][7][33] s[0][7][34] s[0][7][35] s[0][7][36] s[0][7][37] s[0][7][38] s[0][7][39] s[0][7][40] s[0][7][41] s[0][7][42] s[0][7][43] s[0][7][44] s[0][7][45] s[0][7][46] s[0][7][47] s[0][7][48] s[0][7][49] s[0][7][50] s[0][7][51] s[0][7][52] s[0][7][53] s[0][7][54] s[0][7][55] s[0][7][56] s[0][7][57] s[0][7][58] s[0][7][59] s[0][7][60] s[0][7][61] s[0][7][62] s[0][7][63] s[0][7][64] s[0][7][65] s[0][7][66] s[0][7][67] s[0][7][68] s[0][7][69] s[0][7][70] s[0][7][71] s[0][7][72] s[0][7][73] s[0][7][74] s[0][7][75] s[0][7][76] s[0][7][77] s[0][7][78] s[0][7][79] s[0][7][80] s[0][7][81] s[0][7][82] s[0][7][83] s[0][7][84] s[0][7][85] s[0][7][86] s[0][7][87] s[0][7][88] s[0][7][89] s[0][7][90] s[0][7][91] s[0][7][92] s[0][7][93] s[0][7][94] s[0][7][95] s[0][7][96] s[0][7][97] s[0][7][98] s[0][7][99] s[0][7][100] s[0][7][101] s[0][7][102] s[0][7][103] s[0][7][104] s[0][7][105] s[0][7][106] s[0][7][107] s[0][8][0] s[0][8][1] s[0][8][2] s[0][8][3] s[0][8][4] s[0][8][5] s[0][8][6] s[0][8][7] s[0][8][8] s[0][8][9] s[0][8][10] s[0][8][11] s[0][8][12] s[0][8][13] s[0][8][14] s[0][8][15] s[0][8][16] s[0][8][17] s[0][8][18] s[0][8][19] s[0][8][20] s[0][8][21] s[0][8][22] s[0][8][23] s[0][8][24] s[0][8][25] s[0][8][26] s[0][8][27] s[0][8][28] s[0][8][29] s[0][8][30] s[0][8][31] s[0][8][32] s[0][8][33] s[0][8][34] s[0][8][35] s[0][8][36] s[0][8][37] s[0][8][38] s[0][8][39] s[0][8][40] s[0][8][41] s[0][8][42] s[0][8][43] s[0][8][44] s[0][8][45] s[0][8][46] s[0][8][47] s[0][8][48] s[0][8][49] s[0][8][50] s[0][8][51] s[0][8][52] s[0][8][53] s[0][8][54] s[0][8][55] s[0][8][56] s[0][8][57] s[0][8][58] s[0][8][59] s[0][8][60] s[0][8][61] s[0][8][62] s[0][8][63] s[0][8][64] s[0][8][65] s[0][8][66] s[0][8][67] s[0][8][68] s[0][8][69] s[0][8][70] s[0][8][71] s[0][8][72] s[0][8][73] s[0][8][74] s[0][8][75] s[0][8][76] s[0][8][77] s[0][8][78] s[0][8][79] s[0][8][80] s[0][8][81] s[0][8][82] s[0][8][83] s[0][8][84] s[0][8][85] s[0][8][86] s[0][8][87] s[0][8][88] s[0][8][89] s[0][8][90] s[0][8][91] s[0][8][92] s[0][8][93] s[0][8][94] s[0][8][95] s[0][8][96] s[0][8][97] s[0][8][98] s[0][8][99] s[0][8][100] s[0][8][101] s[0][8][102] s[0][8][103] s[0][8][104] s[0][8][105] s[0][8][106] s[0][8][107] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][2][7] s[1][2][8] s[1][2][9] s[1][2][10] s[1][2][11] s[1][2][12] s[1][2][13] s[1][2][14] s[1][2][15] s[1][2][16] s[1][2][17] s[1][2][18] s[1][2][19] s[1][2][20] s[1][2][21] s[1][2][22] s[1][2][23] s[1][2][24] s[1][2][25] s[1][2][26] s[1][2][27] s[1][2][28] s[1][2][29] s[1][2][30] s[1][2][31] s[1][2][32] s[1][2][33] s[1][2][34] s[1][2][35] s[1][2][36] s[1][2][37] s[1][2][38] s[1][2][39] s[1][2][40] s[1][2][41] s[1][2][42] s[1][2][43] s[1][2][44] s[1][2][45] s[1][2][46] s[1][2][47] s[1][2][48] s[1][2][49] s[1][2][50] s[1][2][51] s[1][2][52] s[1][2][53] s[1][2][54] s[1][2][55] s[1][2][56] s[1][2][57] s[1][2][58] s[1][2][59] s[1][2][60] s[1][2][61] s[1][2][62] s[1][2][63] s[1][2][64] s[1][2][65] s[1][2][66] s[1][2][67] s[1][2][68] s[1][2][69] s[1][2][70] s[1][2][71] s[1][2][72] s[1][2][73] s[1][2][74] s[1][2][75] s[1][2][76] s[1][2][77] s[1][2][78] s[1][2][79] s[1][2][80] s[1][2][81] s[1][2][82] s[1][2][83] s[1][2][84] s[1][2][85] s[1][2][86] s[1][2][87] s[1][2][88] s[1][2][89] s[1][2][90] s[1][2][91] s[1][2][92] s[1][2][93] s[1][2][94] s[1][2][95] s[1][2][96] s[1][2][97] s[1][2][98] s[1][2][99] s[1][2][100] s[1][2][101] s[1][2][102] s[1][2][103] s[1][2][104] s[1][2][105] s[1][2][106] s[1][2][107] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][3][7] s[1][3][8] s[1][3][9] s[1][3][10] s[1][3][11] s[1][3][12] s[1][3][13] s[1][3][14] s[1][3][15] s[1][3][16] s[1][3][17] s[1][3][18] s[1][3][19] s[1][3][20] s[1][3][21] s[1][3][22] s[1][3][23] s[1][3][24] s[1][3][25] s[1][3][26] s[1][3][27] s[1][3][28] s[1][3][29] s[1][3][30] s[1][3][31] s[1][3][32] s[1][3][33] s[1][3][34] s[1][3][35] s[1][3][36] s[1][3][37] s[1][3][38] s[1][3][39] s[1][3][40] s[1][3][41] s[1][3][42] s[1][3][43] s[1][3][44] s[1][3][45] s[1][3][46] s[1][3][47] s[1][3][48] s[1][3][49] s[1][3][50] s[1][3][51] s[1][3][52] s[1][3][53] s[1][3][54] s[1][3][55] s[1][3][56] s[1][3][57] s[1][3][58] s[1][3][59] s[1][3][60] s[1][3][61] s[1][3][62] s[1][3][63] s[1][3][64] s[1][3][65] s[1][3][66] s[1][3][67] s[1][3][68] s[1][3][69] s[1][3][70] s[1][3][71] s[1][3][72] s[1][3][73] s[1][3][74] s[1][3][75] s[1][3][76] s[1][3][77] s[1][3][78] s[1][3][79] s[1][3][80] s[1][3][81] s[1][3][82] s[1][3][83] s[1][3][84] s[1][3][85] s[1][3][86] s[1][3][87] s[1][3][88] s[1][3][89] s[1][3][90] s[1][3][91] s[1][3][92] s[1][3][93] s[1][3][94] s[1][3][95] s[1][3][96] s[1][3][97] s[1][3][98] s[1][3][99] s[1][3][100] s[1][3][101] s[1][3][102] s[1][3][103] s[1][3][104] s[1][3][105] s[1][3][106] s[1][3][107] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][4][7] s[1][4][8] s[1][4][9] s[1][4][10] s[1][4][11] s[1][4][12] s[1][4][13] s[1][4][14] s[1][4][15] s[1][4][16] s[1][4][17] s[1][4][18] s[1][4][19] s[1][4][20] s[1][4][21] s[1][4][22] s[1][4][23] s[1][4][24] s[1][4][25] s[1][4][26] s[1][4][27] s[1][4][28] s[1][4][29] s[1][4][30] s[1][4][31] s[1][4][32] s[1][4][33] s[1][4][34] s[1][4][35] s[1][4][36] s[1][4][37] s[1][4][38] s[1][4][39] s[1][4][40] s[1][4][41] s[1][4][42] s[1][4][43] s[1][4][44] s[1][4][45] s[1][4][46] s[1][4][47] s[1][4][48] s[1][4][49] s[1][4][50] s[1][4][51] s[1][4][52] s[1][4][53] s[1][4][54] s[1][4][55] s[1][4][56] s[1][4][57] s[1][4][58] s[1][4][59] s[1][4][60] s[1][4][61] s[1][4][62] s[1][4][63] s[1][4][64] s[1][4][65] s[1][4][66] s[1][4][67] s[1][4][68] s[1][4][69] s[1][4][70] s[1][4][71] s[1][4][72] s[1][4][73] s[1][4][74] s[1][4][75] s[1][4][76] s[1][4][77] s[1][4][78] s[1][4][79] s[1][4][80] s[1][4][81] s[1][4][82] s[1][4][83] s[1][4][84] s[1][4][85] s[1][4][86] s[1][4][87] s[1][4][88] s[1][4][89] s[1][4][90] s[1][4][91] s[1][4][92] s[1][4][93] s[1][4][94] s[1][4][95] s[1][4][96] s[1][4][97] s[1][4][98] s[1][4][99] s[1][4][100] s[1][4][101] s[1][4][102] s[1][4][103] s[1][4][104] s[1][4][105] s[1][4][106] s[1][4][107] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][5][7] s[1][5][8] s[1][5][9] s[1][5][10] s[1][5][11] s[1][5][12] s[1][5][13] s[1][5][14] s[1][5][15] s[1][5][16] s[1][5][17] s[1][5][18] s[1][5][19] s[1][5][20] s[1][5][21] s[1][5][22] s[1][5][23] s[1][5][24] s[1][5][25] s[1][5][26] s[1][5][27] s[1][5][28] s[1][5][29] s[1][5][30] s[1][5][31] s[1][5][32] s[1][5][33] s[1][5][34] s[1][5][35] s[1][5][36] s[1][5][37] s[1][5][38] s[1][5][39] s[1][5][40] s[1][5][41] s[1][5][42] s[1][5][43] s[1][5][44] s[1][5][45] s[1][5][46] s[1][5][47] s[1][5][48] s[1][5][49] s[1][5][50] s[1][5][51] s[1][5][52] s[1][5][53] s[1][5][54] s[1][5][55] s[1][5][56] s[1][5][57] s[1][5][58] s[1][5][59] s[1][5][60] s[1][5][61] s[1][5][62] s[1][5][63] s[1][5][64] s[1][5][65] s[1][5][66] s[1][5][67] s[1][5][68] s[1][5][69] s[1][5][70] s[1][5][71] s[1][5][72] s[1][5][73] s[1][5][74] s[1][5][75] s[1][5][76] s[1][5][77] s[1][5][78] s[1][5][79] s[1][5][80] s[1][5][81] s[1][5][82] s[1][5][83] s[1][5][84] s[1][5][85] s[1][5][86] s[1][5][87] s[1][5][88] s[1][5][89] s[1][5][90] s[1][5][91] s[1][5][92] s[1][5][93] s[1][5][94] s[1][5][95] s[1][5][96] s[1][5][97] s[1][5][98] s[1][5][99] s[1][5][100] s[1][5][101] s[1][5][102] s[1][5][103] s[1][5][104] s[1][5][105] s[1][5][106] s[1][5][107] s[1][6][0] s[1][6][1] s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[1][6][7] s[1][6][8] s[1][6][9] s[1][6][10] s[1][6][11] s[1][6][12] s[1][6][13] s[1][6][14] s[1][6][15] s[1][6][16] s[1][6][17] s[1][6][18] s[1][6][19] s[1][6][20] s[1][6][21] s[1][6][22] s[1][6][23] s[1][6][24] s[1][6][25] s[1][6][26] s[1][6][27] s[1][6][28] s[1][6][29] s[1][6][30] s[1][6][31] s[1][6][32] s[1][6][33] s[1][6][34] s[1][6][35] s[1][6][36] s[1][6][37] s[1][6][38] s[1][6][39] s[1][6][40] s[1][6][41] s[1][6][42] s[1][6][43] s[1][6][44] s[1][6][45] s[1][6][46] s[1][6][47] s[1][6][48] s[1][6][49] s[1][6][50] s[1][6][51] s[1][6][52] s[1][6][53] s[1][6][54] s[1][6][55] s[1][6][56] s[1][6][57] s[1][6][58] s[1][6][59] s[1][6][60] s[1][6][61] s[1][6][62] s[1][6][63] s[1][6][64] s[1][6][65] s[1][6][66] s[1][6][67] s[1][6][68] s[1][6][69] s[1][6][70] s[1][6][71] s[1][6][72] s[1][6][73] s[1][6][74] s[1][6][75] s[1][6][76] s[1][6][77] s[1][6][78] s[1][6][79] s[1][6][80] s[1][6][81] s[1][6][82] s[1][6][83] s[1][6][84] s[1][6][85] s[1][6][86] s[1][6][87] s[1][6][88] s[1][6][89] s[1][6][90] s[1][6][91] s[1][6][92] s[1][6][93] s[1][6][94] s[1][6][95] s[1][6][96] s[1][6][97] s[1][6][98] s[1][6][99] s[1][6][100] s[1][6][101] s[1][6][102] s[1][6][103] s[1][6][104] s[1][6][105] s[1][6][106] s[1][6][107] s[1][7][0] s[1][7][1] s[1][7][2] s[1][7][3] s[1][7][4] s[1][7][5] s[1][7][6] s[1][7][7] s[1][7][8] s[1][7][9] s[1][7][10] s[1][7][11] s[1][7][12] s[1][7][13] s[1][7][14] s[1][7][15] s[1][7][16] s[1][7][17] s[1][7][18] s[1][7][19] s[1][7][20] s[1][7][21] s[1][7][22] s[1][7][23] s[1][7][24] s[1][7][25] s[1][7][26] s[1][7][27] s[1][7][28] s[1][7][29] s[1][7][30] s[1][7][31] s[1][7][32] s[1][7][33] s[1][7][34] s[1][7][35] s[1][7][36] s[1][7][37] s[1][7][38] s[1][7][39] s[1][7][40] s[1][7][41] s[1][7][42] s[1][7][43] s[1][7][44] s[1][7][45] s[1][7][46] s[1][7][47] s[1][7][48] s[1][7][49] s[1][7][50] s[1][7][51] s[1][7][52] s[1][7][53] s[1][7][54] s[1][7][55] s[1][7][56] s[1][7][57] s[1][7][58] s[1][7][59] s[1][7][60] s[1][7][61] s[1][7][62] s[1][7][63] s[1][7][64] s[1][7][65] s[1][7][66] s[1][7][67] s[1][7][68] s[1][7][69] s[1][7][70] s[1][7][71] s[1][7][72] s[1][7][73] s[1][7][74] s[1][7][75] s[1][7][76] s[1][7][77] s[1][7][78] s[1][7][79] s[1][7][80] s[1][7][81] s[1][7][82] s[1][7][83] s[1][7][84] s[1][7][85] s[1][7][86] s[1][7][87] s[1][7][88] s[1][7][89] s[1][7][90] s[1][7][91] s[1][7][92] s[1][7][93] s[1][7][94] s[1][7][95] s[1][7][96] s[1][7][97] s[1][7][98] s[1][7][99] s[1][7][100] s[1][7][101] s[1][7][102] s[1][7][103] s[1][7][104] s[1][7][105] s[1][7][106] s[1][7][107] s[1][8][0] s[1][8][1] s[1][8][2] s[1][8][3] s[1][8][4] s[1][8][5] s[1][8][6] s[1][8][7] s[1][8][8] s[1][8][9] s[1][8][10] s[1][8][11] s[1][8][12] s[1][8][13] s[1][8][14] s[1][8][15] s[1][8][16] s[1][8][17] s[1][8][18] s[1][8][19] s[1][8][20] s[1][8][21] s[1][8][22] s[1][8][23] s[1][8][24] s[1][8][25] s[1][8][26] s[1][8][27] s[1][8][28] s[1][8][29] s[1][8][30] s[1][8][31] s[1][8][32] s[1][8][33] s[1][8][34] s[1][8][35] s[1][8][36] s[1][8][37] s[1][8][38] s[1][8][39] s[1][8][40] s[1][8][41] s[1][8][42] s[1][8][43] s[1][8][44] s[1][8][45] s[1][8][46] s[1][8][47] s[1][8][48] s[1][8][49] s[1][8][50] s[1][8][51] s[1][8][52] s[1][8][53] s[1][8][54] s[1][8][55] s[1][8][56] s[1][8][57] s[1][8][58] s[1][8][59] s[1][8][60] s[1][8][61] s[1][8][62] s[1][8][63] s[1][8][64] s[1][8][65] s[1][8][66] s[1][8][67] s[1][8][68] s[1][8][69] s[1][8][70] s[1][8][71] s[1][8][72] s[1][8][73] s[1][8][74] s[1][8][75] s[1][8][76] s[1][8][77] s[1][8][78] s[1][8][79] s[1][8][80] s[1][8][81] s[1][8][82] s[1][8][83] s[1][8][84] s[1][8][85] s[1][8][86] s[1][8][87] s[1][8][88] s[1][8][89] s[1][8][90] s[1][8][91] s[1][8][92] s[1][8][93] s[1][8][94] s[1][8][95] s[1][8][96] s[1][8][97] s[1][8][98] s[1][8][99] s[1][8][100] s[1][8][101] s[1][8][102] s[1][8][103] s[1][8][104] s[1][8][105] s[1][8][106] s[1][8][107] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][3][7] s[2][3][8] s[2][3][9] s[2][3][10] s[2][3][11] s[2][3][12] s[2][3][13] s[2][3][14] s[2][3][15] s[2][3][16] s[2][3][17] s[2][3][18] s[2][3][19] s[2][3][20] s[2][3][21] s[2][3][22] s[2][3][23] s[2][3][24] s[2][3][25] s[2][3][26] s[2][3][27] s[2][3][28] s[2][3][29] s[2][3][30] s[2][3][31] s[2][3][32] s[2][3][33] s[2][3][34] s[2][3][35] s[2][3][36] s[2][3][37] s[2][3][38] s[2][3][39] s[2][3][40] s[2][3][41] s[2][3][42] s[2][3][43] s[2][3][44] s[2][3][45] s[2][3][46] s[2][3][47] s[2][3][48] s[2][3][49] s[2][3][50] s[2][3][51] s[2][3][52] s[2][3][53] s[2][3][54] s[2][3][55] s[2][3][56] s[2][3][57] s[2][3][58] s[2][3][59] s[2][3][60] s[2][3][61] s[2][3][62] s[2][3][63] s[2][3][64] s[2][3][65] s[2][3][66] s[2][3][67] s[2][3][68] s[2][3][69] s[2][3][70] s[2][3][71] s[2][3][72] s[2][3][73] s[2][3][74] s[2][3][75] s[2][3][76] s[2][3][77] s[2][3][78] s[2][3][79] s[2][3][80] s[2][3][81] s[2][3][82] s[2][3][83] s[2][3][84] s[2][3][85] s[2][3][86] s[2][3][87] s[2][3][88] s[2][3][89] s[2][3][90] s[2][3][91] s[2][3][92] s[2][3][93] s[2][3][94] s[2][3][95] s[2][3][96] s[2][3][97] s[2][3][98] s[2][3][99] s[2][3][100] s[2][3][101] s[2][3][102] s[2][3][103] s[2][3][104] s[2][3][105] s[2][3][106] s[2][3][107] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][4][7] s[2][4][8] s[2][4][9] s[2][4][10] s[2][4][11] s[2][4][12] s[2][4][13] s[2][4][14] s[2][4][15] s[2][4][16] s[2][4][17] s[2][4][18] s[2][4][19] s[2][4][20] s[2][4][21] s[2][4][22] s[2][4][23] s[2][4][24] s[2][4][25] s[2][4][26] s[2][4][27] s[2][4][28] s[2][4][29] s[2][4][30] s[2][4][31] s[2][4][32] s[2][4][33] s[2][4][34] s[2][4][35] s[2][4][36] s[2][4][37] s[2][4][38] s[2][4][39] s[2][4][40] s[2][4][41] s[2][4][42] s[2][4][43] s[2][4][44] s[2][4][45] s[2][4][46] s[2][4][47] s[2][4][48] s[2][4][49] s[2][4][50] s[2][4][51] s[2][4][52] s[2][4][53] s[2][4][54] s[2][4][55] s[2][4][56] s[2][4][57] s[2][4][58] s[2][4][59] s[2][4][60] s[2][4][61] s[2][4][62] s[2][4][63] s[2][4][64] s[2][4][65] s[2][4][66] s[2][4][67] s[2][4][68] s[2][4][69] s[2][4][70] s[2][4][71] s[2][4][72] s[2][4][73] s[2][4][74] s[2][4][75] s[2][4][76] s[2][4][77] s[2][4][78] s[2][4][79] s[2][4][80] s[2][4][81] s[2][4][82] s[2][4][83] s[2][4][84] s[2][4][85] s[2][4][86] s[2][4][87] s[2][4][88] s[2][4][89] s[2][4][90] s[2][4][91] s[2][4][92] s[2][4][93] s[2][4][94] s[2][4][95] s[2][4][96] s[2][4][97] s[2][4][98] s[2][4][99] s[2][4][100] s[2][4][101] s[2][4][102] s[2][4][103] s[2][4][104] s[2][4][105] s[2][4][106] s[2][4][107] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][5][7] s[2][5][8] s[2][5][9] s[2][5][10] s[2][5][11] s[2][5][12] s[2][5][13] s[2][5][14] s[2][5][15] s[2][5][16] s[2][5][17] s[2][5][18] s[2][5][19] s[2][5][20] s[2][5][21] s[2][5][22] s[2][5][23] s[2][5][24] s[2][5][25] s[2][5][26] s[2][5][27] s[2][5][28] s[2][5][29] s[2][5][30] s[2][5][31] s[2][5][32] s[2][5][33] s[2][5][34] s[2][5][35] s[2][5][36] s[2][5][37] s[2][5][38] s[2][5][39] s[2][5][40] s[2][5][41] s[2][5][42] s[2][5][43] s[2][5][44] s[2][5][45] s[2][5][46] s[2][5][47] s[2][5][48] s[2][5][49] s[2][5][50] s[2][5][51] s[2][5][52] s[2][5][53] s[2][5][54] s[2][5][55] s[2][5][56] s[2][5][57] s[2][5][58] s[2][5][59] s[2][5][60] s[2][5][61] s[2][5][62] s[2][5][63] s[2][5][64] s[2][5][65] s[2][5][66] s[2][5][67] s[2][5][68] s[2][5][69] s[2][5][70] s[2][5][71] s[2][5][72] s[2][5][73] s[2][5][74] s[2][5][75] s[2][5][76] s[2][5][77] s[2][5][78] s[2][5][79] s[2][5][80] s[2][5][81] s[2][5][82] s[2][5][83] s[2][5][84] s[2][5][85] s[2][5][86] s[2][5][87] s[2][5][88] s[2][5][89] s[2][5][90] s[2][5][91] s[2][5][92] s[2][5][93] s[2][5][94] s[2][5][95] s[2][5][96] s[2][5][97] s[2][5][98] s[2][5][99] s[2][5][100] s[2][5][101] s[2][5][102] s[2][5][103] s[2][5][104] s[2][5][105] s[2][5][106] s[2][5][107] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[2][6][7] s[2][6][8] s[2][6][9] s[2][6][10] s[2][6][11] s[2][6][12] s[2][6][13] s[2][6][14] s[2][6][15] s[2][6][16] s[2][6][17] s[2][6][18] s[2][6][19] s[2][6][20] s[2][6][21] s[2][6][22] s[2][6][23] s[2][6][24] s[2][6][25] s[2][6][26] s[2][6][27] s[2][6][28] s[2][6][29] s[2][6][30] s[2][6][31] s[2][6][32] s[2][6][33] s[2][6][34] s[2][6][35] s[2][6][36] s[2][6][37] s[2][6][38] s[2][6][39] s[2][6][40] s[2][6][41] s[2][6][42] s[2][6][43] s[2][6][44] s[2][6][45] s[2][6][46] s[2][6][47] s[2][6][48] s[2][6][49] s[2][6][50] s[2][6][51] s[2][6][52] s[2][6][53] s[2][6][54] s[2][6][55] s[2][6][56] s[2][6][57] s[2][6][58] s[2][6][59] s[2][6][60] s[2][6][61] s[2][6][62] s[2][6][63] s[2][6][64] s[2][6][65] s[2][6][66] s[2][6][67] s[2][6][68] s[2][6][69] s[2][6][70] s[2][6][71] s[2][6][72] s[2][6][73] s[2][6][74] s[2][6][75] s[2][6][76] s[2][6][77] s[2][6][78] s[2][6][79] s[2][6][80] s[2][6][81] s[2][6][82] s[2][6][83] s[2][6][84] s[2][6][85] s[2][6][86] s[2][6][87] s[2][6][88] s[2][6][89] s[2][6][90] s[2][6][91] s[2][6][92] s[2][6][93] s[2][6][94] s[2][6][95] s[2][6][96] s[2][6][97] s[2][6][98] s[2][6][99] s[2][6][100] s[2][6][101] s[2][6][102] s[2][6][103] s[2][6][104] s[2][6][105] s[2][6][106] s[2][6][107] s[2][7][0] s[2][7][1] s[2][7][2] s[2][7][3] s[2][7][4] s[2][7][5] s[2][7][6] s[2][7][7] s[2][7][8] s[2][7][9] s[2][7][10] s[2][7][11] s[2][7][12] s[2][7][13] s[2][7][14] s[2][7][15] s[2][7][16] s[2][7][17] s[2][7][18] s[2][7][19] s[2][7][20] s[2][7][21] s[2][7][22] s[2][7][23] s[2][7][24] s[2][7][25] s[2][7][26] s[2][7][27] s[2][7][28] s[2][7][29] s[2][7][30] s[2][7][31] s[2][7][32] s[2][7][33] s[2][7][34] s[2][7][35] s[2][7][36] s[2][7][37] s[2][7][38] s[2][7][39] s[2][7][40] s[2][7][41] s[2][7][42] s[2][7][43] s[2][7][44] s[2][7][45] s[2][7][46] s[2][7][47] s[2][7][48] s[2][7][49] s[2][7][50] s[2][7][51] s[2][7][52] s[2][7][53] s[2][7][54] s[2][7][55] s[2][7][56] s[2][7][57] s[2][7][58] s[2][7][59] s[2][7][60] s[2][7][61] s[2][7][62] s[2][7][63] s[2][7][64] s[2][7][65] s[2][7][66] s[2][7][67] s[2][7][68] s[2][7][69] s[2][7][70] s[2][7][71] s[2][7][72] s[2][7][73] s[2][7][74] s[2][7][75] s[2][7][76] s[2][7][77] s[2][7][78] s[2][7][79] s[2][7][80] s[2][7][81] s[2][7][82] s[2][7][83] s[2][7][84] s[2][7][85] s[2][7][86] s[2][7][87] s[2][7][88] s[2][7][89] s[2][7][90] s[2][7][91] s[2][7][92] s[2][7][93] s[2][7][94] s[2][7][95] s[2][7][96] s[2][7][97] s[2][7][98] s[2][7][99] s[2][7][100] s[2][7][101] s[2][7][102] s[2][7][103] s[2][7][104] s[2][7][105] s[2][7][106] s[2][7][107] s[2][8][0] s[2][8][1] s[2][8][2] s[2][8][3] s[2][8][4] s[2][8][5] s[2][8][6] s[2][8][7] s[2][8][8] s[2][8][9] s[2][8][10] s[2][8][11] s[2][8][12] s[2][8][13] s[2][8][14] s[2][8][15] s[2][8][16] s[2][8][17] s[2][8][18] s[2][8][19] s[2][8][20] s[2][8][21] s[2][8][22] s[2][8][23] s[2][8][24] s[2][8][25] s[2][8][26] s[2][8][27] s[2][8][28] s[2][8][29] s[2][8][30] s[2][8][31] s[2][8][32] s[2][8][33] s[2][8][34] s[2][8][35] s[2][8][36] s[2][8][37] s[2][8][38] s[2][8][39] s[2][8][40] s[2][8][41] s[2][8][42] s[2][8][43] s[2][8][44] s[2][8][45] s[2][8][46] s[2][8][47] s[2][8][48] s[2][8][49] s[2][8][50] s[2][8][51] s[2][8][52] s[2][8][53] s[2][8][54] s[2][8][55] s[2][8][56] s[2][8][57] s[2][8][58] s[2][8][59] s[2][8][60] s[2][8][61] s[2][8][62] s[2][8][63] s[2][8][64] s[2][8][65] s[2][8][66] s[2][8][67] s[2][8][68] s[2][8][69] s[2][8][70] s[2][8][71] s[2][8][72] s[2][8][73] s[2][8][74] s[2][8][75] s[2][8][76] s[2][8][77] s[2][8][78] s[2][8][79] s[2][8][80] s[2][8][81] s[2][8][82] s[2][8][83] s[2][8][84] s[2][8][85] s[2][8][86] s[2][8][87] s[2][8][88] s[2][8][89] s[2][8][90] s[2][8][91] s[2][8][92] s[2][8][93] s[2][8][94] s[2][8][95] s[2][8][96] s[2][8][97] s[2][8][98] s[2][8][99] s[2][8][100] s[2][8][101] s[2][8][102] s[2][8][103] s[2][8][104] s[2][8][105] s[2][8][106] s[2][8][107] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][4][7] s[3][4][8] s[3][4][9] s[3][4][10] s[3][4][11] s[3][4][12] s[3][4][13] s[3][4][14] s[3][4][15] s[3][4][16] s[3][4][17] s[3][4][18] s[3][4][19] s[3][4][20] s[3][4][21] s[3][4][22] s[3][4][23] s[3][4][24] s[3][4][25] s[3][4][26] s[3][4][27] s[3][4][28] s[3][4][29] s[3][4][30] s[3][4][31] s[3][4][32] s[3][4][33] s[3][4][34] s[3][4][35] s[3][4][36] s[3][4][37] s[3][4][38] s[3][4][39] s[3][4][40] s[3][4][41] s[3][4][42] s[3][4][43] s[3][4][44] s[3][4][45] s[3][4][46] s[3][4][47] s[3][4][48] s[3][4][49] s[3][4][50] s[3][4][51] s[3][4][52] s[3][4][53] s[3][4][54] s[3][4][55] s[3][4][56] s[3][4][57] s[3][4][58] s[3][4][59] s[3][4][60] s[3][4][61] s[3][4][62] s[3][4][63] s[3][4][64] s[3][4][65] s[3][4][66] s[3][4][67] s[3][4][68] s[3][4][69] s[3][4][70] s[3][4][71] s[3][4][72] s[3][4][73] s[3][4][74] s[3][4][75] s[3][4][76] s[3][4][77] s[3][4][78] s[3][4][79] s[3][4][80] s[3][4][81] s[3][4][82] s[3][4][83] s[3][4][84] s[3][4][85] s[3][4][86] s[3][4][87] s[3][4][88] s[3][4][89] s[3][4][90] s[3][4][91] s[3][4][92] s[3][4][93] s[3][4][94] s[3][4][95] s[3][4][96] s[3][4][97] s[3][4][98] s[3][4][99] s[3][4][100] s[3][4][101] s[3][4][102] s[3][4][103] s[3][4][104] s[3][4][105] s[3][4][106] s[3][4][107] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][5][7] s[3][5][8] s[3][5][9] s[3][5][10] s[3][5][11] s[3][5][12] s[3][5][13] s[3][5][14] s[3][5][15] s[3][5][16] s[3][5][17] s[3][5][18] s[3][5][19] s[3][5][20] s[3][5][21] s[3][5][22] s[3][5][23] s[3][5][24] s[3][5][25] s[3][5][26] s[3][5][27] s[3][5][28] s[3][5][29] s[3][5][30] s[3][5][31] s[3][5][32] s[3][5][33] s[3][5][34] s[3][5][35] s[3][5][36] s[3][5][37] s[3][5][38] s[3][5][39] s[3][5][40] s[3][5][41] s[3][5][42] s[3][5][43] s[3][5][44] s[3][5][45] s[3][5][46] s[3][5][47] s[3][5][48] s[3][5][49] s[3][5][50] s[3][5][51] s[3][5][52] s[3][5][53] s[3][5][54] s[3][5][55] s[3][5][56] s[3][5][57] s[3][5][58] s[3][5][59] s[3][5][60] s[3][5][61] s[3][5][62] s[3][5][63] s[3][5][64] s[3][5][65] s[3][5][66] s[3][5][67] s[3][5][68] s[3][5][69] s[3][5][70] s[3][5][71] s[3][5][72] s[3][5][73] s[3][5][74] s[3][5][75] s[3][5][76] s[3][5][77] s[3][5][78] s[3][5][79] s[3][5][80] s[3][5][81] s[3][5][82] s[3][5][83] s[3][5][84] s[3][5][85] s[3][5][86] s[3][5][87] s[3][5][88] s[3][5][89] s[3][5][90] s[3][5][91] s[3][5][92] s[3][5][93] s[3][5][94] s[3][5][95] s[3][5][96] s[3][5][97] s[3][5][98] s[3][5][99] s[3][5][100] s[3][5][101] s[3][5][102] s[3][5][103] s[3][5][104] s[3][5][105] s[3][5][106] s[3][5][107] s[3][6][0] s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[3][6][7] s[3][6][8] s[3][6][9] s[3][6][10] s[3][6][11] s[3][6][12] s[3][6][13] s[3][6][14] s[3][6][15] s[3][6][16] s[3][6][17] s[3][6][18] s[3][6][19] s[3][6][20] s[3][6][21] s[3][6][22] s[3][6][23] s[3][6][24] s[3][6][25] s[3][6][26] s[3][6][27] s[3][6][28] s[3][6][29] s[3][6][30] s[3][6][31] s[3][6][32] s[3][6][33] s[3][6][34] s[3][6][35] s[3][6][36] s[3][6][37] s[3][6][38] s[3][6][39] s[3][6][40] s[3][6][41] s[3][6][42] s[3][6][43] s[3][6][44] s[3][6][45] s[3][6][46] s[3][6][47] s[3][6][48] s[3][6][49] s[3][6][50] s[3][6][51] s[3][6][52] s[3][6][53] s[3][6][54] s[3][6][55] s[3][6][56] s[3][6][57] s[3][6][58] s[3][6][59] s[3][6][60] s[3][6][61] s[3][6][62] s[3][6][63] s[3][6][64] s[3][6][65] s[3][6][66] s[3][6][67] s[3][6][68] s[3][6][69] s[3][6][70] s[3][6][71] s[3][6][72] s[3][6][73] s[3][6][74] s[3][6][75] s[3][6][76] s[3][6][77] s[3][6][78] s[3][6][79] s[3][6][80] s[3][6][81] s[3][6][82] s[3][6][83] s[3][6][84] s[3][6][85] s[3][6][86] s[3][6][87] s[3][6][88] s[3][6][89] s[3][6][90] s[3][6][91] s[3][6][92] s[3][6][93] s[3][6][94] s[3][6][95] s[3][6][96] s[3][6][97] s[3][6][98] s[3][6][99] s[3][6][100] s[3][6][101] s[3][6][102] s[3][6][103] s[3][6][104] s[3][6][105] s[3][6][106] s[3][6][107] s[3][7][0] s[3][7][1] s[3][7][2] s[3][7][3] s[3][7][4] s[3][7][5] s[3][7][6] s[3][7][7] s[3][7][8] s[3][7][9] s[3][7][10] s[3][7][11] s[3][7][12] s[3][7][13] s[3][7][14] s[3][7][15] s[3][7][16] s[3][7][17] s[3][7][18] s[3][7][19] s[3][7][20] s[3][7][21] s[3][7][22] s[3][7][23] s[3][7][24] s[3][7][25] s[3][7][26] s[3][7][27] s[3][7][28] s[3][7][29] s[3][7][30] s[3][7][31] s[3][7][32] s[3][7][33] s[3][7][34] s[3][7][35] s[3][7][36] s[3][7][37] s[3][7][38] s[3][7][39] s[3][7][40] s[3][7][41] s[3][7][42] s[3][7][43] s[3][7][44] s[3][7][45] s[3][7][46] s[3][7][47] s[3][7][48] s[3][7][49] s[3][7][50] s[3][7][51] s[3][7][52] s[3][7][53] s[3][7][54] s[3][7][55] s[3][7][56] s[3][7][57] s[3][7][58] s[3][7][59] s[3][7][60] s[3][7][61] s[3][7][62] s[3][7][63] s[3][7][64] s[3][7][65] s[3][7][66] s[3][7][67] s[3][7][68] s[3][7][69] s[3][7][70] s[3][7][71] s[3][7][72] s[3][7][73] s[3][7][74] s[3][7][75] s[3][7][76] s[3][7][77] s[3][7][78] s[3][7][79] s[3][7][80] s[3][7][81] s[3][7][82] s[3][7][83] s[3][7][84] s[3][7][85] s[3][7][86] s[3][7][87] s[3][7][88] s[3][7][89] s[3][7][90] s[3][7][91] s[3][7][92] s[3][7][93] s[3][7][94] s[3][7][95] s[3][7][96] s[3][7][97] s[3][7][98] s[3][7][99] s[3][7][100] s[3][7][101] s[3][7][102] s[3][7][103] s[3][7][104] s[3][7][105] s[3][7][106] s[3][7][107] s[3][8][0] s[3][8][1] s[3][8][2] s[3][8][3] s[3][8][4] s[3][8][5] s[3][8][6] s[3][8][7] s[3][8][8] s[3][8][9] s[3][8][10] s[3][8][11] s[3][8][12] s[3][8][13] s[3][8][14] s[3][8][15] s[3][8][16] s[3][8][17] s[3][8][18] s[3][8][19] s[3][8][20] s[3][8][21] s[3][8][22] s[3][8][23] s[3][8][24] s[3][8][25] s[3][8][26] s[3][8][27] s[3][8][28] s[3][8][29] s[3][8][30] s[3][8][31] s[3][8][32] s[3][8][33] s[3][8][34] s[3][8][35] s[3][8][36] s[3][8][37] s[3][8][38] s[3][8][39] s[3][8][40] s[3][8][41] s[3][8][42] s[3][8][43] s[3][8][44] s[3][8][45] s[3][8][46] s[3][8][47] s[3][8][48] s[3][8][49] s[3][8][50] s[3][8][51] s[3][8][52] s[3][8][53] s[3][8][54] s[3][8][55] s[3][8][56] s[3][8][57] s[3][8][58] s[3][8][59] s[3][8][60] s[3][8][61] s[3][8][62] s[3][8][63] s[3][8][64] s[3][8][65] s[3][8][66] s[3][8][67] s[3][8][68] s[3][8][69] s[3][8][70] s[3][8][71] s[3][8][72] s[3][8][73] s[3][8][74] s[3][8][75] s[3][8][76] s[3][8][77] s[3][8][78] s[3][8][79] s[3][8][80] s[3][8][81] s[3][8][82] s[3][8][83] s[3][8][84] s[3][8][85] s[3][8][86] s[3][8][87] s[3][8][88] s[3][8][89] s[3][8][90] s[3][8][91] s[3][8][92] s[3][8][93] s[3][8][94] s[3][8][95] s[3][8][96] s[3][8][97] s[3][8][98] s[3][8][99] s[3][8][100] s[3][8][101] s[3][8][102] s[3][8][103] s[3][8][104] s[3][8][105] s[3][8][106] s[3][8][107] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][5][7] s[4][5][8] s[4][5][9] s[4][5][10] s[4][5][11] s[4][5][12] s[4][5][13] s[4][5][14] s[4][5][15] s[4][5][16] s[4][5][17] s[4][5][18] s[4][5][19] s[4][5][20] s[4][5][21] s[4][5][22] s[4][5][23] s[4][5][24] s[4][5][25] s[4][5][26] s[4][5][27] s[4][5][28] s[4][5][29] s[4][5][30] s[4][5][31] s[4][5][32] s[4][5][33] s[4][5][34] s[4][5][35] s[4][5][36] s[4][5][37] s[4][5][38] s[4][5][39] s[4][5][40] s[4][5][41] s[4][5][42] s[4][5][43] s[4][5][44] s[4][5][45] s[4][5][46] s[4][5][47] s[4][5][48] s[4][5][49] s[4][5][50] s[4][5][51] s[4][5][52] s[4][5][53] s[4][5][54] s[4][5][55] s[4][5][56] s[4][5][57] s[4][5][58] s[4][5][59] s[4][5][60] s[4][5][61] s[4][5][62] s[4][5][63] s[4][5][64] s[4][5][65] s[4][5][66] s[4][5][67] s[4][5][68] s[4][5][69] s[4][5][70] s[4][5][71] s[4][5][72] s[4][5][73] s[4][5][74] s[4][5][75] s[4][5][76] s[4][5][77] s[4][5][78] s[4][5][79] s[4][5][80] s[4][5][81] s[4][5][82] s[4][5][83] s[4][5][84] s[4][5][85] s[4][5][86] s[4][5][87] s[4][5][88] s[4][5][89] s[4][5][90] s[4][5][91] s[4][5][92] s[4][5][93] s[4][5][94] s[4][5][95] s[4][5][96] s[4][5][97] s[4][5][98] s[4][5][99] s[4][5][100] s[4][5][101] s[4][5][102] s[4][5][103] s[4][5][104] s[4][5][105] s[4][5][106] s[4][5][107] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[4][6][7] s[4][6][8] s[4][6][9] s[4][6][10] s[4][6][11] s[4][6][12] s[4][6][13] s[4][6][14] s[4][6][15] s[4][6][16] s[4][6][17] s[4][6][18] s[4][6][19] s[4][6][20] s[4][6][21] s[4][6][22] s[4][6][23] s[4][6][24] s[4][6][25] s[4][6][26] s[4][6][27] s[4][6][28] s[4][6][29] s[4][6][30] s[4][6][31] s[4][6][32] s[4][6][33] s[4][6][34] s[4][6][35] s[4][6][36] s[4][6][37] s[4][6][38] s[4][6][39] s[4][6][40] s[4][6][41] s[4][6][42] s[4][6][43] s[4][6][44] s[4][6][45] s[4][6][46] s[4][6][47] s[4][6][48] s[4][6][49] s[4][6][50] s[4][6][51] s[4][6][52] s[4][6][53] s[4][6][54] s[4][6][55] s[4][6][56] s[4][6][57] s[4][6][58] s[4][6][59] s[4][6][60] s[4][6][61] s[4][6][62] s[4][6][63] s[4][6][64] s[4][6][65] s[4][6][66] s[4][6][67] s[4][6][68] s[4][6][69] s[4][6][70] s[4][6][71] s[4][6][72] s[4][6][73] s[4][6][74] s[4][6][75] s[4][6][76] s[4][6][77] s[4][6][78] s[4][6][79] s[4][6][80] s[4][6][81] s[4][6][82] s[4][6][83] s[4][6][84] s[4][6][85] s[4][6][86] s[4][6][87] s[4][6][88] s[4][6][89] s[4][6][90] s[4][6][91] s[4][6][92] s[4][6][93] s[4][6][94] s[4][6][95] s[4][6][96] s[4][6][97] s[4][6][98] s[4][6][99] s[4][6][100] s[4][6][101] s[4][6][102] s[4][6][103] s[4][6][104] s[4][6][105] s[4][6][106] s[4][6][107] s[4][7][0] s[4][7][1] s[4][7][2] s[4][7][3] s[4][7][4] s[4][7][5] s[4][7][6] s[4][7][7] s[4][7][8] s[4][7][9] s[4][7][10] s[4][7][11] s[4][7][12] s[4][7][13] s[4][7][14] s[4][7][15] s[4][7][16] s[4][7][17] s[4][7][18] s[4][7][19] s[4][7][20] s[4][7][21] s[4][7][22] s[4][7][23] s[4][7][24] s[4][7][25] s[4][7][26] s[4][7][27] s[4][7][28] s[4][7][29] s[4][7][30] s[4][7][31] s[4][7][32] s[4][7][33] s[4][7][34] s[4][7][35] s[4][7][36] s[4][7][37] s[4][7][38] s[4][7][39] s[4][7][40] s[4][7][41] s[4][7][42] s[4][7][43] s[4][7][44] s[4][7][45] s[4][7][46] s[4][7][47] s[4][7][48] s[4][7][49] s[4][7][50] s[4][7][51] s[4][7][52] s[4][7][53] s[4][7][54] s[4][7][55] s[4][7][56] s[4][7][57] s[4][7][58] s[4][7][59] s[4][7][60] s[4][7][61] s[4][7][62] s[4][7][63] s[4][7][64] s[4][7][65] s[4][7][66] s[4][7][67] s[4][7][68] s[4][7][69] s[4][7][70] s[4][7][71] s[4][7][72] s[4][7][73] s[4][7][74] s[4][7][75] s[4][7][76] s[4][7][77] s[4][7][78] s[4][7][79] s[4][7][80] s[4][7][81] s[4][7][82] s[4][7][83] s[4][7][84] s[4][7][85] s[4][7][86] s[4][7][87] s[4][7][88] s[4][7][89] s[4][7][90] s[4][7][91] s[4][7][92] s[4][7][93] s[4][7][94] s[4][7][95] s[4][7][96] s[4][7][97] s[4][7][98] s[4][7][99] s[4][7][100] s[4][7][101] s[4][7][102] s[4][7][103] s[4][7][104] s[4][7][105] s[4][7][106] s[4][7][107] s[4][8][0] s[4][8][1] s[4][8][2] s[4][8][3] s[4][8][4] s[4][8][5] s[4][8][6] s[4][8][7] s[4][8][8] s[4][8][9] s[4][8][10] s[4][8][11] s[4][8][12] s[4][8][13] s[4][8][14] s[4][8][15] s[4][8][16] s[4][8][17] s[4][8][18] s[4][8][19] s[4][8][20] s[4][8][21] s[4][8][22] s[4][8][23] s[4][8][24] s[4][8][25] s[4][8][26] s[4][8][27] s[4][8][28] s[4][8][29] s[4][8][30] s[4][8][31] s[4][8][32] s[4][8][33] s[4][8][34] s[4][8][35] s[4][8][36] s[4][8][37] s[4][8][38] s[4][8][39] s[4][8][40] s[4][8][41] s[4][8][42] s[4][8][43] s[4][8][44] s[4][8][45] s[4][8][46] s[4][8][47] s[4][8][48] s[4][8][49] s[4][8][50] s[4][8][51] s[4][8][52] s[4][8][53] s[4][8][54] s[4][8][55] s[4][8][56] s[4][8][57] s[4][8][58] s[4][8][59] s[4][8][60] s[4][8][61] s[4][8][62] s[4][8][63] s[4][8][64] s[4][8][65] s[4][8][66] s[4][8][67] s[4][8][68] s[4][8][69] s[4][8][70] s[4][8][71] s[4][8][72] s[4][8][73] s[4][8][74] s[4][8][75] s[4][8][76] s[4][8][77] s[4][8][78] s[4][8][79] s[4][8][80] s[4][8][81] s[4][8][82] s[4][8][83] s[4][8][84] s[4][8][85] s[4][8][86] s[4][8][87] s[4][8][88] s[4][8][89] s[4][8][90] s[4][8][91] s[4][8][92] s[4][8][93] s[4][8][94] s[4][8][95] s[4][8][96] s[4][8][97] s[4][8][98] s[4][8][99] s[4][8][100] s[4][8][101] s[4][8][102] s[4][8][103] s[4][8][104] s[4][8][105] s[4][8][106] s[4][8][107] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3] s[5][6][4] s[5][6][5] s[5][6][6] s[5][6][7] s[5][6][8] s[5][6][9] s[5][6][10] s[5][6][11] s[5][6][12] s[5][6][13] s[5][6][14] s[5][6][15] s[5][6][16] s[5][6][17] s[5][6][18] s[5][6][19] s[5][6][20] s[5][6][21] s[5][6][22] s[5][6][23] s[5][6][24] s[5][6][25] s[5][6][26] s[5][6][27] s[5][6][28] s[5][6][29] s[5][6][30] s[5][6][31] s[5][6][32] s[5][6][33] s[5][6][34] s[5][6][35] s[5][6][36] s[5][6][37] s[5][6][38] s[5][6][39] s[5][6][40] s[5][6][41] s[5][6][42] s[5][6][43] s[5][6][44] s[5][6][45] s[5][6][46] s[5][6][47] s[5][6][48] s[5][6][49] s[5][6][50] s[5][6][51] s[5][6][52] s[5][6][53] s[5][6][54] s[5][6][55] s[5][6][56] s[5][6][57] s[5][6][58] s[5][6][59] s[5][6][60] s[5][6][61] s[5][6][62] s[5][6][63] s[5][6][64] s[5][6][65] s[5][6][66] s[5][6][67] s[5][6][68] s[5][6][69] s[5][6][70] s[5][6][71] s[5][6][72] s[5][6][73] s[5][6][74] s[5][6][75] s[5][6][76] s[5][6][77] s[5][6][78] s[5][6][79] s[5][6][80] s[5][6][81] s[5][6][82] s[5][6][83] s[5][6][84] s[5][6][85] s[5][6][86] s[5][6][87] s[5][6][88] s[5][6][89] s[5][6][90] s[5][6][91] s[5][6][92] s[5][6][93] s[5][6][94] s[5][6][95] s[5][6][96] s[5][6][97] s[5][6][98] s[5][6][99] s[5][6][100] s[5][6][101] s[5][6][102] s[5][6][103] s[5][6][104] s[5][6][105] s[5][6][106] s[5][6][107] s[5][7][0] s[5][7][1] s[5][7][2] s[5][7][3] s[5][7][4] s[5][7][5] s[5][7][6] s[5][7][7] s[5][7][8] s[5][7][9] s[5][7][10] s[5][7][11] s[5][7][12] s[5][7][13] s[5][7][14] s[5][7][15] s[5][7][16] s[5][7][17] s[5][7][18] s[5][7][19] s[5][7][20] s[5][7][21] s[5][7][22] s[5][7][23] s[5][7][24] s[5][7][25] s[5][7][26] s[5][7][27] s[5][7][28] s[5][7][29] s[5][7][30] s[5][7][31] s[5][7][32] s[5][7][33] s[5][7][34] s[5][7][35] s[5][7][36] s[5][7][37] s[5][7][38] s[5][7][39] s[5][7][40] s[5][7][41] s[5][7][42] s[5][7][43] s[5][7][44] s[5][7][45] s[5][7][46] s[5][7][47] s[5][7][48] s[5][7][49] s[5][7][50] s[5][7][51] s[5][7][52] s[5][7][53] s[5][7][54] s[5][7][55] s[5][7][56] s[5][7][57] s[5][7][58] s[5][7][59] s[5][7][60] s[5][7][61] s[5][7][62] s[5][7][63] s[5][7][64] s[5][7][65] s[5][7][66] s[5][7][67] s[5][7][68] s[5][7][69] s[5][7][70] s[5][7][71] s[5][7][72] s[5][7][73] s[5][7][74] s[5][7][75] s[5][7][76] s[5][7][77] s[5][7][78] s[5][7][79] s[5][7][80] s[5][7][81] s[5][7][82] s[5][7][83] s[5][7][84] s[5][7][85] s[5][7][86] s[5][7][87] s[5][7][88] s[5][7][89] s[5][7][90] s[5][7][91] s[5][7][92] s[5][7][93] s[5][7][94] s[5][7][95] s[5][7][96] s[5][7][97] s[5][7][98] s[5][7][99] s[5][7][100] s[5][7][101] s[5][7][102] s[5][7][103] s[5][7][104] s[5][7][105] s[5][7][106] s[5][7][107] s[5][8][0] s[5][8][1] s[5][8][2] s[5][8][3] s[5][8][4] s[5][8][5] s[5][8][6] s[5][8][7] s[5][8][8] s[5][8][9] s[5][8][10] s[5][8][11] s[5][8][12] s[5][8][13] s[5][8][14] s[5][8][15] s[5][8][16] s[5][8][17] s[5][8][18] s[5][8][19] s[5][8][20] s[5][8][21] s[5][8][22] s[5][8][23] s[5][8][24] s[5][8][25] s[5][8][26] s[5][8][27] s[5][8][28] s[5][8][29] s[5][8][30] s[5][8][31] s[5][8][32] s[5][8][33] s[5][8][34] s[5][8][35] s[5][8][36] s[5][8][37] s[5][8][38] s[5][8][39] s[5][8][40] s[5][8][41] s[5][8][42] s[5][8][43] s[5][8][44] s[5][8][45] s[5][8][46] s[5][8][47] s[5][8][48] s[5][8][49] s[5][8][50] s[5][8][51] s[5][8][52] s[5][8][53] s[5][8][54] s[5][8][55] s[5][8][56] s[5][8][57] s[5][8][58] s[5][8][59] s[5][8][60] s[5][8][61] s[5][8][62] s[5][8][63] s[5][8][64] s[5][8][65] s[5][8][66] s[5][8][67] s[5][8][68] s[5][8][69] s[5][8][70] s[5][8][71] s[5][8][72] s[5][8][73] s[5][8][74] s[5][8][75] s[5][8][76] s[5][8][77] s[5][8][78] s[5][8][79] s[5][8][80] s[5][8][81] s[5][8][82] s[5][8][83] s[5][8][84] s[5][8][85] s[5][8][86] s[5][8][87] s[5][8][88] s[5][8][89] s[5][8][90] s[5][8][91] s[5][8][92] s[5][8][93] s[5][8][94] s[5][8][95] s[5][8][96] s[5][8][97] s[5][8][98] s[5][8][99] s[5][8][100] s[5][8][101] s[5][8][102] s[5][8][103] s[5][8][104] s[5][8][105] s[5][8][106] s[5][8][107] s[6][7][0] s[6][7][1] s[6][7][2] s[6][7][3] s[6][7][4] s[6][7][5] s[6][7][6] s[6][7][7] s[6][7][8] s[6][7][9] s[6][7][10] s[6][7][11] s[6][7][12] s[6][7][13] s[6][7][14] s[6][7][15] s[6][7][16] s[6][7][17] s[6][7][18] s[6][7][19] s[6][7][20] s[6][7][21] s[6][7][22] s[6][7][23] s[6][7][24] s[6][7][25] s[6][7][26] s[6][7][27] s[6][7][28] s[6][7][29] s[6][7][30] s[6][7][31] s[6][7][32] s[6][7][33] s[6][7][34] s[6][7][35] s[6][7][36] s[6][7][37] s[6][7][38] s[6][7][39] s[6][7][40] s[6][7][41] s[6][7][42] s[6][7][43] s[6][7][44] s[6][7][45] s[6][7][46] s[6][7][47] s[6][7][48] s[6][7][49] s[6][7][50] s[6][7][51] s[6][7][52] s[6][7][53] s[6][7][54] s[6][7][55] s[6][7][56] s[6][7][57] s[6][7][58] s[6][7][59] s[6][7][60] s[6][7][61] s[6][7][62] s[6][7][63] s[6][7][64] s[6][7][65] s[6][7][66] s[6][7][67] s[6][7][68] s[6][7][69] s[6][7][70] s[6][7][71] s[6][7][72] s[6][7][73] s[6][7][74] s[6][7][75] s[6][7][76] s[6][7][77] s[6][7][78] s[6][7][79] s[6][7][80] s[6][7][81] s[6][7][82] s[6][7][83] s[6][7][84] s[6][7][85] s[6][7][86] s[6][7][87] s[6][7][88] s[6][7][89] s[6][7][90] s[6][7][91] s[6][7][92] s[6][7][93] s[6][7][94] s[6][7][95] s[6][7][96] s[6][7][97] s[6][7][98] s[6][7][99] s[6][7][100] s[6][7][101] s[6][7][102] s[6][7][103] s[6][7][104] s[6][7][105] s[6][7][106] s[6][7][107] s[6][8][0] s[6][8][1] s[6][8][2] s[6][8][3] s[6][8][4] s[6][8][5] s[6][8][6] s[6][8][7] s[6][8][8] s[6][8][9] s[6][8][10] s[6][8][11] s[6][8][12] s[6][8][13] s[6][8][14] s[6][8][15] s[6][8][16] s[6][8][17] s[6][8][18] s[6][8][19] s[6][8][20] s[6][8][21] s[6][8][22] s[6][8][23] s[6][8][24] s[6][8][25] s[6][8][26] s[6][8][27] s[6][8][28] s[6][8][29] s[6][8][30] s[6][8][31] s[6][8][32] s[6][8][33] s[6][8][34] s[6][8][35] s[6][8][36] s[6][8][37] s[6][8][38] s[6][8][39] s[6][8][40] s[6][8][41] s[6][8][42] s[6][8][43] s[6][8][44] s[6][8][45] s[6][8][46] s[6][8][47] s[6][8][48] s[6][8][49] s[6][8][50] s[6][8][51] s[6][8][52] s[6][8][53] s[6][8][54] s[6][8][55] s[6][8][56] s[6][8][57] s[6][8][58] s[6][8][59] s[6][8][60] s[6][8][61] s[6][8][62] s[6][8][63] s[6][8][64] s[6][8][65] s[6][8][66] s[6][8][67] s[6][8][68] s[6][8][69] s[6][8][70] s[6][8][71] s[6][8][72] s[6][8][73] s[6][8][74] s[6][8][75] s[6][8][76] s[6][8][77] s[6][8][78] s[6][8][79] s[6][8][80] s[6][8][81] s[6][8][82] s[6][8][83] s[6][8][84] s[6][8][85] s[6][8][86] s[6][8][87] s[6][8][88] s[6][8][89] s[6][8][90] s[6][8][91] s[6][8][92] s[6][8][93] s[6][8][94] s[6][8][95] s[6][8][96] s[6][8][97] s[6][8][98] s[6][8][99] s[6][8][100] s[6][8][101] s[6][8][102] s[6][8][103] s[6][8][104] s[6][8][105] s[6][8][106] s[6][8][107] s[7][8][0] s[7][8][1] s[7][8][2] s[7][8][3] s[7][8][4] s[7][8][5] s[7][8][6] s[7][8][7] s[7][8][8] s[7][8][9] s[7][8][10] s[7][8][11] s[7][8][12] s[7][8][13] s[7][8][14] s[7][8][15] s[7][8][16] s[7][8][17] s[7][8][18] s[7][8][19] s[7][8][20] s[7][8][21] s[7][8][22] s[7][8][23] s[7][8][24] s[7][8][25] s[7][8][26] s[7][8][27] s[7][8][28] s[7][8][29] s[7][8][30] s[7][8][31] s[7][8][32] s[7][8][33] s[7][8][34] s[7][8][35] s[7][8][36] s[7][8][37] s[7][8][38] s[7][8][39] s[7][8][40] s[7][8][41] s[7][8][42] s[7][8][43] s[7][8][44] s[7][8][45] s[7][8][46] s[7][8][47] s[7][8][48] s[7][8][49] s[7][8][50] s[7][8][51] s[7][8][52] s[7][8][53] s[7][8][54] s[7][8][55] s[7][8][56] s[7][8][57] s[7][8][58] s[7][8][59] s[7][8][60] s[7][8][61] s[7][8][62] s[7][8][63] s[7][8][64] s[7][8][65] s[7][8][66] s[7][8][67] s[7][8][68] s[7][8][69] s[7][8][70] s[7][8][71] s[7][8][72] s[7][8][73] s[7][8][74] s[7][8][75] s[7][8][76] s[7][8][77] s[7][8][78] s[7][8][79] s[7][8][80] s[7][8][81] s[7][8][82] s[7][8][83] s[7][8][84] s[7][8][85] s[7][8][86] s[7][8][87] s[7][8][88] s[7][8][89] s[7][8][90] s[7][8][91] s[7][8][92] s[7][8][93] s[7][8][94] s[7][8][95] s[7][8][96] s[7][8][97] s[7][8][98] s[7][8][99] s[7][8][100] s[7][8][101] s[7][8][102] s[7][8][103] s[7][8][104] s[7][8][105] s[7][8][106] s[7][8][107]</list>
49.82/25.10	v     <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 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 1 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 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 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 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 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</values>
49.82/25.10	v </instantiation>
49.82/25.10	c (4,0) Show results End
49.82/25.10	c (4,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
49.82/25.10	c (4,0) 4,4,STOP-AFTER(ALL)
49.82/25.10	c END-Prog: Mon Aug 13 21:51:06 CEST 2018

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11334 MiB free)
  memory of node 1: 16384 MiB (10643 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307304-1534189841/watcher-4307304-1534189841 -o /tmp/evaluation-result-4307304-1534189841/solver-4307304-1534189841 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534189810-10409 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307304-1534189841.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=10790, runsolver pid=10787
solver pid=10790, runsolver pid=10787
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 1.49 1.13 1.10 2/200 10812
/proc/meminfo: memFree=22407624/32770624 swapFree=67108372/67108860
[pid=10790] ppid=10787 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10790/stat : 10790 (scop.sh) S 10787 10790 10382 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 236547282 115843072 349 33554432000 4194304 5098028 140722457797296 140722457794552 139803480937084 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40374272 140722457801763 140722457801987 140722457801987 140722457804749 0
/proc/10790/statm: 28282 349 296 221 0 87 0
[pid=10793] ppid=10790 vsize=27313900 memory=109936 CPUtime=0.1 cores=0-7
/proc/10793/stat : 10793 (java) S 10790 10790 10382 0 -1 1077944320 6413 0 0 0 8 2 0 0 20 0 20 0 236547282 27969433600 27484 33554432000 4194304 4196468 140732716461872 140732716444416 139715136253687 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
/proc/10793/statm: 6828475 27484 2739 1 0 6790935 0
[pid=10793/tid=10794] ppid=10790 vsize=27313900 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10793/task/10794/stat : 10794 (java) R 10790 10790 10382 0 -1 4202560 4537 0 0 0 7 2 0 0 20 0 20 0 236547282 27969433600 27484 33554432000 4194304 4196468 140732716461872 139715108088816 139715120334174 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10795] ppid=10790 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/10793/task/10795/stat : 10795 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 27484 33554432000 4194304 4196468 140732716461872 139715140496400 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10796] ppid=10790 vsize=27313900 memory=140617158272640 CPUtime=0 cores=0-7
/proc/10793/task/10796/stat : 10796 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 27484 33554432000 4194304 4196468 140732716461872 139714954652816 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10797] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10797/stat : 10797 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 27484 33554432000 4194304 4196468 140732716461872 139714953599760 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10798] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10798/stat : 10798 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 27484 33554432000 4194304 4196468 140732716461872 139714952547216 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10799] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10799/stat : 10799 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 27484 33554432000 4194304 4196468 140732716461872 139714554919440 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10800] ppid=10790 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10793/task/10800/stat : 10800 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 27484 33554432000 4194304 4196468 140732716461872 139714553866896 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10801] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10801/stat : 10801 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 27484 33554432000 4194304 4196468 140732716461872 139714552813840 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10802] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10802/stat : 10802 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 27484 33554432000 4194304 4196468 140732716461872 139714551761296 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10803] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10803/stat : 10803 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236547286 27969433600 27484 33554432000 4194304 4196468 140732716461872 139713187863280 139715136264834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10804] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10804/stat : 10804 (java) S 10790 10790 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236547287 27969433600 27484 33554432000 4194304 4196468 140732716461872 139713071539872 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10805] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10805/stat : 10805 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547287 27969433600 27484 33554432000 4194304 4196468 140732716461872 139712803103984 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10806] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10806/stat : 10806 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547289 27969433600 27484 33554432000 4194304 4196468 140732716461872 139712428595664 139715136272283 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10807] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10807/stat : 10807 (java) S 10790 10790 10382 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 236547289 27969433600 27484 33554432000 4194304 4196468 140732716461872 139713186810096 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10808] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10808/stat : 10808 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547289 27969433600 27484 33554432000 4194304 4196468 140732716461872 139713185757552 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10809] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10809/stat : 10809 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236547289 27969433600 27484 33554432000 4194304 4196468 140732716461872 139713184704496 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10810] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10810/stat : 10810 (java) S 10790 10790 10382 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 236547289 27969433600 27484 33554432000 4194304 4196468 140732716461872 139713183651952 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10811] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10811/stat : 10811 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236547290 27969433600 27484 33554432000 4194304 4196468 140732716461872 139711930690528 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10812] ppid=10790 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10793/task/10812/stat : 10812 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547290 27969433600 27484 33554432000 4194304 4196468 140732716461872 139713182600368 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 111332 KiB

[startup+0.210315 s]*
/proc/loadavg: 1.45 1.12 1.10 2/200 10812
/proc/meminfo: memFree=22391748/32770624 swapFree=67108372/67108860
[pid=10790] ppid=10787 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10790/stat : 10790 (scop.sh) S 10787 10790 10382 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 236547282 115843072 349 33554432000 4194304 5098028 140722457797296 140722457794552 139803480937084 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40374272 140722457801763 140722457801987 140722457801987 140722457804749 0
/proc/10790/statm: 28282 349 296 221 0 87 0
[pid=10793] ppid=10790 vsize=27313900 memory=124312 CPUtime=0.24 cores=0-7
/proc/10793/stat : 10793 (java) S 10790 10790 10382 0 -1 1077944320 10217 0 0 0 21 3 0 0 20 0 20 0 236547282 27969433600 31078 33554432000 4194304 4196468 140732716461872 140732716444416 139715136253687 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
/proc/10793/statm: 6828475 31078 2874 1 0 6790935 0
[pid=10793/tid=10794] ppid=10790 vsize=27313900 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10793/task/10794/stat : 10794 (java) R 10790 10790 10382 0 -1 4202560 8123 0 0 0 17 3 0 0 20 0 20 0 236547282 27969433600 31078 33554432000 4194304 4196468 140732716461872 139715108042432 139715136275613 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10795] ppid=10790 vsize=27313900 memory=342 CPUtime=0 cores=0-7
/proc/10793/task/10795/stat : 10795 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31078 33554432000 4194304 4196468 140732716461872 139715140496400 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10796] ppid=10790 vsize=27313900 memory=140617159548013 CPUtime=0 cores=0-7
/proc/10793/task/10796/stat : 10796 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31078 33554432000 4194304 4196468 140732716461872 139714954652816 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10797] ppid=10790 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10793/task/10797/stat : 10797 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31078 33554432000 4194304 4196468 140732716461872 139714953599760 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10798] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10798/stat : 10798 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31078 33554432000 4194304 4196468 140732716461872 139714952547216 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10799] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10799/stat : 10799 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31078 33554432000 4194304 4196468 140732716461872 139714554919440 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10800] ppid=10790 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10793/task/10800/stat : 10800 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31078 33554432000 4194304 4196468 140732716461872 139714553866896 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10801] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10801/stat : 10801 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31078 33554432000 4194304 4196468 140732716461872 139714552813840 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10802] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10802/stat : 10802 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31078 33554432000 4194304 4196468 140732716461872 139714551761296 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10803] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10803/stat : 10803 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236547286 27969433600 31078 33554432000 4194304 4196468 140732716461872 139713187863280 139715136264834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10804] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10804/stat : 10804 (java) S 10790 10790 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236547287 27969433600 31078 33554432000 4194304 4196468 140732716461872 139713071539872 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10805] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10805/stat : 10805 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547287 27969433600 31078 33554432000 4194304 4196468 140732716461872 139712803103984 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10806] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10806/stat : 10806 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547289 27969433600 31078 33554432000 4194304 4196468 140732716461872 139712428595664 139715136272283 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10807] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10807/stat : 10807 (java) S 10790 10790 10382 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 20 0 236547289 27969433600 31078 33554432000 4194304 4196468 140732716461872 139713186810096 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10808] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10808/stat : 10808 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547289 27969433600 31078 33554432000 4194304 4196468 140732716461872 139713185757552 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10809] ppid=10790 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10793/task/10809/stat : 10809 (java) S 10790 10790 10382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236547289 27969433600 31078 33554432000 4194304 4196468 140732716461872 139713184704496 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10810] ppid=10790 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/10793/task/10810/stat : 10810 (java) S 10790 10790 10382 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 20 0 236547289 27969433600 31078 33554432000 4194304 4196468 140732716461872 139713183651952 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10811] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10811/stat : 10811 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236547290 27969433600 31078 33554432000 4194304 4196468 140732716461872 139711930690528 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10812] ppid=10790 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10793/task/10812/stat : 10812 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547290 27969433600 31078 33554432000 4194304 4196468 140732716461872 139713182600368 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 125708 KiB

[startup+0.31041 s]*
/proc/loadavg: 1.45 1.12 1.10 2/200 10812
/proc/meminfo: memFree=22388708/32770624 swapFree=67108372/67108860
[pid=10790] ppid=10787 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10790/stat : 10790 (scop.sh) S 10787 10790 10382 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 236547282 115843072 349 33554432000 4194304 5098028 140722457797296 140722457794552 139803480937084 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40374272 140722457801763 140722457801987 140722457801987 140722457804749 0
/proc/10790/statm: 28282 349 296 221 0 87 0
[pid=10793] ppid=10790 vsize=27313900 memory=127836 CPUtime=0.41 cores=0-7
/proc/10793/stat : 10793 (java) S 10790 10790 10382 0 -1 1077944320 10758 0 0 0 37 4 0 0 20 0 20 0 236547282 27969433600 31959 33554432000 4194304 4196468 140732716461872 140732716444416 139715136253687 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
/proc/10793/statm: 6828475 31959 2971 1 0 6790935 0
[pid=10793/tid=10794] ppid=10790 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10793/task/10794/stat : 10794 (java) R 10790 10790 10382 0 -1 4202560 8496 0 0 0 26 3 0 0 20 0 20 0 236547282 27969433600 31959 33554432000 4194304 4196468 140732716461872 139715108049136 139715120334174 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10795] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10795/stat : 10795 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31959 33554432000 4194304 4196468 140732716461872 139715140496400 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10796] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10796/stat : 10796 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31959 33554432000 4194304 4196468 140732716461872 139714954652816 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10797] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10797/stat : 10797 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31959 33554432000 4194304 4196468 140732716461872 139714953599760 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10798] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10798/stat : 10798 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31959 33554432000 4194304 4196468 140732716461872 139714952547216 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10799] ppid=10790 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/10793/task/10799/stat : 10799 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31959 33554432000 4194304 4196468 140732716461872 139714554919440 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10800] ppid=10790 vsize=27313900 memory=140617028039599 CPUtime=0 cores=0-7
/proc/10793/task/10800/stat : 10800 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31959 33554432000 4194304 4196468 140732716461872 139714553866896 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10801] ppid=10790 vsize=27313900 memory=140617028041904 CPUtime=0 cores=0-7
/proc/10793/task/10801/stat : 10801 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31959 33554432000 4194304 4196468 140732716461872 139714552813840 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10802] ppid=10790 vsize=27313900 memory=140617028044208 CPUtime=0 cores=0-7
/proc/10793/task/10802/stat : 10802 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27969433600 31959 33554432000 4194304 4196468 140732716461872 139714551761296 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10803] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10803/stat : 10803 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236547286 27969433600 31959 33554432000 4194304 4196468 140732716461872 139713187863280 139715136264834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10804] ppid=10790 vsize=27313900 memory=281234056095376 CPUtime=0 cores=0-7
/proc/10793/task/10804/stat : 10804 (java) S 10790 10790 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236547287 27969433600 31959 33554432000 4194304 4196468 140732716461872 139713071539872 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10805] ppid=10790 vsize=27313900 memory=281234056102288 CPUtime=0 cores=0-7
/proc/10793/task/10805/stat : 10805 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547287 27969433600 31959 33554432000 4194304 4196468 140732716461872 139712803103984 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10806] ppid=10790 vsize=27313900 memory=281234056043568 CPUtime=0 cores=0-7
/proc/10793/task/10806/stat : 10806 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547289 27969433600 31959 33554432000 4194304 4196468 140732716461872 139712428595664 139715136272283 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10807] ppid=10790 vsize=27313900 memory=281234056116112 CPUtime=0.01 cores=0-7
/proc/10793/task/10807/stat : 10807 (java) S 10790 10790 10382 0 -1 1077944384 536 0 0 0 1 0 0 0 20 0 20 0 236547289 27969433600 31959 33554432000 4194304 4196468 140732716461872 139713186810096 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10808] ppid=10790 vsize=27313900 memory=281234056123024 CPUtime=0.01 cores=0-7
/proc/10793/task/10808/stat : 10808 (java) S 10790 10790 10382 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 236547289 27969433600 31959 33554432000 4194304 4196468 140732716461872 139713185757552 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10809] ppid=10790 vsize=27313900 memory=281234056120720 CPUtime=0 cores=0-7
/proc/10793/task/10809/stat : 10809 (java) S 10790 10790 10382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236547289 27969433600 31959 33554432000 4194304 4196468 140732716461872 139713184704496 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10810] ppid=10790 vsize=27313900 memory=281234056136880 CPUtime=0.07 cores=0-7
/proc/10793/task/10810/stat : 10810 (java) S 10790 10790 10382 0 -1 1077944384 308 0 0 0 7 0 0 0 20 0 20 0 236547289 27969433600 31959 33554432000 4194304 4196468 140732716461872 139713183651952 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10811] ppid=10790 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10811/stat : 10811 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236547290 27969433600 31959 33554432000 4194304 4196468 140732716461872 139711930690528 139715136263893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10812] ppid=10790 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10793/task/10812/stat : 10812 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547290 27969433600 31959 33554432000 4194304 4196468 140732716461872 139713182600368 139715136264834 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 129232 KiB

[startup+0.702172 s]
/proc/loadavg: 1.45 1.12 1.10 2/200 10812
/proc/meminfo: memFree=22364260/32770624 swapFree=67108372/67108860
[pid=10790] ppid=10787 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10790/stat : 10790 (scop.sh) S 10787 10790 10382 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 236547282 115843072 349 33554432000 4194304 5098028 140722457797296 140722457794552 139803480937084 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40374272 140722457801763 140722457801987 140722457801987 140722457804749 0
/proc/10790/statm: 28282 349 296 221 0 87 0
[pid=10793] ppid=10790 vsize=27320172 memory=166800 CPUtime=1.05 cores=0-7
/proc/10793/stat : 10793 (java) S 10790 10790 10382 0 -1 1077944320 17661 0 0 0 99 6 0 0 20 0 20 0 236547282 27975856128 41700 33554432000 4194304 4196468 140732716461872 140732716444416 139715136253687 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
/proc/10793/statm: 6830043 41700 3114 1 0 6791447 0
[pid=10793/tid=10794] ppid=10790 vsize=27320172 memory=281234056494768 CPUtime=0.68 cores=0-7
/proc/10793/task/10794/stat : 10794 (java) R 10790 10790 10382 0 -1 4202560 14854 0 0 0 63 5 0 0 20 0 20 0 236547282 27975856128 41700 33554432000 4194304 4196468 140732716461872 139715108089168 139715136275613 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10795] ppid=10790 vsize=27320172 memory=140617028248432 CPUtime=0 cores=0-7
/proc/10793/task/10795/stat : 10795 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236547285 27975856128 41700 33554432000 4194304 4196468 140732716461872 139715140496400 139715136263893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10796] ppid=10790 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/10793/task/10796/stat : 10796 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236547285 27975856128 41700 33554432000 4194304 4196468 140732716461872 139714954652816 139715136263893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140732716467177 140732716467501 140732716467501 140732716470223 0
[pid=10793/tid=10797] ppid=10790 vsize=27320172 memory=752 CPUtime=0 cores=0-7

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

/proc/10833/stat : 10833 (glucose-syrup) S 10813 10790 10382 0 -1 1077944320 80805 0 0 0 414 173 0 0 20 0 9 0 236549391 1130102784 121040 33554432000 4194304 4373367 140731413131056 140731413129600 139910789225090 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6470912 6472264 28254208 140731413136464 140731413136596 140731413136596 140731413139399 0
/proc/10833/statm: 275904 121040 386 44 0 271592 0
[pid=10813/tid=10814] ppid=10790 vsize=8413904 memory=5787213835721533265 CPUtime=0.92 cores=0-7
/proc/10813/task/10814/stat : 10814 (java) S 10790 10790 10382 0 -1 1077944384 14507 0 0 0 80 12 0 0 20 0 24 0 236549301 8615837696 34328 33554432000 4194304 4196468 140726847066656 139978857586576 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10815] ppid=10790 vsize=8413904 memory=7596561297272433506 CPUtime=0 cores=0-7
/proc/10813/task/10815/stat : 10815 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236549302 8615837696 34328 33554432000 4194304 4196468 140726847066656 139978889988624 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10816] ppid=10790 vsize=8413904 memory=5787213827063440740 CPUtime=0 cores=0-7
/proc/10813/task/10816/stat : 10816 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236549302 8615837696 34328 33554432000 4194304 4196468 140726847066656 139978690157200 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10817] ppid=10790 vsize=8413904 memory=1100 CPUtime=0 cores=0-7
/proc/10813/task/10817/stat : 10817 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236549302 8615837696 34328 33554432000 4194304 4196468 140726847066656 139978369657104 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10818] ppid=10790 vsize=8413904 memory=2144 CPUtime=0 cores=0-7
/proc/10813/task/10818/stat : 10818 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236549302 8615837696 34328 33554432000 4194304 4196468 140726847066656 139978368604560 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10819] ppid=10790 vsize=8413904 memory=1752 CPUtime=0 cores=0-7
/proc/10813/task/10819/stat : 10819 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236549302 8615837696 34328 33554432000 4194304 4196468 140726847066656 139978367552528 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10820] ppid=10790 vsize=8413904 memory=5752 CPUtime=0 cores=0-7
/proc/10813/task/10820/stat : 10820 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236549302 8615837696 34328 33554432000 4194304 4196468 140726847066656 139978366499984 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10821] ppid=10790 vsize=8413904 memory=4580 CPUtime=0 cores=0-7
/proc/10813/task/10821/stat : 10821 (java) S 10790 10790 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236549302 8615837696 34328 33554432000 4194304 4196468 140726847066656 139978365446928 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10822] ppid=10790 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/10813/task/10822/stat : 10822 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236549302 8615837696 34328 33554432000 4194304 4196468 140726847066656 139978364394384 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10823] ppid=10790 vsize=8413904 memory=137312 CPUtime=0 cores=0-7
/proc/10813/task/10823/stat : 10823 (java) S 10790 10790 10382 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 236549304 8615837696 34328 33554432000 4194304 4196468 140726847066656 139977710819568 139978885757570 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10824] ppid=10790 vsize=8413904 memory=71392 CPUtime=0 cores=0-7
/proc/10813/task/10824/stat : 10824 (java) S 10790 10790 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236549304 8615837696 34328 33554432000 4194304 4196468 140726847066656 139977547572384 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10825] ppid=10790 vsize=8413904 memory=2144 CPUtime=0 cores=0-7
/proc/10813/task/10825/stat : 10825 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236549304 8615837696 34328 33554432000 4194304 4196468 140726847066656 139977279136496 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10826] ppid=10790 vsize=8413904 memory=1752 CPUtime=0 cores=0-7
/proc/10813/task/10826/stat : 10826 (java) S 10790 10790 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236549307 8615837696 34328 33554432000 4194304 4196468 140726847066656 139976904628176 139978885765019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10827] ppid=10790 vsize=8413904 memory=5752 CPUtime=0.14 cores=0-7
/proc/10813/task/10827/stat : 10827 (java) S 10790 10790 10382 0 -1 1077944384 715 0 0 0 14 0 0 0 20 0 24 0 236549307 8615837696 34328 33554432000 4194304 4196468 140726847066656 139977709767408 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10828] ppid=10790 vsize=8413904 memory=4580 CPUtime=0.19 cores=0-7
/proc/10813/task/10828/stat : 10828 (java) S 10790 10790 10382 0 -1 1077944384 539 0 0 0 19 0 0 0 20 0 24 0 236549307 8615837696 34328 33554432000 4194304 4196468 140726847066656 139977708714864 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10829] ppid=10790 vsize=8413904 memory=1620 CPUtime=0.15 cores=0-7
/proc/10813/task/10829/stat : 10829 (java) S 10790 10790 10382 0 -1 1077944384 673 0 0 0 15 0 0 0 20 0 24 0 236549307 8615837696 34328 33554432000 4194304 4196468 140726847066656 139977707661808 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10830] ppid=10790 vsize=8413904 memory=1220 CPUtime=0.21 cores=0-7
/proc/10813/task/10830/stat : 10830 (java) S 10790 10790 10382 0 -1 1077944384 571 0 0 0 21 0 0 0 20 0 24 0 236549307 8615837696 34328 33554432000 4194304 4196468 140726847066656 139977706609264 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10831] ppid=10790 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/10813/task/10831/stat : 10831 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236549307 8615837696 34328 33554432000 4194304 4196468 140726847066656 139976406723040 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10832] ppid=10790 vsize=8413904 memory=137312 CPUtime=0 cores=0-7
/proc/10813/task/10832/stat : 10832 (java) S 10790 10790 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236549307 8615837696 34328 33554432000 4194304 4196468 140726847066656 139977705556656 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10834] ppid=10790 vsize=8413904 memory=85632 CPUtime=0 cores=0-7
/proc/10813/task/10834/stat : 10834 (java) S 10790 10790 10382 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 236549391 8615837696 34328 33554432000 4194304 4196468 140726847066656 139977697747904 139978885771033 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10836] ppid=10790 vsize=8413904 memory=2196 CPUtime=0 cores=0-7
/proc/10813/task/10836/stat : 10836 (java) S 10790 10790 10382 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 236549391 8615837696 34328 33554432000 4194304 4196468 140726847066656 139975735623728 139978885768349 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10837] ppid=10790 vsize=8413904 memory=3988 CPUtime=0 cores=0-7
/proc/10813/task/10837/stat : 10837 (java) S 10790 10790 10382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 236549391 8615837696 34328 33554432000 4194304 4196468 140726847066656 139976004059312 139978885768349 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10838] ppid=10790 vsize=8413904 memory=1924 CPUtime=0 cores=0-7
/proc/10813/task/10838/stat : 10838 (java) S 10790 10790 10382 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 236549393 8615837696 34328 33554432000 4194304 4196468 140726847066656 139975467195808 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
Current children cumulated CPU time: 48.96 s
Current children cumulated vsize: 9630648 KiB
Current children cumulated memory: 622944 KiB

[startup+25.0011 s]*
/proc/loadavg: 1.39 1.13 1.10 4/202 10846
/proc/meminfo: memFree=22354312/32770624 swapFree=67108372/67108860
[pid=10790] ppid=10787 vsize=113128 memory=1472 CPUtime=41.43 cores=0-7
/proc/10790/stat : 10790 (scop.sh) S 10787 10790 10382 0 -1 4202496 591 51267 0 0 0 0 3997 146 20 0 1 0 236547282 115843072 368 33554432000 4194304 5098028 140722457797296 140722457794040 139803480937084 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40374272 140722457801763 140722457801987 140722457801987 140722457804749 0
/proc/10790/statm: 28282 368 311 221 0 87 0
[pid=10813] ppid=10790 vsize=8282828 memory=147348 CPUtime=8.39 cores=0-7
/proc/10813/stat : 10813 (java) S 10790 10790 10382 0 -1 1077944320 18922 82439 0 0 181 15 462 181 20 0 22 0 236549301 8481615872 36837 33554432000 4194304 4196468 140726847066656 140726847049200 139978885746423 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
/proc/10813/statm: 2070707 36837 3178 1 0 2032106 0
[pid=10813/tid=10814] ppid=10790 vsize=8282828 memory=8318255677412212789 CPUtime=7.42 cores=0-7
/proc/10813/task/10814/stat : 10814 (java) R 10790 10790 10382 0 -1 4202560 14695 82439 0 0 87 12 462 181 20 0 22 0 236549301 8481615872 36837 33554432000 4194304 4196468 140726847066656 139978857584224 139978869790053 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10815] ppid=10790 vsize=8282828 memory=288230609019732336 CPUtime=6.43 cores=0-7
/proc/10813/task/10815/stat : 10815 (java) S 10790 10790 10382 0 -1 1077944384 2 82439 0 0 0 0 462 181 20 0 22 0 236549302 8481615872 36837 33554432000 4194304 4196468 140726847066656 139978889988624 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10816] ppid=10790 vsize=8282828 memory=140617159548014 CPUtime=6.43 cores=0-7
/proc/10813/task/10816/stat : 10816 (java) S 10790 10790 10382 0 -1 1077944384 1 82439 0 0 0 0 462 181 20 0 22 0 236549302 8481615872 36837 33554432000 4194304 4196468 140726847066656 139978690157200 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10817] ppid=10790 vsize=8282828 memory=-1 CPUtime=6.43 cores=0-7
/proc/10813/task/10817/stat : 10817 (java) S 10790 10790 10382 0 -1 1077944384 1 82439 0 0 0 0 462 181 20 0 22 0 236549302 8481615872 36837 33554432000 4194304 4196468 140726847066656 139978369657104 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10818] ppid=10790 vsize=8282828 memory=0 CPUtime=6.43 cores=0-7
/proc/10813/task/10818/stat : 10818 (java) S 10790 10790 10382 0 -1 1077944384 2 82439 0 0 0 0 462 181 20 0 22 0 236549302 8481615872 36837 33554432000 4194304 4196468 140726847066656 139978368604560 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10819] ppid=10790 vsize=8282828 memory=0 CPUtime=6.43 cores=0-7
/proc/10813/task/10819/stat : 10819 (java) S 10790 10790 10382 0 -1 1077944384 2 82439 0 0 0 0 462 181 20 0 22 0 236549302 8481615872 36837 33554432000 4194304 4196468 140726847066656 139978367552528 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10820] ppid=10790 vsize=8282828 memory=-1 CPUtime=6.43 cores=0-7
/proc/10813/task/10820/stat : 10820 (java) S 10790 10790 10382 0 -1 1077944384 2 82439 0 0 0 0 462 181 20 0 22 0 236549302 8481615872 36837 33554432000 4194304 4196468 140726847066656 139978366499984 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10821] ppid=10790 vsize=8282828 memory=140617028756672 CPUtime=6.43 cores=0-7
/proc/10813/task/10821/stat : 10821 (java) S 10790 10790 10382 0 -1 1077944384 2 82439 0 0 0 0 462 181 20 0 22 0 236549302 8481615872 36837 33554432000 4194304 4196468 140726847066656 139978365446928 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10822] ppid=10790 vsize=8282828 memory=0 CPUtime=6.43 cores=0-7
/proc/10813/task/10822/stat : 10822 (java) S 10790 10790 10382 0 -1 1077944384 3 82439 0 0 0 0 462 181 20 0 22 0 236549302 8481615872 36837 33554432000 4194304 4196468 140726847066656 139978364394384 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10823] ppid=10790 vsize=8282828 memory=0 CPUtime=6.43 cores=0-7
/proc/10813/task/10823/stat : 10823 (java) S 10790 10790 10382 0 -1 1077944384 7 82439 0 0 0 0 462 181 20 0 22 0 236549304 8481615872 36837 33554432000 4194304 4196468 140726847066656 139977710819568 139978885757570 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10824] ppid=10790 vsize=8282828 memory=7235709436565679465 CPUtime=6.43 cores=0-7
/proc/10813/task/10824/stat : 10824 (java) S 10790 10790 10382 0 -1 1077944384 13 82439 0 0 0 0 462 181 20 0 22 0 236549304 8481615872 36837 33554432000 4194304 4196468 140726847066656 139977547572384 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10825] ppid=10790 vsize=8282828 memory=7453282923428408173 CPUtime=6.43 cores=0-7
/proc/10813/task/10825/stat : 10825 (java) S 10790 10790 10382 0 -1 1077944384 1 82439 0 0 0 0 462 181 20 0 22 0 236549304 8481615872 36837 33554432000 4194304 4196468 140726847066656 139977279136496 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10826] ppid=10790 vsize=8282828 memory=1281656 CPUtime=6.43 cores=0-7
/proc/10813/task/10826/stat : 10826 (java) S 10790 10790 10382 0 -1 1077944384 1 82439 0 0 0 0 462 181 20 0 22 0 236549307 8481615872 36837 33554432000 4194304 4196468 140726847066656 139976904628176 139978885765019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10827] ppid=10790 vsize=8282828 memory=281234055889136 CPUtime=6.61 cores=0-7
/proc/10813/task/10827/stat : 10827 (java) S 10790 10790 10382 0 -1 1077944384 733 82439 0 0 18 0 462 181 20 0 22 0 236549307 8481615872 36837 33554432000 4194304 4196468 140726847066656 139977709767408 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10828] ppid=10790 vsize=8282828 memory=0 CPUtime=6.64 cores=0-7
/proc/10813/task/10828/stat : 10828 (java) S 10790 10790 10382 0 -1 1077944384 560 82439 0 0 21 0 462 181 20 0 22 0 236549307 8481615872 36837 33554432000 4194304 4196468 140726847066656 139977708714864 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10829] ppid=10790 vsize=8282828 memory=-1 CPUtime=6.61 cores=0-7
/proc/10813/task/10829/stat : 10829 (java) R 10790 10790 10382 0 -1 4202560 683 82439 0 0 18 0 462 181 20 0 22 0 236549307 8481615872 36837 33554432000 4194304 4196468 140726847066656 139977707661808 139978866922325 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10830] ppid=10790 vsize=8282828 memory=0 CPUtime=6.72 cores=0-7
/proc/10813/task/10830/stat : 10830 (java) R 10790 10790 10382 0 -1 4202560 758 82439 0 0 29 0 462 181 20 0 22 0 236549307 8481615872 36837 33554432000 4194304 4196468 140726847066656 139977706609264 139978864688094 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10831] ppid=10790 vsize=8282828 memory=0 CPUtime=6.43 cores=0-7
/proc/10813/task/10831/stat : 10831 (java) S 10790 10790 10382 0 -1 1077944384 3 82439 0 0 0 0 462 181 20 0 22 0 236549307 8481615872 36837 33554432000 4194304 4196468 140726847066656 139976406723040 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10832] ppid=10790 vsize=8282828 memory=-1 CPUtime=6.43 cores=0-7
/proc/10813/task/10832/stat : 10832 (java) S 10790 10790 10382 0 -1 1077944384 3 82439 0 0 0 0 462 181 20 0 22 0 236549307 8481615872 36837 33554432000 4194304 4196468 140726847066656 139977705556656 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10834] ppid=10790 vsize=8282828 memory=-1 CPUtime=6.43 cores=0-7
/proc/10813/task/10834/stat : 10834 (java) S 10790 10790 10382 0 -1 1077944384 25 82439 0 0 0 0 462 181 20 0 22 0 236549391 8481615872 36837 33554432000 4194304 4196468 140726847066656 139977697747088 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10838] ppid=10790 vsize=8282828 memory=0 CPUtime=6.43 cores=0-7
/proc/10813/task/10838/stat : 10838 (java) S 10790 10790 10382 0 -1 1077944384 18 82439 0 0 0 0 462 181 20 0 22 0 236549393 8481615872 36837 33554432000 4194304 4196468 140726847066656 139975467197616 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
Current children cumulated CPU time: 49.82 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 148820 KiB

[startup+25.1104 s]
/proc/loadavg: 1.39 1.13 1.10 4/202 10846
/proc/meminfo: memFree=22354312/32770624 swapFree=67108372/67108860
[pid=10790] ppid=10787 vsize=113128 memory=1472 CPUtime=41.43 cores=0-7
/proc/10790/stat : 10790 (scop.sh) S 10787 10790 10382 0 -1 4202496 591 51267 0 0 0 0 3997 146 20 0 1 0 236547282 115843072 368 33554432000 4194304 5098028 140722457797296 140722457794040 139803480937084 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40374272 140722457801763 140722457801987 140722457801987 140722457804749 0
/proc/10790/statm: 28282 368 311 221 0 87 0
[pid=10813] ppid=10790 vsize=8151752 memory=165300 CPUtime=8.77 cores=0-7
/proc/10813/stat : 10813 (java) S 10790 10790 10382 0 -1 1077944320 19345 82439 0 0 218 16 462 181 20 0 21 0 236549301 8347394048 41325 33554432000 4194304 4196468 140726847066656 140726847049200 139978885746423 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
/proc/10813/statm: 2037938 41325 3183 1 0 1999337 0
[pid=10813/tid=10814] ppid=10790 vsize=8151752 memory=139512 CPUtime=7.52 cores=0-7
/proc/10813/task/10814/stat : 10814 (java) S 10790 10790 10382 0 -1 1077944384 14822 82439 0 0 96 13 462 181 20 0 21 0 236549301 8347394048 41325 33554432000 4194304 4196468 140726847066656 139978857589904 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10815] ppid=10790 vsize=8151752 memory=1472 CPUtime=6.43 cores=0-7
/proc/10813/task/10815/stat : 10815 (java) S 10790 10790 10382 0 -1 1077944384 2 82439 0 0 0 0 462 181 20 0 21 0 236549302 8347394048 41325 33554432000 4194304 4196468 140726847066656 139978889988624 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10816] ppid=10790 vsize=8151752 memory=137312 CPUtime=6.43 cores=0-7
/proc/10813/task/10816/stat : 10816 (java) S 10790 10790 10382 0 -1 1077944384 1 82439 0 0 0 0 462 181 20 0 21 0 236549302 8347394048 41325 33554432000 4194304 4196468 140726847066656 139978690157200 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10817] ppid=10790 vsize=8151752 memory=3812 CPUtime=6.43 cores=0-7
/proc/10813/task/10817/stat : 10817 (java) S 10790 10790 10382 0 -1 1077944384 1 82439 0 0 0 0 462 181 20 0 21 0 236549302 8347394048 41325 33554432000 4194304 4196468 140726847066656 139978369657104 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10818] ppid=10790 vsize=8151752 memory=64088 CPUtime=6.43 cores=0-7
/proc/10813/task/10818/stat : 10818 (java) S 10790 10790 10382 0 -1 1077944384 2 82439 0 0 0 0 462 181 20 0 21 0 236549302 8347394048 41325 33554432000 4194304 4196468 140726847066656 139978368604560 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10819] ppid=10790 vsize=8151752 memory=1100 CPUtime=6.43 cores=0-7
/proc/10813/task/10819/stat : 10819 (java) S 10790 10790 10382 0 -1 1077944384 2 82439 0 0 0 0 462 181 20 0 21 0 236549302 8347394048 41325 33554432000 4194304 4196468 140726847066656 139978367552528 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10820] ppid=10790 vsize=8151752 memory=1472 CPUtime=6.43 cores=0-7
/proc/10813/task/10820/stat : 10820 (java) S 10790 10790 10382 0 -1 1077944384 2 82439 0 0 0 0 462 181 20 0 21 0 236549302 8347394048 41325 33554432000 4194304 4196468 140726847066656 139978366499984 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10821] ppid=10790 vsize=8151752 memory=137312 CPUtime=6.43 cores=0-7
/proc/10813/task/10821/stat : 10821 (java) S 10790 10790 10382 0 -1 1077944384 2 82439 0 0 0 0 462 181 20 0 21 0 236549302 8347394048 41325 33554432000 4194304 4196468 140726847066656 139978365446928 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10822] ppid=10790 vsize=8151752 memory=488 CPUtime=6.43 cores=0-7
/proc/10813/task/10822/stat : 10822 (java) S 10790 10790 10382 0 -1 1077944384 3 82439 0 0 0 0 462 181 20 0 21 0 236549302 8347394048 41325 33554432000 4194304 4196468 140726847066656 139978364394384 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10823] ppid=10790 vsize=8151752 memory=1276 CPUtime=6.43 cores=0-7
/proc/10813/task/10823/stat : 10823 (java) S 10790 10790 10382 0 -1 1077944384 7 82439 0 0 0 0 462 181 20 0 21 0 236549304 8347394048 41325 33554432000 4194304 4196468 140726847066656 139977710819776 139978885757570 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10824] ppid=10790 vsize=8151752 memory=1068 CPUtime=6.43 cores=0-7
/proc/10813/task/10824/stat : 10824 (java) S 10790 10790 10382 0 -1 1077944384 13 82439 0 0 0 0 462 181 20 0 21 0 236549304 8347394048 41325 33554432000 4194304 4196468 140726847066656 139977547572384 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10825] ppid=10790 vsize=8151752 memory=15064 CPUtime=6.43 cores=0-7
/proc/10813/task/10825/stat : 10825 (java) S 10790 10790 10382 0 -1 1077944384 1 82439 0 0 0 0 462 181 20 0 21 0 236549304 8347394048 41325 33554432000 4194304 4196468 140726847066656 139977279136496 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10826] ppid=10790 vsize=8151752 memory=35432 CPUtime=6.43 cores=0-7
/proc/10813/task/10826/stat : 10826 (java) S 10790 10790 10382 0 -1 1077944384 22 82439 0 0 0 0 462 181 20 0 21 0 236549307 8347394048 41325 33554432000 4194304 4196468 140726847066656 139976904626944 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10827] ppid=10790 vsize=8151752 memory=868 CPUtime=6.69 cores=0-7
/proc/10813/task/10827/stat : 10827 (java) R 10790 10790 10382 0 -1 4202560 761 82439 0 0 26 0 462 181 20 0 21 0 236549307 8347394048 41325 33554432000 4194304 4196468 140726847066656 139977709751248 139978871898105 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10828] ppid=10790 vsize=8151752 memory=6800 CPUtime=6.71 cores=0-7
/proc/10813/task/10828/stat : 10828 (java) R 10790 10790 10382 0 -1 4202560 678 82439 0 0 28 0 462 181 20 0 21 0 236549307 8347394048 41325 33554432000 4194304 4196468 140726847066656 139977708699168 139978870153737 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10829] ppid=10790 vsize=8151752 memory=11628 CPUtime=6.69 cores=0-7
/proc/10813/task/10829/stat : 10829 (java) S 10790 10790 10382 0 -1 1077944384 720 82439 0 0 26 0 462 181 20 0 21 0 236549307 8347394048 41325 33554432000 4194304 4196468 140726847066656 139977707642288 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10830] ppid=10790 vsize=8151752 memory=752 CPUtime=6.76 cores=0-7
/proc/10813/task/10830/stat : 10830 (java) S 10790 10790 10382 0 -1 1077944384 856 82439 0 0 33 0 462 181 20 0 21 0 236549307 8347394048 41325 33554432000 4194304 4196468 140726847066656 139977706609264 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10831] ppid=10790 vsize=8151752 memory=6935649255759568960 CPUtime=6.43 cores=0-7
/proc/10813/task/10831/stat : 10831 (java) S 10790 10790 10382 0 -1 1077944384 3 82439 0 0 0 0 462 181 20 0 21 0 236549307 8347394048 41325 33554432000 4194304 4196468 140726847066656 139976406723040 139978885756629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10834] ppid=10790 vsize=8151752 memory=-5874771483550381248 CPUtime=6.43 cores=0-7
/proc/10813/task/10834/stat : 10834 (java) S 10790 10790 10382 0 -1 1077944384 25 82439 0 0 0 0 462 181 20 0 21 0 236549391 8347394048 41325 33554432000 4194304 4196468 140726847066656 139977697747088 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
[pid=10813/tid=10838] ppid=10790 vsize=8151752 memory=7223887401239728208 CPUtime=6.43 cores=0-7
/proc/10813/task/10838/stat : 10838 (java) S 10790 10790 10382 0 -1 1077944384 18 82439 0 0 0 0 462 181 20 0 21 0 236549393 8347394048 41325 33554432000 4194304 4196468 140726847066656 139975467197616 139978885757570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140726847071409 140726847071533 140726847071533 140726847074255 0
Current children cumulated CPU time: 50.2 s
Current children cumulated vsize: 8264880 KiB
Current children cumulated memory: 166772 KiB

Child status: 0
Real time (s): 25.1271
CPU time (s): 50.2437
CPU user time (s): 46.794
CPU system time (s): 3.44979
CPU usage (%): 199.958
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6073292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.794
system time used= 3.44979
maximum resident set size= 6072148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153668
page faults= 0
swaps= 0
block input operations= 8
block output operations= 42024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 190152
involuntary context switches= 86


# summary of solver processes directly reported to runsolver:
#   pid: 10790
#   total CPU time (s): 50.2437
#   total CPU user time (s): 46.794
#   total CPU system time (s): 3.44979

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.232738 second user time and 0.288635 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-13 21:50:41
IDJOB=4307304
IDBENCH=141328
IDSOLVER=2789
FILE ID=node137/4307304-1534189841
RUNJOBID= node137-1534189810-10409
PBS_JOBID= 21037989
Free space on /tmp= 26576 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/Bibd/Bibd-sc-09-03-09_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307304-1534189841/watcher-4307304-1534189841 -o /tmp/evaluation-result-4307304-1534189841/solver-4307304-1534189841 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534189810-10409 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307304-1534189841.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 14461c5e126fcf4565f37d2e3313bad0
RANDOM SEED=2021002472

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22505272 kB
MemAvailable:   31898332 kB
Buffers:          118288 kB
Cached:          9469188 kB
SwapCached:            8 kB
Active:          4259432 kB
Inactive:        5385100 kB
Active(anon):       4060 kB
Inactive(anon):   105160 kB
Active(file):    4255372 kB
Inactive(file):  5279940 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:              9040 kB
Writeback:            80 kB
AnonPages:        104556 kB
Mapped:            54448 kB
Shmem:             49624 kB
Slab:             314320 kB
SReclaimable:     286208 kB
SUnreclaim:        28112 kB
KernelStack:        3360 kB
PageTables:         4764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 26568 MiB
End job on node137 at 2018-08-13 21:51:06