0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Jul 23 15:22:52 CEST 2018
0.66/0.55 c PID: 8772
0.66/0.55 c IP: 172.20.3.105
0.66/0.55 c HOST: node105.alineos.net
0.66/0.56 c (0,0) Parsing Begin
3.49/1.53 c (1,1) Parsing End
3.49/1.54 c (1,1) CSP: 0 int (0 aux), 1716 bool (0 aux), 1553 ctr, max domain size 2
3.49/1.54 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
3.49/1.55 c (1,1) Constraint Name Generate Begin
3.49/1.56 c (1,1) Ctr:HOME/instance-4294159-1532352171.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum
3.49/1.56 c (1,1) Constraint Name Generate End
3.49/1.56 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
3.49/1.56 c (1,1) CSP to CSPinCNF Begin
4.86/1.94 c (1,1) translated 156 (10%) constraints
5.20/2.05 c (1,1) translated 311 (20%) constraints
5.51/2.15 c (1,1) translated 466 (30%) constraints
5.80/2.22 c (1,1) translated 622 (40%) constraints
6.11/2.30 c (1,1) translated 777 (50%) constraints
6.11/2.37 c (1,1) translated 932 (60%) constraints
6.43/2.44 c (1,1) translated 1088 (70%) constraints
6.43/2.49 c (1,1) translated 1243 (80%) constraints
6.73/2.55 c (2,2) translated 1398 (90%) constraints
7.03/2.63 c (2,2) translated 1553 (100%) constraints
8.57/3.16 c (2,2) STATISTICS1:HOME/instance-4294159-1532352171.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,5050,8284,2097152,2,4,22,2097152:156;2048:44;2:3860,2:21154,4:430;3:2936;2:3334;1:1584,22:156;12:44;2:3860;1:15810,
8.57/3.16 c (2,2) ===========================================
8.57/3.16 c (2,2) Order
8.57/3.16 c (2,2) ===========================================
9.19/3.30 c (2,2) translated 829 (10%) constraints
9.19/3.35 c (2,2) translated 1657 (20%) constraints
9.19/3.39 c (2,2) translated 2486 (30%) constraints
9.52/3.43 c (2,2) translated 3314 (40%) constraints
9.52/3.48 c (2,2) translated 4142 (50%) constraints
9.81/3.52 c (2,2) translated 4971 (60%) constraints
9.81/3.56 c (3,3) translated 5799 (70%) constraints
10.11/3.60 c (3,3) translated 6628 (80%) constraints
10.43/3.74 c (3,3) translated 7456 (90%) constraints
10.43/3.79 c (3,3) translated 8284 (100%) constraints
10.43/3.79 c (3,3) CSP to CSPinCNF End
10.43/3.79 c (3,3) CSP: 300 int (300 aux), 6502 bool (4786 aux), 13340 ctr, max domain size 9
10.43/3.79 c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.43/3.79 c (3,3) CSPinCNF Propagation Begin
11.06/3.92 c (3,3) 0 values, 1452 unsatisfiable literals, and 1452 valid clauses are removed
11.06/3.92 c (3,3) CSPinCNF Propagation End
11.06/3.92 c (3,3) CSP: 300 int (300 aux), 6502 bool (4786 aux), 11888 ctr, max domain size 9
11.06/3.92 c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.06/3.92 c (3,3) Simplify CSPinCNF Begin
11.06/3.99 c (3,3) Simplify CSPinCNF End
11.06/3.99 c (3,3) CSP: 300 int (300 aux), 7458 bool (5742 aux), 12844 ctr, max domain size 9
11.06/3.99 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.06/3.99 c (3,3) Calculate Precise Domain Begin
11.40/4.05 c (3,3) 0 values are removed by re-calculation
11.40/4.05 c (3,3) Calculate Precise Domain End
11.40/4.06 c (3,3) CSP: 300 int (300 aux), 7458 bool (5742 aux), 12844 ctr, max domain size 9
11.40/4.06 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.40/4.06 c (3,3) CSPinCNF to SatSolver Begin
12.34/4.34 c (3,3) 1285 (10 %) CSP clauses are encoded (8976 SAT variables, 18442 SAT clauses)
12.34/4.35 c (3,3) 2569 (20 %) CSP clauses are encoded (8976 SAT variables, 19726 SAT clauses)
12.34/4.37 c (3,3) 3854 (30 %) CSP clauses are encoded (8976 SAT variables, 21011 SAT clauses)
12.34/4.38 c (3,3) 5138 (40 %) CSP clauses are encoded (8976 SAT variables, 22295 SAT clauses)
12.66/4.40 c (3,3) 6422 (50 %) CSP clauses are encoded (8976 SAT variables, 23579 SAT clauses)
12.66/4.41 c (3,3) 7707 (60 %) CSP clauses are encoded (8976 SAT variables, 24864 SAT clauses)
12.66/4.43 c (3,3) 8991 (70 %) CSP clauses are encoded (8976 SAT variables, 26148 SAT clauses)
12.66/4.44 c (3,3) 10276 (80 %) CSP clauses are encoded (8976 SAT variables, 27433 SAT clauses)
13.30/4.74 c (4,4) 11560 (90 %) CSP clauses are encoded (8976 SAT variables, 87817 SAT clauses)
13.30/4.77 c (4,4) 12844 (100 %) CSP clauses are encoded (8976 SAT variables, 89731 SAT clauses)
13.30/4.77 c (4,4) CSPinCNF to SatSolver End
13.30/4.77 c (4,4) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.52/4.87 c (4,4) STATISTICS2:HOME/instance-4294159-1532352171.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,7758,12844,256,9,4,9,256:156;128:312;64:24;36:132;25:44;16:132;2:4322,9:48;8:96;6:792;5:264;2:31778,4:430;3:1484;2:7194;1:3736,9:156;8:312;5:132;3:200;2:4322;1:19174,
13.52/4.87 c (4,4) SatSolver.solve Begin
13.52/4.87 c (4,4) 8976 bool, 89732 clause
13.52/4.87 c (4,4) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294159-1532352171.xml-scop-8772.cnf HOME/instance-4294159-1532352171.xml-scop-8772.cnf.out
14.67/5.44 c (4,0) c This is COMiniSatPS.
14.67/5.44 c (4,0) c WARNING: for repeatability, setting FPU to use double precision
14.67/5.44 c (4,0) c ============================[ Problem Statistics ]=============================
14.67/5.44 c (4,0) c | |
14.67/5.44 c (4,0) c | Number of variables: 8976 |
14.67/5.44 c (4,0) c | Number of clauses: 89732 |
14.67/5.44 c (4,0) c | Parse time: 0.03 s |
14.67/5.44 c (4,0) c | Eliminated clauses: 0.14 Mb |
14.67/5.44 c (4,0) c Reduced to 3712 vars, 82602 cls (grow=0)
14.67/5.44 c (4,0) c No iterative elimination performed. (vars=3712, c/v ratio=22.3)
14.67/5.44 c (4,0) c | Simplification time: 0.15 s |
14.67/5.44 c (4,0) c | |
14.67/5.44 c (4,0) c ============================[ Search Statistics ]==============================
14.67/5.44 c (4,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
14.67/5.45 c (4,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
14.67/5.45 c (4,0) c ===============================================================================
14.67/5.45 c (4,0) c ===============================================================================
14.67/5.45 c (4,0) c restarts : 58
14.67/5.45 c (4,0) c conflicts : 9821 (18207 /sec)
14.67/5.45 c (4,0) c decisions : 18405 (0.00 % random) (34121 /sec)
14.67/5.45 c (4,0) c propagations : 1267412 (2349648 /sec)
14.67/5.45 c (4,0) c conflict literals : 200151 (19.37 % deleted)
14.67/5.45 c (4,0) c CPU time : 0.539405 s
14.67/5.45 c (4,0)
14.67/5.45 c (4,0) s SATISFIABLE
14.67/5.48 c (4,4) SatSolver.solve End
14.67/5.48 c (4,4) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.67/5.48 c (4,4) Show results Begin
14.92/5.52 c (4,4) s[0][1][0] = 0
14.92/5.52 c (4,4) s[0][1][1] = 0
14.92/5.52 c (4,4) s[0][1][2] = 0
14.92/5.52 c (4,4) s[0][1][3] = 0
14.92/5.52 c (4,4) s[0][1][4] = 0
14.92/5.52 c (4,4) s[0][1][5] = 0
14.92/5.52 c (4,4) s[0][1][6] = 0
14.92/5.52 c (4,4) s[0][1][7] = 0
14.92/5.52 c (4,4) s[0][1][8] = 0
14.92/5.52 c (4,4) s[0][1][9] = 0
14.92/5.52 c (4,4) s[0][1][10] = 0
14.92/5.52 c (4,4) s[0][1][11] = 0
14.92/5.52 c (4,4) s[0][1][12] = 0
14.92/5.52 c (4,4) s[0][1][13] = 0
14.92/5.52 c (4,4) s[0][1][14] = 0
14.92/5.52 c (4,4) s[0][1][15] = 0
14.92/5.52 c (4,4) s[0][1][16] = 0
14.92/5.52 c (4,4) s[0][1][17] = 1
14.92/5.52 c (4,4) s[0][1][18] = 1
14.92/5.52 c (4,4) s[0][1][19] = 1
14.92/5.52 c (4,4) s[0][1][20] = 1
14.92/5.52 c (4,4) s[0][1][21] = 1
14.92/5.52 c (4,4) s[0][2][0] = 0
14.92/5.52 c (4,4) s[0][2][1] = 0
14.92/5.52 c (4,4) s[0][2][2] = 0
14.92/5.52 c (4,4) s[0][2][3] = 0
14.92/5.52 c (4,4) s[0][2][4] = 0
14.92/5.52 c (4,4) s[0][2][5] = 0
14.92/5.52 c (4,4) s[0][2][6] = 0
14.92/5.52 c (4,4) s[0][2][7] = 0
14.92/5.52 c (4,4) s[0][2][8] = 0
14.92/5.52 c (4,4) s[0][2][9] = 0
14.92/5.52 c (4,4) s[0][2][10] = 0
14.92/5.52 c (4,4) s[0][2][11] = 0
14.92/5.52 c (4,4) s[0][2][12] = 0
14.92/5.52 c (4,4) s[0][2][13] = 1
14.92/5.52 c (4,4) s[0][2][14] = 1
14.92/5.52 c (4,4) s[0][2][15] = 1
14.92/5.52 c (4,4) s[0][2][16] = 1
14.92/5.52 c (4,4) s[0][2][17] = 0
14.92/5.52 c (4,4) s[0][2][18] = 0
14.92/5.52 c (4,4) s[0][2][19] = 0
14.92/5.52 c (4,4) s[0][2][20] = 0
14.92/5.52 c (4,4) s[0][2][21] = 1
14.92/5.52 c (4,4) s[0][3][0] = 0
14.92/5.52 c (4,4) s[0][3][1] = 0
14.92/5.52 c (4,4) s[0][3][2] = 0
14.92/5.52 c (4,4) s[0][3][3] = 0
14.92/5.52 c (4,4) s[0][3][4] = 0
14.92/5.52 c (4,4) s[0][3][5] = 0
14.92/5.52 c (4,4) s[0][3][6] = 0
14.92/5.52 c (4,4) s[0][3][7] = 0
14.92/5.52 c (4,4) s[0][3][8] = 0
14.92/5.52 c (4,4) s[0][3][9] = 0
14.92/5.52 c (4,4) s[0][3][10] = 0
14.92/5.52 c (4,4) s[0][3][11] = 1
14.92/5.52 c (4,4) s[0][3][12] = 1
14.92/5.52 c (4,4) s[0][3][13] = 0
14.92/5.52 c (4,4) s[0][3][14] = 0
14.92/5.52 c (4,4) s[0][3][15] = 1
14.92/5.52 c (4,4) s[0][3][16] = 1
14.92/5.52 c (4,4) s[0][3][17] = 0
14.92/5.52 c (4,4) s[0][3][18] = 0
14.92/5.52 c (4,4) s[0][3][19] = 0
14.92/5.52 c (4,4) s[0][3][20] = 1
14.92/5.52 c (4,4) s[0][3][21] = 0
14.92/5.52 c (4,4) s[0][4][0] = 0
14.92/5.52 c (4,4) s[0][4][1] = 0
14.92/5.52 c (4,4) s[0][4][2] = 0
14.92/5.52 c (4,4) s[0][4][3] = 0
14.92/5.52 c (4,4) s[0][4][4] = 0
14.92/5.52 c (4,4) s[0][4][5] = 0
14.92/5.52 c (4,4) s[0][4][6] = 0
14.92/5.52 c (4,4) s[0][4][7] = 0
14.92/5.52 c (4,4) s[0][4][8] = 0
14.92/5.52 c (4,4) s[0][4][9] = 0
14.92/5.52 c (4,4) s[0][4][10] = 0
14.92/5.52 c (4,4) s[0][4][11] = 1
14.92/5.52 c (4,4) s[0][4][12] = 1
14.92/5.52 c (4,4) s[0][4][13] = 1
14.92/5.52 c (4,4) s[0][4][14] = 1
14.92/5.52 c (4,4) s[0][4][15] = 0
14.92/5.52 c (4,4) s[0][4][16] = 0
14.92/5.52 c (4,4) s[0][4][17] = 0
14.92/5.52 c (4,4) s[0][4][18] = 0
14.92/5.52 c (4,4) s[0][4][19] = 1
14.92/5.52 c (4,4) s[0][4][20] = 0
14.92/5.52 c (4,4) s[0][4][21] = 0
14.92/5.52 c (4,4) s[0][5][0] = 0
14.92/5.52 c (4,4) s[0][5][1] = 0
14.92/5.52 c (4,4) s[0][5][2] = 0
14.92/5.52 c (4,4) s[0][5][3] = 0
14.92/5.52 c (4,4) s[0][5][4] = 0
14.92/5.52 c (4,4) s[0][5][5] = 0
14.92/5.52 c (4,4) s[0][5][6] = 0
14.92/5.52 c (4,4) s[0][5][7] = 0
14.92/5.52 c (4,4) s[0][5][8] = 0
14.92/5.52 c (4,4) s[0][5][9] = 0
14.92/5.52 c (4,4) s[0][5][10] = 0
14.92/5.52 c (4,4) s[0][5][11] = 0
14.92/5.52 c (4,4) s[0][5][12] = 1
14.92/5.52 c (4,4) s[0][5][13] = 0
14.92/5.52 c (4,4) s[0][5][14] = 0
14.92/5.52 c (4,4) s[0][5][15] = 1
14.92/5.52 c (4,4) s[0][5][16] = 1
14.92/5.52 c (4,4) s[0][5][17] = 1
14.92/5.52 c (4,4) s[0][5][18] = 1
14.92/5.52 c (4,4) s[0][5][19] = 0
14.92/5.52 c (4,4) s[0][5][20] = 0
14.92/5.52 c (4,4) s[0][5][21] = 0
14.92/5.52 c (4,4) s[0][6][0] = 0
14.92/5.52 c (4,4) s[0][6][1] = 0
14.92/5.52 c (4,4) s[0][6][2] = 0
14.92/5.52 c (4,4) s[0][6][3] = 0
14.92/5.52 c (4,4) s[0][6][4] = 0
14.92/5.52 c (4,4) s[0][6][5] = 0
14.92/5.52 c (4,4) s[0][6][6] = 0
14.92/5.52 c (4,4) s[0][6][7] = 0
14.92/5.52 c (4,4) s[0][6][8] = 0
14.92/5.52 c (4,4) s[0][6][9] = 0
14.92/5.52 c (4,4) s[0][6][10] = 0
14.92/5.52 c (4,4) s[0][6][11] = 1
14.92/5.52 c (4,4) s[0][6][12] = 0
14.92/5.52 c (4,4) s[0][6][13] = 0
14.92/5.52 c (4,4) s[0][6][14] = 1
14.92/5.52 c (4,4) s[0][6][15] = 0
14.92/5.52 c (4,4) s[0][6][16] = 1
14.92/5.52 c (4,4) s[0][6][17] = 0
14.92/5.52 c (4,4) s[0][6][18] = 1
14.92/5.52 c (4,4) s[0][6][19] = 1
14.92/5.52 c (4,4) s[0][6][20] = 0
14.92/5.52 c (4,4) s[0][6][21] = 0
14.92/5.52 c (4,4) s[0][7][0] = 0
14.92/5.52 c (4,4) s[0][7][1] = 0
14.92/5.52 c (4,4) s[0][7][2] = 0
14.92/5.52 c (4,4) s[0][7][3] = 0
14.92/5.52 c (4,4) s[0][7][4] = 0
14.92/5.52 c (4,4) s[0][7][5] = 0
14.92/5.52 c (4,4) s[0][7][6] = 0
14.92/5.52 c (4,4) s[0][7][7] = 0
14.92/5.53 c (4,4) s[0][7][8] = 0
14.92/5.53 c (4,4) s[0][7][9] = 0
14.92/5.53 c (4,4) s[0][7][10] = 0
14.92/5.53 c (4,4) s[0][7][11] = 1
14.92/5.53 c (4,4) s[0][7][12] = 1
14.92/5.53 c (4,4) s[0][7][13] = 1
14.92/5.53 c (4,4) s[0][7][14] = 0
14.92/5.53 c (4,4) s[0][7][15] = 0
14.92/5.53 c (4,4) s[0][7][16] = 0
14.92/5.53 c (4,4) s[0][7][17] = 1
14.92/5.53 c (4,4) s[0][7][18] = 0
14.92/5.53 c (4,4) s[0][7][19] = 0
14.92/5.53 c (4,4) s[0][7][20] = 0
14.92/5.53 c (4,4) s[0][7][21] = 1
14.92/5.53 c (4,4) s[0][8][0] = 0
14.92/5.53 c (4,4) s[0][8][1] = 0
14.92/5.53 c (4,4) s[0][8][2] = 0
14.92/5.53 c (4,4) s[0][8][3] = 0
14.92/5.53 c (4,4) s[0][8][4] = 0
14.92/5.53 c (4,4) s[0][8][5] = 0
14.92/5.53 c (4,4) s[0][8][6] = 0
14.92/5.53 c (4,4) s[0][8][7] = 0
14.92/5.53 c (4,4) s[0][8][8] = 0
14.92/5.53 c (4,4) s[0][8][9] = 0
14.92/5.53 c (4,4) s[0][8][10] = 0
14.92/5.53 c (4,4) s[0][8][11] = 0
14.92/5.53 c (4,4) s[0][8][12] = 1
14.92/5.53 c (4,4) s[0][8][13] = 1
14.92/5.53 c (4,4) s[0][8][14] = 1
14.92/5.53 c (4,4) s[0][8][15] = 0
14.92/5.53 c (4,4) s[0][8][16] = 0
14.92/5.53 c (4,4) s[0][8][17] = 0
14.92/5.53 c (4,4) s[0][8][18] = 1
14.92/5.53 c (4,4) s[0][8][19] = 0
14.92/5.53 c (4,4) s[0][8][20] = 1
14.92/5.53 c (4,4) s[0][8][21] = 0
14.92/5.53 c (4,4) s[0][9][0] = 0
14.92/5.53 c (4,4) s[0][9][1] = 0
14.92/5.53 c (4,4) s[0][9][2] = 0
14.92/5.53 c (4,4) s[0][9][3] = 0
14.92/5.53 c (4,4) s[0][9][4] = 0
14.92/5.53 c (4,4) s[0][9][5] = 0
14.92/5.53 c (4,4) s[0][9][6] = 0
14.92/5.53 c (4,4) s[0][9][7] = 0
14.92/5.53 c (4,4) s[0][9][8] = 0
14.92/5.53 c (4,4) s[0][9][9] = 0
14.92/5.53 c (4,4) s[0][9][10] = 0
14.92/5.53 c (4,4) s[0][9][11] = 1
14.92/5.53 c (4,4) s[0][9][12] = 0
14.92/5.53 c (4,4) s[0][9][13] = 0
14.92/5.53 c (4,4) s[0][9][14] = 0
14.92/5.53 c (4,4) s[0][9][15] = 1
14.92/5.53 c (4,4) s[0][9][16] = 0
14.92/5.53 c (4,4) s[0][9][17] = 1
14.92/5.53 c (4,4) s[0][9][18] = 0
14.92/5.53 c (4,4) s[0][9][19] = 1
14.92/5.53 c (4,4) s[0][9][20] = 0
14.92/5.53 c (4,4) s[0][9][21] = 1
14.92/5.53 c (4,4) s[0][10][0] = 0
14.92/5.53 c (4,4) s[0][10][1] = 0
14.92/5.53 c (4,4) s[0][10][2] = 0
14.92/5.53 c (4,4) s[0][10][3] = 0
14.92/5.53 c (4,4) s[0][10][4] = 0
14.92/5.53 c (4,4) s[0][10][5] = 0
14.92/5.53 c (4,4) s[0][10][6] = 0
14.92/5.53 c (4,4) s[0][10][7] = 0
14.92/5.53 c (4,4) s[0][10][8] = 0
14.92/5.53 c (4,4) s[0][10][9] = 0
14.92/5.53 c (4,4) s[0][10][10] = 0
14.92/5.53 c (4,4) s[0][10][11] = 0
14.92/5.53 c (4,4) s[0][10][12] = 0
14.92/5.53 c (4,4) s[0][10][13] = 0
14.92/5.53 c (4,4) s[0][10][14] = 1
14.92/5.53 c (4,4) s[0][10][15] = 0
14.92/5.53 c (4,4) s[0][10][16] = 1
14.92/5.53 c (4,4) s[0][10][17] = 1
14.92/5.53 c (4,4) s[0][10][18] = 0
14.92/5.53 c (4,4) s[0][10][19] = 1
14.92/5.53 c (4,4) s[0][10][20] = 1
14.92/5.53 c (4,4) s[0][10][21] = 0
14.92/5.53 c (4,4) s[0][11][0] = 0
14.92/5.53 c (4,4) s[0][11][1] = 0
14.92/5.53 c (4,4) s[0][11][2] = 0
14.92/5.53 c (4,4) s[0][11][3] = 0
14.92/5.53 c (4,4) s[0][11][4] = 0
14.92/5.53 c (4,4) s[0][11][5] = 0
14.92/5.53 c (4,4) s[0][11][6] = 0
14.92/5.53 c (4,4) s[0][11][7] = 0
14.92/5.53 c (4,4) s[0][11][8] = 0
14.92/5.53 c (4,4) s[0][11][9] = 0
14.92/5.53 c (4,4) s[0][11][10] = 0
14.92/5.53 c (5,4) s[0][11][11] = 0
14.92/5.53 c (5,4) s[0][11][12] = 0
14.92/5.53 c (5,4) s[0][11][13] = 1
14.92/5.53 c (5,4) s[0][11][14] = 0
14.92/5.53 c (5,4) s[0][11][15] = 1
14.92/5.53 c (5,4) s[0][11][16] = 0
14.92/5.53 c (5,4) s[0][11][17] = 0
14.92/5.53 c (5,4) s[0][11][18] = 1
14.92/5.53 c (5,4) s[0][11][19] = 0
14.92/5.53 c (5,4) s[0][11][20] = 1
14.92/5.53 c (5,4) s[0][11][21] = 1
14.92/5.53 c (5,4) s[1][2][0] = 0
14.92/5.53 c (5,4) s[1][2][1] = 0
14.92/5.53 c (5,4) s[1][2][2] = 0
14.92/5.53 c (5,4) s[1][2][3] = 0
14.92/5.53 c (5,4) s[1][2][4] = 0
14.92/5.53 c (5,4) s[1][2][5] = 0
14.92/5.53 c (5,4) s[1][2][6] = 0
14.92/5.53 c (5,4) s[1][2][7] = 1
14.92/5.53 c (5,4) s[1][2][8] = 1
14.92/5.53 c (5,4) s[1][2][9] = 1
14.92/5.53 c (5,4) s[1][2][10] = 1
14.92/5.53 c (5,4) s[1][2][11] = 0
14.92/5.53 c (5,4) s[1][2][12] = 0
14.92/5.53 c (5,4) s[1][2][13] = 0
14.92/5.53 c (5,4) s[1][2][14] = 0
14.92/5.53 c (5,4) s[1][2][15] = 0
14.92/5.53 c (5,4) s[1][2][16] = 0
14.92/5.53 c (5,4) s[1][2][17] = 0
14.92/5.53 c (5,4) s[1][2][18] = 0
14.92/5.53 c (5,4) s[1][2][19] = 0
14.92/5.53 c (5,4) s[1][2][20] = 0
14.92/5.53 c (5,4) s[1][2][21] = 1
14.92/5.53 c (5,4) s[1][3][0] = 0
14.92/5.53 c (5,4) s[1][3][1] = 0
14.92/5.53 c (5,4) s[1][3][2] = 0
14.92/5.53 c (5,4) s[1][3][3] = 0
14.92/5.53 c (5,4) s[1][3][4] = 0
14.92/5.53 c (5,4) s[1][3][5] = 1
14.92/5.53 c (5,4) s[1][3][6] = 1
14.92/5.53 c (5,4) s[1][3][7] = 0
14.92/5.53 c (5,4) s[1][3][8] = 0
14.92/5.53 c (5,4) s[1][3][9] = 1
14.92/5.53 c (5,4) s[1][3][10] = 1
14.92/5.53 c (5,4) s[1][3][11] = 0
14.92/5.53 c (5,4) s[1][3][12] = 0
14.92/5.53 c (5,4) s[1][3][13] = 0
14.92/5.53 c (5,4) s[1][3][14] = 0
14.92/5.53 c (5,4) s[1][3][15] = 0
14.92/5.53 c (5,4) s[1][3][16] = 0
14.92/5.53 c (5,4) s[1][3][17] = 0
14.92/5.53 c (5,4) s[1][3][18] = 0
14.92/5.53 c (5,4) s[1][3][19] = 0
14.92/5.53 c (5,4) s[1][3][20] = 1
14.92/5.53 c (5,4) s[1][3][21] = 0
14.92/5.53 c (5,4) s[1][4][0] = 0
14.92/5.53 c (5,4) s[1][4][1] = 0
14.92/5.53 c (5,4) s[1][4][2] = 0
14.92/5.53 c (5,4) s[1][4][3] = 0
14.92/5.53 c (5,4) s[1][4][4] = 0
14.92/5.53 c (5,4) s[1][4][5] = 1
14.92/5.53 c (5,4) s[1][4][6] = 1
14.92/5.53 c (5,4) s[1][4][7] = 1
14.92/5.53 c (5,4) s[1][4][8] = 1
14.92/5.53 c (5,4) s[1][4][9] = 0
14.92/5.53 c (5,4) s[1][4][10] = 0
14.92/5.53 c (5,4) s[1][4][11] = 0
14.92/5.53 c (5,4) s[1][4][12] = 0
14.92/5.53 c (5,4) s[1][4][13] = 0
14.92/5.53 c (5,4) s[1][4][14] = 0
14.92/5.53 c (5,4) s[1][4][15] = 0
14.92/5.53 c (5,4) s[1][4][16] = 0
14.92/5.53 c (5,4) s[1][4][17] = 0
14.92/5.53 c (5,4) s[1][4][18] = 0
14.92/5.53 c (5,4) s[1][4][19] = 1
14.92/5.53 c (5,4) s[1][4][20] = 0
14.92/5.53 c (5,4) s[1][4][21] = 0
14.92/5.53 c (5,4) s[1][5][0] = 0
14.92/5.53 c (5,4) s[1][5][1] = 0
14.92/5.53 c (5,4) s[1][5][2] = 0
14.92/5.53 c (5,4) s[1][5][3] = 0
14.92/5.53 c (5,4) s[1][5][4] = 0
14.92/5.53 c (5,4) s[1][5][5] = 0
14.92/5.53 c (5,4) s[1][5][6] = 1
14.92/5.53 c (5,4) s[1][5][7] = 1
14.92/5.53 c (5,4) s[1][5][8] = 1
14.92/5.53 c (5,4) s[1][5][9] = 0
14.92/5.53 c (5,4) s[1][5][10] = 0
14.92/5.53 c (5,4) s[1][5][11] = 0
14.92/5.53 c (5,4) s[1][5][12] = 0
14.92/5.53 c (5,4) s[1][5][13] = 0
14.92/5.53 c (5,4) s[1][5][14] = 0
14.92/5.53 c (5,4) s[1][5][15] = 0
14.92/5.53 c (5,4) s[1][5][16] = 0
14.92/5.53 c (5,4) s[1][5][17] = 1
14.92/5.53 c (5,4) s[1][5][18] = 1
14.92/5.53 c (5,4) s[1][5][19] = 0
14.92/5.53 c (5,4) s[1][5][20] = 0
14.92/5.53 c (5,4) s[1][5][21] = 0
14.92/5.53 c (5,4) s[1][6][0] = 0
14.92/5.53 c (5,4) s[1][6][1] = 0
14.92/5.53 c (5,4) s[1][6][2] = 0
14.92/5.53 c (5,4) s[1][6][3] = 0
14.92/5.53 c (5,4) s[1][6][4] = 0
14.92/5.53 c (5,4) s[1][6][5] = 1
14.92/5.53 c (5,4) s[1][6][6] = 0
14.92/5.53 c (5,4) s[1][6][7] = 0
14.92/5.53 c (5,4) s[1][6][8] = 1
14.92/5.53 c (5,4) s[1][6][9] = 0
14.92/5.53 c (5,4) s[1][6][10] = 1
14.92/5.53 c (5,4) s[1][6][11] = 0
14.92/5.53 c (5,4) s[1][6][12] = 0
14.92/5.53 c (5,4) s[1][6][13] = 0
14.92/5.53 c (5,4) s[1][6][14] = 0
14.92/5.53 c (5,4) s[1][6][15] = 0
14.92/5.53 c (5,4) s[1][6][16] = 0
14.92/5.53 c (5,4) s[1][6][17] = 0
14.92/5.53 c (5,4) s[1][6][18] = 1
14.92/5.53 c (5,4) s[1][6][19] = 1
14.92/5.53 c (5,4) s[1][6][20] = 0
14.92/5.53 c (5,4) s[1][6][21] = 0
14.92/5.53 c (5,4) s[1][7][0] = 0
14.92/5.53 c (5,4) s[1][7][1] = 0
14.92/5.53 c (5,4) s[1][7][2] = 0
14.92/5.53 c (5,4) s[1][7][3] = 0
14.92/5.53 c (5,4) s[1][7][4] = 0
14.92/5.53 c (5,4) s[1][7][5] = 1
14.92/5.53 c (5,4) s[1][7][6] = 0
14.92/5.53 c (5,4) s[1][7][7] = 1
14.92/5.53 c (5,4) s[1][7][8] = 0
14.92/5.53 c (5,4) s[1][7][9] = 1
14.92/5.53 c (5,4) s[1][7][10] = 0
14.92/5.53 c (5,4) s[1][7][11] = 0
14.92/5.53 c (5,4) s[1][7][12] = 0
14.92/5.53 c (5,4) s[1][7][13] = 0
14.92/5.53 c (5,4) s[1][7][14] = 0
14.92/5.53 c (5,4) s[1][7][15] = 0
14.92/5.53 c (5,4) s[1][7][16] = 0
14.92/5.53 c (5,4) s[1][7][17] = 1
14.92/5.53 c (5,4) s[1][7][18] = 0
14.92/5.53 c (5,4) s[1][7][19] = 0
14.92/5.53 c (5,4) s[1][7][20] = 0
14.92/5.53 c (5,4) s[1][7][21] = 1
14.92/5.53 c (5,4) s[1][8][0] = 0
14.92/5.53 c (5,4) s[1][8][1] = 0
14.92/5.53 c (5,4) s[1][8][2] = 0
14.92/5.53 c (5,4) s[1][8][3] = 0
14.92/5.53 c (5,4) s[1][8][4] = 0
14.92/5.53 c (5,4) s[1][8][5] = 0
14.92/5.53 c (5,4) s[1][8][6] = 1
14.92/5.53 c (5,4) s[1][8][7] = 0
14.92/5.53 c (5,4) s[1][8][8] = 0
14.92/5.53 c (5,4) s[1][8][9] = 1
14.92/5.53 c (5,4) s[1][8][10] = 1
14.92/5.53 c (5,4) s[1][8][11] = 0
14.92/5.53 c (5,4) s[1][8][12] = 0
14.92/5.53 c (5,4) s[1][8][13] = 0
14.92/5.53 c (5,4) s[1][8][14] = 0
14.92/5.53 c (5,4) s[1][8][15] = 0
14.92/5.53 c (5,4) s[1][8][16] = 0
14.92/5.53 c (5,4) s[1][8][17] = 0
14.92/5.53 c (5,4) s[1][8][18] = 1
14.92/5.53 c (5,4) s[1][8][19] = 0
14.92/5.53 c (5,4) s[1][8][20] = 1
14.92/5.53 c (5,4) s[1][8][21] = 0
14.92/5.53 c (5,4) s[1][9][0] = 0
14.92/5.53 c (5,4) s[1][9][1] = 0
14.92/5.53 c (5,4) s[1][9][2] = 0
14.92/5.53 c (5,4) s[1][9][3] = 0
14.92/5.53 c (5,4) s[1][9][4] = 0
14.92/5.53 c (5,4) s[1][9][5] = 0
14.92/5.53 c (5,4) s[1][9][6] = 1
14.92/5.53 c (5,4) s[1][9][7] = 0
14.92/5.53 c (5,4) s[1][9][8] = 0
14.92/5.53 c (5,4) s[1][9][9] = 0
14.92/5.53 c (5,4) s[1][9][10] = 1
14.92/5.53 c (5,4) s[1][9][11] = 0
14.92/5.53 c (5,4) s[1][9][12] = 0
14.92/5.53 c (5,4) s[1][9][13] = 0
14.92/5.53 c (5,4) s[1][9][14] = 0
14.92/5.53 c (5,4) s[1][9][15] = 0
14.92/5.53 c (5,4) s[1][9][16] = 0
14.92/5.53 c (5,4) s[1][9][17] = 1
14.92/5.53 c (5,4) s[1][9][18] = 0
14.92/5.53 c (5,4) s[1][9][19] = 1
14.92/5.53 c (5,4) s[1][9][20] = 0
14.92/5.53 c (5,4) s[1][9][21] = 1
14.92/5.53 c (5,4) s[1][10][0] = 0
14.92/5.53 c (5,4) s[1][10][1] = 0
14.92/5.53 c (5,4) s[1][10][2] = 0
14.92/5.53 c (5,4) s[1][10][3] = 0
14.92/5.53 c (5,4) s[1][10][4] = 0
14.92/5.53 c (5,4) s[1][10][5] = 0
14.92/5.53 c (5,4) s[1][10][6] = 0
14.92/5.53 c (5,4) s[1][10][7] = 1
14.92/5.53 c (5,4) s[1][10][8] = 0
14.92/5.53 c (5,4) s[1][10][9] = 1
14.92/5.53 c (5,4) s[1][10][10] = 0
14.92/5.53 c (5,4) s[1][10][11] = 0
14.92/5.53 c (5,4) s[1][10][12] = 0
14.92/5.53 c (5,4) s[1][10][13] = 0
14.92/5.53 c (5,4) s[1][10][14] = 0
14.92/5.53 c (5,4) s[1][10][15] = 0
14.92/5.53 c (5,4) s[1][10][16] = 0
14.92/5.53 c (5,4) s[1][10][17] = 1
14.92/5.53 c (5,4) s[1][10][18] = 0
14.92/5.53 c (5,4) s[1][10][19] = 1
14.92/5.53 c (5,4) s[1][10][20] = 1
14.92/5.53 c (5,4) s[1][10][21] = 0
14.92/5.53 c (5,4) s[1][11][0] = 0
14.92/5.53 c (5,4) s[1][11][1] = 0
14.92/5.53 c (5,4) s[1][11][2] = 0
14.92/5.53 c (5,4) s[1][11][3] = 0
14.92/5.53 c (5,4) s[1][11][4] = 0
14.92/5.53 c (5,4) s[1][11][5] = 1
14.92/5.53 c (5,4) s[1][11][6] = 0
14.92/5.53 c (5,4) s[1][11][7] = 0
14.92/5.53 c (5,4) s[1][11][8] = 1
14.92/5.53 c (5,4) s[1][11][9] = 0
14.92/5.53 c (5,4) s[1][11][10] = 0
14.92/5.53 c (5,4) s[1][11][11] = 0
14.92/5.53 c (5,4) s[1][11][12] = 0
14.92/5.53 c (5,4) s[1][11][13] = 0
14.92/5.53 c (5,4) s[1][11][14] = 0
14.92/5.53 c (5,4) s[1][11][15] = 0
14.92/5.53 c (5,4) s[1][11][16] = 0
14.92/5.53 c (5,4) s[1][11][17] = 0
14.92/5.53 c (5,4) s[1][11][18] = 1
14.92/5.53 c (5,4) s[1][11][19] = 0
14.92/5.53 c (5,4) s[1][11][20] = 1
14.92/5.53 c (5,4) s[1][11][21] = 1
14.92/5.53 c (5,4) s[2][3][0] = 0
14.92/5.53 c (5,4) s[2][3][1] = 0
14.92/5.53 c (5,4) s[2][3][2] = 0
14.92/5.53 c (5,4) s[2][3][3] = 0
14.92/5.53 c (5,4) s[2][3][4] = 1
14.92/5.53 c (5,4) s[2][3][5] = 0
14.92/5.53 c (5,4) s[2][3][6] = 0
14.92/5.53 c (5,4) s[2][3][7] = 0
14.92/5.53 c (5,4) s[2][3][8] = 0
14.92/5.53 c (5,4) s[2][3][9] = 1
14.92/5.53 c (5,4) s[2][3][10] = 1
14.92/5.54 c (5,4) s[2][3][11] = 0
14.92/5.54 c (5,4) s[2][3][12] = 0
14.92/5.54 c (5,4) s[2][3][13] = 0
14.92/5.54 c (5,4) s[2][3][14] = 0
14.92/5.54 c (5,4) s[2][3][15] = 1
14.92/5.54 c (5,4) s[2][3][16] = 1
14.92/5.54 c (5,4) s[2][3][17] = 0
14.92/5.54 c (5,4) s[2][3][18] = 0
14.92/5.54 c (5,4) s[2][3][19] = 0
14.92/5.54 c (5,4) s[2][3][20] = 0
14.92/5.54 c (5,4) s[2][3][21] = 0
14.92/5.54 c (5,4) s[2][4][0] = 0
14.92/5.54 c (5,4) s[2][4][1] = 0
14.92/5.54 c (5,4) s[2][4][2] = 0
14.92/5.54 c (5,4) s[2][4][3] = 0
14.92/5.54 c (5,4) s[2][4][4] = 1
14.92/5.54 c (5,4) s[2][4][5] = 0
14.92/5.54 c (5,4) s[2][4][6] = 0
14.92/5.54 c (5,4) s[2][4][7] = 1
14.92/5.54 c (5,4) s[2][4][8] = 1
14.92/5.54 c (5,4) s[2][4][9] = 0
14.92/5.54 c (5,4) s[2][4][10] = 0
14.92/5.54 c (5,4) s[2][4][11] = 0
14.92/5.54 c (5,4) s[2][4][12] = 0
14.92/5.54 c (5,4) s[2][4][13] = 1
14.92/5.54 c (5,4) s[2][4][14] = 1
14.92/5.54 c (5,4) s[2][4][15] = 0
14.92/5.54 c (5,4) s[2][4][16] = 0
14.92/5.54 c (5,4) s[2][4][17] = 0
14.92/5.54 c (5,4) s[2][4][18] = 0
14.92/5.54 c (5,4) s[2][4][19] = 0
14.92/5.54 c (5,4) s[2][4][20] = 0
14.92/5.54 c (5,4) s[2][4][21] = 0
14.92/5.54 c (5,4) s[2][5][0] = 0
14.92/5.54 c (5,4) s[2][5][1] = 0
14.92/5.54 c (5,4) s[2][5][2] = 0
14.92/5.54 c (5,4) s[2][5][3] = 1
14.92/5.54 c (5,4) s[2][5][4] = 0
14.92/5.54 c (5,4) s[2][5][5] = 0
14.92/5.54 c (5,4) s[2][5][6] = 0
14.92/5.54 c (5,4) s[2][5][7] = 1
14.92/5.54 c (5,4) s[2][5][8] = 1
14.92/5.54 c (5,4) s[2][5][9] = 0
14.92/5.54 c (5,4) s[2][5][10] = 0
14.92/5.54 c (5,4) s[2][5][11] = 0
14.92/5.54 c (5,4) s[2][5][12] = 0
14.92/5.54 c (5,4) s[2][5][13] = 0
14.92/5.54 c (5,4) s[2][5][14] = 0
14.92/5.54 c (5,4) s[2][5][15] = 1
14.92/5.54 c (5,4) s[2][5][16] = 1
14.92/5.54 c (5,4) s[2][5][17] = 0
14.92/5.54 c (5,4) s[2][5][18] = 0
14.92/5.54 c (5,4) s[2][5][19] = 0
14.92/5.54 c (5,4) s[2][5][20] = 0
14.92/5.54 c (5,4) s[2][5][21] = 0
14.92/5.54 c (5,4) s[2][6][0] = 0
14.92/5.54 c (5,4) s[2][6][1] = 0
14.92/5.54 c (5,4) s[2][6][2] = 0
14.92/5.54 c (5,4) s[2][6][3] = 1
14.92/5.54 c (5,4) s[2][6][4] = 0
14.92/5.54 c (5,4) s[2][6][5] = 0
14.92/5.54 c (5,4) s[2][6][6] = 0
14.92/5.54 c (5,4) s[2][6][7] = 0
14.92/5.54 c (5,4) s[2][6][8] = 1
14.92/5.54 c (5,4) s[2][6][9] = 0
14.92/5.54 c (5,4) s[2][6][10] = 1
14.92/5.54 c (5,4) s[2][6][11] = 0
14.92/5.54 c (5,4) s[2][6][12] = 0
14.92/5.54 c (5,4) s[2][6][13] = 0
14.92/5.54 c (5,4) s[2][6][14] = 1
14.92/5.54 c (5,4) s[2][6][15] = 0
14.92/5.54 c (5,4) s[2][6][16] = 1
14.92/5.54 c (5,4) s[2][6][17] = 0
14.92/5.54 c (5,4) s[2][6][18] = 0
14.92/5.54 c (5,4) s[2][6][19] = 0
14.92/5.54 c (5,4) s[2][6][20] = 0
14.92/5.54 c (5,4) s[2][6][21] = 0
14.92/5.54 c (5,4) s[2][7][0] = 0
14.92/5.54 c (5,4) s[2][7][1] = 0
14.92/5.54 c (5,4) s[2][7][2] = 0
14.92/5.54 c (5,4) s[2][7][3] = 1
14.92/5.54 c (5,4) s[2][7][4] = 0
14.92/5.54 c (5,4) s[2][7][5] = 0
14.92/5.54 c (5,4) s[2][7][6] = 0
14.92/5.54 c (5,4) s[2][7][7] = 1
14.92/5.54 c (5,4) s[2][7][8] = 0
14.92/5.54 c (5,4) s[2][7][9] = 1
14.92/5.54 c (5,4) s[2][7][10] = 0
14.92/5.54 c (5,4) s[2][7][11] = 0
14.92/5.54 c (5,4) s[2][7][12] = 0
14.92/5.54 c (5,4) s[2][7][13] = 1
14.92/5.54 c (5,4) s[2][7][14] = 0
14.92/5.54 c (5,4) s[2][7][15] = 0
14.92/5.54 c (5,4) s[2][7][16] = 0
14.92/5.54 c (5,4) s[2][7][17] = 0
14.92/5.54 c (5,4) s[2][7][18] = 0
14.92/5.54 c (5,4) s[2][7][19] = 0
14.92/5.54 c (5,4) s[2][7][20] = 0
14.92/5.54 c (5,4) s[2][7][21] = 1
14.92/5.54 c (5,4) s[2][8][0] = 0
14.92/5.54 c (5,4) s[2][8][1] = 0
14.92/5.54 c (5,4) s[2][8][2] = 0
14.92/5.54 c (5,4) s[2][8][3] = 1
14.92/5.54 c (5,4) s[2][8][4] = 0
14.92/5.54 c (5,4) s[2][8][5] = 0
14.92/5.54 c (5,4) s[2][8][6] = 0
14.92/5.54 c (5,4) s[2][8][7] = 0
14.92/5.54 c (5,4) s[2][8][8] = 0
14.92/5.54 c (5,4) s[2][8][9] = 1
14.92/5.54 c (5,4) s[2][8][10] = 1
14.92/5.54 c (5,4) s[2][8][11] = 0
14.92/5.54 c (5,4) s[2][8][12] = 0
14.92/5.54 c (5,4) s[2][8][13] = 1
14.92/5.54 c (5,4) s[2][8][14] = 1
14.92/5.54 c (5,4) s[2][8][15] = 0
14.92/5.54 c (5,4) s[2][8][16] = 0
14.92/5.54 c (5,4) s[2][8][17] = 0
14.92/5.54 c (5,4) s[2][8][18] = 0
14.92/5.54 c (5,4) s[2][8][19] = 0
14.92/5.54 c (5,4) s[2][8][20] = 0
14.92/5.54 c (5,4) s[2][8][21] = 0
14.92/5.54 c (5,4) s[2][9][0] = 0
14.92/5.54 c (5,4) s[2][9][1] = 0
14.92/5.54 c (5,4) s[2][9][2] = 0
14.92/5.54 c (5,4) s[2][9][3] = 1
14.92/5.54 c (5,4) s[2][9][4] = 1
14.92/5.54 c (5,4) s[2][9][5] = 0
14.92/5.54 c (5,4) s[2][9][6] = 0
14.92/5.54 c (5,4) s[2][9][7] = 0
14.92/5.54 c (5,4) s[2][9][8] = 0
14.92/5.54 c (5,4) s[2][9][9] = 0
14.92/5.54 c (5,4) s[2][9][10] = 1
14.92/5.54 c (5,4) s[2][9][11] = 0
14.92/5.54 c (5,4) s[2][9][12] = 0
14.92/5.54 c (5,4) s[2][9][13] = 0
14.92/5.54 c (5,4) s[2][9][14] = 0
14.92/5.54 c (5,4) s[2][9][15] = 1
14.92/5.54 c (5,4) s[2][9][16] = 0
14.92/5.54 c (5,4) s[2][9][17] = 0
14.92/5.54 c (5,4) s[2][9][18] = 0
14.92/5.54 c (5,4) s[2][9][19] = 0
14.92/5.54 c (5,4) s[2][9][20] = 0
14.92/5.54 c (5,4) s[2][9][21] = 1
14.92/5.54 c (5,4) s[2][10][0] = 0
14.92/5.54 c (5,4) s[2][10][1] = 0
14.92/5.54 c (5,4) s[2][10][2] = 0
14.92/5.54 c (5,4) s[2][10][3] = 0
14.92/5.54 c (5,4) s[2][10][4] = 1
14.92/5.54 c (5,4) s[2][10][5] = 0
14.92/5.54 c (5,4) s[2][10][6] = 0
14.92/5.54 c (5,4) s[2][10][7] = 1
14.92/5.54 c (5,4) s[2][10][8] = 0
14.92/5.54 c (5,4) s[2][10][9] = 1
14.92/5.54 c (5,4) s[2][10][10] = 0
14.92/5.54 c (5,4) s[2][10][11] = 0
14.92/5.54 c (5,4) s[2][10][12] = 0
14.92/5.54 c (5,4) s[2][10][13] = 0
14.92/5.54 c (5,4) s[2][10][14] = 1
14.92/5.54 c (5,4) s[2][10][15] = 0
14.92/5.54 c (5,4) s[2][10][16] = 1
14.92/5.54 c (5,4) s[2][10][17] = 0
14.92/5.54 c (5,4) s[2][10][18] = 0
14.92/5.54 c (5,4) s[2][10][19] = 0
14.92/5.54 c (5,4) s[2][10][20] = 0
14.92/5.54 c (5,4) s[2][10][21] = 0
14.92/5.54 c (5,4) s[2][11][0] = 0
14.92/5.54 c (5,4) s[2][11][1] = 0
14.92/5.54 c (5,4) s[2][11][2] = 0
14.92/5.54 c (5,4) s[2][11][3] = 0
14.92/5.54 c (5,4) s[2][11][4] = 1
14.92/5.54 c (5,4) s[2][11][5] = 0
14.92/5.54 c (5,4) s[2][11][6] = 0
14.92/5.54 c (5,4) s[2][11][7] = 0
14.92/5.54 c (5,4) s[2][11][8] = 1
14.92/5.54 c (5,4) s[2][11][9] = 0
14.92/5.54 c (5,4) s[2][11][10] = 0
14.92/5.54 c (5,4) s[2][11][11] = 0
14.92/5.54 c (5,4) s[2][11][12] = 0
14.92/5.54 c (5,4) s[2][11][13] = 1
14.92/5.54 c (5,4) s[2][11][14] = 0
14.92/5.54 c (5,4) s[2][11][15] = 1
14.92/5.54 c (5,4) s[2][11][16] = 0
14.92/5.54 c (5,4) s[2][11][17] = 0
14.92/5.54 c (5,4) s[2][11][18] = 0
14.92/5.54 c (5,4) s[2][11][19] = 0
14.92/5.54 c (5,4) s[2][11][20] = 0
14.92/5.54 c (5,4) s[2][11][21] = 1
14.92/5.54 c (5,4) s[3][4][0] = 0
14.92/5.54 c (5,4) s[3][4][1] = 0
14.92/5.54 c (5,4) s[3][4][2] = 0
14.92/5.54 c (5,4) s[3][4][3] = 0
14.92/5.54 c (5,4) s[3][4][4] = 1
14.92/5.54 c (5,4) s[3][4][5] = 1
14.92/5.54 c (5,4) s[3][4][6] = 1
14.92/5.54 c (5,4) s[3][4][7] = 0
14.92/5.54 c (5,4) s[3][4][8] = 0
14.92/5.54 c (5,4) s[3][4][9] = 0
14.92/5.54 c (5,4) s[3][4][10] = 0
14.92/5.54 c (5,4) s[3][4][11] = 1
14.92/5.54 c (5,4) s[3][4][12] = 1
14.92/5.54 c (5,4) s[3][4][13] = 0
14.92/5.54 c (5,4) s[3][4][14] = 0
14.92/5.54 c (5,4) s[3][4][15] = 0
14.92/5.54 c (5,4) s[3][4][16] = 0
14.92/5.54 c (5,4) s[3][4][17] = 0
14.92/5.54 c (5,4) s[3][4][18] = 0
14.92/5.54 c (5,4) s[3][4][19] = 0
14.92/5.55 c (5,4) s[3][4][20] = 0
14.92/5.55 c (5,4) s[3][4][21] = 0
14.92/5.55 c (5,4) s[3][5][0] = 0
14.92/5.55 c (5,4) s[3][5][1] = 0
14.92/5.55 c (5,4) s[3][5][2] = 1
14.92/5.55 c (5,4) s[3][5][3] = 0
14.92/5.55 c (5,4) s[3][5][4] = 0
14.92/5.55 c (5,4) s[3][5][5] = 0
14.92/5.55 c (5,4) s[3][5][6] = 1
14.92/5.55 c (5,4) s[3][5][7] = 0
14.92/5.55 c (5,4) s[3][5][8] = 0
14.92/5.55 c (5,4) s[3][5][9] = 0
14.92/5.55 c (5,4) s[3][5][10] = 0
14.92/5.55 c (5,4) s[3][5][11] = 0
14.92/5.55 c (5,4) s[3][5][12] = 1
14.92/5.55 c (5,4) s[3][5][13] = 0
14.92/5.55 c (5,4) s[3][5][14] = 0
14.92/5.55 c (5,4) s[3][5][15] = 1
14.92/5.55 c (5,4) s[3][5][16] = 1
14.92/5.55 c (5,4) s[3][5][17] = 0
14.92/5.55 c (5,4) s[3][5][18] = 0
14.92/5.55 c (5,4) s[3][5][19] = 0
14.92/5.55 c (5,4) s[3][5][20] = 0
14.92/5.55 c (5,4) s[3][5][21] = 0
14.92/5.55 c (5,4) s[3][6][0] = 0
14.92/5.55 c (5,4) s[3][6][1] = 0
14.92/5.55 c (5,4) s[3][6][2] = 1
14.92/5.55 c (5,4) s[3][6][3] = 0
14.92/5.55 c (5,4) s[3][6][4] = 0
14.92/5.55 c (5,4) s[3][6][5] = 1
14.92/5.55 c (5,4) s[3][6][6] = 0
14.92/5.55 c (5,4) s[3][6][7] = 0
14.92/5.55 c (5,4) s[3][6][8] = 0
14.92/5.55 c (5,4) s[3][6][9] = 0
14.92/5.55 c (5,4) s[3][6][10] = 1
14.92/5.55 c (5,4) s[3][6][11] = 1
14.92/5.55 c (5,4) s[3][6][12] = 0
14.92/5.55 c (5,4) s[3][6][13] = 0
14.92/5.55 c (5,4) s[3][6][14] = 0
14.92/5.55 c (5,4) s[3][6][15] = 0
14.92/5.55 c (5,4) s[3][6][16] = 1
14.92/5.55 c (5,4) s[3][6][17] = 0
14.92/5.55 c (5,4) s[3][6][18] = 0
14.92/5.55 c (5,4) s[3][6][19] = 0
14.92/5.55 c (5,4) s[3][6][20] = 0
14.92/5.55 c (5,4) s[3][6][21] = 0
14.92/5.55 c (5,4) s[3][7][0] = 0
14.92/5.55 c (5,4) s[3][7][1] = 0
14.92/5.55 c (5,4) s[3][7][2] = 1
14.92/5.55 c (5,4) s[3][7][3] = 0
14.92/5.55 c (5,4) s[3][7][4] = 0
14.92/5.55 c (5,4) s[3][7][5] = 1
14.92/5.55 c (5,4) s[3][7][6] = 0
14.92/5.55 c (5,4) s[3][7][7] = 0
14.92/5.55 c (5,4) s[3][7][8] = 0
14.92/5.55 c (5,4) s[3][7][9] = 1
14.92/5.55 c (5,4) s[3][7][10] = 0
14.92/5.55 c (5,4) s[3][7][11] = 1
14.92/5.55 c (5,4) s[3][7][12] = 1
14.92/5.55 c (5,4) s[3][7][13] = 0
14.92/5.55 c (5,4) s[3][7][14] = 0
14.92/5.55 c (5,4) s[3][7][15] = 0
14.92/5.55 c (5,4) s[3][7][16] = 0
14.92/5.55 c (5,4) s[3][7][17] = 0
14.92/5.55 c (5,4) s[3][7][18] = 0
14.92/5.55 c (5,4) s[3][7][19] = 0
14.92/5.55 c (5,4) s[3][7][20] = 0
14.92/5.55 c (5,4) s[3][7][21] = 0
14.92/5.55 c (5,4) s[3][8][0] = 0
14.92/5.55 c (5,4) s[3][8][1] = 0
14.92/5.55 c (5,4) s[3][8][2] = 0
14.92/5.55 c (5,4) s[3][8][3] = 0
14.92/5.55 c (5,4) s[3][8][4] = 0
14.92/5.55 c (5,4) s[3][8][5] = 0
14.92/5.55 c (5,4) s[3][8][6] = 1
14.92/5.55 c (5,4) s[3][8][7] = 0
14.92/5.55 c (5,4) s[3][8][8] = 0
14.92/5.55 c (5,4) s[3][8][9] = 1
14.92/5.55 c (5,4) s[3][8][10] = 1
14.92/5.55 c (5,4) s[3][8][11] = 0
14.92/5.55 c (5,4) s[3][8][12] = 1
14.92/5.55 c (5,4) s[3][8][13] = 0
14.92/5.55 c (5,4) s[3][8][14] = 0
14.92/5.55 c (5,4) s[3][8][15] = 0
14.92/5.55 c (5,4) s[3][8][16] = 0
14.92/5.55 c (5,4) s[3][8][17] = 0
14.92/5.55 c (5,4) s[3][8][18] = 0
14.92/5.55 c (5,4) s[3][8][19] = 0
14.92/5.55 c (5,4) s[3][8][20] = 1
14.92/5.55 c (5,4) s[3][8][21] = 0
14.92/5.55 c (5,4) s[3][9][0] = 0
14.92/5.55 c (5,4) s[3][9][1] = 0
14.92/5.55 c (5,4) s[3][9][2] = 0
14.92/5.55 c (5,4) s[3][9][3] = 0
14.92/5.55 c (5,4) s[3][9][4] = 1
14.92/5.55 c (5,4) s[3][9][5] = 0
14.92/5.55 c (5,4) s[3][9][6] = 1
14.92/5.55 c (5,4) s[3][9][7] = 0
14.92/5.55 c (5,4) s[3][9][8] = 0
14.92/5.55 c (5,4) s[3][9][9] = 0
14.92/5.55 c (5,4) s[3][9][10] = 1
14.92/5.55 c (5,4) s[3][9][11] = 1
14.92/5.55 c (5,4) s[3][9][12] = 0
14.92/5.55 c (5,4) s[3][9][13] = 0
14.92/5.55 c (5,4) s[3][9][14] = 0
14.92/5.55 c (5,4) s[3][9][15] = 1
14.92/5.55 c (5,4) s[3][9][16] = 0
14.92/5.55 c (5,4) s[3][9][17] = 0
14.92/5.55 c (5,4) s[3][9][18] = 0
14.92/5.55 c (5,4) s[3][9][19] = 0
14.92/5.55 c (5,4) s[3][9][20] = 0
14.92/5.55 c (5,4) s[3][9][21] = 0
14.92/5.55 c (5,4) s[3][10][0] = 0
14.92/5.55 c (5,4) s[3][10][1] = 0
14.92/5.55 c (5,4) s[3][10][2] = 1
14.92/5.55 c (5,4) s[3][10][3] = 0
14.92/5.55 c (5,4) s[3][10][4] = 1
14.92/5.55 c (5,4) s[3][10][5] = 0
14.92/5.55 c (5,4) s[3][10][6] = 0
14.92/5.55 c (5,4) s[3][10][7] = 0
14.92/5.55 c (5,4) s[3][10][8] = 0
14.92/5.55 c (5,4) s[3][10][9] = 1
14.92/5.55 c (5,4) s[3][10][10] = 0
14.92/5.55 c (5,4) s[3][10][11] = 0
14.92/5.55 c (5,4) s[3][10][12] = 0
14.92/5.55 c (5,4) s[3][10][13] = 0
14.92/5.55 c (5,4) s[3][10][14] = 0
14.92/5.55 c (5,4) s[3][10][15] = 0
14.92/5.55 c (5,4) s[3][10][16] = 1
14.92/5.55 c (5,4) s[3][10][17] = 0
14.92/5.55 c (5,4) s[3][10][18] = 0
14.92/5.55 c (5,4) s[3][10][19] = 0
14.92/5.55 c (5,4) s[3][10][20] = 1
14.92/5.55 c (5,4) s[3][10][21] = 0
14.92/5.55 c (5,4) s[3][11][0] = 0
14.92/5.55 c (5,4) s[3][11][1] = 0
14.92/5.55 c (5,4) s[3][11][2] = 1
14.92/5.55 c (5,4) s[3][11][3] = 0
14.92/5.55 c (5,4) s[3][11][4] = 1
14.92/5.55 c (5,4) s[3][11][5] = 1
14.92/5.55 c (5,4) s[3][11][6] = 0
14.92/5.55 c (5,4) s[3][11][7] = 0
14.92/5.55 c (5,4) s[3][11][8] = 0
14.92/5.55 c (5,4) s[3][11][9] = 0
14.92/5.55 c (5,4) s[3][11][10] = 0
14.92/5.55 c (5,4) s[3][11][11] = 0
14.92/5.55 c (5,4) s[3][11][12] = 0
14.92/5.55 c (5,4) s[3][11][13] = 0
14.92/5.55 c (5,4) s[3][11][14] = 0
14.92/5.55 c (5,4) s[3][11][15] = 1
14.92/5.55 c (5,4) s[3][11][16] = 0
14.92/5.55 c (5,4) s[3][11][17] = 0
14.92/5.55 c (5,4) s[3][11][18] = 0
14.92/5.55 c (5,4) s[3][11][19] = 0
14.92/5.55 c (5,4) s[3][11][20] = 1
14.92/5.55 c (5,4) s[3][11][21] = 0
14.92/5.55 c (5,4) s[4][5][0] = 0
14.92/5.55 c (5,4) s[4][5][1] = 1
14.92/5.55 c (5,4) s[4][5][2] = 0
14.92/5.55 c (5,4) s[4][5][3] = 0
14.92/5.55 c (5,4) s[4][5][4] = 0
14.92/5.55 c (5,4) s[4][5][5] = 0
14.92/5.55 c (5,4) s[4][5][6] = 1
14.92/5.55 c (5,4) s[4][5][7] = 1
14.92/5.55 c (5,4) s[4][5][8] = 1
14.92/5.55 c (5,4) s[4][5][9] = 0
14.92/5.55 c (5,4) s[4][5][10] = 0
14.92/5.55 c (5,4) s[4][5][11] = 0
14.92/5.55 c (5,4) s[4][5][12] = 1
14.92/5.55 c (5,4) s[4][5][13] = 0
14.92/5.55 c (5,4) s[4][5][14] = 0
14.92/5.55 c (5,4) s[4][5][15] = 0
14.92/5.55 c (5,4) s[4][5][16] = 0
14.92/5.55 c (5,4) s[4][5][17] = 0
14.92/5.55 c (5,4) s[4][5][18] = 0
14.92/5.55 c (5,4) s[4][5][19] = 0
14.92/5.55 c (5,4) s[4][5][20] = 0
14.92/5.55 c (5,4) s[4][5][21] = 0
14.92/5.55 c (5,4) s[4][6][0] = 0
14.92/5.55 c (5,4) s[4][6][1] = 0
14.92/5.55 c (5,4) s[4][6][2] = 0
14.92/5.55 c (5,4) s[4][6][3] = 0
14.92/5.55 c (5,4) s[4][6][4] = 0
14.92/5.55 c (5,4) s[4][6][5] = 1
14.92/5.55 c (5,4) s[4][6][6] = 0
14.92/5.55 c (5,4) s[4][6][7] = 0
14.92/5.55 c (5,4) s[4][6][8] = 1
14.92/5.55 c (5,4) s[4][6][9] = 0
14.92/5.55 c (5,4) s[4][6][10] = 0
14.92/5.55 c (5,4) s[4][6][11] = 1
14.92/5.55 c (5,4) s[4][6][12] = 0
14.92/5.55 c (5,4) s[4][6][13] = 0
14.92/5.55 c (5,4) s[4][6][14] = 1
14.92/5.55 c (5,4) s[4][6][15] = 0
14.92/5.55 c (5,4) s[4][6][16] = 0
14.92/5.55 c (5,4) s[4][6][17] = 0
14.92/5.55 c (5,4) s[4][6][18] = 0
14.92/5.55 c (5,4) s[4][6][19] = 1
14.92/5.55 c (5,4) s[4][6][20] = 0
14.92/5.55 c (5,4) s[4][6][21] = 0
14.92/5.55 c (5,4) s[4][7][0] = 0
14.92/5.55 c (5,4) s[4][7][1] = 0
14.92/5.55 c (5,4) s[4][7][2] = 0
14.92/5.55 c (5,4) s[4][7][3] = 0
14.92/5.55 c (5,4) s[4][7][4] = 0
14.92/5.55 c (5,4) s[4][7][5] = 1
14.92/5.55 c (5,4) s[4][7][6] = 0
14.92/5.55 c (5,4) s[4][7][7] = 1
14.92/5.55 c (5,4) s[4][7][8] = 0
14.92/5.55 c (5,4) s[4][7][9] = 0
14.92/5.55 c (5,4) s[4][7][10] = 0
14.92/5.55 c (5,4) s[4][7][11] = 1
14.92/5.55 c (5,4) s[4][7][12] = 1
14.92/5.55 c (5,4) s[4][7][13] = 1
14.92/5.55 c (5,4) s[4][7][14] = 0
14.92/5.55 c (5,4) s[4][7][15] = 0
14.92/5.55 c (5,4) s[4][7][16] = 0
14.92/5.55 c (5,4) s[4][7][17] = 0
14.92/5.55 c (5,4) s[4][7][18] = 0
14.92/5.55 c (5,4) s[4][7][19] = 0
14.92/5.55 c (5,4) s[4][7][20] = 0
14.92/5.55 c (5,4) s[4][7][21] = 0
14.92/5.55 c (5,4) s[4][8][0] = 0
14.92/5.55 c (5,4) s[4][8][1] = 1
14.92/5.55 c (5,4) s[4][8][2] = 0
14.92/5.55 c (5,4) s[4][8][3] = 0
14.92/5.55 c (5,4) s[4][8][4] = 0
14.92/5.55 c (5,4) s[4][8][5] = 0
14.92/5.55 c (5,4) s[4][8][6] = 1
14.92/5.55 c (5,4) s[4][8][7] = 0
14.92/5.55 c (5,4) s[4][8][8] = 0
14.92/5.55 c (5,4) s[4][8][9] = 0
14.92/5.55 c (5,4) s[4][8][10] = 0
14.92/5.55 c (5,4) s[4][8][11] = 0
14.92/5.55 c (5,4) s[4][8][12] = 1
14.92/5.55 c (5,4) s[4][8][13] = 1
14.92/5.55 c (5,4) s[4][8][14] = 1
14.92/5.55 c (5,4) s[4][8][15] = 0
14.92/5.55 c (5,4) s[4][8][16] = 0
14.92/5.55 c (5,4) s[4][8][17] = 0
14.92/5.55 c (5,4) s[4][8][18] = 0
14.92/5.55 c (5,4) s[4][8][19] = 0
14.92/5.55 c (5,4) s[4][8][20] = 0
14.92/5.55 c (5,4) s[4][8][21] = 0
14.92/5.55 c (5,4) s[4][9][0] = 0
14.92/5.55 c (5,4) s[4][9][1] = 1
14.92/5.55 c (5,4) s[4][9][2] = 0
14.92/5.55 c (5,4) s[4][9][3] = 0
14.92/5.55 c (5,4) s[4][9][4] = 1
14.92/5.55 c (5,4) s[4][9][5] = 0
14.92/5.55 c (5,4) s[4][9][6] = 1
14.92/5.55 c (5,4) s[4][9][7] = 0
14.92/5.55 c (5,4) s[4][9][8] = 0
14.92/5.55 c (5,4) s[4][9][9] = 0
14.92/5.55 c (5,4) s[4][9][10] = 0
14.92/5.55 c (5,4) s[4][9][11] = 1
14.92/5.55 c (5,4) s[4][9][12] = 0
14.92/5.55 c (5,4) s[4][9][13] = 0
14.92/5.55 c (5,4) s[4][9][14] = 0
14.92/5.55 c (5,4) s[4][9][15] = 0
14.92/5.55 c (5,4) s[4][9][16] = 0
14.92/5.55 c (5,4) s[4][9][17] = 0
14.92/5.55 c (5,4) s[4][9][18] = 0
14.92/5.55 c (5,4) s[4][9][19] = 1
14.92/5.55 c (5,4) s[4][9][20] = 0
14.92/5.55 c (5,4) s[4][9][21] = 0
14.92/5.55 c (5,4) s[4][10][0] = 0
14.92/5.55 c (5,4) s[4][10][1] = 1
14.92/5.55 c (5,4) s[4][10][2] = 0
14.92/5.55 c (5,4) s[4][10][3] = 0
14.92/5.55 c (5,4) s[4][10][4] = 1
14.92/5.55 c (5,4) s[4][10][5] = 0
14.92/5.55 c (5,4) s[4][10][6] = 0
14.92/5.55 c (5,4) s[4][10][7] = 1
14.92/5.55 c (5,4) s[4][10][8] = 0
14.92/5.55 c (5,4) s[4][10][9] = 0
14.92/5.55 c (5,4) s[4][10][10] = 0
14.92/5.55 c (5,4) s[4][10][11] = 0
14.92/5.55 c (5,4) s[4][10][12] = 0
14.92/5.55 c (5,4) s[4][10][13] = 0
14.92/5.55 c (5,4) s[4][10][14] = 1
14.92/5.55 c (5,4) s[4][10][15] = 0
14.92/5.55 c (5,4) s[4][10][16] = 0
14.92/5.55 c (5,4) s[4][10][17] = 0
14.92/5.55 c (5,4) s[4][10][18] = 0
14.92/5.55 c (5,4) s[4][10][19] = 1
14.92/5.55 c (5,4) s[4][10][20] = 0
14.92/5.55 c (5,4) s[4][10][21] = 0
14.92/5.55 c (5,4) s[4][11][0] = 0
14.92/5.55 c (5,4) s[4][11][1] = 1
14.92/5.55 c (5,4) s[4][11][2] = 0
14.92/5.55 c (5,4) s[4][11][3] = 0
14.92/5.55 c (5,4) s[4][11][4] = 1
14.92/5.55 c (5,4) s[4][11][5] = 1
14.92/5.55 c (5,4) s[4][11][6] = 0
14.92/5.55 c (5,4) s[4][11][7] = 0
14.92/5.55 c (5,4) s[4][11][8] = 1
14.92/5.55 c (5,4) s[4][11][9] = 0
14.92/5.55 c (5,4) s[4][11][10] = 0
14.92/5.55 c (5,4) s[4][11][11] = 0
14.92/5.55 c (5,4) s[4][11][12] = 0
14.92/5.55 c (5,4) s[4][11][13] = 1
14.92/5.55 c (5,4) s[4][11][14] = 0
14.92/5.55 c (5,4) s[4][11][15] = 0
14.92/5.55 c (5,4) s[4][11][16] = 0
14.92/5.55 c (5,4) s[4][11][17] = 0
14.92/5.55 c (5,4) s[4][11][18] = 0
14.92/5.55 c (5,4) s[4][11][19] = 0
14.92/5.55 c (5,4) s[4][11][20] = 0
14.92/5.55 c (5,4) s[4][11][21] = 0
14.92/5.55 c (5,4) s[5][6][0] = 0
14.92/5.55 c (5,4) s[5][6][1] = 0
14.92/5.55 c (5,4) s[5][6][2] = 1
14.92/5.55 c (5,4) s[5][6][3] = 1
14.92/5.55 c (5,4) s[5][6][4] = 0
14.92/5.55 c (5,4) s[5][6][5] = 0
14.92/5.55 c (5,4) s[5][6][6] = 0
14.92/5.55 c (5,4) s[5][6][7] = 0
14.92/5.55 c (5,4) s[5][6][8] = 1
14.92/5.55 c (5,4) s[5][6][9] = 0
14.92/5.55 c (5,4) s[5][6][10] = 0
14.92/5.55 c (5,4) s[5][6][11] = 0
14.92/5.55 c (5,4) s[5][6][12] = 0
14.92/5.55 c (5,4) s[5][6][13] = 0
14.92/5.55 c (5,4) s[5][6][14] = 0
14.92/5.55 c (5,4) s[5][6][15] = 0
14.92/5.55 c (5,4) s[5][6][16] = 1
14.92/5.55 c (5,4) s[5][6][17] = 0
14.92/5.55 c (5,4) s[5][6][18] = 1
14.92/5.55 c (5,4) s[5][6][19] = 0
14.92/5.55 c (5,4) s[5][6][20] = 0
14.92/5.55 c (5,4) s[5][6][21] = 0
14.92/5.55 c (5,4) s[5][7][0] = 0
14.92/5.55 c (5,4) s[5][7][1] = 0
14.92/5.55 c (5,4) s[5][7][2] = 1
14.92/5.55 c (5,4) s[5][7][3] = 1
14.92/5.55 c (5,4) s[5][7][4] = 0
14.92/5.55 c (5,4) s[5][7][5] = 0
14.92/5.55 c (5,4) s[5][7][6] = 0
14.92/5.55 c (5,4) s[5][7][7] = 1
14.92/5.55 c (5,4) s[5][7][8] = 0
14.92/5.55 c (5,4) s[5][7][9] = 0
14.92/5.55 c (5,4) s[5][7][10] = 0
14.92/5.55 c (5,4) s[5][7][11] = 0
14.92/5.55 c (5,4) s[5][7][12] = 1
14.92/5.55 c (5,4) s[5][7][13] = 0
14.92/5.55 c (5,4) s[5][7][14] = 0
14.92/5.55 c (5,4) s[5][7][15] = 0
14.92/5.55 c (5,4) s[5][7][16] = 0
14.92/5.55 c (5,4) s[5][7][17] = 1
14.92/5.55 c (5,4) s[5][7][18] = 0
14.92/5.55 c (5,4) s[5][7][19] = 0
14.92/5.55 c (5,4) s[5][7][20] = 0
14.92/5.55 c (5,4) s[5][7][21] = 0
14.92/5.55 c (5,4) s[5][8][0] = 0
14.92/5.55 c (5,4) s[5][8][1] = 1
14.92/5.55 c (5,4) s[5][8][2] = 0
14.92/5.55 c (5,4) s[5][8][3] = 1
14.92/5.55 c (5,4) s[5][8][4] = 0
14.92/5.55 c (5,4) s[5][8][5] = 0
14.92/5.55 c (5,4) s[5][8][6] = 1
14.92/5.55 c (5,4) s[5][8][7] = 0
14.92/5.55 c (5,4) s[5][8][8] = 0
14.92/5.55 c (5,4) s[5][8][9] = 0
14.92/5.55 c (5,4) s[5][8][10] = 0
14.92/5.55 c (5,4) s[5][8][11] = 0
14.92/5.55 c (5,4) s[5][8][12] = 1
14.92/5.55 c (5,4) s[5][8][13] = 0
14.92/5.55 c (5,4) s[5][8][14] = 0
14.92/5.55 c (5,4) s[5][8][15] = 0
14.92/5.55 c (5,4) s[5][8][16] = 0
14.92/5.55 c (5,4) s[5][8][17] = 0
14.92/5.55 c (5,4) s[5][8][18] = 1
14.92/5.55 c (5,4) s[5][8][19] = 0
14.92/5.55 c (5,4) s[5][8][20] = 0
14.92/5.55 c (5,4) s[5][8][21] = 0
14.92/5.55 c (5,4) s[5][9][0] = 0
14.92/5.55 c (5,4) s[5][9][1] = 1
14.92/5.55 c (5,4) s[5][9][2] = 0
14.92/5.55 c (5,4) s[5][9][3] = 1
14.92/5.55 c (5,4) s[5][9][4] = 0
14.92/5.55 c (5,4) s[5][9][5] = 0
14.92/5.55 c (5,4) s[5][9][6] = 1
14.92/5.55 c (5,4) s[5][9][7] = 0
14.92/5.55 c (5,4) s[5][9][8] = 0
14.92/5.55 c (5,4) s[5][9][9] = 0
14.92/5.55 c (5,4) s[5][9][10] = 0
14.92/5.55 c (5,4) s[5][9][11] = 0
14.92/5.55 c (5,4) s[5][9][12] = 0
14.92/5.55 c (5,4) s[5][9][13] = 0
14.92/5.55 c (5,4) s[5][9][14] = 0
14.92/5.55 c (5,4) s[5][9][15] = 1
14.92/5.55 c (5,4) s[5][9][16] = 0
14.92/5.55 c (5,4) s[5][9][17] = 1
14.92/5.55 c (5,4) s[5][9][18] = 0
14.92/5.55 c (5,4) s[5][9][19] = 0
14.92/5.55 c (5,4) s[5][9][20] = 0
14.92/5.55 c (5,4) s[5][9][21] = 0
14.92/5.55 c (5,4) s[5][10][0] = 0
14.92/5.55 c (5,4) s[5][10][1] = 1
14.92/5.55 c (5,4) s[5][10][2] = 1
14.92/5.55 c (5,4) s[5][10][3] = 0
14.92/5.55 c (5,4) s[5][10][4] = 0
14.92/5.55 c (5,4) s[5][10][5] = 0
14.92/5.55 c (5,4) s[5][10][6] = 0
14.92/5.55 c (5,4) s[5][10][7] = 1
14.92/5.55 c (5,4) s[5][10][8] = 0
14.92/5.55 c (5,4) s[5][10][9] = 0
14.92/5.55 c (5,4) s[5][10][10] = 0
14.92/5.55 c (5,4) s[5][10][11] = 0
14.92/5.55 c (5,4) s[5][10][12] = 0
14.92/5.55 c (5,4) s[5][10][13] = 0
14.92/5.55 c (5,4) s[5][10][14] = 0
14.92/5.55 c (5,4) s[5][10][15] = 0
14.92/5.55 c (5,4) s[5][10][16] = 1
14.92/5.55 c (5,4) s[5][10][17] = 1
14.92/5.55 c (5,4) s[5][10][18] = 0
14.92/5.55 c (5,4) s[5][10][19] = 0
14.92/5.55 c (5,4) s[5][10][20] = 0
14.92/5.55 c (5,4) s[5][10][21] = 0
14.92/5.55 c (5,4) s[5][11][0] = 0
14.92/5.55 c (5,4) s[5][11][1] = 1
14.92/5.55 c (5,4) s[5][11][2] = 1
14.92/5.55 c (5,4) s[5][11][3] = 0
14.92/5.55 c (5,4) s[5][11][4] = 0
14.92/5.55 c (5,4) s[5][11][5] = 0
14.92/5.55 c (5,4) s[5][11][6] = 0
14.92/5.55 c (5,4) s[5][11][7] = 0
14.92/5.55 c (5,4) s[5][11][8] = 1
14.92/5.55 c (5,4) s[5][11][9] = 0
14.92/5.55 c (5,4) s[5][11][10] = 0
14.92/5.55 c (5,4) s[5][11][11] = 0
14.92/5.55 c (5,4) s[5][11][12] = 0
14.92/5.55 c (5,4) s[5][11][13] = 0
14.92/5.55 c (5,4) s[5][11][14] = 0
14.92/5.55 c (5,4) s[5][11][15] = 1
14.92/5.55 c (5,4) s[5][11][16] = 0
14.92/5.55 c (5,4) s[5][11][17] = 0
14.92/5.55 c (5,4) s[5][11][18] = 1
14.92/5.55 c (5,4) s[5][11][19] = 0
14.92/5.55 c (5,4) s[5][11][20] = 0
14.92/5.55 c (5,4) s[5][11][21] = 0
14.92/5.55 c (5,4) s[6][7][0] = 1
14.92/5.55 c (5,4) s[6][7][1] = 0
14.92/5.55 c (5,4) s[6][7][2] = 1
14.92/5.55 c (5,4) s[6][7][3] = 1
14.92/5.55 c (5,4) s[6][7][4] = 0
14.92/5.55 c (5,4) s[6][7][5] = 1
14.92/5.55 c (5,4) s[6][7][6] = 0
14.92/5.55 c (5,4) s[6][7][7] = 0
14.92/5.55 c (5,4) s[6][7][8] = 0
14.92/5.55 c (5,4) s[6][7][9] = 0
14.92/5.55 c (5,4) s[6][7][10] = 0
14.92/5.55 c (5,4) s[6][7][11] = 1
14.92/5.55 c (5,4) s[6][7][12] = 0
14.92/5.55 c (5,4) s[6][7][13] = 0
14.92/5.55 c (5,4) s[6][7][14] = 0
14.92/5.55 c (5,4) s[6][7][15] = 0
14.92/5.55 c (5,4) s[6][7][16] = 0
14.92/5.55 c (5,4) s[6][7][17] = 0
14.92/5.55 c (5,4) s[6][7][18] = 0
14.92/5.55 c (5,4) s[6][7][19] = 0
14.92/5.55 c (5,4) s[6][7][20] = 0
14.92/5.55 c (5,4) s[6][7][21] = 0
14.92/5.55 c (5,4) s[6][8][0] = 1
14.92/5.55 c (5,4) s[6][8][1] = 0
14.92/5.55 c (5,4) s[6][8][2] = 0
14.92/5.55 c (5,4) s[6][8][3] = 1
14.92/5.55 c (5,4) s[6][8][4] = 0
14.92/5.55 c (5,4) s[6][8][5] = 0
14.92/5.55 c (5,4) s[6][8][6] = 0
14.92/5.55 c (5,4) s[6][8][7] = 0
14.92/5.55 c (5,4) s[6][8][8] = 0
14.92/5.55 c (5,4) s[6][8][9] = 0
14.92/5.55 c (5,4) s[6][8][10] = 1
14.92/5.55 c (5,4) s[6][8][11] = 0
14.92/5.55 c (5,4) s[6][8][12] = 0
14.92/5.55 c (5,4) s[6][8][13] = 0
14.92/5.55 c (5,4) s[6][8][14] = 1
14.92/5.55 c (5,4) s[6][8][15] = 0
14.92/5.55 c (5,4) s[6][8][16] = 0
14.92/5.55 c (5,4) s[6][8][17] = 0
14.92/5.55 c (5,4) s[6][8][18] = 1
14.92/5.55 c (5,4) s[6][8][19] = 0
14.92/5.55 c (5,4) s[6][8][20] = 0
14.92/5.55 c (5,4) s[6][8][21] = 0
14.92/5.55 c (5,4) s[6][9][0] = 1
14.92/5.55 c (5,4) s[6][9][1] = 0
14.92/5.55 c (5,4) s[6][9][2] = 0
14.92/5.55 c (5,4) s[6][9][3] = 1
14.92/5.55 c (5,4) s[6][9][4] = 0
14.92/5.55 c (5,4) s[6][9][5] = 0
14.92/5.55 c (5,4) s[6][9][6] = 0
14.92/5.55 c (5,4) s[6][9][7] = 0
14.92/5.55 c (5,4) s[6][9][8] = 0
14.92/5.55 c (5,4) s[6][9][9] = 0
14.92/5.55 c (5,4) s[6][9][10] = 1
14.92/5.55 c (5,4) s[6][9][11] = 1
14.92/5.55 c (5,4) s[6][9][12] = 0
14.92/5.55 c (5,4) s[6][9][13] = 0
14.92/5.55 c (5,4) s[6][9][14] = 0
14.92/5.55 c (5,4) s[6][9][15] = 0
14.92/5.55 c (5,4) s[6][9][16] = 0
14.92/5.55 c (5,4) s[6][9][17] = 0
14.92/5.55 c (5,4) s[6][9][18] = 0
14.92/5.55 c (5,4) s[6][9][19] = 1
14.92/5.55 c (5,4) s[6][9][20] = 0
14.92/5.55 c (5,4) s[6][9][21] = 0
14.92/5.55 c (5,4) s[6][10][0] = 1
14.92/5.55 c (5,4) s[6][10][1] = 0
14.92/5.55 c (5,4) s[6][10][2] = 1
14.92/5.55 c (5,4) s[6][10][3] = 0
14.92/5.55 c (5,4) s[6][10][4] = 0
14.92/5.55 c (5,4) s[6][10][5] = 0
14.92/5.55 c (5,4) s[6][10][6] = 0
14.92/5.55 c (5,4) s[6][10][7] = 0
14.92/5.55 c (5,4) s[6][10][8] = 0
14.92/5.55 c (5,4) s[6][10][9] = 0
14.92/5.55 c (5,4) s[6][10][10] = 0
14.92/5.55 c (5,4) s[6][10][11] = 0
14.92/5.55 c (5,4) s[6][10][12] = 0
14.92/5.55 c (5,4) s[6][10][13] = 0
14.92/5.55 c (5,4) s[6][10][14] = 1
14.92/5.55 c (5,4) s[6][10][15] = 0
14.92/5.55 c (5,4) s[6][10][16] = 1
14.92/5.55 c (5,4) s[6][10][17] = 0
14.92/5.55 c (5,4) s[6][10][18] = 0
14.92/5.55 c (5,4) s[6][10][19] = 1
14.92/5.55 c (5,4) s[6][10][20] = 0
14.92/5.55 c (5,4) s[6][10][21] = 0
14.92/5.55 c (5,4) s[6][11][0] = 1
14.92/5.55 c (5,4) s[6][11][1] = 0
14.92/5.55 c (5,4) s[6][11][2] = 1
14.92/5.55 c (5,4) s[6][11][3] = 0
14.92/5.55 c (5,4) s[6][11][4] = 0
14.92/5.55 c (5,4) s[6][11][5] = 1
14.92/5.55 c (5,4) s[6][11][6] = 0
14.92/5.55 c (5,4) s[6][11][7] = 0
14.92/5.55 c (5,4) s[6][11][8] = 1
14.92/5.55 c (5,4) s[6][11][9] = 0
14.92/5.55 c (5,4) s[6][11][10] = 0
14.92/5.55 c (5,4) s[6][11][11] = 0
14.92/5.55 c (5,4) s[6][11][12] = 0
14.92/5.55 c (5,4) s[6][11][13] = 0
14.92/5.55 c (5,4) s[6][11][14] = 0
14.92/5.55 c (5,4) s[6][11][15] = 0
14.92/5.55 c (5,4) s[6][11][16] = 0
14.92/5.55 c (5,4) s[6][11][17] = 0
14.92/5.55 c (5,4) s[6][11][18] = 1
14.92/5.55 c (5,4) s[6][11][19] = 0
14.92/5.55 c (5,4) s[6][11][20] = 0
14.92/5.55 c (5,4) s[6][11][21] = 0
14.92/5.55 c (5,4) s[7][8][0] = 1
14.92/5.55 c (5,4) s[7][8][1] = 0
14.92/5.55 c (5,4) s[7][8][2] = 0
14.92/5.55 c (5,4) s[7][8][3] = 1
14.92/5.55 c (5,4) s[7][8][4] = 0
14.92/5.55 c (5,4) s[7][8][5] = 0
14.92/5.55 c (5,4) s[7][8][6] = 0
14.92/5.55 c (5,4) s[7][8][7] = 0
14.92/5.55 c (5,4) s[7][8][8] = 0
14.92/5.55 c (5,4) s[7][8][9] = 1
14.92/5.55 c (5,4) s[7][8][10] = 0
14.92/5.55 c (5,4) s[7][8][11] = 0
14.92/5.55 c (5,4) s[7][8][12] = 1
14.92/5.55 c (5,4) s[7][8][13] = 1
14.92/5.55 c (5,4) s[7][8][14] = 0
14.92/5.55 c (5,4) s[7][8][15] = 0
14.92/5.55 c (5,4) s[7][8][16] = 0
14.92/5.55 c (5,4) s[7][8][17] = 0
14.92/5.55 c (5,4) s[7][8][18] = 0
14.92/5.55 c (5,4) s[7][8][19] = 0
14.92/5.55 c (5,4) s[7][8][20] = 0
14.92/5.55 c (5,4) s[7][8][21] = 0
14.92/5.55 c (5,4) s[7][9][0] = 1
14.92/5.55 c (5,4) s[7][9][1] = 0
14.92/5.55 c (5,4) s[7][9][2] = 0
14.92/5.55 c (5,4) s[7][9][3] = 1
14.92/5.55 c (5,4) s[7][9][4] = 0
14.92/5.55 c (5,4) s[7][9][5] = 0
14.92/5.55 c (5,4) s[7][9][6] = 0
14.92/5.55 c (5,4) s[7][9][7] = 0
14.92/5.55 c (5,4) s[7][9][8] = 0
14.92/5.55 c (5,4) s[7][9][9] = 0
14.92/5.55 c (5,4) s[7][9][10] = 0
14.92/5.55 c (5,4) s[7][9][11] = 1
14.92/5.55 c (5,4) s[7][9][12] = 0
14.92/5.55 c (5,4) s[7][9][13] = 0
14.92/5.55 c (5,4) s[7][9][14] = 0
14.92/5.55 c (5,4) s[7][9][15] = 0
14.92/5.55 c (5,4) s[7][9][16] = 0
14.92/5.55 c (5,4) s[7][9][17] = 1
14.92/5.55 c (5,4) s[7][9][18] = 0
14.92/5.55 c (5,4) s[7][9][19] = 0
14.92/5.55 c (5,4) s[7][9][20] = 0
14.92/5.55 c (5,4) s[7][9][21] = 1
14.92/5.55 c (5,4) s[7][10][0] = 1
14.92/5.55 c (5,4) s[7][10][1] = 0
14.92/5.55 c (5,4) s[7][10][2] = 1
14.92/5.55 c (5,4) s[7][10][3] = 0
14.92/5.55 c (5,4) s[7][10][4] = 0
14.92/5.55 c (5,4) s[7][10][5] = 0
14.92/5.55 c (5,4) s[7][10][6] = 0
14.92/5.55 c (5,4) s[7][10][7] = 1
14.92/5.55 c (5,4) s[7][10][8] = 0
14.92/5.55 c (5,4) s[7][10][9] = 1
14.92/5.55 c (5,4) s[7][10][10] = 0
14.92/5.55 c (5,4) s[7][10][11] = 0
14.92/5.55 c (5,4) s[7][10][12] = 0
14.92/5.55 c (5,4) s[7][10][13] = 0
14.92/5.55 c (5,4) s[7][10][14] = 0
14.92/5.55 c (5,4) s[7][10][15] = 0
14.92/5.55 c (5,4) s[7][10][16] = 0
14.92/5.55 c (5,4) s[7][10][17] = 1
14.92/5.55 c (5,4) s[7][10][18] = 0
14.92/5.55 c (5,4) s[7][10][19] = 0
14.92/5.55 c (5,4) s[7][10][20] = 0
14.92/5.55 c (5,4) s[7][10][21] = 0
14.92/5.55 c (5,4) s[7][11][0] = 1
14.92/5.55 c (5,4) s[7][11][1] = 0
14.92/5.55 c (5,4) s[7][11][2] = 1
14.92/5.55 c (5,4) s[7][11][3] = 0
14.92/5.55 c (5,4) s[7][11][4] = 0
14.92/5.55 c (5,4) s[7][11][5] = 1
14.92/5.55 c (5,4) s[7][11][6] = 0
14.92/5.55 c (5,4) s[7][11][7] = 0
14.92/5.55 c (5,4) s[7][11][8] = 0
14.92/5.55 c (5,4) s[7][11][9] = 0
14.92/5.55 c (5,4) s[7][11][10] = 0
14.92/5.55 c (5,4) s[7][11][11] = 0
14.92/5.55 c (5,4) s[7][11][12] = 0
14.92/5.55 c (5,4) s[7][11][13] = 1
14.92/5.55 c (5,4) s[7][11][14] = 0
14.92/5.55 c (5,4) s[7][11][15] = 0
14.92/5.55 c (5,4) s[7][11][16] = 0
14.92/5.55 c (5,4) s[7][11][17] = 0
14.92/5.55 c (5,4) s[7][11][18] = 0
14.92/5.55 c (5,4) s[7][11][19] = 0
14.92/5.55 c (5,4) s[7][11][20] = 0
14.92/5.55 c (5,4) s[7][11][21] = 1
14.92/5.55 c (5,4) s[8][9][0] = 1
14.92/5.55 c (5,4) s[8][9][1] = 1
14.92/5.55 c (5,4) s[8][9][2] = 0
14.92/5.55 c (5,4) s[8][9][3] = 1
14.92/5.55 c (5,4) s[8][9][4] = 0
14.92/5.55 c (5,4) s[8][9][5] = 0
14.92/5.55 c (5,4) s[8][9][6] = 1
14.92/5.55 c (5,4) s[8][9][7] = 0
14.92/5.55 c (5,4) s[8][9][8] = 0
14.92/5.55 c (5,4) s[8][9][9] = 0
14.92/5.55 c (5,4) s[8][9][10] = 1
14.92/5.55 c (5,4) s[8][9][11] = 0
14.92/5.55 c (5,4) s[8][9][12] = 0
14.92/5.55 c (5,4) s[8][9][13] = 0
14.92/5.55 c (5,4) s[8][9][14] = 0
14.92/5.55 c (5,4) s[8][9][15] = 0
14.92/5.55 c (5,4) s[8][9][16] = 0
14.92/5.55 c (5,4) s[8][9][17] = 0
14.92/5.55 c (5,4) s[8][9][18] = 0
14.92/5.55 c (5,4) s[8][9][19] = 0
14.92/5.55 c (5,4) s[8][9][20] = 0
14.92/5.55 c (5,4) s[8][9][21] = 0
14.92/5.55 c (5,4) s[8][10][0] = 1
14.92/5.55 c (5,4) s[8][10][1] = 1
14.92/5.55 c (5,4) s[8][10][2] = 0
14.92/5.55 c (5,4) s[8][10][3] = 0
14.92/5.55 c (5,4) s[8][10][4] = 0
14.92/5.55 c (5,4) s[8][10][5] = 0
14.92/5.55 c (5,4) s[8][10][6] = 0
14.92/5.55 c (5,4) s[8][10][7] = 0
14.92/5.55 c (5,4) s[8][10][8] = 0
14.92/5.55 c (5,4) s[8][10][9] = 1
14.92/5.55 c (5,4) s[8][10][10] = 0
14.92/5.55 c (5,4) s[8][10][11] = 0
14.92/5.55 c (5,4) s[8][10][12] = 0
14.92/5.55 c (5,4) s[8][10][13] = 0
14.92/5.55 c (5,4) s[8][10][14] = 1
14.92/5.55 c (5,4) s[8][10][15] = 0
14.92/5.55 c (5,4) s[8][10][16] = 0
14.92/5.55 c (5,4) s[8][10][17] = 0
14.92/5.55 c (5,4) s[8][10][18] = 0
14.92/5.55 c (5,4) s[8][10][19] = 0
14.92/5.55 c (5,4) s[8][10][20] = 1
14.92/5.55 c (5,4) s[8][10][21] = 0
14.92/5.55 c (5,4) s[8][11][0] = 1
14.92/5.55 c (5,4) s[8][11][1] = 1
14.92/5.55 c (5,4) s[8][11][2] = 0
14.92/5.55 c (5,4) s[8][11][3] = 0
14.92/5.55 c (5,4) s[8][11][4] = 0
14.92/5.55 c (5,4) s[8][11][5] = 0
14.92/5.55 c (5,4) s[8][11][6] = 0
14.92/5.55 c (5,4) s[8][11][7] = 0
14.92/5.55 c (5,4) s[8][11][8] = 0
14.92/5.55 c (5,4) s[8][11][9] = 0
14.92/5.55 c (5,4) s[8][11][10] = 0
14.92/5.55 c (5,4) s[8][11][11] = 0
14.92/5.55 c (5,4) s[8][11][12] = 0
14.92/5.55 c (5,4) s[8][11][13] = 1
14.92/5.55 c (5,4) s[8][11][14] = 0
14.92/5.55 c (5,4) s[8][11][15] = 0
14.92/5.55 c (5,4) s[8][11][16] = 0
14.92/5.55 c (5,4) s[8][11][17] = 0
14.92/5.55 c (5,4) s[8][11][18] = 1
14.92/5.55 c (5,4) s[8][11][19] = 0
14.92/5.55 c (5,4) s[8][11][20] = 1
14.92/5.55 c (5,4) s[8][11][21] = 0
14.92/5.55 c (5,4) s[9][10][0] = 1
14.92/5.55 c (5,4) s[9][10][1] = 1
14.92/5.55 c (5,4) s[9][10][2] = 0
14.92/5.55 c (5,4) s[9][10][3] = 0
14.92/5.55 c (5,4) s[9][10][4] = 1
14.92/5.55 c (5,4) s[9][10][5] = 0
14.92/5.55 c (5,4) s[9][10][6] = 0
14.92/5.55 c (5,4) s[9][10][7] = 0
14.92/5.55 c (5,4) s[9][10][8] = 0
14.92/5.55 c (5,4) s[9][10][9] = 0
14.92/5.55 c (5,4) s[9][10][10] = 0
14.92/5.55 c (5,4) s[9][10][11] = 0
14.92/5.55 c (5,4) s[9][10][12] = 0
14.92/5.55 c (5,4) s[9][10][13] = 0
14.92/5.55 c (5,4) s[9][10][14] = 0
14.92/5.55 c (5,4) s[9][10][15] = 0
14.92/5.55 c (5,4) s[9][10][16] = 0
14.92/5.55 c (5,4) s[9][10][17] = 1
14.92/5.55 c (5,4) s[9][10][18] = 0
14.92/5.55 c (5,4) s[9][10][19] = 1
14.92/5.55 c (5,4) s[9][10][20] = 0
14.92/5.55 c (5,4) s[9][10][21] = 0
14.92/5.55 c (5,4) s[9][11][0] = 1
14.92/5.55 c (5,4) s[9][11][1] = 1
14.92/5.55 c (5,4) s[9][11][2] = 0
14.92/5.55 c (5,4) s[9][11][3] = 0
14.92/5.55 c (5,4) s[9][11][4] = 1
14.92/5.55 c (5,4) s[9][11][5] = 0
14.92/5.55 c (5,4) s[9][11][6] = 0
14.92/5.55 c (5,4) s[9][11][7] = 0
14.92/5.55 c (5,4) s[9][11][8] = 0
14.92/5.55 c (5,4) s[9][11][9] = 0
14.92/5.55 c (5,4) s[9][11][10] = 0
14.92/5.55 c (5,4) s[9][11][11] = 0
14.92/5.55 c (5,4) s[9][11][12] = 0
14.92/5.55 c (5,4) s[9][11][13] = 0
14.92/5.55 c (5,4) s[9][11][14] = 0
14.92/5.55 c (5,4) s[9][11][15] = 1
14.92/5.55 c (5,4) s[9][11][16] = 0
14.92/5.55 c (5,4) s[9][11][17] = 0
14.92/5.55 c (5,4) s[9][11][18] = 0
14.92/5.55 c (5,4) s[9][11][19] = 0
14.92/5.55 c (5,4) s[9][11][20] = 0
14.92/5.55 c (5,4) s[9][11][21] = 1
14.92/5.55 c (5,4) s[10][11][0] = 1
14.92/5.55 c (5,4) s[10][11][1] = 1
14.92/5.55 c (5,4) s[10][11][2] = 1
14.92/5.55 c (5,4) s[10][11][3] = 0
14.92/5.55 c (5,4) s[10][11][4] = 1
14.92/5.55 c (5,4) s[10][11][5] = 0
14.92/5.55 c (5,4) s[10][11][6] = 0
14.92/5.55 c (5,4) s[10][11][7] = 0
14.92/5.55 c (5,4) s[10][11][8] = 0
14.92/5.55 c (5,4) s[10][11][9] = 0
14.92/5.55 c (5,4) s[10][11][10] = 0
14.92/5.55 c (5,4) s[10][11][11] = 0
14.92/5.55 c (5,4) s[10][11][12] = 0
14.92/5.55 c (5,4) s[10][11][13] = 0
14.92/5.55 c (5,4) s[10][11][14] = 0
14.92/5.55 c (5,4) s[10][11][15] = 0
14.92/5.55 c (5,4) s[10][11][16] = 0
14.92/5.55 c (5,4) s[10][11][17] = 0
14.92/5.55 c (5,4) s[10][11][18] = 0
14.92/5.55 c (5,4) s[10][11][19] = 0
14.92/5.55 c (5,4) s[10][11][20] = 1
14.92/5.55 c (5,4) s[10][11][21] = 0
14.92/5.55 c (5,4) x[0][0] = 0
14.92/5.55 c (5,4) x[0][1] = 0
14.92/5.55 c (5,4) x[0][2] = 0
14.92/5.55 c (5,4) x[0][3] = 0
14.92/5.55 c (5,4) x[0][4] = 0
14.92/5.55 c (5,4) x[0][5] = 0
14.92/5.55 c (5,4) x[0][6] = 0
14.92/5.55 c (5,4) x[0][7] = 0
14.92/5.55 c (5,4) x[0][8] = 0
14.92/5.55 c (5,4) x[0][9] = 0
14.92/5.55 c (5,4) x[0][10] = 0
14.92/5.55 c (5,4) x[0][11] = 1
14.92/5.55 c (5,4) x[0][12] = 1
14.92/5.55 c (5,4) x[0][13] = 1
14.92/5.55 c (5,4) x[0][14] = 1
14.92/5.55 c (5,4) x[0][15] = 1
14.92/5.55 c (5,4) x[0][16] = 1
14.92/5.55 c (5,4) x[0][17] = 1
14.92/5.55 c (5,4) x[0][18] = 1
14.92/5.55 c (5,4) x[0][19] = 1
14.92/5.55 c (5,4) x[0][20] = 1
14.92/5.55 c (5,4) x[0][21] = 1
14.92/5.55 c (5,4) x[1][0] = 0
14.92/5.55 c (5,4) x[1][1] = 0
14.92/5.55 c (5,4) x[1][2] = 0
14.92/5.55 c (5,4) x[1][3] = 0
14.92/5.55 c (5,4) x[1][4] = 0
14.92/5.55 c (5,4) x[1][5] = 1
14.92/5.55 c (5,4) x[1][6] = 1
14.92/5.55 c (5,4) x[1][7] = 1
14.92/5.55 c (5,4) x[1][8] = 1
14.92/5.55 c (5,4) x[1][9] = 1
14.92/5.55 c (5,4) x[1][10] = 1
14.92/5.55 c (5,4) x[1][11] = 0
14.92/5.55 c (5,4) x[1][12] = 0
14.92/5.55 c (5,4) x[1][13] = 0
14.92/5.55 c (5,4) x[1][14] = 0
14.92/5.55 c (5,4) x[1][15] = 0
14.92/5.55 c (5,4) x[1][16] = 0
14.92/5.55 c (5,4) x[1][17] = 1
14.92/5.55 c (5,4) x[1][18] = 1
14.92/5.55 c (5,4) x[1][19] = 1
14.92/5.55 c (5,4) x[1][20] = 1
14.92/5.55 c (5,4) x[1][21] = 1
14.92/5.55 c (5,4) x[2][0] = 0
14.92/5.55 c (5,4) x[2][1] = 0
14.92/5.55 c (5,4) x[2][2] = 0
14.92/5.55 c (5,4) x[2][3] = 1
14.92/5.55 c (5,4) x[2][4] = 1
14.92/5.55 c (5,4) x[2][5] = 0
14.92/5.55 c (5,4) x[2][6] = 0
14.92/5.55 c (5,4) x[2][7] = 1
14.92/5.55 c (5,4) x[2][8] = 1
14.92/5.55 c (5,4) x[2][9] = 1
14.92/5.55 c (5,4) x[2][10] = 1
14.92/5.55 c (5,4) x[2][11] = 0
14.92/5.55 c (5,4) x[2][12] = 0
14.92/5.55 c (5,4) x[2][13] = 1
14.92/5.55 c (5,4) x[2][14] = 1
14.92/5.55 c (5,4) x[2][15] = 1
14.92/5.55 c (5,4) x[2][16] = 1
14.92/5.55 c (5,4) x[2][17] = 0
14.92/5.55 c (5,4) x[2][18] = 0
14.92/5.55 c (5,4) x[2][19] = 0
14.92/5.55 c (5,4) x[2][20] = 0
14.92/5.55 c (5,4) x[2][21] = 1
14.92/5.55 c (5,4) x[3][0] = 0
14.92/5.55 c (5,4) x[3][1] = 0
14.92/5.55 c (5,4) x[3][2] = 1
14.92/5.55 c (5,4) x[3][3] = 0
14.92/5.55 c (5,4) x[3][4] = 1
14.92/5.55 c (5,4) x[3][5] = 1
14.92/5.55 c (5,4) x[3][6] = 1
14.92/5.55 c (5,4) x[3][7] = 0
14.92/5.55 c (5,4) x[3][8] = 0
14.92/5.55 c (5,4) x[3][9] = 1
14.92/5.55 c (5,4) x[3][10] = 1
14.92/5.55 c (5,4) x[3][11] = 1
14.92/5.55 c (5,4) x[3][12] = 1
14.92/5.55 c (5,4) x[3][13] = 0
14.92/5.55 c (5,4) x[3][14] = 0
14.92/5.55 c (5,4) x[3][15] = 1
14.92/5.55 c (5,4) x[3][16] = 1
14.92/5.55 c (5,4) x[3][17] = 0
14.92/5.55 c (5,4) x[3][18] = 0
14.92/5.55 c (5,4) x[3][19] = 0
14.92/5.55 c (5,4) x[3][20] = 1
14.92/5.55 c (5,4) x[3][21] = 0
14.92/5.55 c (5,4) x[4][0] = 0
14.92/5.55 c (5,4) x[4][1] = 1
14.92/5.55 c (5,4) x[4][2] = 0
14.92/5.55 c (5,4) x[4][3] = 0
14.92/5.55 c (5,4) x[4][4] = 1
14.92/5.55 c (5,4) x[4][5] = 1
14.92/5.55 c (5,4) x[4][6] = 1
14.92/5.55 c (5,4) x[4][7] = 1
14.92/5.55 c (5,4) x[4][8] = 1
14.92/5.55 c (5,4) x[4][9] = 0
14.92/5.55 c (5,4) x[4][10] = 0
14.92/5.55 c (5,4) x[4][11] = 1
14.92/5.55 c (5,4) x[4][12] = 1
14.92/5.55 c (5,4) x[4][13] = 1
14.92/5.55 c (5,4) x[4][14] = 1
14.92/5.55 c (5,4) x[4][15] = 0
14.92/5.55 c (5,4) x[4][16] = 0
14.92/5.55 c (5,4) x[4][17] = 0
14.92/5.55 c (5,4) x[4][18] = 0
14.92/5.55 c (5,4) x[4][19] = 1
14.92/5.55 c (5,4) x[4][20] = 0
14.92/5.55 c (5,4) x[4][21] = 0
14.92/5.55 c (5,4) x[5][0] = 0
14.92/5.55 c (5,4) x[5][1] = 1
14.92/5.55 c (5,4) x[5][2] = 1
14.92/5.55 c (5,4) x[5][3] = 1
14.92/5.55 c (5,4) x[5][4] = 0
14.92/5.55 c (5,4) x[5][5] = 0
14.92/5.55 c (5,4) x[5][6] = 1
14.92/5.55 c (5,4) x[5][7] = 1
14.92/5.55 c (5,4) x[5][8] = 1
14.92/5.55 c (5,4) x[5][9] = 0
14.92/5.55 c (5,4) x[5][10] = 0
14.92/5.55 c (5,4) x[5][11] = 0
14.92/5.55 c (5,4) x[5][12] = 1
14.92/5.55 c (5,4) x[5][13] = 0
14.92/5.55 c (5,4) x[5][14] = 0
14.92/5.55 c (5,4) x[5][15] = 1
14.92/5.55 c (5,4) x[5][16] = 1
14.92/5.55 c (5,4) x[5][17] = 1
14.92/5.55 c (5,4) x[5][18] = 1
14.92/5.55 c (5,4) x[5][19] = 0
14.92/5.55 c (5,4) x[5][20] = 0
14.92/5.55 c (5,4) x[5][21] = 0
14.92/5.55 c (5,4) x[6][0] = 1
14.92/5.55 c (5,4) x[6][1] = 0
14.92/5.55 c (5,4) x[6][2] = 1
14.92/5.55 c (5,4) x[6][3] = 1
14.92/5.55 c (5,4) x[6][4] = 0
14.92/5.55 c (5,4) x[6][5] = 1
14.92/5.55 c (5,4) x[6][6] = 0
14.92/5.55 c (5,4) x[6][7] = 0
14.92/5.55 c (5,4) x[6][8] = 1
14.92/5.55 c (5,4) x[6][9] = 0
14.92/5.55 c (5,4) x[6][10] = 1
14.92/5.55 c (5,4) x[6][11] = 1
14.92/5.55 c (5,4) x[6][12] = 0
14.92/5.55 c (5,4) x[6][13] = 0
14.92/5.55 c (5,4) x[6][14] = 1
14.92/5.55 c (5,4) x[6][15] = 0
14.92/5.55 c (5,4) x[6][16] = 1
14.92/5.55 c (5,4) x[6][17] = 0
14.92/5.55 c (5,4) x[6][18] = 1
14.92/5.55 c (5,4) x[6][19] = 1
14.92/5.55 c (5,4) x[6][20] = 0
14.92/5.55 c (5,4) x[6][21] = 0
14.92/5.55 c (5,4) x[7][0] = 1
14.92/5.55 c (5,4) x[7][1] = 0
14.92/5.55 c (5,4) x[7][2] = 1
14.92/5.55 c (5,4) x[7][3] = 1
14.92/5.55 c (5,4) x[7][4] = 0
14.92/5.55 c (5,4) x[7][5] = 1
14.92/5.55 c (5,4) x[7][6] = 0
14.92/5.55 c (5,4) x[7][7] = 1
14.92/5.55 c (5,4) x[7][8] = 0
14.92/5.55 c (5,4) x[7][9] = 1
14.92/5.55 c (5,4) x[7][10] = 0
14.92/5.55 c (5,4) x[7][11] = 1
14.92/5.55 c (5,4) x[7][12] = 1
14.92/5.55 c (5,4) x[7][13] = 1
14.92/5.55 c (5,4) x[7][14] = 0
14.92/5.55 c (5,4) x[7][15] = 0
14.92/5.55 c (5,4) x[7][16] = 0
14.92/5.55 c (5,4) x[7][17] = 1
14.92/5.55 c (5,4) x[7][18] = 0
14.92/5.55 c (5,4) x[7][19] = 0
14.92/5.55 c (5,4) x[7][20] = 0
14.92/5.55 c (5,4) x[7][21] = 1
14.92/5.55 c (5,4) x[8][0] = 1
14.92/5.55 c (5,4) x[8][1] = 1
14.92/5.55 c (5,4) x[8][2] = 0
14.92/5.55 c (5,4) x[8][3] = 1
14.92/5.55 c (5,4) x[8][4] = 0
14.92/5.55 c (5,4) x[8][5] = 0
14.92/5.55 c (5,4) x[8][6] = 1
14.92/5.55 c (5,4) x[8][7] = 0
14.92/5.55 c (5,4) x[8][8] = 0
14.92/5.55 c (5,4) x[8][9] = 1
14.92/5.55 c (5,4) x[8][10] = 1
14.92/5.55 c (5,4) x[8][11] = 0
14.92/5.55 c (5,4) x[8][12] = 1
14.92/5.55 c (5,4) x[8][13] = 1
14.92/5.55 c (5,4) x[8][14] = 1
14.92/5.55 c (5,4) x[8][15] = 0
14.92/5.55 c (5,4) x[8][16] = 0
14.92/5.55 c (5,4) x[8][17] = 0
14.92/5.55 c (5,4) x[8][18] = 1
14.92/5.55 c (5,4) x[8][19] = 0
14.92/5.55 c (5,4) x[8][20] = 1
14.92/5.55 c (5,4) x[8][21] = 0
14.92/5.55 c (5,4) x[9][0] = 1
14.92/5.55 c (5,4) x[9][1] = 1
14.92/5.55 c (5,4) x[9][2] = 0
14.92/5.55 c (5,4) x[9][3] = 1
14.92/5.55 c (5,4) x[9][4] = 1
14.92/5.55 c (5,4) x[9][5] = 0
14.92/5.55 c (5,4) x[9][6] = 1
14.92/5.55 c (5,4) x[9][7] = 0
14.92/5.55 c (5,4) x[9][8] = 0
14.92/5.55 c (5,4) x[9][9] = 0
14.92/5.55 c (5,4) x[9][10] = 1
14.92/5.55 c (5,4) x[9][11] = 1
14.92/5.55 c (5,4) x[9][12] = 0
14.92/5.55 c (5,4) x[9][13] = 0
14.92/5.55 c (5,4) x[9][14] = 0
14.92/5.55 c (5,4) x[9][15] = 1
14.92/5.55 c (5,4) x[9][16] = 0
14.92/5.55 c (5,4) x[9][17] = 1
14.92/5.55 c (5,4) x[9][18] = 0
14.92/5.55 c (5,4) x[9][19] = 1
14.92/5.55 c (5,4) x[9][20] = 0
14.92/5.55 c (5,4) x[9][21] = 1
14.92/5.55 c (5,4) x[10][0] = 1
14.92/5.55 c (5,4) x[10][1] = 1
14.92/5.55 c (5,4) x[10][2] = 1
14.92/5.55 c (5,4) x[10][3] = 0
14.92/5.55 c (5,4) x[10][4] = 1
14.92/5.55 c (5,4) x[10][5] = 0
14.92/5.55 c (5,4) x[10][6] = 0
14.92/5.55 c (5,4) x[10][7] = 1
14.92/5.55 c (5,4) x[10][8] = 0
14.92/5.55 c (5,4) x[10][9] = 1
14.92/5.55 c (5,4) x[10][10] = 0
14.92/5.55 c (5,4) x[10][11] = 0
14.92/5.55 c (5,4) x[10][12] = 0
14.92/5.55 c (5,4) x[10][13] = 0
14.92/5.55 c (5,4) x[10][14] = 1
14.92/5.55 c (5,4) x[10][15] = 0
14.92/5.55 c (5,4) x[10][16] = 1
14.92/5.55 c (5,4) x[10][17] = 1
14.92/5.55 c (5,4) x[10][18] = 0
14.92/5.55 c (5,4) x[10][19] = 1
14.92/5.55 c (5,4) x[10][20] = 1
14.92/5.55 c (5,4) x[10][21] = 0
14.92/5.55 c (5,4) x[11][0] = 1
14.92/5.55 c (5,4) x[11][1] = 1
14.92/5.55 c (5,4) x[11][2] = 1
14.92/5.55 c (5,4) x[11][3] = 0
14.92/5.55 c (5,4) x[11][4] = 1
14.92/5.55 c (5,4) x[11][5] = 1
14.92/5.55 c (5,4) x[11][6] = 0
14.92/5.55 c (5,4) x[11][7] = 0
14.92/5.55 c (5,4) x[11][8] = 1
14.92/5.55 c (5,4) x[11][9] = 0
14.92/5.55 c (5,4) x[11][10] = 0
14.92/5.55 c (5,4) x[11][11] = 0
14.92/5.55 c (5,4) x[11][12] = 0
14.92/5.55 c (5,4) x[11][13] = 1
14.92/5.55 c (5,4) x[11][14] = 0
14.92/5.55 c (5,4) x[11][15] = 1
14.92/5.55 c (5,4) x[11][16] = 0
14.92/5.55 c (5,4) x[11][17] = 0
14.92/5.55 c (5,4) x[11][18] = 1
14.92/5.55 c (5,4) x[11][19] = 0
14.92/5.55 c (5,4) x[11][20] = 1
14.92/5.55 c (5,4) x[11][21] = 1
14.92/5.55 s SATISFIABLE
14.92/5.55 v <instantiation>
14.92/5.55 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[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[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[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[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[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[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[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[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[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] 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][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][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][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][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][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][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][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][9][0] s[0][9][1] s[0][9][2] s[0][9][3] s[0][9][4] s[0][9][5] s[0][9][6] s[0][9][7] s[0][9][8] s[0][9][9] s[0][9][10] s[0][9][11] s[0][9][12] s[0][9][13] s[0][9][14] s[0][9][15] s[0][9][16] s[0][9][17] s[0][9][18] s[0][9][19] s[0][9][20] s[0][9][21] s[0][10][0] s[0][10][1] s[0][10][2] s[0][10][3] s[0][10][4] s[0][10][5] s[0][10][6] s[0][10][7] s[0][10][8] s[0][10][9] s[0][10][10] s[0][10][11] s[0][10][12] s[0][10][13] s[0][10][14] s[0][10][15] s[0][10][16] s[0][10][17] s[0][10][18] s[0][10][19] s[0][10][20] s[0][10][21] s[0][11][0] s[0][11][1] s[0][11][2] s[0][11][3] s[0][11][4] s[0][11][5] s[0][11][6] s[0][11][7] s[0][11][8] s[0][11][9] s[0][11][10] s[0][11][11] s[0][11][12] s[0][11][13] s[0][11][14] s[0][11][15] s[0][11][16] s[0][11][17] s[0][11][18] s[0][11][19] s[0][11][20] s[0][11][21] 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][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][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][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][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][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][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][9][0] s[1][9][1] s[1][9][2] s[1][9][3] s[1][9][4] s[1][9][5] s[1][9][6] s[1][9][7] s[1][9][8] s[1][9][9] s[1][9][10] s[1][9][11] s[1][9][12] s[1][9][13] s[1][9][14] s[1][9][15] s[1][9][16] s[1][9][17] s[1][9][18] s[1][9][19] s[1][9][20] s[1][9][21] s[1][10][0] s[1][10][1] s[1][10][2] s[1][10][3] s[1][10][4] s[1][10][5] s[1][10][6] s[1][10][7] s[1][10][8] s[1][10][9] s[1][10][10] s[1][10][11] s[1][10][12] s[1][10][13] s[1][10][14] s[1][10][15] s[1][10][16] s[1][10][17] s[1][10][18] s[1][10][19] s[1][10][20] s[1][10][21] s[1][11][0] s[1][11][1] s[1][11][2] s[1][11][3] s[1][11][4] s[1][11][5] s[1][11][6] s[1][11][7] s[1][11][8] s[1][11][9] s[1][11][10] s[1][11][11] s[1][11][12] s[1][11][13] s[1][11][14] s[1][11][15] s[1][11][16] s[1][11][17] s[1][11][18] s[1][11][19] s[1][11][20] s[1][11][21] 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][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][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][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][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][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][9][0] s[2][9][1] s[2][9][2] s[2][9][3] s[2][9][4] s[2][9][5] s[2][9][6] s[2][9][7] s[2][9][8] s[2][9][9] s[2][9][10] s[2][9][11] s[2][9][12] s[2][9][13] s[2][9][14] s[2][9][15] s[2][9][16] s[2][9][17] s[2][9][18] s[2][9][19] s[2][9][20] s[2][9][21] s[2][10][0] s[2][10][1] s[2][10][2] s[2][10][3] s[2][10][4] s[2][10][5] s[2][10][6] s[2][10][7] s[2][10][8] s[2][10][9] s[2][10][10] s[2][10][11] s[2][10][12] s[2][10][13] s[2][10][14] s[2][10][15] s[2][10][16] s[2][10][17] s[2][10][18] s[2][10][19] s[2][10][20] s[2][10][21] s[2][11][0] s[2][11][1] s[2][11][2] s[2][11][3] s[2][11][4] s[2][11][5] s[2][11][6] s[2][11][7] s[2][11][8] s[2][11][9] s[2][11][10] s[2][11][11] s[2][11][12] s[2][11][13] s[2][11][14] s[2][11][15] s[2][11][16] s[2][11][17] s[2][11][18] s[2][11][19] s[2][11][20] s[2][11][21] 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][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][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][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][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][9][0] s[3][9][1] s[3][9][2] s[3][9][3] s[3][9][4] s[3][9][5] s[3][9][6] s[3][9][7] s[3][9][8] s[3][9][9] s[3][9][10] s[3][9][11] s[3][9][12] s[3][9][13] s[3][9][14] s[3][9][15] s[3][9][16] s[3][9][17] s[3][9][18] s[3][9][19] s[3][9][20] s[3][9][21] s[3][10][0] s[3][10][1] s[3][10][2] s[3][10][3] s[3][10][4] s[3][10][5] s[3][10][6] s[3][10][7] s[3][10][8] s[3][10][9] s[3][10][10] s[3][10][11] s[3][10][12] s[3][10][13] s[3][10][14] s[3][10][15] s[3][10][16] s[3][10][17] s[3][10][18] s[3][10][19] s[3][10][20] s[3][10][21] s[3][11][0] s[3][11][1] s[3][11][2] s[3][11][3] s[3][11][4] s[3][11][5] s[3][11][6] s[3][11][7] s[3][11][8] s[3][11][9] s[3][11][10] s[3][11][11] s[3][11][12] s[3][11][13] s[3][11][14] s[3][11][15] s[3][11][16] s[3][11][17] s[3][11][18] s[3][11][19] s[3][11][20] s[3][11][21] 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][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][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][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][9][0] s[4][9][1] s[4][9][2] s[4][9][3] s[4][9][4] s[4][9][5] s[4][9][6] s[4][9][7] s[4][9][8] s[4][9][9] s[4][9][10] s[4][9][11] s[4][9][12] s[4][9][13] s[4][9][14] s[4][9][15] s[4][9][16] s[4][9][17] s[4][9][18] s[4][9][19] s[4][9][20] s[4][9][21] s[4][10][0] s[4][10][1] s[4][10][2] s[4][10][3] s[4][10][4] s[4][10][5] s[4][10][6] s[4][10][7] s[4][10][8] s[4][10][9] s[4][10][10] s[4][10][11] s[4][10][12] s[4][10][13] s[4][10][14] s[4][10][15] s[4][10][16] s[4][10][17] s[4][10][18] s[4][10][19] s[4][10][20] s[4][10][21] s[4][11][0] s[4][11][1] s[4][11][2] s[4][11][3] s[4][11][4] s[4][11][5] s[4][11][6] s[4][11][7] s[4][11][8] s[4][11][9] s[4][11][10] s[4][11][11] s[4][11][12] s[4][11][13] s[4][11][14] s[4][11][15] s[4][11][16] s[4][11][17] s[4][11][18] s[4][11][19] s[4][11][20] s[4][11][21] 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][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][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][9][0] s[5][9][1] s[5][9][2] s[5][9][3] s[5][9][4] s[5][9][5] s[5][9][6] s[5][9][7] s[5][9][8] s[5][9][9] s[5][9][10] s[5][9][11] s[5][9][12] s[5][9][13] s[5][9][14] s[5][9][15] s[5][9][16] s[5][9][17] s[5][9][18] s[5][9][19] s[5][9][20] s[5][9][21] s[5][10][0] s[5][10][1] s[5][10][2] s[5][10][3] s[5][10][4] s[5][10][5] s[5][10][6] s[5][10][7] s[5][10][8] s[5][10][9] s[5][10][10] s[5][10][11] s[5][10][12] s[5][10][13] s[5][10][14] s[5][10][15] s[5][10][16] s[5][10][17] s[5][10][18] s[5][10][19] s[5][10][20] s[5][10][21] s[5][11][0] s[5][11][1] s[5][11][2] s[5][11][3] s[5][11][4] s[5][11][5] s[5][11][6] s[5][11][7] s[5][11][8] s[5][11][9] s[5][11][10] s[5][11][11] s[5][11][12] s[5][11][13] s[5][11][14] s[5][11][15] s[5][11][16] s[5][11][17] s[5][11][18] s[5][11][19] s[5][11][20] s[5][11][21] 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][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][9][0] s[6][9][1] s[6][9][2] s[6][9][3] s[6][9][4] s[6][9][5] s[6][9][6] s[6][9][7] s[6][9][8] s[6][9][9] s[6][9][10] s[6][9][11] s[6][9][12] s[6][9][13] s[6][9][14] s[6][9][15] s[6][9][16] s[6][9][17] s[6][9][18] s[6][9][19] s[6][9][20] s[6][9][21] s[6][10][0] s[6][10][1] s[6][10][2] s[6][10][3] s[6][10][4] s[6][10][5] s[6][10][6] s[6][10][7] s[6][10][8] s[6][10][9] s[6][10][10] s[6][10][11] s[6][10][12] s[6][10][13] s[6][10][14] s[6][10][15] s[6][10][16] s[6][10][17] s[6][10][18] s[6][10][19] s[6][10][20] s[6][10][21] s[6][11][0] s[6][11][1] s[6][11][2] s[6][11][3] s[6][11][4] s[6][11][5] s[6][11][6] s[6][11][7] s[6][11][8] s[6][11][9] s[6][11][10] s[6][11][11] s[6][11][12] s[6][11][13] s[6][11][14] s[6][11][15] s[6][11][16] s[6][11][17] s[6][11][18] s[6][11][19] s[6][11][20] s[6][11][21] 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][9][0] s[7][9][1] s[7][9][2] s[7][9][3] s[7][9][4] s[7][9][5] s[7][9][6] s[7][9][7] s[7][9][8] s[7][9][9] s[7][9][10] s[7][9][11] s[7][9][12] s[7][9][13] s[7][9][14] s[7][9][15] s[7][9][16] s[7][9][17] s[7][9][18] s[7][9][19] s[7][9][20] s[7][9][21] s[7][10][0] s[7][10][1] s[7][10][2] s[7][10][3] s[7][10][4] s[7][10][5] s[7][10][6] s[7][10][7] s[7][10][8] s[7][10][9] s[7][10][10] s[7][10][11] s[7][10][12] s[7][10][13] s[7][10][14] s[7][10][15] s[7][10][16] s[7][10][17] s[7][10][18] s[7][10][19] s[7][10][20] s[7][10][21] s[7][11][0] s[7][11][1] s[7][11][2] s[7][11][3] s[7][11][4] s[7][11][5] s[7][11][6] s[7][11][7] s[7][11][8] s[7][11][9] s[7][11][10] s[7][11][11] s[7][11][12] s[7][11][13] s[7][11][14] s[7][11][15] s[7][11][16] s[7][11][17] s[7][11][18] s[7][11][19] s[7][11][20] s[7][11][21] s[8][9][0] s[8][9][1] s[8][9][2] s[8][9][3] s[8][9][4] s[8][9][5] s[8][9][6] s[8][9][7] s[8][9][8] s[8][9][9] s[8][9][10] s[8][9][11] s[8][9][12] s[8][9][13] s[8][9][14] s[8][9][15] s[8][9][16] s[8][9][17] s[8][9][18] s[8][9][19] s[8][9][20] s[8][9][21] s[8][10][0] s[8][10][1] s[8][10][2] s[8][10][3] s[8][10][4] s[8][10][5] s[8][10][6] s[8][10][7] s[8][10][8] s[8][10][9] s[8][10][10] s[8][10][11] s[8][10][12] s[8][10][13] s[8][10][14] s[8][10][15] s[8][10][16] s[8][10][17] s[8][10][18] s[8][10][19] s[8][10][20] s[8][10][21] s[8][11][0] s[8][11][1] s[8][11][2] s[8][11][3] s[8][11][4] s[8][11][5] s[8][11][6] s[8][11][7] s[8][11][8] s[8][11][9] s[8][11][10] s[8][11][11] s[8][11][12] s[8][11][13] s[8][11][14] s[8][11][15] s[8][11][16] s[8][11][17] s[8][11][18] s[8][11][19] s[8][11][20] s[8][11][21] s[9][10][0] s[9][10][1] s[9][10][2] s[9][10][3] s[9][10][4] s[9][10][5] s[9][10][6] s[9][10][7] s[9][10][8] s[9][10][9] s[9][10][10] s[9][10][11] s[9][10][12] s[9][10][13] s[9][10][14] s[9][10][15] s[9][10][16] s[9][10][17] s[9][10][18] s[9][10][19] s[9][10][20] s[9][10][21] s[9][11][0] s[9][11][1] s[9][11][2] s[9][11][3] s[9][11][4] s[9][11][5] s[9][11][6] s[9][11][7] s[9][11][8] s[9][11][9] s[9][11][10] s[9][11][11] s[9][11][12] s[9][11][13] s[9][11][14] s[9][11][15] s[9][11][16] s[9][11][17] s[9][11][18] s[9][11][19] s[9][11][20] s[9][11][21] s[10][11][0] s[10][11][1] s[10][11][2] s[10][11][3] s[10][11][4] s[10][11][5] s[10][11][6] s[10][11][7] s[10][11][8] s[10][11][9] s[10][11][10] s[10][11][11] s[10][11][12] s[10][11][13] s[10][11][14] s[10][11][15] s[10][11][16] s[10][11][17] s[10][11][18] s[10][11][19] s[10][11][20] s[10][11][21]</list>
14.92/5.55 v <values>0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 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 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0</values>
14.92/5.55 v </instantiation>
14.92/5.55 c (5,4) Show results End
14.92/5.55 c (5,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.92/5.55 c (5,4) 1,1,3,3,3,3,4,4,5,STOP-AFTER(ALL)
14.92/5.55 c END-Prog: Mon Jul 23 15:22:57 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4337 MiB free)
memory of node 1: 16384 MiB (8380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294159-1532352171/watcher-4294159-1532352171 -o /tmp/evaluation-result-4294159-1532352171/solver-4294159-1532352171 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294159-1532352171.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8772, runsolver pid=8769
[startup+0.100175 s]*
/proc/loadavg: 2.11 2.04 2.05 3/220 8787
/proc/meminfo: memFree=12963736/32770624 swapFree=67108860/67108860
[pid=8772] ppid=8769 vsize=15011656 memory=72812 CPUtime=0.12 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8769 8772 2271 0 -1 1077944320 6851 0 0 0 10 2 0 0 20 0 15 0 52780317 15371935744 18137 33554432000 4194304 4196468 140735229057072 140735229039616 140526889836279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
/proc/8772/statm: 3752914 18137 2783 1 0 3715374 0
[pid=8772/tid=8774] ppid=8769 vsize=15011656 memory=4139552017366487955 CPUtime=0.09 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) R 8769 8772 2271 0 -1 4202560 5116 0 0 0 8 1 0 0 20 0 15 0 52780318 15371935744 18335 33554432000 4194304 4196468 140735229057072 140526861662608 140526870112039 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8775] ppid=8769 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52780320 15371935744 18335 33554432000 4194304 4196468 140735229057072 140526894078608 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8776] ppid=8769 vsize=15011656 memory=139960515569280 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15371935744 18335 33554432000 4194304 4196468 140735229057072 140526708234768 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8777] ppid=8769 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15371935744 18335 33554432000 4194304 4196468 140735229057072 140526707181968 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8778] ppid=8769 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15371935744 18335 33554432000 4194304 4196468 140735229057072 140526706129168 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8779] ppid=8769 vsize=15011656 memory=139960515569280 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52780321 15371935744 18401 33554432000 4194304 4196468 140735229057072 140525659220848 140526889847426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8780] ppid=8769 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8769 8772 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52780321 15371935744 18401 33554432000 4194304 4196468 140735229057072 140525558556192 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8781] ppid=8769 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780322 15371935744 18401 33554432000 4194304 4196468 140735229057072 140525290120560 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8782] ppid=8769 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 18401 33554432000 4194304 4196468 140735229057072 140524915611984 140526889854875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8783] ppid=8769 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) S 8769 8772 2271 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 18401 33554432000 4194304 4196468 140735229057072 140525658167664 140526889847426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8784] ppid=8769 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 18401 33554432000 4194304 4196468 140735229057072 140525657114864 140526889847426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8785] ppid=8769 vsize=15011656 memory=139960515569280 CPUtime=0.01 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8769 8772 2271 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 52780324 15371935744 18401 33554432000 4194304 4196468 140735229057072 140525656062064 140526889847426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8786] ppid=8769 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 18401 33554432000 4194304 4196468 140735229057072 140524417706208 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8787] ppid=8769 vsize=15011656 memory=139960515569280 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8787/stat : 8787 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 18401 33554432000 4194304 4196468 140735229057072 140525655010480 140526889847426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72812 KiB
[startup+0.210637 s]*
/proc/loadavg: 2.11 2.04 2.05 4/220 8787
/proc/meminfo: memFree=12946416/32770624 swapFree=67108860/67108860
[pid=8772] ppid=8769 vsize=15011656 memory=88132 CPUtime=0.26 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8769 8772 2271 0 -1 1077944320 10965 0 0 0 23 3 0 0 20 0 15 0 52780317 15371935744 22033 33554432000 4194304 4196468 140735229057072 140735229039616 140526889836279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
/proc/8772/statm: 3752914 22033 2892 1 0 3715374 0
[pid=8772/tid=8774] ppid=8769 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) R 8769 8772 2271 0 -1 4202560 8866 0 0 0 18 2 0 0 20 0 15 0 52780318 15371935744 22033 33554432000 4194304 4196468 140735229057072 140526861658080 140526889848214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8775] ppid=8769 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52780320 15371935744 22033 33554432000 4194304 4196468 140735229057072 140526894078608 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8776] ppid=8769 vsize=15011656 memory=16243644978964120 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15371935744 22033 33554432000 4194304 4196468 140735229057072 140526708234768 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8777] ppid=8769 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15371935744 22033 33554432000 4194304 4196468 140735229057072 140526707181968 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8778] ppid=8769 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15371935744 22033 33554432000 4194304 4196468 140735229057072 140526706129168 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8779] ppid=8769 vsize=15011656 memory=139960515569280 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52780321 15371935744 22033 33554432000 4194304 4196468 140735229057072 140525659220848 140526889847426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8780] ppid=8769 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8769 8772 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52780321 15371935744 22033 33554432000 4194304 4196468 140735229057072 140525558556192 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8781] ppid=8769 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780322 15371935744 22033 33554432000 4194304 4196468 140735229057072 140525290120560 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8782] ppid=8769 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 22033 33554432000 4194304 4196468 140735229057072 140524915611984 140526889854875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8783] ppid=8769 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) S 8769 8772 2271 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 22033 33554432000 4194304 4196468 140735229057072 140525658167664 140526889847426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8784] ppid=8769 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) S 8769 8772 2271 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 22033 33554432000 4194304 4196468 140735229057072 140525657114864 140526889847426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8785] ppid=8769 vsize=15011656 memory=139960515569280 CPUtime=0.03 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8769 8772 2271 0 -1 1077944384 296 0 0 0 3 0 0 0 20 0 15 0 52780324 15371935744 22033 33554432000 4194304 4196468 140735229057072 140525656062064 140526889847426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8786] ppid=8769 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 22033 33554432000 4194304 4196468 140735229057072 140524417706208 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8787] ppid=8769 vsize=15011656 memory=139960515569280 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8787/stat : 8787 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 22033 33554432000 4194304 4196468 140735229057072 140525655010480 140526889847426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88132 KiB
[startup+0.310627 s]*
/proc/loadavg: 2.11 2.04 2.05 4/220 8787
/proc/meminfo: memFree=12943112/32770624 swapFree=67108860/67108860
[pid=8772] ppid=8769 vsize=15011656 memory=91844 CPUtime=0.42 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8769 8772 2271 0 -1 1077944320 11486 0 0 0 39 3 0 0 20 0 15 0 52780317 15371935744 22961 33554432000 4194304 4196468 140735229057072 140735229039616 140526889836279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
/proc/8772/statm: 3752914 22961 2990 1 0 3715374 0
[pid=8772/tid=8774] ppid=8769 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) R 8769 8772 2271 0 -1 4202560 9225 0 0 0 27 2 0 0 20 0 15 0 52780318 15371935744 22961 33554432000 4194304 4196468 140735229057072 140526861640432 140526873916766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8775] ppid=8769 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52780320 15371935744 22961 33554432000 4194304 4196468 140735229057072 140526894078608 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8776] ppid=8769 vsize=15011656 memory=16103684463761016 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15371935744 22961 33554432000 4194304 4196468 140735229057072 140526708234768 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8777] ppid=8769 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15371935744 22961 33554432000 4194304 4196468 140735229057072 140526707181968 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8778] ppid=8769 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15371935744 22961 33554432000 4194304 4196468 140735229057072 140526706129168 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8779] ppid=8769 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52780321 15371935744 22961 33554432000 4194304 4196468 140735229057072 140525659220848 140526889847426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8780] ppid=8769 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8769 8772 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52780321 15371935744 22961 33554432000 4194304 4196468 140735229057072 140525558556192 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8781] ppid=8769 vsize=15011656 memory=139960515569280 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780322 15371935744 22961 33554432000 4194304 4196468 140735229057072 140525290120560 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8782] ppid=8769 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 22961 33554432000 4194304 4196468 140735229057072 140524915611984 140526889854875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8783] ppid=8769 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) R 8769 8772 2271 0 -1 4202560 530 0 0 0 3 0 0 0 20 0 15 0 52780324 15371935744 22961 33554432000 4194304 4196468 140735229057072 140525658167664 140526873328895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8784] ppid=8769 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) S 8769 8772 2271 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 15 0 52780324 15371935744 22961 33554432000 4194304 4196468 140735229057072 140525657114864 140526889847426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8785] ppid=8769 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8769 8772 2271 0 -1 1077944384 335 0 0 0 7 0 0 0 20 0 15 0 52780324 15371935744 22961 33554432000 4194304 4196468 140735229057072 140525656062064 140526889847426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8786] ppid=8769 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 22961 33554432000 4194304 4196468 140735229057072 140524417706208 140526889846485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8787] ppid=8769 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8787/stat : 8787 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52780324 15371935744 22961 33554432000 4194304 4196468 140735229057072 140525655010480 140526889847426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91844 KiB
[startup+0.703708 s]
/proc/loadavg: 2.11 2.04 2.05 4/220 8787
/proc/meminfo: memFree=12920772/32770624 swapFree=67108860/67108860
[pid=8772] ppid=8769 vsize=15017928 memory=131272 CPUtime=1.05 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8769 8772 2271 0 -1 1077944320 18039 0 0 0 100 5 0 0 20 0 15 0 52780317 15378358272 32818 33554432000 4194304 4196468 140735229057072 140735229039616 140526889836279 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
/proc/8772/statm: 3754482 32818 3141 1 0 3715886 0
[pid=8772/tid=8774] ppid=8769 vsize=15017928 memory=796 CPUtime=0.67 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) R 8769 8772 2271 0 -1 4202560 15240 0 0 0 63 4 0 0 20 0 15 0 52780318 15378358272 32818 33554432000 4194304 4196468 140735229057072 140526861665808 140526889858205 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8775] ppid=8769 vsize=15017928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52780320 15378358272 32818 33554432000 4194304 4196468 140735229057072 140526894078608 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8776] ppid=8769 vsize=15017928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15378358272 32818 33554432000 4194304 4196468 140735229057072 140526708234768 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8777] ppid=8769 vsize=15017928 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15378358272 32818 33554432000 4194304 4196468 140735229057072 140526707181968 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8778] ppid=8769 vsize=15017928 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15378358272 32818 33554432000 4194304 4196468 140735229057072 140526706129168 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8779] ppid=8769 vsize=15017928 memory=279920735725344 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8769 8772 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52780321 15378358272 32818 33554432000 4194304 4196468 140735229057072 140525659220848 140526889847426 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8780] ppid=8769 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8769 8772 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52780321 15378358272 32837 33554432000 4194304 4196468 140735229057072 140525558556192 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8781] ppid=8769 vsize=15017928 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780322 15378358272 32837 33554432000 4194304 4196468 140735229057072 140525290120560 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8782] ppid=8769 vsize=15017928 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52780324 15378358272 32837 33554432000 4194304 4196468 140735229057072 140524915611984 140526889854875 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8783] ppid=8769 vsize=15017928 memory=8380 CPUtime=0.11 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) R 8769 8772 2271 0 -1 4202560 755 0 0 0 11 0 0 0 20 0 15 0 52780324 15378358272 32837 33554432000 4194304 4196468 140735229057072 140525658166064 140526873336477 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8784] ppid=8769 vsize=15017928 memory=7307210974946176466 CPUtime=0.06 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) R 8769 8772 2271 0 -1 4202560 185 0 0 0 6 0 0 0 20 0 15 0 52780324 15378358272 32837 33554432000 4194304 4196468 140735229057072 140525657106328 140526869196939 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8785] ppid=8769 vsize=15017928 memory=7302135314614015847 CPUtime=0.18 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) R 8769 8772 2271 0 -1 4202560 523 0 0 0 18 0 0 0 20 0 15 0 52780324 15378358272 32837 33554432000 4194304 4196468 140735229057072 140525656058800 140526882933020 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8786] ppid=8769 vsize=15017928 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52780324 15378358272 32837 33554432000 4194304 4196468 140735229057072 140524417706208 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8787] ppid=8769 vsize=15017928 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8787/stat : 8787 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52780324 15378358272 32837 33554432000 4194304 4196468 140735229057072 140525655010480 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131272 KiB
[startup+1.50075 s]
/proc/loadavg: 2.11 2.04 2.05 3/220 8787
/proc/meminfo: memFree=12874160/32770624 swapFree=67108860/67108860
[pid=8772] ppid=8769 vsize=15022100 memory=203024 CPUtime=3.49 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8769 8772 2271 0 -1 1077944320 21663 0 0 0 342 7 0 0 20 0 15 0 52780317 15382630400 50756 33554432000 4194304 4196468 140735229057072 140735229039616 140526889836279 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
/proc/8772/statm: 3755525 50756 3206 1 0 3716910 0
[pid=8772/tid=8774] ppid=8769 vsize=15022100 memory=288230377108275491 CPUtime=1.47 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) R 8769 8772 2271 0 -1 4202560 16131 0 0 0 142 5 0 0 20 0 15 0 52780318 15382630400 50756 33554432000 4194304 4196468 140735229057072 140526861671008 140526386527008 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8775] ppid=8769 vsize=15022100 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52780320 15382630400 50756 33554432000 4194304 4196468 140735229057072 140526894078608 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8776] ppid=8769 vsize=15022100 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15382630400 50756 33554432000 4194304 4196468 140735229057072 140526708234768 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8777] ppid=8769 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15382630400 50756 33554432000 4194304 4196468 140735229057072 140526707181968 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8778] ppid=8769 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780320 15382630400 50756 33554432000 4194304 4196468 140735229057072 140526706129168 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8779] ppid=8769 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8769 8772 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52780321 15382630400 50756 33554432000 4194304 4196468 140735229057072 140525659220848 140526889847426 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
################
# More data... #
################
[pid=8772/tid=8780] ppid=8769 vsize=15026264 memory=677012 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8769 8772 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52780321 15386894336 285960 33554432000 4194304 4196468 140735229057072 140525558556192 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8781] ppid=8769 vsize=15026264 memory=6935650355339879252 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52780322 15386894336 285960 33554432000 4194304 4196468 140735229057072 140525290120560 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8782] ppid=8769 vsize=15026264 memory=6935654753386390356 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52780324 15386894336 285960 33554432000 4194304 4196468 140735229057072 140524915611984 140526889854875 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8783] ppid=8769 vsize=15026264 memory=4639641446577099620 CPUtime=3.67 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) R 8769 8772 2271 0 -1 4202560 6160 0 0 0 366 1 0 0 20 0 15 0 52780324 15386894336 285960 33554432000 4194304 4196468 140735229057072 140525658147904 140526869054911 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8784] ppid=8769 vsize=15026264 memory=6935650355339879252 CPUtime=3.55 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) R 8769 8772 2271 0 -1 4202560 2712 0 0 0 355 0 0 0 20 0 15 0 52780324 15386894336 285960 33554432000 4194304 4196468 140735229057072 140525657114992 140526874230325 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8785] ppid=8769 vsize=15026264 memory=6935652554363134804 CPUtime=1.49 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) R 8769 8772 2271 0 -1 1077944384 4054 0 0 0 147 2 0 0 20 0 15 0 52780324 15386894336 285960 33554432000 4194304 4196468 140735229057072 140525656062064 140526889847426 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8786] ppid=8769 vsize=15026264 memory=7158302641029861456 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52780324 15386894336 285960 33554432000 4194304 4196468 140735229057072 140524417706208 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8787] ppid=8769 vsize=15026264 memory=7374198342035787856 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8787/stat : 8787 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52780324 15386894336 285960 33554432000 4194304 4196468 140735229057072 140525655010480 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
Current children cumulated CPU time: 13.52 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 1143840 KiB
[startup+5.20094 s]
/proc/loadavg: 2.18 2.06 2.06 5/225 8793
/proc/meminfo: memFree=11829736/32770624 swapFree=67108860/67108860
[pid=8772] ppid=8769 vsize=15683912 memory=1187972 CPUtime=14.18 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8769 8772 2271 0 -1 1077944320 32523 0 0 0 1392 26 0 0 20 0 19 0 52780317 16060325888 296993 33554432000 4194304 4196468 140735229057072 140735229039616 140526889836279 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
/proc/8772/statm: 3920978 296993 3234 1 0 3881834 0
[pid=8788] ppid=8772 vsize=30192 memory=13596 CPUtime=0.29 cores=0,2,4,6
/proc/8788/stat : 8788 (minisat_release) R 8772 8772 2271 0 -1 4202496 4664 0 0 0 29 0 0 0 20 0 1 0 52780807 30916608 3399 33554432000 4194304 4308513 140736741135248 140736740083480 4276036 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 21024768 140736741139121 140736741139630 140736741139630 140736741142469 0
/proc/8788/statm: 7548 3399 347 28 0 3788 0
[pid=8772/tid=8774] ppid=8769 vsize=15683912 memory=0 CPUtime=4.89 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) S 8769 8772 2271 0 -1 1077944384 18012 0 0 0 469 20 0 0 20 0 19 0 52780318 16060325888 296993 33554432000 4194304 4196468 140735229057072 140526861675520 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8775] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52780320 16060325888 296993 33554432000 4194304 4196468 140735229057072 140526894078608 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8776] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52780320 16060325888 296993 33554432000 4194304 4196468 140735229057072 140526708234768 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8777] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52780320 16060325888 296993 33554432000 4194304 4196468 140735229057072 140526707181968 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8778] ppid=8769 vsize=15683912 memory=279920735425088 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52780320 16060325888 296993 33554432000 4194304 4196468 140735229057072 140526706129168 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8779] ppid=8769 vsize=15683912 memory=13869 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8769 8772 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 52780321 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525659220848 140526889847426 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8780] ppid=8769 vsize=15683912 memory=23484 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8769 8772 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52780321 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525558556192 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8781] ppid=8769 vsize=15683912 memory=9198851636692493723 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52780322 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525290120560 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8782] ppid=8769 vsize=15683912 memory=1000472 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52780324 16060325888 296993 33554432000 4194304 4196468 140735229057072 140524915611984 140526889854875 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8783] ppid=8769 vsize=15683912 memory=0 CPUtime=3.91 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) S 8769 8772 2271 0 -1 1077944384 6347 0 0 0 390 1 0 0 20 0 19 0 52780324 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525658167664 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8784] ppid=8769 vsize=15683912 memory=279920735451520 CPUtime=3.8 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) S 8769 8772 2271 0 -1 1077944384 2712 0 0 0 380 0 0 0 20 0 19 0 52780324 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525657114864 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8785] ppid=8769 vsize=15683912 memory=139960367754397 CPUtime=1.51 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8769 8772 2271 0 -1 1077944384 4058 0 0 0 149 2 0 0 20 0 19 0 52780324 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525656062064 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8786] ppid=8769 vsize=15683912 memory=8475934422144292502 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52780324 16060325888 296993 33554432000 4194304 4196468 140735229057072 140524417706208 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8787] ppid=8769 vsize=15683912 memory=8761640388318109335 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8787/stat : 8787 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52780324 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525655010480 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8789] ppid=8769 vsize=15683912 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8789/stat : 8789 (java) S 8769 8772 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52780807 16060325888 296993 33554432000 4194304 4196468 140735229057072 140526297044672 140526889860889 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8791] ppid=8769 vsize=15683912 memory=3749592432059638654 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8791/stat : 8791 (java) S 8769 8772 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52780808 16060325888 296993 33554432000 4194304 4196468 140735229057072 140523880824496 140526889858205 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8792] ppid=8769 vsize=15683912 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8792/stat : 8792 (java) S 8769 8772 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52780808 16060325888 296993 33554432000 4194304 4196468 140735229057072 140523478171184 140526889858205 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8793] ppid=8769 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8793/stat : 8793 (java) S 8769 8772 2271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52780811 16060325888 296993 33554432000 4194304 4196468 140735229057072 140524149267616 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
Current children cumulated CPU time: 14.47 s
Current children cumulated vsize: 15714104 KiB
Current children cumulated memory: 1201568 KiB
[startup+5.40088 s]
/proc/loadavg: 2.18 2.06 2.06 5/225 8793
/proc/meminfo: memFree=11829736/32770624 swapFree=67108860/67108860
[pid=8772] ppid=8769 vsize=15683912 memory=1187972 CPUtime=14.18 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8769 8772 2271 0 -1 1077944320 32523 0 0 0 1392 26 0 0 20 0 19 0 52780317 16060325888 296993 33554432000 4194304 4196468 140735229057072 140735229039616 140526889836279 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
/proc/8772/statm: 3920978 296993 3234 1 0 3881834 0
[pid=8788] ppid=8772 vsize=30192 memory=13596 CPUtime=0.49 cores=0,2,4,6
/proc/8788/stat : 8788 (minisat_release) R 8772 8772 2271 0 -1 4202496 4676 0 0 0 49 0 0 0 20 0 1 0 52780807 30916608 3399 33554432000 4194304 4308513 140736741135248 140736740083480 4276321 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 21024768 140736741139121 140736741139630 140736741139630 140736741142469 0
/proc/8788/statm: 7548 3399 347 28 0 3788 0
[pid=8772/tid=8774] ppid=8769 vsize=15683912 memory=0 CPUtime=4.89 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) S 8769 8772 2271 0 -1 1077944384 18012 0 0 0 469 20 0 0 20 0 19 0 52780318 16060325888 296993 33554432000 4194304 4196468 140735229057072 140526861675520 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8775] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52780320 16060325888 296993 33554432000 4194304 4196468 140735229057072 140526894078608 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8776] ppid=8769 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52780320 16060325888 296993 33554432000 4194304 4196468 140735229057072 140526708234768 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8777] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52780320 16060325888 296993 33554432000 4194304 4196468 140735229057072 140526707181968 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8778] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52780320 16060325888 296993 33554432000 4194304 4196468 140735229057072 140526706129168 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8779] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8769 8772 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 52780321 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525659220848 140526889847426 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8780] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8769 8772 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52780321 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525558556192 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8781] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8769 8772 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52780322 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525290120560 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8782] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52780324 16060325888 296993 33554432000 4194304 4196468 140735229057072 140524915611984 140526889854875 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8783] ppid=8769 vsize=15683912 memory=0 CPUtime=3.91 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) S 8769 8772 2271 0 -1 1077944384 6347 0 0 0 390 1 0 0 20 0 19 0 52780324 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525658167664 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8784] ppid=8769 vsize=15683912 memory=0 CPUtime=3.8 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) S 8769 8772 2271 0 -1 1077944384 2712 0 0 0 380 0 0 0 20 0 19 0 52780324 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525657114864 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8785] ppid=8769 vsize=15683912 memory=0 CPUtime=1.51 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8769 8772 2271 0 -1 1077944384 4058 0 0 0 149 2 0 0 20 0 19 0 52780324 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525656062064 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8786] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8769 8772 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52780324 16060325888 296993 33554432000 4194304 4196468 140735229057072 140524417706208 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8787] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8787/stat : 8787 (java) S 8769 8772 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52780324 16060325888 296993 33554432000 4194304 4196468 140735229057072 140525655010480 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8789] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8789/stat : 8789 (java) S 8769 8772 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52780807 16060325888 296993 33554432000 4194304 4196468 140735229057072 140526297044672 140526889860889 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8791] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8791/stat : 8791 (java) S 8769 8772 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52780808 16060325888 296993 33554432000 4194304 4196468 140735229057072 140523880824496 140526889858205 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8792] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8792/stat : 8792 (java) S 8769 8772 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52780808 16060325888 296993 33554432000 4194304 4196468 140735229057072 140523478171184 140526889858205 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8793] ppid=8769 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8793/stat : 8793 (java) S 8769 8772 2271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52780811 16060325888 296993 33554432000 4194304 4196468 140735229057072 140524149267616 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
Current children cumulated CPU time: 14.67 s
Current children cumulated vsize: 15714104 KiB
Current children cumulated memory: 1201568 KiB
[startup+5.50772 s]
/proc/loadavg: 2.18 2.06 2.06 5/225 8793
/proc/meminfo: memFree=11829736/32770624 swapFree=67108860/67108860
[pid=8772] ppid=8769 vsize=15552836 memory=1190156 CPUtime=14.92 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8769 8772 2271 0 -1 1077944320 32580 4683 0 0 1411 26 54 1 20 0 17 0 52780317 15926104064 297539 33554432000 4194304 4196468 140735229057072 140735229039616 140526889836279 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
/proc/8772/statm: 3888209 297539 3234 1 0 3849065 0
[pid=8772/tid=8774] ppid=8769 vsize=15552836 memory=0 CPUtime=5.47 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) R 8769 8772 2271 0 -1 4202560 18032 4683 0 0 472 20 54 1 20 0 17 0 52780318 15926104064 297539 33554432000 4194304 4196468 140735229057072 140526861674928 140526395745134 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8775] ppid=8769 vsize=15552836 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8769 8772 2271 0 -1 1077944384 2 4683 0 0 0 0 54 1 20 0 17 0 52780320 15926104064 297539 33554432000 4194304 4196468 140735229057072 140526894078608 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8776] ppid=8769 vsize=15552836 memory=6008456457344275309 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8769 8772 2271 0 -1 1077944384 1 4683 0 0 0 0 54 1 20 0 17 0 52780320 15926104064 297539 33554432000 4194304 4196468 140735229057072 140526708234768 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8777] ppid=8769 vsize=15552836 memory=6935652554363134804 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8769 8772 2271 0 -1 1077944384 1 4683 0 0 0 0 54 1 20 0 17 0 52780320 15926104064 297539 33554432000 4194304 4196468 140735229057072 140526707181968 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8778] ppid=8769 vsize=15552836 memory=6935651454851507028 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8769 8772 2271 0 -1 1077944384 1 4683 0 0 0 0 54 1 20 0 17 0 52780320 15926104064 297539 33554432000 4194304 4196468 140735229057072 140526706129168 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8779] ppid=8769 vsize=15552836 memory=1187972 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8769 8772 2271 0 -1 1077944384 6 4683 0 0 0 0 54 1 20 0 17 0 52780321 15926104064 297539 33554432000 4194304 4196468 140735229057072 140525659220848 140526889847426 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8780] ppid=8769 vsize=15552836 memory=4136 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8769 8772 2271 0 -1 1077944384 13 4683 0 0 0 0 54 1 20 0 17 0 52780321 15926104064 297539 33554432000 4194304 4196468 140735229057072 140525558556192 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8781] ppid=8769 vsize=15552836 memory=17024 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8769 8772 2271 0 -1 1077944384 1 4683 0 0 0 0 54 1 20 0 17 0 52780322 15926104064 297539 33554432000 4194304 4196468 140735229057072 140525290120560 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8782] ppid=8769 vsize=15552836 memory=2420 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8769 8772 2271 0 -1 1077944384 3 4683 0 0 0 0 54 1 20 0 17 0 52780324 15926104064 297539 33554432000 4194304 4196468 140735229057072 140524915611984 140526889854875 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8783] ppid=8769 vsize=15552836 memory=0 CPUtime=4.52 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) R 8769 8772 2271 0 -1 4202560 6347 4683 0 0 396 1 54 1 20 0 17 0 52780324 15926104064 297539 33554432000 4194304 4196468 140735229057072 140525658155696 140526882125751 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8784] ppid=8769 vsize=15552836 memory=7378138991677893481 CPUtime=4.41 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) R 8769 8772 2271 0 -1 4202560 2712 4683 0 0 386 0 54 1 20 0 17 0 52780324 15926104064 297539 33554432000 4194304 4196468 140735229057072 140525657098208 140526868252594 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8785] ppid=8769 vsize=15552836 memory=6154546475744973153 CPUtime=2.09 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8769 8772 2271 0 -1 1077944384 4073 4683 0 0 152 2 54 1 20 0 17 0 52780324 15926104064 297539 33554432000 4194304 4196468 140735229057072 140525656062064 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8786] ppid=8769 vsize=15552836 memory=6008174982367564653 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8769 8772 2271 0 -1 1077944384 3 4683 0 0 0 0 54 1 20 0 17 0 52780324 15926104064 297539 33554432000 4194304 4196468 140735229057072 140524417706208 140526889846485 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8787] ppid=8769 vsize=15552836 memory=139960515568129 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8787/stat : 8787 (java) S 8769 8772 2271 0 -1 1077944384 2 4683 0 0 0 0 54 1 20 0 17 0 52780324 15926104064 297539 33554432000 4194304 4196468 140735229057072 140525655010480 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8789] ppid=8769 vsize=15552836 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8789/stat : 8789 (java) S 8769 8772 2271 0 -1 1077944384 23 4683 0 0 0 0 54 1 20 0 17 0 52780807 15926104064 297539 33554432000 4194304 4196468 140735229057072 140526297043856 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
[pid=8772/tid=8793] ppid=8769 vsize=15552836 memory=1187972 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8793/stat : 8793 (java) S 8769 8772 2271 0 -1 1077944384 28 4683 0 0 0 0 54 1 20 0 17 0 52780811 15926104064 297539 33554432000 4194304 4196468 140735229057072 140524149269424 140526889847426 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29732864 140735229064179 140735229064457 140735229064457 140735229067215 0
Current children cumulated CPU time: 14.92 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 1190156 KiB
Child status: 0
Real time (s): 5.58071
CPU time (s): 15.1207
CPU user time (s): 14.8237
CPU system time (s): 0.297036
CPU usage (%): 270.946
Max. virtual memory (cumulated for all children) (KiB): 15714668
Max. memory (cumulated for all children) (KiB): 1203976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.8237
system time used= 0.297036
maximum resident set size= 1205876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37569
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4304
involuntary context switches= 66
# summary of solver processes directly reported to runsolver:
# pid: 8772
# total CPU time (s): 15.1207
# total CPU user time (s): 14.8237
# total CPU system time (s): 0.297036
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056486 second user time and 0.107522 second system time
The end