0.67/0.52
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 15:12:04 CEST 2018
0.67/0.55 c PID: 14688
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
2.02/1.16 c (0,0) Parsing End
2.02/1.17 c (0,0) CSP: 0 int (0 aux), 972 bool (0 aux), 154 ctr, max domain size 2
2.02/1.17 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.17 c (0,0) Constraint Name Generate Begin
2.02/1.18 c (0,0) Ctr:HOME/instance-4294077-1532351523.xml,IntVar:LexMatrix:Num:WeightedSum
2.02/1.18 c (0,0) Constraint Name Generate End
2.02/1.18 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.18 c (0,0) CSP to CSPinCNF Begin
2.96/1.46 c (0,0) translated 16 (10%) constraints
2.96/1.47 c (0,0) translated 31 (20%) constraints
2.96/1.47 c (0,0) translated 47 (30%) constraints
2.96/1.48 c (0,0) translated 62 (40%) constraints
2.96/1.49 c (0,0) translated 77 (50%) constraints
2.96/1.50 c (0,0) translated 93 (60%) constraints
3.23/1.50 c (0,0) translated 108 (70%) constraints
4.79/2.01 c (1,1) translated 124 (80%) constraints
6.78/2.70 c (2,2) translated 139 (90%) constraints
7.91/3.16 c (2,2) translated 154 (100%) constraints
20.12/13.09 c (12,12) STATISTICS1:HOME/instance-4294077-1532351523.xml,IntVar:LexMatrix:Num:WeightedSum,10345,19129,9223372036854775807,2,4,108,9223372036854775807:90;256:216;2:3539,2:52693,4:1597;3:7891;2:9373;1:268,108:90;9:216;2:3539;1:43671,5184:90
20.12/13.09 c (12,12) ===========================================
20.12/13.09 c (12,12) Both Encoding selects:
20.12/13.09 c (12,12) Order
20.12/13.09 c (12,12) ===========================================
21.13/13.37 c (12,12) translated 1913 (10%) constraints
21.44/13.47 c (12,12) translated 3826 (20%) constraints
21.74/13.57 c (13,12) translated 5739 (30%) constraints
22.06/13.68 c (13,12) translated 7652 (40%) constraints
22.72/13.82 c (13,13) translated 9565 (50%) constraints
23.03/13.92 c (13,13) translated 11478 (60%) constraints
23.36/14.02 c (13,13) translated 13391 (70%) constraints
23.65/14.11 c (13,13) translated 15304 (80%) constraints
23.65/14.18 c (13,13) translated 17217 (90%) constraints
23.92/14.25 c (13,13) translated 19129 (100%) constraints
23.92/14.26 c (13,13) CSP to CSPinCNF End
23.92/14.26 c (13,13) CSP: 945 int (945 aux), 14233 bool (13261 aux), 28948 ctr, max domain size 37
23.92/14.26 c (13,13) Heap : 2797 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
23.92/14.26 c (13,13) CSPinCNF Propagation Begin
24.83/14.57 c (14,13) 0 values, 3888 unsatisfiable literals, and 3888 valid clauses are removed
24.83/14.57 c (14,13) CSPinCNF Propagation End
24.83/14.58 c (14,13) CSP: 945 int (945 aux), 14233 bool (13261 aux), 25060 ctr, max domain size 37
24.83/14.58 c (14,13) Heap : 129 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.83/14.58 c (14,13) Simplify CSPinCNF Begin
25.43/14.71 c (14,13) Simplify CSPinCNF End
25.43/14.72 c (14,13) CSP: 945 int (945 aux), 17772 bool (16800 aux), 28599 ctr, max domain size 37
25.43/14.72 c (14,13) Heap : 197 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
25.43/14.72 c (14,13) Calculate Precise Domain Begin
25.43/14.78 c (14,13) 0 values are removed by re-calculation
25.43/14.78 c (14,13) Calculate Precise Domain End
25.43/14.79 c (14,13) CSP: 945 int (945 aux), 17772 bool (16800 aux), 28599 ctr, max domain size 37
25.43/14.79 c (14,13) Heap : 197 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
25.43/14.79 c (14,13) CSPinCNF to SatSolver Begin
28.51/16.02 c (15,15) 2860 (10 %) CSP clauses are encoded (27492 SAT variables, 234862 SAT clauses)
28.77/16.28 c (15,15) 5720 (20 %) CSP clauses are encoded (27492 SAT variables, 304222 SAT clauses)
29.08/16.52 c (15,15) 8580 (30 %) CSP clauses are encoded (27492 SAT variables, 373582 SAT clauses)
29.28/16.77 c (16,15) 11440 (40 %) CSP clauses are encoded (27492 SAT variables, 442942 SAT clauses)
29.60/17.02 c (16,16) 14300 (50 %) CSP clauses are encoded (27492 SAT variables, 512302 SAT clauses)
29.79/17.26 c (16,16) 17160 (60 %) CSP clauses are encoded (27492 SAT variables, 581662 SAT clauses)
30.09/17.51 c (16,16) 20020 (70 %) CSP clauses are encoded (27492 SAT variables, 651022 SAT clauses)
30.19/17.64 c (17,16) 22880 (80 %) CSP clauses are encoded (27492 SAT variables, 681102 SAT clauses)
30.19/17.69 c (17,16) 25740 (90 %) CSP clauses are encoded (27492 SAT variables, 685379 SAT clauses)
30.39/17.75 c (17,16) 28599 (100 %) CSP clauses are encoded (27492 SAT variables, 689625 SAT clauses)
30.39/17.75 c (17,16) CSPinCNF to SatSolver End
30.39/17.75 c (17,16) Heap : 2541 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
30.94/17.91 c (17,17) STATISTICS2:HOME/instance-4294077-1532351523.xml,IntVar:LexMatrix:Num:WeightedSum,18717,28599,1369,37,4,10,1369:18;512:1080;361:54;256:216;100:828;2:5251,37:108;19:216;10:3456;2:76803,4:1597;3:4003;2:20688;1:2311,10:1080;9:216;3:900;2:5251;1:54637,
30.94/17.91 c (17,17) SatSolver.solve Begin
30.94/17.91 c (17,17) 27492 bool, 689626 clause
30.94/17.91 c (17,17) 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-4294077-1532351523.xml-scop-14688.cnf HOME/instance-4294077-1532351523.xml-scop-14688.cnf.out
34.56/21.30 c (20,0) c This is COMiniSatPS.
34.56/21.30 c (20,0) c WARNING: for repeatability, setting FPU to use double precision
34.56/21.30 c (20,0) c ============================[ Problem Statistics ]=============================
34.56/21.30 c (20,0) c | |
34.56/21.30 c (20,0) c | Number of variables: 27492 |
34.56/21.30 c (20,0) c | Number of clauses: 689626 |
34.56/21.30 c (20,0) c | Parse time: 0.22 s |
34.56/21.30 c (20,0) c | Eliminated clauses: 0.29 Mb |
34.56/21.30 c (20,0) c Reduced to 16169 vars, 652037 cls (grow=0)
34.56/21.30 c (20,0) c No iterative elimination performed. (vars=16169, c/v ratio=40.3)
34.56/21.30 c (20,0) c | Simplification time: 2.91 s |
34.56/21.30 c (20,0) c | |
34.56/21.30 c (20,0) c ============================[ Search Statistics ]==============================
34.56/21.30 c (20,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
34.56/21.30 c (20,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
34.56/21.30 c (20,0) c ===============================================================================
34.56/21.30 c (20,0) c ===============================================================================
34.56/21.30 c (20,0) c restarts : 6
34.56/21.30 c (20,0) c conflicts : 1075 (323 /sec)
34.56/21.30 c (20,0) c decisions : 7293 (0.00 % random) (2194 /sec)
34.56/21.30 c (20,0) c propagations : 491814 (147981 /sec)
34.56/21.30 c (20,0) c conflict literals : 25097 (28.42 % deleted)
34.56/21.30 c (20,0) c CPU time : 3.3235 s
34.56/21.30 c (20,0)
34.56/21.30 c (20,0) s SATISFIABLE
34.66/21.34 c (20,17) SatSolver.solve End
34.66/21.34 c (20,17) Heap : 2709 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
34.66/21.34 c (20,17) Show results Begin
34.66/21.37 c (20,17) x[0][0] = 0
34.66/21.37 c (20,17) x[0][1] = 0
34.66/21.37 c (20,17) x[0][2] = 0
34.66/21.37 c (20,17) x[0][3] = 0
34.66/21.37 c (20,17) x[0][4] = 0
34.66/21.37 c (20,17) x[0][5] = 0
34.66/21.37 c (20,17) x[0][6] = 0
34.66/21.37 c (20,17) x[0][7] = 0
34.66/21.37 c (20,17) x[0][8] = 0
34.66/21.37 c (20,17) x[0][9] = 0
34.66/21.37 c (20,17) x[0][10] = 0
34.66/21.37 c (20,17) x[0][11] = 0
34.66/21.37 c (20,17) x[0][12] = 0
34.66/21.37 c (20,17) x[0][13] = 0
34.66/21.37 c (20,17) x[0][14] = 0
34.66/21.37 c (20,17) x[0][15] = 0
34.66/21.37 c (20,17) x[0][16] = 0
34.66/21.37 c (20,17) x[0][17] = 0
34.66/21.37 c (20,17) x[0][18] = 0
34.66/21.37 c (20,17) x[0][19] = 0
34.66/21.37 c (20,17) x[0][20] = 0
34.66/21.37 c (20,17) x[0][21] = 0
34.66/21.37 c (20,17) x[0][22] = 0
34.66/21.37 c (20,17) x[0][23] = 0
34.66/21.37 c (20,17) x[0][24] = 0
34.66/21.37 c (20,17) x[0][25] = 0
34.66/21.37 c (20,17) x[0][26] = 0
34.66/21.37 c (20,17) x[0][27] = 0
34.66/21.37 c (20,17) x[0][28] = 0
34.66/21.37 c (20,17) x[0][29] = 0
34.66/21.37 c (20,17) x[0][30] = 0
34.66/21.37 c (20,17) x[0][31] = 0
34.66/21.37 c (20,17) x[0][32] = 0
34.66/21.37 c (20,17) x[0][33] = 0
34.66/21.37 c (20,17) x[0][34] = 0
34.66/21.37 c (20,17) x[0][35] = 0
34.66/21.37 c (20,17) x[0][36] = 0
34.66/21.37 c (20,17) x[0][37] = 0
34.66/21.37 c (20,17) x[0][38] = 0
34.66/21.37 c (20,17) x[0][39] = 0
34.66/21.37 c (20,17) x[0][40] = 0
34.66/21.37 c (20,17) x[0][41] = 0
34.66/21.37 c (20,17) x[0][42] = 0
34.66/21.37 c (20,17) x[0][43] = 0
34.66/21.37 c (20,17) x[0][44] = 0
34.66/21.37 c (20,17) x[0][45] = 0
34.66/21.37 c (20,17) x[0][46] = 0
34.66/21.37 c (20,17) x[0][47] = 0
34.66/21.37 c (20,17) x[0][48] = 0
34.66/21.37 c (20,17) x[0][49] = 0
34.66/21.37 c (20,17) x[0][50] = 0
34.66/21.37 c (20,17) x[0][51] = 0
34.66/21.37 c (20,17) x[0][52] = 0
34.66/21.37 c (20,17) x[0][53] = 0
34.66/21.37 c (20,17) x[0][54] = 0
34.66/21.37 c (20,17) x[0][55] = 0
34.66/21.37 c (20,17) x[0][56] = 0
34.66/21.37 c (20,17) x[0][57] = 0
34.66/21.37 c (20,17) x[0][58] = 0
34.66/21.37 c (20,17) x[0][59] = 0
34.66/21.37 c (20,17) x[0][60] = 0
34.66/21.37 c (20,17) x[0][61] = 0
34.66/21.37 c (20,17) x[0][62] = 0
34.66/21.37 c (20,17) x[0][63] = 0
34.66/21.37 c (20,17) x[0][64] = 0
34.66/21.37 c (20,17) x[0][65] = 0
34.66/21.37 c (20,17) x[0][66] = 0
34.66/21.37 c (20,17) x[0][67] = 0
34.66/21.37 c (20,17) x[0][68] = 0
34.66/21.37 c (20,17) x[0][69] = 0
34.66/21.37 c (20,17) x[0][70] = 0
34.66/21.37 c (20,17) x[0][71] = 0
34.66/21.37 c (20,17) x[0][72] = 1
34.66/21.37 c (20,17) x[0][73] = 1
34.66/21.37 c (20,17) x[0][74] = 1
34.66/21.37 c (20,17) x[0][75] = 1
34.66/21.37 c (20,17) x[0][76] = 1
34.66/21.37 c (20,17) x[0][77] = 1
34.66/21.37 c (20,17) x[0][78] = 1
34.66/21.37 c (20,17) x[0][79] = 1
34.66/21.37 c (20,17) x[0][80] = 1
34.66/21.37 c (20,17) x[0][81] = 1
34.66/21.37 c (20,17) x[0][82] = 1
34.66/21.37 c (20,17) x[0][83] = 1
34.66/21.37 c (20,17) x[0][84] = 1
34.66/21.37 c (20,17) x[0][85] = 1
34.66/21.38 c (20,17) x[0][86] = 1
34.66/21.38 c (20,17) x[0][87] = 1
34.66/21.38 c (20,17) x[0][88] = 1
34.66/21.38 c (20,17) x[0][89] = 1
34.66/21.38 c (20,17) x[0][90] = 1
34.66/21.38 c (20,17) x[0][91] = 1
34.66/21.38 c (20,17) x[0][92] = 1
34.66/21.38 c (20,17) x[0][93] = 1
34.66/21.38 c (20,17) x[0][94] = 1
34.66/21.38 c (20,17) x[0][95] = 1
34.66/21.38 c (20,17) x[0][96] = 1
34.66/21.38 c (20,17) x[0][97] = 1
34.66/21.38 c (20,17) x[0][98] = 1
34.66/21.38 c (20,17) x[0][99] = 1
34.66/21.38 c (20,17) x[0][100] = 1
34.66/21.38 c (20,17) x[0][101] = 1
34.66/21.38 c (20,17) x[0][102] = 1
34.66/21.38 c (20,17) x[0][103] = 1
34.66/21.38 c (20,17) x[0][104] = 1
34.66/21.38 c (20,17) x[0][105] = 1
34.66/21.38 c (20,17) x[0][106] = 1
34.66/21.38 c (20,17) x[0][107] = 1
34.66/21.38 c (20,17) x[1][0] = 0
34.66/21.38 c (20,17) x[1][1] = 0
34.66/21.38 c (20,17) x[1][2] = 0
34.66/21.38 c (20,17) x[1][3] = 0
34.66/21.38 c (20,17) x[1][4] = 0
34.66/21.38 c (20,17) x[1][5] = 0
34.66/21.38 c (20,17) x[1][6] = 0
34.66/21.38 c (20,17) x[1][7] = 0
34.66/21.38 c (20,17) x[1][8] = 0
34.66/21.38 c (20,17) x[1][9] = 0
34.66/21.38 c (20,17) x[1][10] = 0
34.66/21.38 c (20,17) x[1][11] = 0
34.66/21.38 c (20,17) x[1][12] = 0
34.66/21.38 c (20,17) x[1][13] = 0
34.66/21.38 c (20,17) x[1][14] = 0
34.66/21.38 c (20,17) x[1][15] = 0
34.66/21.38 c (20,17) x[1][16] = 0
34.66/21.38 c (20,17) x[1][17] = 0
34.66/21.38 c (20,17) x[1][18] = 0
34.66/21.38 c (20,17) x[1][19] = 0
34.66/21.38 c (20,17) x[1][20] = 0
34.66/21.38 c (20,17) x[1][21] = 0
34.66/21.38 c (20,17) x[1][22] = 0
34.66/21.38 c (20,17) x[1][23] = 0
34.66/21.38 c (20,17) x[1][24] = 0
34.66/21.38 c (20,17) x[1][25] = 0
34.66/21.38 c (20,17) x[1][26] = 0
34.66/21.38 c (20,17) x[1][27] = 0
34.66/21.38 c (20,17) x[1][28] = 0
34.66/21.38 c (20,17) x[1][29] = 0
34.66/21.38 c (20,17) x[1][30] = 0
34.66/21.38 c (20,17) x[1][31] = 0
34.66/21.38 c (20,17) x[1][32] = 0
34.66/21.38 c (20,17) x[1][33] = 0
34.66/21.38 c (20,17) x[1][34] = 0
34.66/21.38 c (20,17) x[1][35] = 0
34.66/21.38 c (20,17) x[1][36] = 0
34.66/21.38 c (20,17) x[1][37] = 0
34.66/21.38 c (20,17) x[1][38] = 0
34.66/21.38 c (20,17) x[1][39] = 0
34.66/21.38 c (20,17) x[1][40] = 0
34.66/21.38 c (20,17) x[1][41] = 0
34.66/21.38 c (20,17) x[1][42] = 0
34.66/21.38 c (20,17) x[1][43] = 0
34.66/21.38 c (20,17) x[1][44] = 0
34.66/21.38 c (20,17) x[1][45] = 1
34.66/21.38 c (20,17) x[1][46] = 1
34.66/21.38 c (20,17) x[1][47] = 1
34.66/21.38 c (20,17) x[1][48] = 1
34.66/21.38 c (20,17) x[1][49] = 1
34.66/21.38 c (20,17) x[1][50] = 1
34.66/21.38 c (20,17) x[1][51] = 1
34.66/21.38 c (20,17) x[1][52] = 1
34.66/21.38 c (20,17) x[1][53] = 1
34.66/21.38 c (20,17) x[1][54] = 1
34.66/21.38 c (20,17) x[1][55] = 1
34.66/21.38 c (20,17) x[1][56] = 1
34.66/21.38 c (20,17) x[1][57] = 1
34.66/21.38 c (20,17) x[1][58] = 1
34.66/21.38 c (20,17) x[1][59] = 1
34.66/21.38 c (20,17) x[1][60] = 1
34.66/21.38 c (20,17) x[1][61] = 1
34.66/21.38 c (20,17) x[1][62] = 1
34.66/21.38 c (20,17) x[1][63] = 1
34.66/21.38 c (20,17) x[1][64] = 1
34.66/21.38 c (20,17) x[1][65] = 1
34.66/21.38 c (20,17) x[1][66] = 1
34.66/21.38 c (20,17) x[1][67] = 1
34.66/21.38 c (20,17) x[1][68] = 1
34.66/21.38 c (20,17) x[1][69] = 1
34.66/21.38 c (20,17) x[1][70] = 1
34.66/21.38 c (20,17) x[1][71] = 1
34.66/21.38 c (20,17) x[1][72] = 0
34.66/21.38 c (20,17) x[1][73] = 0
34.66/21.38 c (20,17) x[1][74] = 0
34.66/21.38 c (20,17) x[1][75] = 0
34.66/21.38 c (20,17) x[1][76] = 0
34.66/21.38 c (20,17) x[1][77] = 0
34.66/21.38 c (20,17) x[1][78] = 0
34.66/21.38 c (20,17) x[1][79] = 0
34.66/21.38 c (20,17) x[1][80] = 0
34.66/21.38 c (20,17) x[1][81] = 0
34.66/21.38 c (20,17) x[1][82] = 0
34.66/21.38 c (20,17) x[1][83] = 0
34.66/21.38 c (20,17) x[1][84] = 0
34.66/21.38 c (20,17) x[1][85] = 0
34.66/21.38 c (20,17) x[1][86] = 0
34.66/21.38 c (20,17) x[1][87] = 0
34.66/21.38 c (20,17) x[1][88] = 0
34.66/21.38 c (20,17) x[1][89] = 0
34.66/21.38 c (20,17) x[1][90] = 0
34.66/21.38 c (20,17) x[1][91] = 0
34.66/21.38 c (20,17) x[1][92] = 0
34.66/21.38 c (20,17) x[1][93] = 0
34.66/21.38 c (20,17) x[1][94] = 0
34.66/21.38 c (20,17) x[1][95] = 0
34.66/21.38 c (20,17) x[1][96] = 0
34.66/21.38 c (20,17) x[1][97] = 0
34.66/21.38 c (20,17) x[1][98] = 0
34.66/21.38 c (20,17) x[1][99] = 1
34.66/21.38 c (20,17) x[1][100] = 1
34.66/21.38 c (20,17) x[1][101] = 1
34.66/21.38 c (20,17) x[1][102] = 1
34.66/21.38 c (20,17) x[1][103] = 1
34.66/21.38 c (20,17) x[1][104] = 1
34.66/21.38 c (20,17) x[1][105] = 1
34.66/21.38 c (20,17) x[1][106] = 1
34.66/21.38 c (20,17) x[1][107] = 1
34.66/21.38 c (20,17) x[2][0] = 0
34.66/21.38 c (20,17) x[2][1] = 0
34.66/21.38 c (20,17) x[2][2] = 0
34.66/21.38 c (20,17) x[2][3] = 0
34.66/21.38 c (20,17) x[2][4] = 0
34.66/21.38 c (20,17) x[2][5] = 0
34.66/21.38 c (20,17) x[2][6] = 0
34.66/21.38 c (20,17) x[2][7] = 0
34.66/21.38 c (20,17) x[2][8] = 0
34.66/21.38 c (20,17) x[2][9] = 0
34.66/21.38 c (20,17) x[2][10] = 0
34.66/21.38 c (20,17) x[2][11] = 0
34.66/21.38 c (20,17) x[2][12] = 0
34.66/21.38 c (20,17) x[2][13] = 0
34.66/21.38 c (20,17) x[2][14] = 0
34.66/21.38 c (20,17) x[2][15] = 0
34.66/21.38 c (20,17) x[2][16] = 0
34.66/21.38 c (20,17) x[2][17] = 0
34.66/21.38 c (20,17) x[2][18] = 0
34.66/21.38 c (20,17) x[2][19] = 0
34.66/21.38 c (20,17) x[2][20] = 0
34.66/21.38 c (20,17) x[2][21] = 0
34.66/21.38 c (20,17) x[2][22] = 0
34.66/21.38 c (20,17) x[2][23] = 0
34.66/21.38 c (20,17) x[2][24] = 0
34.66/21.38 c (20,17) x[2][25] = 0
34.66/21.38 c (20,17) x[2][26] = 0
34.66/21.38 c (20,17) x[2][27] = 1
34.66/21.38 c (20,17) x[2][28] = 1
34.66/21.38 c (20,17) x[2][29] = 1
34.66/21.38 c (20,17) x[2][30] = 1
34.66/21.38 c (20,17) x[2][31] = 1
34.66/21.38 c (20,17) x[2][32] = 1
34.66/21.38 c (20,17) x[2][33] = 1
34.66/21.38 c (20,17) x[2][34] = 1
34.66/21.38 c (20,17) x[2][35] = 1
34.66/21.38 c (20,17) x[2][36] = 1
34.66/21.38 c (20,17) x[2][37] = 1
34.66/21.38 c (20,17) x[2][38] = 1
34.66/21.38 c (20,17) x[2][39] = 1
34.66/21.38 c (20,17) x[2][40] = 1
34.66/21.38 c (20,17) x[2][41] = 1
34.66/21.38 c (20,17) x[2][42] = 1
34.66/21.38 c (20,17) x[2][43] = 1
34.66/21.38 c (20,17) x[2][44] = 1
34.66/21.38 c (20,17) x[2][45] = 0
34.66/21.38 c (20,17) x[2][46] = 0
34.66/21.38 c (20,17) x[2][47] = 0
34.66/21.38 c (20,17) x[2][48] = 0
34.66/21.38 c (20,17) x[2][49] = 0
34.66/21.38 c (20,17) x[2][50] = 0
34.66/21.38 c (20,17) x[2][51] = 0
34.66/21.38 c (20,17) x[2][52] = 0
34.66/21.38 c (20,17) x[2][53] = 0
34.66/21.38 c (20,17) x[2][54] = 0
34.66/21.38 c (20,17) x[2][55] = 0
34.66/21.38 c (20,17) x[2][56] = 0
34.66/21.38 c (20,17) x[2][57] = 0
34.66/21.38 c (20,17) x[2][58] = 0
34.66/21.38 c (20,17) x[2][59] = 0
34.66/21.38 c (20,17) x[2][60] = 0
34.66/21.38 c (20,17) x[2][61] = 0
34.66/21.38 c (20,17) x[2][62] = 0
34.66/21.38 c (20,17) x[2][63] = 1
34.66/21.38 c (20,17) x[2][64] = 1
34.66/21.38 c (20,17) x[2][65] = 1
34.66/21.38 c (20,17) x[2][66] = 1
34.66/21.38 c (20,17) x[2][67] = 1
34.66/21.38 c (20,17) x[2][68] = 1
34.66/21.38 c (20,17) x[2][69] = 1
34.66/21.38 c (20,17) x[2][70] = 1
34.66/21.38 c (20,17) x[2][71] = 1
34.66/21.38 c (20,17) x[2][72] = 0
34.66/21.38 c (20,17) x[2][73] = 0
34.66/21.38 c (20,17) x[2][74] = 0
34.66/21.38 c (20,17) x[2][75] = 0
34.66/21.38 c (20,17) x[2][76] = 0
34.66/21.38 c (20,17) x[2][77] = 0
34.66/21.38 c (20,17) x[2][78] = 0
34.66/21.38 c (20,17) x[2][79] = 0
34.66/21.38 c (20,17) x[2][80] = 0
34.66/21.38 c (20,17) x[2][81] = 0
34.66/21.38 c (20,17) x[2][82] = 0
34.66/21.38 c (20,17) x[2][83] = 0
34.66/21.38 c (20,17) x[2][84] = 0
34.66/21.38 c (20,17) x[2][85] = 0
34.66/21.38 c (20,17) x[2][86] = 0
34.66/21.38 c (20,17) x[2][87] = 0
34.66/21.38 c (20,17) x[2][88] = 0
34.66/21.38 c (20,17) x[2][89] = 0
34.66/21.38 c (20,17) x[2][90] = 1
34.66/21.38 c (20,17) x[2][91] = 1
34.66/21.38 c (20,17) x[2][92] = 1
34.66/21.38 c (20,17) x[2][93] = 1
34.66/21.38 c (20,17) x[2][94] = 1
34.66/21.38 c (20,17) x[2][95] = 1
34.66/21.38 c (20,17) x[2][96] = 1
34.66/21.38 c (20,17) x[2][97] = 1
34.66/21.38 c (20,17) x[2][98] = 1
34.66/21.38 c (20,17) x[2][99] = 0
34.66/21.38 c (20,17) x[2][100] = 0
34.66/21.38 c (20,17) x[2][101] = 0
34.66/21.38 c (20,17) x[2][102] = 0
34.66/21.38 c (20,17) x[2][103] = 0
34.66/21.38 c (20,17) x[2][104] = 0
34.66/21.38 c (20,17) x[2][105] = 0
34.66/21.38 c (20,17) x[2][106] = 0
34.66/21.38 c (20,17) x[2][107] = 0
34.66/21.38 c (20,17) x[3][0] = 0
34.66/21.38 c (20,17) x[3][1] = 0
34.66/21.38 c (20,17) x[3][2] = 0
34.66/21.38 c (20,17) x[3][3] = 0
34.66/21.38 c (20,17) x[3][4] = 0
34.66/21.38 c (20,17) x[3][5] = 0
34.66/21.38 c (20,17) x[3][6] = 0
34.66/21.38 c (20,17) x[3][7] = 0
34.66/21.38 c (20,17) x[3][8] = 0
34.66/21.38 c (20,17) x[3][9] = 0
34.66/21.38 c (20,17) x[3][10] = 0
34.66/21.38 c (20,17) x[3][11] = 0
34.66/21.38 c (20,17) x[3][12] = 0
34.66/21.38 c (20,17) x[3][13] = 0
34.66/21.38 c (20,17) x[3][14] = 0
34.66/21.38 c (20,17) x[3][15] = 0
34.66/21.38 c (20,17) x[3][16] = 0
34.66/21.38 c (20,17) x[3][17] = 0
34.66/21.38 c (20,17) x[3][18] = 1
34.66/21.38 c (20,17) x[3][19] = 1
34.66/21.38 c (20,17) x[3][20] = 1
34.66/21.38 c (20,17) x[3][21] = 1
34.66/21.38 c (20,17) x[3][22] = 1
34.66/21.38 c (20,17) x[3][23] = 1
34.66/21.38 c (20,17) x[3][24] = 1
34.66/21.38 c (20,17) x[3][25] = 1
34.66/21.38 c (20,17) x[3][26] = 1
34.66/21.38 c (20,17) x[3][27] = 0
34.66/21.38 c (20,17) x[3][28] = 0
34.66/21.38 c (20,17) x[3][29] = 0
34.66/21.38 c (20,17) x[3][30] = 0
34.66/21.38 c (20,17) x[3][31] = 0
34.66/21.38 c (20,17) x[3][32] = 0
34.66/21.38 c (20,17) x[3][33] = 0
34.66/21.38 c (20,17) x[3][34] = 0
34.66/21.38 c (20,17) x[3][35] = 0
34.66/21.38 c (20,17) x[3][36] = 1
34.66/21.38 c (20,17) x[3][37] = 1
34.66/21.38 c (20,17) x[3][38] = 1
34.66/21.38 c (20,17) x[3][39] = 1
34.66/21.38 c (20,17) x[3][40] = 1
34.66/21.38 c (20,17) x[3][41] = 1
34.66/21.38 c (20,17) x[3][42] = 1
34.66/21.38 c (20,17) x[3][43] = 1
34.66/21.38 c (20,17) x[3][44] = 1
34.66/21.38 c (20,17) x[3][45] = 0
34.66/21.38 c (20,17) x[3][46] = 0
34.66/21.38 c (20,17) x[3][47] = 0
34.66/21.38 c (20,17) x[3][48] = 0
34.66/21.38 c (20,17) x[3][49] = 0
34.66/21.38 c (20,17) x[3][50] = 0
34.66/21.38 c (20,17) x[3][51] = 0
34.66/21.38 c (20,17) x[3][52] = 0
34.66/21.38 c (20,17) x[3][53] = 0
34.66/21.38 c (20,17) x[3][54] = 1
34.66/21.38 c (20,17) x[3][55] = 1
34.66/21.38 c (20,17) x[3][56] = 1
34.66/21.38 c (20,17) x[3][57] = 1
34.66/21.38 c (20,17) x[3][58] = 1
34.66/21.38 c (20,17) x[3][59] = 1
34.66/21.38 c (20,17) x[3][60] = 1
34.66/21.38 c (20,17) x[3][61] = 1
34.66/21.38 c (20,17) x[3][62] = 1
34.66/21.38 c (20,17) x[3][63] = 0
34.66/21.38 c (20,17) x[3][64] = 0
34.66/21.38 c (20,17) x[3][65] = 0
34.66/21.38 c (20,17) x[3][66] = 0
34.66/21.38 c (20,17) x[3][67] = 0
34.66/21.38 c (20,17) x[3][68] = 0
34.66/21.38 c (20,17) x[3][69] = 0
34.66/21.38 c (20,17) x[3][70] = 0
34.66/21.38 c (20,17) x[3][71] = 0
34.66/21.38 c (20,17) x[3][72] = 0
34.66/21.38 c (20,17) x[3][73] = 0
34.66/21.38 c (20,17) x[3][74] = 0
34.66/21.38 c (20,17) x[3][75] = 0
34.66/21.38 c (20,17) x[3][76] = 0
34.66/21.38 c (20,17) x[3][77] = 0
34.66/21.38 c (20,17) x[3][78] = 0
34.66/21.38 c (20,17) x[3][79] = 0
34.66/21.38 c (20,17) x[3][80] = 0
34.66/21.38 c (20,17) x[3][81] = 1
34.66/21.39 c (20,17) x[3][82] = 1
34.66/21.39 c (20,17) x[3][83] = 1
34.66/21.39 c (20,17) x[3][84] = 1
34.66/21.39 c (20,17) x[3][85] = 1
34.66/21.39 c (20,17) x[3][86] = 1
34.66/21.39 c (20,17) x[3][87] = 1
34.66/21.39 c (20,17) x[3][88] = 1
34.66/21.39 c (20,17) x[3][89] = 1
34.66/21.39 c (20,17) x[3][90] = 0
34.66/21.39 c (20,17) x[3][91] = 0
34.66/21.39 c (20,17) x[3][92] = 0
34.66/21.39 c (20,17) x[3][93] = 0
34.66/21.39 c (20,17) x[3][94] = 0
34.66/21.39 c (20,17) x[3][95] = 0
34.66/21.39 c (20,17) x[3][96] = 0
34.66/21.39 c (20,17) x[3][97] = 0
34.66/21.39 c (20,17) x[3][98] = 0
34.66/21.39 c (20,17) x[3][99] = 0
34.66/21.39 c (20,17) x[3][100] = 0
34.66/21.39 c (20,17) x[3][101] = 0
34.66/21.39 c (20,17) x[3][102] = 0
34.66/21.39 c (20,17) x[3][103] = 0
34.66/21.39 c (20,17) x[3][104] = 0
34.66/21.39 c (20,17) x[3][105] = 0
34.66/21.39 c (20,17) x[3][106] = 0
34.66/21.39 c (20,17) x[3][107] = 0
34.66/21.39 c (20,17) x[4][0] = 0
34.66/21.39 c (20,17) x[4][1] = 0
34.66/21.39 c (20,17) x[4][2] = 0
34.66/21.39 c (20,17) x[4][3] = 0
34.66/21.39 c (20,17) x[4][4] = 0
34.66/21.39 c (20,17) x[4][5] = 0
34.66/21.39 c (20,17) x[4][6] = 0
34.66/21.39 c (20,17) x[4][7] = 0
34.66/21.39 c (20,17) x[4][8] = 1
34.66/21.39 c (20,17) x[4][9] = 1
34.66/21.39 c (20,17) x[4][10] = 1
34.66/21.39 c (20,17) x[4][11] = 1
34.66/21.39 c (20,17) x[4][12] = 1
34.66/21.39 c (20,17) x[4][13] = 1
34.66/21.39 c (20,17) x[4][14] = 1
34.66/21.39 c (20,17) x[4][15] = 1
34.66/21.39 c (20,17) x[4][16] = 1
34.66/21.39 c (20,17) x[4][17] = 1
34.66/21.39 c (20,17) x[4][18] = 0
34.66/21.39 c (20,17) x[4][19] = 1
34.66/21.39 c (20,17) x[4][20] = 1
34.66/21.39 c (20,17) x[4][21] = 1
34.66/21.39 c (20,17) x[4][22] = 1
34.66/21.39 c (20,17) x[4][23] = 1
34.66/21.39 c (20,17) x[4][24] = 1
34.66/21.39 c (20,17) x[4][25] = 1
34.66/21.39 c (20,17) x[4][26] = 1
34.66/21.39 c (20,17) x[4][27] = 0
34.66/21.39 c (20,17) x[4][28] = 0
34.66/21.39 c (20,17) x[4][29] = 0
34.66/21.39 c (20,17) x[4][30] = 1
34.66/21.39 c (20,17) x[4][31] = 1
34.66/21.39 c (20,17) x[4][32] = 1
34.66/21.39 c (20,17) x[4][33] = 1
34.66/21.39 c (20,17) x[4][34] = 1
34.66/21.39 c (20,17) x[4][35] = 1
34.66/21.39 c (20,17) x[4][36] = 0
34.66/21.39 c (20,17) x[4][37] = 0
34.66/21.39 c (20,17) x[4][38] = 0
34.66/21.39 c (20,17) x[4][39] = 0
34.66/21.39 c (20,17) x[4][40] = 0
34.66/21.39 c (20,17) x[4][41] = 0
34.66/21.39 c (20,17) x[4][42] = 0
34.66/21.39 c (20,17) x[4][43] = 0
34.66/21.39 c (20,17) x[4][44] = 0
34.66/21.39 c (20,17) x[4][45] = 0
34.66/21.39 c (20,17) x[4][46] = 0
34.66/21.39 c (20,17) x[4][47] = 0
34.66/21.39 c (20,17) x[4][48] = 0
34.66/21.39 c (20,17) x[4][49] = 0
34.66/21.39 c (20,17) x[4][50] = 0
34.66/21.39 c (20,17) x[4][51] = 0
34.66/21.39 c (20,17) x[4][52] = 1
34.66/21.39 c (20,17) x[4][53] = 1
34.66/21.39 c (20,17) x[4][54] = 0
34.66/21.39 c (20,17) x[4][55] = 0
34.66/21.39 c (20,17) x[4][56] = 0
34.66/21.39 c (20,17) x[4][57] = 0
34.66/21.39 c (20,17) x[4][58] = 0
34.66/21.39 c (20,17) x[4][59] = 0
34.66/21.39 c (20,17) x[4][60] = 0
34.66/21.39 c (20,17) x[4][61] = 0
34.66/21.39 c (20,17) x[4][62] = 0
34.66/21.39 c (20,17) x[4][63] = 0
34.66/21.39 c (20,17) x[4][64] = 0
34.66/21.39 c (20,17) x[4][65] = 0
34.66/21.39 c (20,17) x[4][66] = 0
34.66/21.39 c (20,17) x[4][67] = 0
34.66/21.39 c (20,17) x[4][68] = 0
34.66/21.39 c (20,17) x[4][69] = 0
34.66/21.39 c (20,17) x[4][70] = 0
34.66/21.39 c (20,17) x[4][71] = 1
34.66/21.39 c (20,17) x[4][72] = 0
34.66/21.39 c (20,17) x[4][73] = 0
34.66/21.39 c (20,17) x[4][74] = 0
34.66/21.39 c (20,17) x[4][75] = 0
34.66/21.39 c (20,17) x[4][76] = 0
34.66/21.39 c (20,17) x[4][77] = 0
34.66/21.39 c (20,17) x[4][78] = 0
34.66/21.39 c (20,17) x[4][79] = 0
34.66/21.39 c (20,17) x[4][80] = 0
34.66/21.39 c (20,17) x[4][81] = 0
34.66/21.39 c (20,17) x[4][82] = 0
34.66/21.39 c (20,17) x[4][83] = 0
34.66/21.39 c (20,17) x[4][84] = 0
34.66/21.39 c (20,17) x[4][85] = 0
34.66/21.39 c (20,17) x[4][86] = 0
34.66/21.39 c (20,17) x[4][87] = 0
34.66/21.39 c (20,17) x[4][88] = 0
34.66/21.39 c (20,17) x[4][89] = 1
34.66/21.39 c (20,17) x[4][90] = 0
34.66/21.39 c (20,17) x[4][91] = 0
34.66/21.39 c (20,17) x[4][92] = 0
34.66/21.39 c (20,17) x[4][93] = 0
34.66/21.39 c (20,17) x[4][94] = 0
34.66/21.39 c (20,17) x[4][95] = 0
34.66/21.39 c (20,17) x[4][96] = 0
34.66/21.39 c (20,17) x[4][97] = 1
34.66/21.39 c (20,17) x[4][98] = 1
34.66/21.39 c (20,17) x[4][99] = 0
34.66/21.39 c (20,17) x[4][100] = 0
34.66/21.39 c (20,17) x[4][101] = 0
34.66/21.39 c (20,17) x[4][102] = 1
34.66/21.39 c (20,17) x[4][103] = 1
34.66/21.39 c (20,17) x[4][104] = 1
34.66/21.39 c (20,17) x[4][105] = 1
34.66/21.39 c (20,17) x[4][106] = 1
34.66/21.39 c (20,17) x[4][107] = 1
34.66/21.39 c (20,17) x[5][0] = 0
34.66/21.39 c (20,17) x[5][1] = 0
34.66/21.39 c (20,17) x[5][2] = 1
34.66/21.39 c (20,17) x[5][3] = 1
34.66/21.39 c (20,17) x[5][4] = 1
34.66/21.39 c (20,17) x[5][5] = 1
34.66/21.39 c (20,17) x[5][6] = 1
34.66/21.39 c (20,17) x[5][7] = 1
34.66/21.39 c (20,17) x[5][8] = 0
34.66/21.39 c (20,17) x[5][9] = 0
34.66/21.39 c (20,17) x[5][10] = 0
34.66/21.39 c (20,17) x[5][11] = 0
34.66/21.39 c (20,17) x[5][12] = 0
34.66/21.39 c (20,17) x[5][13] = 0
34.66/21.39 c (20,17) x[5][14] = 0
34.66/21.39 c (20,17) x[5][15] = 0
34.66/21.39 c (20,17) x[5][16] = 0
34.66/21.39 c (20,17) x[5][17] = 0
34.66/21.39 c (20,17) x[5][18] = 1
34.66/21.39 c (20,17) x[5][19] = 0
34.66/21.39 c (20,17) x[5][20] = 0
34.66/21.39 c (20,17) x[5][21] = 0
34.66/21.39 c (20,17) x[5][22] = 0
34.66/21.39 c (20,17) x[5][23] = 1
34.66/21.39 c (20,17) x[5][24] = 1
34.66/21.39 c (20,17) x[5][25] = 1
34.66/21.39 c (20,17) x[5][26] = 1
34.66/21.39 c (20,17) x[5][27] = 1
34.66/21.39 c (20,17) x[5][28] = 1
34.66/21.39 c (20,17) x[5][29] = 1
34.66/21.39 c (20,17) x[5][30] = 0
34.66/21.39 c (20,17) x[5][31] = 1
34.66/21.39 c (20,17) x[5][32] = 1
34.66/21.39 c (20,17) x[5][33] = 1
34.66/21.39 c (20,17) x[5][34] = 1
34.66/21.39 c (20,17) x[5][35] = 1
34.66/21.39 c (20,17) x[5][36] = 0
34.66/21.39 c (20,17) x[5][37] = 0
34.66/21.39 c (20,17) x[5][38] = 0
34.66/21.39 c (20,17) x[5][39] = 0
34.66/21.39 c (20,17) x[5][40] = 0
34.66/21.39 c (20,17) x[5][41] = 0
34.66/21.39 c (20,17) x[5][42] = 0
34.66/21.39 c (20,17) x[5][43] = 0
34.66/21.39 c (20,17) x[5][44] = 0
34.66/21.39 c (20,17) x[5][45] = 0
34.66/21.39 c (20,17) x[5][46] = 0
34.66/21.39 c (20,17) x[5][47] = 0
34.66/21.39 c (20,17) x[5][48] = 1
34.66/21.39 c (20,17) x[5][49] = 1
34.66/21.39 c (20,17) x[5][50] = 1
34.66/21.39 c (20,17) x[5][51] = 1
34.66/21.39 c (20,17) x[5][52] = 0
34.66/21.39 c (20,17) x[5][53] = 0
34.66/21.39 c (20,17) x[5][54] = 0
34.66/21.39 c (20,17) x[5][55] = 0
34.66/21.39 c (20,17) x[5][56] = 0
34.66/21.39 c (20,17) x[5][57] = 0
34.66/21.39 c (20,17) x[5][58] = 0
34.66/21.39 c (20,17) x[5][59] = 1
34.66/21.39 c (20,17) x[5][60] = 1
34.66/21.39 c (20,17) x[5][61] = 1
34.66/21.39 c (20,17) x[5][62] = 1
34.66/21.39 c (20,17) x[5][63] = 0
34.66/21.39 c (20,17) x[5][64] = 0
34.66/21.39 c (20,17) x[5][65] = 0
34.66/21.39 c (20,17) x[5][66] = 0
34.66/21.39 c (20,17) x[5][67] = 0
34.66/21.39 c (20,17) x[5][68] = 0
34.66/21.39 c (20,17) x[5][69] = 0
34.66/21.39 c (20,17) x[5][70] = 0
34.66/21.39 c (20,17) x[5][71] = 0
34.66/21.39 c (20,17) x[5][72] = 0
34.66/21.39 c (20,17) x[5][73] = 0
34.66/21.39 c (20,17) x[5][74] = 1
34.66/21.39 c (20,17) x[5][75] = 1
34.66/21.39 c (20,17) x[5][76] = 1
34.66/21.39 c (20,17) x[5][77] = 1
34.66/21.39 c (20,17) x[5][78] = 1
34.66/21.39 c (20,17) x[5][79] = 1
34.66/21.39 c (20,17) x[5][80] = 1
34.66/21.39 c (20,17) x[5][81] = 0
34.66/21.39 c (20,17) x[5][82] = 0
34.66/21.39 c (20,17) x[5][83] = 0
34.66/21.39 c (20,17) x[5][84] = 0
34.66/21.39 c (20,17) x[5][85] = 0
34.66/21.39 c (20,17) x[5][86] = 0
34.66/21.39 c (20,17) x[5][87] = 0
34.66/21.39 c (20,17) x[5][88] = 0
34.66/21.39 c (20,17) x[5][89] = 0
34.66/21.39 c (20,17) x[5][90] = 0
34.66/21.39 c (20,17) x[5][91] = 0
34.66/21.39 c (20,17) x[5][92] = 0
34.66/21.39 c (20,17) x[5][93] = 0
34.66/21.39 c (20,17) x[5][94] = 0
34.66/21.39 c (20,17) x[5][95] = 0
34.66/21.39 c (20,17) x[5][96] = 1
34.66/21.39 c (20,17) x[5][97] = 0
34.66/21.39 c (20,17) x[5][98] = 0
34.66/21.39 c (20,17) x[5][99] = 0
34.66/21.39 c (20,17) x[5][100] = 0
34.66/21.39 c (20,17) x[5][101] = 1
34.66/21.39 c (20,17) x[5][102] = 0
34.66/21.39 c (20,17) x[5][103] = 0
34.66/21.39 c (20,17) x[5][104] = 0
34.66/21.39 c (20,17) x[5][105] = 0
34.66/21.39 c (20,17) x[5][106] = 0
34.66/21.39 c (20,17) x[5][107] = 0
34.66/21.39 c (20,17) x[6][0] = 1
34.66/21.39 c (20,17) x[6][1] = 1
34.66/21.39 c (20,17) x[6][2] = 0
34.66/21.39 c (20,17) x[6][3] = 0
34.66/21.39 c (20,17) x[6][4] = 0
34.66/21.39 c (20,17) x[6][5] = 0
34.66/21.39 c (20,17) x[6][6] = 1
34.66/21.39 c (20,17) x[6][7] = 1
34.66/21.39 c (20,17) x[6][8] = 0
34.66/21.39 c (20,17) x[6][9] = 1
34.66/21.39 c (20,17) x[6][10] = 1
34.66/21.39 c (20,17) x[6][11] = 1
34.66/21.39 c (20,17) x[6][12] = 1
34.66/21.39 c (20,17) x[6][13] = 1
34.66/21.39 c (20,17) x[6][14] = 1
34.66/21.39 c (20,17) x[6][15] = 1
34.66/21.39 c (20,17) x[6][16] = 1
34.66/21.39 c (20,17) x[6][17] = 1
34.66/21.39 c (20,17) x[6][18] = 0
34.66/21.39 c (20,17) x[6][19] = 0
34.66/21.39 c (20,17) x[6][20] = 0
34.66/21.39 c (20,17) x[6][21] = 0
34.66/21.39 c (20,17) x[6][22] = 0
34.66/21.39 c (20,17) x[6][23] = 0
34.66/21.39 c (20,17) x[6][24] = 0
34.66/21.39 c (20,17) x[6][25] = 0
34.66/21.39 c (20,17) x[6][26] = 0
34.66/21.39 c (20,17) x[6][27] = 0
34.66/21.39 c (20,17) x[6][28] = 0
34.66/21.39 c (20,17) x[6][29] = 0
34.66/21.39 c (20,17) x[6][30] = 0
34.66/21.39 c (20,17) x[6][31] = 0
34.66/21.39 c (20,17) x[6][32] = 0
34.66/21.39 c (20,17) x[6][33] = 0
34.66/21.39 c (20,17) x[6][34] = 0
34.66/21.39 c (20,17) x[6][35] = 0
34.66/21.39 c (20,17) x[6][36] = 0
34.66/21.39 c (20,17) x[6][37] = 0
34.66/21.39 c (20,17) x[6][38] = 0
34.66/21.39 c (20,17) x[6][39] = 0
34.66/21.39 c (20,17) x[6][40] = 1
34.66/21.39 c (20,17) x[6][41] = 1
34.66/21.39 c (20,17) x[6][42] = 1
34.66/21.39 c (20,17) x[6][43] = 1
34.66/21.39 c (20,17) x[6][44] = 1
34.66/21.39 c (20,17) x[6][45] = 1
34.66/21.39 c (20,17) x[6][46] = 1
34.66/21.39 c (20,17) x[6][47] = 1
34.66/21.39 c (20,17) x[6][48] = 1
34.66/21.39 c (20,17) x[6][49] = 1
34.66/21.39 c (20,17) x[6][50] = 1
34.66/21.39 c (20,17) x[6][51] = 1
34.66/21.39 c (20,17) x[6][52] = 0
34.66/21.39 c (20,17) x[6][53] = 0
34.66/21.39 c (20,17) x[6][54] = 0
34.66/21.39 c (20,17) x[6][55] = 0
34.66/21.39 c (20,17) x[6][56] = 0
34.66/21.39 c (20,17) x[6][57] = 1
34.66/21.39 c (20,17) x[6][58] = 1
34.66/21.39 c (20,17) x[6][59] = 0
34.66/21.39 c (20,17) x[6][60] = 0
34.66/21.39 c (20,17) x[6][61] = 0
34.66/21.39 c (20,17) x[6][62] = 0
34.66/21.39 c (20,17) x[6][63] = 0
34.66/21.39 c (20,17) x[6][64] = 0
34.66/21.39 c (20,17) x[6][65] = 0
34.66/21.39 c (20,17) x[6][66] = 0
34.66/21.39 c (20,17) x[6][67] = 0
34.66/21.39 c (20,17) x[6][68] = 0
34.66/21.39 c (20,17) x[6][69] = 0
34.66/21.39 c (20,17) x[6][70] = 0
34.66/21.39 c (20,17) x[6][71] = 0
34.66/21.39 c (20,17) x[6][72] = 0
34.66/21.39 c (20,17) x[6][73] = 0
34.66/21.39 c (20,17) x[6][74] = 0
34.66/21.39 c (20,17) x[6][75] = 0
34.66/21.39 c (20,17) x[6][76] = 0
34.66/21.39 c (20,17) x[6][77] = 0
34.66/21.39 c (20,17) x[6][78] = 1
34.66/21.39 c (20,17) x[6][79] = 1
34.66/21.39 c (20,17) x[6][80] = 1
34.66/21.39 c (20,17) x[6][81] = 0
34.66/21.39 c (20,17) x[6][82] = 0
34.66/21.39 c (20,17) x[6][83] = 0
34.66/21.39 c (20,17) x[6][84] = 0
34.66/21.39 c (20,17) x[6][85] = 0
34.66/21.39 c (20,17) x[6][86] = 0
34.66/21.39 c (20,17) x[6][87] = 1
34.66/21.39 c (20,17) x[6][88] = 1
34.66/21.39 c (20,17) x[6][89] = 0
34.66/21.39 c (20,17) x[6][90] = 0
34.66/21.39 c (20,17) x[6][91] = 0
34.66/21.39 c (20,17) x[6][92] = 1
34.66/21.39 c (20,17) x[6][93] = 1
34.66/21.39 c (20,17) x[6][94] = 1
34.66/21.39 c (20,17) x[6][95] = 1
34.66/21.39 c (20,17) x[6][96] = 0
34.66/21.39 c (20,17) x[6][97] = 0
34.66/21.39 c (20,17) x[6][98] = 0
34.66/21.39 c (20,17) x[6][99] = 0
34.66/21.39 c (20,17) x[6][100] = 0
34.66/21.39 c (20,17) x[6][101] = 0
34.66/21.39 c (20,17) x[6][102] = 0
34.66/21.39 c (20,17) x[6][103] = 0
34.66/21.39 c (20,17) x[6][104] = 0
34.66/21.39 c (20,17) x[6][105] = 0
34.66/21.39 c (20,17) x[6][106] = 0
34.66/21.39 c (20,17) x[6][107] = 0
34.66/21.39 c (20,17) x[7][0] = 1
34.66/21.39 c (20,17) x[7][1] = 1
34.66/21.39 c (20,17) x[7][2] = 1
34.66/21.39 c (20,17) x[7][3] = 1
34.66/21.39 c (20,17) x[7][4] = 1
34.66/21.39 c (20,17) x[7][5] = 1
34.66/21.39 c (20,17) x[7][6] = 0
34.66/21.39 c (20,17) x[7][7] = 1
34.66/21.39 c (20,17) x[7][8] = 1
34.66/21.39 c (20,17) x[7][9] = 0
34.66/21.39 c (20,17) x[7][10] = 0
34.66/21.39 c (20,17) x[7][11] = 0
34.66/21.39 c (20,17) x[7][12] = 1
34.66/21.39 c (20,17) x[7][13] = 1
34.66/21.39 c (20,17) x[7][14] = 1
34.66/21.39 c (20,17) x[7][15] = 1
34.66/21.39 c (20,17) x[7][16] = 1
34.66/21.39 c (20,17) x[7][17] = 1
34.66/21.39 c (20,17) x[7][18] = 1
34.66/21.39 c (20,17) x[7][19] = 0
34.66/21.39 c (20,17) x[7][20] = 0
34.66/21.39 c (20,17) x[7][21] = 0
34.66/21.39 c (20,17) x[7][22] = 0
34.66/21.39 c (20,17) x[7][23] = 0
34.66/21.39 c (20,17) x[7][24] = 0
34.66/21.39 c (20,17) x[7][25] = 0
34.66/21.39 c (20,17) x[7][26] = 0
34.66/21.39 c (20,17) x[7][27] = 1
34.66/21.39 c (20,17) x[7][28] = 1
34.66/21.39 c (20,17) x[7][29] = 1
34.66/21.39 c (20,17) x[7][30] = 0
34.66/21.39 c (20,17) x[7][31] = 0
34.66/21.39 c (20,17) x[7][32] = 0
34.66/21.39 c (20,17) x[7][33] = 0
34.66/21.39 c (20,17) x[7][34] = 0
34.66/21.39 c (20,17) x[7][35] = 0
34.66/21.39 c (20,17) x[7][36] = 0
34.66/21.39 c (20,17) x[7][37] = 0
34.66/21.39 c (20,17) x[7][38] = 0
34.66/21.39 c (20,17) x[7][39] = 1
34.66/21.39 c (20,17) x[7][40] = 0
34.66/21.39 c (20,17) x[7][41] = 0
34.66/21.39 c (20,17) x[7][42] = 0
34.66/21.39 c (20,17) x[7][43] = 0
34.66/21.39 c (20,17) x[7][44] = 0
34.66/21.39 c (20,17) x[7][45] = 0
34.66/21.39 c (20,17) x[7][46] = 0
34.66/21.39 c (20,17) x[7][47] = 0
34.66/21.39 c (20,17) x[7][48] = 0
34.66/21.39 c (20,17) x[7][49] = 0
34.66/21.39 c (20,17) x[7][50] = 0
34.66/21.39 c (20,17) x[7][51] = 0
34.66/21.39 c (20,17) x[7][52] = 1
34.66/21.39 c (20,17) x[7][53] = 1
34.66/21.39 c (20,17) x[7][54] = 0
34.66/21.39 c (20,17) x[7][55] = 0
34.66/21.39 c (20,17) x[7][56] = 1
34.66/21.39 c (20,17) x[7][57] = 0
34.66/21.39 c (20,17) x[7][58] = 0
34.66/21.39 c (20,17) x[7][59] = 0
34.66/21.39 c (20,17) x[7][60] = 0
34.66/21.39 c (20,17) x[7][61] = 0
34.66/21.39 c (20,17) x[7][62] = 0
34.66/21.39 c (20,17) x[7][63] = 0
34.66/21.39 c (20,17) x[7][64] = 0
34.66/21.39 c (20,17) x[7][65] = 0
34.66/21.39 c (20,17) x[7][66] = 1
34.66/21.39 c (20,17) x[7][67] = 1
34.66/21.39 c (20,17) x[7][68] = 1
34.66/21.39 c (20,17) x[7][69] = 1
34.66/21.39 c (20,17) x[7][70] = 1
34.66/21.39 c (20,17) x[7][71] = 0
34.66/21.39 c (20,17) x[7][72] = 1
34.66/21.39 c (20,17) x[7][73] = 1
34.66/21.39 c (20,17) x[7][74] = 0
34.66/21.39 c (20,17) x[7][75] = 0
34.66/21.39 c (20,17) x[7][76] = 0
34.66/21.39 c (20,17) x[7][77] = 0
34.66/21.39 c (20,17) x[7][78] = 0
34.66/21.39 c (20,17) x[7][79] = 0
34.66/21.39 c (20,17) x[7][80] = 0
34.66/21.39 c (20,17) x[7][81] = 1
34.66/21.39 c (20,17) x[7][82] = 1
34.66/21.39 c (20,17) x[7][83] = 1
34.66/21.39 c (20,17) x[7][84] = 1
34.66/21.39 c (20,17) x[7][85] = 1
34.66/21.39 c (20,17) x[7][86] = 1
34.66/21.39 c (20,17) x[7][87] = 0
34.66/21.39 c (20,17) x[7][88] = 0
34.66/21.39 c (20,17) x[7][89] = 0
34.66/21.39 c (20,17) x[7][90] = 0
34.66/21.39 c (20,17) x[7][91] = 0
34.66/21.39 c (20,17) x[7][92] = 0
34.66/21.39 c (20,17) x[7][93] = 0
34.66/21.39 c (20,17) x[7][94] = 0
34.66/21.39 c (20,17) x[7][95] = 0
34.66/21.39 c (20,17) x[7][96] = 0
34.66/21.39 c (20,17) x[7][97] = 0
34.66/21.39 c (20,17) x[7][98] = 0
34.66/21.39 c (20,17) x[7][99] = 0
34.66/21.39 c (20,17) x[7][100] = 1
34.66/21.39 c (20,17) x[7][101] = 0
34.66/21.39 c (20,17) x[7][102] = 0
34.66/21.39 c (20,17) x[7][103] = 0
34.66/21.39 c (20,17) x[7][104] = 0
34.66/21.39 c (20,17) x[7][105] = 0
34.66/21.39 c (20,17) x[7][106] = 0
34.66/21.39 c (20,17) x[7][107] = 0
34.66/21.39 c (20,17) x[8][0] = 1
34.66/21.39 c (20,17) x[8][1] = 1
34.66/21.39 c (20,17) x[8][2] = 1
34.66/21.39 c (20,17) x[8][3] = 1
34.66/21.39 c (20,17) x[8][4] = 1
34.66/21.39 c (20,17) x[8][5] = 1
34.66/21.39 c (20,17) x[8][6] = 1
34.66/21.39 c (20,17) x[8][7] = 0
34.66/21.39 c (20,17) x[8][8] = 1
34.66/21.39 c (20,17) x[8][9] = 1
34.66/21.39 c (20,17) x[8][10] = 1
34.66/21.39 c (20,17) x[8][11] = 1
34.66/21.39 c (20,17) x[8][12] = 0
34.66/21.39 c (20,17) x[8][13] = 0
34.66/21.39 c (20,17) x[8][14] = 0
34.66/21.39 c (20,17) x[8][15] = 0
34.66/21.39 c (20,17) x[8][16] = 0
34.66/21.39 c (20,17) x[8][17] = 0
34.66/21.39 c (20,17) x[8][18] = 0
34.66/21.39 c (20,17) x[8][19] = 1
34.66/21.39 c (20,17) x[8][20] = 1
34.66/21.39 c (20,17) x[8][21] = 1
34.66/21.39 c (20,17) x[8][22] = 1
34.66/21.39 c (20,17) x[8][23] = 0
34.66/21.39 c (20,17) x[8][24] = 0
34.66/21.39 c (20,17) x[8][25] = 0
34.66/21.39 c (20,17) x[8][26] = 0
34.66/21.39 c (20,17) x[8][27] = 0
34.66/21.39 c (20,17) x[8][28] = 0
34.66/21.39 c (20,17) x[8][29] = 0
34.66/21.39 c (20,17) x[8][30] = 1
34.66/21.39 c (20,17) x[8][31] = 0
34.66/21.39 c (20,17) x[8][32] = 0
34.66/21.39 c (20,17) x[8][33] = 0
34.66/21.39 c (20,17) x[8][34] = 0
34.66/21.39 c (20,17) x[8][35] = 0
34.66/21.39 c (20,17) x[8][36] = 1
34.66/21.39 c (20,17) x[8][37] = 1
34.66/21.39 c (20,17) x[8][38] = 1
34.66/21.39 c (20,17) x[8][39] = 0
34.66/21.39 c (20,17) x[8][40] = 0
34.66/21.39 c (20,17) x[8][41] = 0
34.66/21.39 c (20,17) x[8][42] = 0
34.66/21.39 c (20,17) x[8][43] = 0
34.66/21.39 c (20,17) x[8][44] = 0
34.66/21.39 c (20,17) x[8][45] = 1
34.66/21.39 c (20,17) x[8][46] = 1
34.66/21.39 c (20,17) x[8][47] = 1
34.66/21.39 c (20,17) x[8][48] = 0
34.66/21.39 c (20,17) x[8][49] = 0
34.66/21.39 c (20,17) x[8][50] = 0
34.66/21.39 c (20,17) x[8][51] = 0
34.66/21.39 c (20,17) x[8][52] = 0
34.66/21.39 c (20,17) x[8][53] = 0
34.66/21.39 c (20,17) x[8][54] = 1
34.66/21.39 c (20,17) x[8][55] = 1
34.66/21.39 c (20,17) x[8][56] = 0
34.66/21.39 c (20,17) x[8][57] = 0
34.66/21.39 c (20,17) x[8][58] = 0
34.66/21.39 c (20,17) x[8][59] = 0
34.66/21.39 c (20,17) x[8][60] = 0
34.66/21.39 c (20,17) x[8][61] = 0
34.66/21.39 c (20,17) x[8][62] = 0
34.66/21.39 c (20,17) x[8][63] = 1
34.66/21.39 c (20,17) x[8][64] = 1
34.66/21.39 c (20,17) x[8][65] = 1
34.66/21.39 c (20,17) x[8][66] = 0
34.66/21.39 c (20,17) x[8][67] = 0
34.66/21.39 c (20,17) x[8][68] = 0
34.66/21.39 c (20,17) x[8][69] = 0
34.66/21.39 c (20,17) x[8][70] = 0
34.66/21.39 c (20,17) x[8][71] = 0
34.66/21.39 c (20,17) x[8][72] = 1
34.66/21.39 c (20,17) x[8][73] = 1
34.66/21.39 c (20,17) x[8][74] = 1
34.66/21.39 c (20,17) x[8][75] = 1
34.66/21.39 c (20,17) x[8][76] = 1
34.66/21.39 c (20,17) x[8][77] = 1
34.66/21.39 c (20,17) x[8][78] = 0
34.66/21.39 c (20,17) x[8][79] = 0
34.66/21.39 c (20,17) x[8][80] = 0
34.66/21.39 c (20,17) x[8][81] = 0
34.66/21.39 c (20,17) x[8][82] = 0
34.66/21.39 c (20,17) x[8][83] = 0
34.66/21.39 c (20,17) x[8][84] = 0
34.66/21.39 c (20,17) x[8][85] = 0
34.66/21.39 c (20,17) x[8][86] = 0
34.66/21.39 c (20,17) x[8][87] = 0
34.66/21.39 c (20,17) x[8][88] = 0
34.66/21.39 c (20,17) x[8][89] = 0
34.66/21.39 c (20,17) x[8][90] = 1
34.66/21.39 c (20,17) x[8][91] = 1
34.66/21.39 c (20,17) x[8][92] = 0
34.66/21.39 c (20,17) x[8][93] = 0
34.66/21.39 c (20,17) x[8][94] = 0
34.66/21.39 c (20,17) x[8][95] = 0
34.66/21.39 c (20,17) x[8][96] = 0
34.66/21.39 c (20,17) x[8][97] = 0
34.66/21.39 c (20,17) x[8][98] = 0
34.66/21.39 c (20,17) x[8][99] = 1
34.66/21.39 c (20,17) x[8][100] = 0
34.66/21.39 c (20,17) x[8][101] = 0
34.66/21.39 c (20,17) x[8][102] = 0
34.66/21.39 c (20,17) x[8][103] = 0
34.66/21.39 c (20,17) x[8][104] = 0
34.66/21.39 c (20,17) x[8][105] = 0
34.66/21.39 c (20,17) x[8][106] = 0
34.66/21.39 c (20,17) x[8][107] = 0
34.66/21.39 s SATISFIABLE
34.66/21.39 v <instantiation>
34.66/21.39 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107]</list>
34.66/21.39 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0</values>
34.66/21.39 v </instantiation>
34.66/21.39 c (20,17) Show results End
34.66/21.39 c (20,17) Heap : 2709 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
34.66/21.39 c (20,17) 0,0,13,14,14,14,17,20,20,STOP-AFTER(ALL)
34.66/21.39 c END-Prog: Mon Jul 23 15:12:25 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 (5809 MiB free)
memory of node 1: 16384 MiB (10197 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294077-1532351523/watcher-4294077-1532351523 -o /tmp/evaluation-result-4294077-1532351523/solver-4294077-1532351523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294077-1532351523.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=14688, runsolver pid=14685
[startup+0.100095 s]*
/proc/loadavg: 2.01 2.07 2.07 3/221 14703
/proc/meminfo: memFree=16329128/32770624 swapFree=67108860/67108860
[pid=14688] ppid=14685 vsize=15011656 memory=73624 CPUtime=0.12 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14685 14688 8919 0 -1 1077944320 6049 0 0 0 10 2 0 0 20 0 15 0 52715499 15371935744 18406 33554432000 4194304 4196468 140733247816608 140733247799152 139713098608375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
/proc/14688/statm: 3752914 18406 2780 1 0 3715374 0
[pid=14688/tid=14690] ppid=14685 vsize=15011656 memory=-6799202250962287440 CPUtime=0.09 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) R 14685 14688 8919 0 -1 4202560 4138 0 0 0 8 1 0 0 20 0 15 0 52715499 15371935744 18406 33554432000 4194304 4196468 140733247816608 139713070420360 139713078884256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14691] ppid=14685 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715501 15371935744 18406 33554432000 4194304 4196468 140733247816608 139713102851216 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14692] ppid=14685 vsize=15011656 memory=140093927028352 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715501 15371935744 18406 33554432000 4194304 4196468 140733247816608 139712878554128 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14693] ppid=14685 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715501 15371935744 18406 33554432000 4194304 4196468 140733247816608 139712877501328 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14694] ppid=14685 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715501 15371935744 18406 33554432000 4194304 4196468 140733247816608 139712876448528 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14695] ppid=14685 vsize=15011656 memory=140093927028352 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715502 15371935744 18406 33554432000 4194304 4196468 140733247816608 139712136153456 139713098619522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14696] ppid=14685 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14685 14688 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52715503 15371935744 18406 33554432000 4194304 4196468 140733247816608 139711662253088 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14697] ppid=14685 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715503 15371935744 18406 33554432000 4194304 4196468 140733247816608 139711393817456 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14698] ppid=14685 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 18406 33554432000 4194304 4196468 140733247816608 139711019308880 139713098626971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14699] ppid=14685 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) S 14685 14688 8919 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 18406 33554432000 4194304 4196468 140733247816608 139712135101296 139713098619522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14700] ppid=14685 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 18406 33554432000 4194304 4196468 140733247816608 139712134048496 139713098619522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14701] ppid=14685 vsize=15011656 memory=140093927028352 CPUtime=0.01 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14685 14688 8919 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 52715506 15371935744 18406 33554432000 4194304 4196468 140733247816608 139712064907888 139713098619522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14702] ppid=14685 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 18406 33554432000 4194304 4196468 140733247816608 139710521404128 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14703] ppid=14685 vsize=15011656 memory=140093927028352 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14703/stat : 14703 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 18406 33554432000 4194304 4196468 140733247816608 139712063855280 139713098619522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73624 KiB
[startup+0.210396 s]*
/proc/loadavg: 2.01 2.07 2.07 3/221 14703
/proc/meminfo: memFree=16315920/32770624 swapFree=67108860/67108860
[pid=14688] ppid=14685 vsize=15011656 memory=86728 CPUtime=0.25 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14685 14688 8919 0 -1 1077944320 9584 0 0 0 23 2 0 0 20 0 15 0 52715499 15371935744 21682 33554432000 4194304 4196468 140733247816608 140733247799152 139713098608375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
/proc/14688/statm: 3752914 21682 2885 1 0 3715374 0
[pid=14688/tid=14690] ppid=14685 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) R 14685 14688 8919 0 -1 4202560 7492 0 0 0 18 2 0 0 20 0 15 0 52715499 15371935744 21682 33554432000 4194304 4196468 140733247816608 139713070399040 139713098620310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14691] ppid=14685 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715501 15371935744 21682 33554432000 4194304 4196468 140733247816608 139713102851216 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14692] ppid=14685 vsize=15011656 memory=140093927339000 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715501 15371935744 21682 33554432000 4194304 4196468 140733247816608 139712878554128 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14693] ppid=14685 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715501 15371935744 21682 33554432000 4194304 4196468 140733247816608 139712877501328 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14694] ppid=14685 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715501 15371935744 21682 33554432000 4194304 4196468 140733247816608 139712876448528 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14695] ppid=14685 vsize=15011656 memory=140093927028352 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715502 15371935744 21682 33554432000 4194304 4196468 140733247816608 139712136153456 139713098619522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14696] ppid=14685 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14685 14688 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52715503 15371935744 21682 33554432000 4194304 4196468 140733247816608 139711662253088 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14697] ppid=14685 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715503 15371935744 21682 33554432000 4194304 4196468 140733247816608 139711393817456 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14698] ppid=14685 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 21682 33554432000 4194304 4196468 140733247816608 139711019308880 139713098626971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14699] ppid=14685 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) S 14685 14688 8919 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 21682 33554432000 4194304 4196468 140733247816608 139712135101296 139713098619522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14700] ppid=14685 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) S 14685 14688 8919 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 21682 33554432000 4194304 4196468 140733247816608 139712134048496 139713098619522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14701] ppid=14685 vsize=15011656 memory=140093927028352 CPUtime=0.03 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) R 14685 14688 8919 0 -1 4202560 294 0 0 0 3 0 0 0 20 0 15 0 52715506 15371935744 21682 33554432000 4194304 4196468 140733247816608 139712064907888 139713090845502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14702] ppid=14685 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 21682 33554432000 4194304 4196468 140733247816608 139710521404128 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14703] ppid=14685 vsize=15011656 memory=140093927028352 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14703/stat : 14703 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 21682 33554432000 4194304 4196468 140733247816608 139712063855280 139713098619522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86728 KiB
[startup+0.310375 s]*
/proc/loadavg: 2.01 2.07 2.07 3/221 14703
/proc/meminfo: memFree=16312500/32770624 swapFree=67108860/67108860
[pid=14688] ppid=14685 vsize=15011656 memory=90200 CPUtime=0.43 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14685 14688 8919 0 -1 1077944320 10110 0 0 0 40 3 0 0 20 0 15 0 52715499 15371935744 22550 33554432000 4194304 4196468 140733247816608 140733247799152 139713098608375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
/proc/14688/statm: 3752914 22550 2992 1 0 3715374 0
[pid=14688/tid=14690] ppid=14685 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) R 14685 14688 8919 0 -1 4202560 7858 0 0 0 27 2 0 0 20 0 15 0 52715499 15371935744 22550 33554432000 4194304 4196468 140733247816608 139713070412528 139713082688862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14691] ppid=14685 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715501 15371935744 22550 33554432000 4194304 4196468 140733247816608 139713102851216 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14692] ppid=14685 vsize=15011656 memory=140093927338926 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715501 15371935744 22550 33554432000 4194304 4196468 140733247816608 139712878554128 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14693] ppid=14685 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715501 15371935744 22550 33554432000 4194304 4196468 140733247816608 139712877501328 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14694] ppid=14685 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715501 15371935744 22550 33554432000 4194304 4196468 140733247816608 139712876448528 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14695] ppid=14685 vsize=15011656 memory=140093927028352 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715502 15371935744 22550 33554432000 4194304 4196468 140733247816608 139712136153456 139713098619522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14696] ppid=14685 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14685 14688 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52715503 15371935744 22550 33554432000 4194304 4196468 140733247816608 139711662253088 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14697] ppid=14685 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715503 15371935744 22550 33554432000 4194304 4196468 140733247816608 139711393817456 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14698] ppid=14685 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 22550 33554432000 4194304 4196468 140733247816608 139711019308880 139713098626971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14699] ppid=14685 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) R 14685 14688 8919 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 52715506 15371935744 22550 33554432000 4194304 4196468 140733247816608 139712135101296 139713076355905 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14700] ppid=14685 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) S 14685 14688 8919 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 52715506 15371935744 22550 33554432000 4194304 4196468 140733247816608 139712134048496 139713098619522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14701] ppid=14685 vsize=15011656 memory=140093927028352 CPUtime=0.07 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14685 14688 8919 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 15 0 52715506 15371935744 22550 33554432000 4194304 4196468 140733247816608 139712064907888 139713098619522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14702] ppid=14685 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 22550 33554432000 4194304 4196468 140733247816608 139710521404128 139713098618581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14703] ppid=14685 vsize=15011656 memory=140093927028352 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14703/stat : 14703 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715506 15371935744 22550 33554432000 4194304 4196468 140733247816608 139712063855280 139713098619522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90200 KiB
[startup+0.706496 s]
/proc/loadavg: 2.09 2.09 2.08 3/221 14703
/proc/meminfo: memFree=16288316/32770624 swapFree=67108860/67108860
[pid=14688] ppid=14685 vsize=15020052 memory=129784 CPUtime=1.03 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14685 14688 8919 0 -1 1077944320 17196 0 0 0 97 6 0 0 20 0 15 0 52715499 15380533248 32446 33554432000 4194304 4196468 140733247816608 140733247799152 139713098608375 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
/proc/14688/statm: 3755013 32446 3166 1 0 3716398 0
[pid=14688/tid=14690] ppid=14685 vsize=15020052 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) R 14685 14688 8919 0 -1 4202560 14478 0 0 0 63 4 0 0 20 0 15 0 52715499 15380533248 32446 33554432000 4194304 4196468 140733247816608 139713070429792 139713098630301 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14691] ppid=14685 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715501 15380533248 32446 33554432000 4194304 4196468 140733247816608 139713102851216 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14692] ppid=14685 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715501 15380533248 32446 33554432000 4194304 4196468 140733247816608 139712878554128 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14693] ppid=14685 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715501 15380533248 32446 33554432000 4194304 4196468 140733247816608 139712877501328 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14694] ppid=14685 vsize=15020052 memory=203208324566214 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715501 15380533248 32446 33554432000 4194304 4196468 140733247816608 139712876448528 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14695] ppid=14685 vsize=15020052 memory=286033 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14685 14688 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52715502 15380533248 32446 33554432000 4194304 4196468 140733247816608 139712136153456 139713098619522 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14696] ppid=14685 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14685 14688 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52715503 15380533248 32446 33554432000 4194304 4196468 140733247816608 139711662253088 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14697] ppid=14685 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715503 15380533248 32446 33554432000 4194304 4196468 140733247816608 139711393817456 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14698] ppid=14685 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52715506 15380533248 32446 33554432000 4194304 4196468 140733247816608 139711019308880 139713098626971 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14699] ppid=14685 vsize=15020052 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) S 14685 14688 8919 0 -1 1077944384 444 0 0 0 6 0 0 0 20 0 15 0 52715506 15380533248 32446 33554432000 4194304 4196468 140733247816608 139712135101296 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14700] ppid=14685 vsize=15020052 memory=-3472574513799858009 CPUtime=0.09 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) S 14685 14688 8919 0 -1 1077944384 480 0 0 0 9 0 0 0 20 0 15 0 52715506 15380533248 32446 33554432000 4194304 4196468 140733247816608 139712134048496 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14701] ppid=14685 vsize=15020052 memory=6944656592387989600 CPUtime=0.17 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14685 14688 8919 0 -1 1077944384 453 0 0 0 17 0 0 0 20 0 15 0 52715506 15380533248 32446 33554432000 4194304 4196468 140733247816608 139712064907888 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14702] ppid=14685 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52715506 15380533248 32446 33554432000 4194304 4196468 140733247816608 139710521404128 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14703] ppid=14685 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14703/stat : 14703 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715506 15380533248 32446 33554432000 4194304 4196468 140733247816608 139712063855280 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129784 KiB
[startup+1.50076 s]
/proc/loadavg: 2.09 2.09 2.08 5/221 14703
/proc/meminfo: memFree=16261332/32770624 swapFree=67108860/67108860
[pid=14688] ppid=14685 vsize=15022100 memory=218204 CPUtime=3.23 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14685 14688 8919 0 -1 1077944320 20814 0 0 0 313 10 0 0 20 0 15 0 52715499 15382630400 54551 33554432000 4194304 4196468 140733247816608 140733247799152 139713098608375 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
/proc/14688/statm: 3755525 54551 3202 1 0 3716910 0
[pid=14688/tid=14690] ppid=14685 vsize=15022100 memory=127 CPUtime=1.47 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) R 14685 14688 8919 0 -1 4202560 15331 0 0 0 140 7 0 0 20 0 15 0 52715499 15382630400 54551 33554432000 4194304 4196468 140733247816608 139713070442480 139713098630205 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14691] ppid=14685 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715501 15382630400 54551 33554432000 4194304 4196468 140733247816608 139713102851216 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14692] ppid=14685 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715501 15382630400 54551 33554432000 4194304 4196468 140733247816608 139712878554128 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14693] ppid=14685 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14685 14688 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52715501 15382630400 54551 33554432000 4194304 4196468 140733247816608 139712877501328 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14694] ppid=14685 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14685 14688 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52715501 15382630400 54551 33554432000 4194304 4196468 140733247816608 139712876448528 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14695] ppid=14685 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14685 14688 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52715502 15382630400 54551 33554432000 4194304 4196468 140733247816608 139712136153456 139713098619522 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
################
# More data... #
################
[pid=14688/tid=14700] ppid=14685 vsize=15683912 memory=8384 CPUtime=5.43 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) S 14685 14688 8919 0 -1 1077944384 9335 0 0 0 541 2 0 0 20 0 19 0 52715506 16060325888 800845 33554432000 4194304 4196468 140733247816608 139712134048496 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14701] ppid=14685 vsize=15683912 memory=14008 CPUtime=1.55 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14685 14688 8919 0 -1 1077944384 6766 0 0 0 153 2 0 0 20 0 19 0 52715506 16060325888 800845 33554432000 4194304 4196468 140733247816608 139712064907888 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14702] ppid=14685 vsize=15683912 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52715506 16060325888 800845 33554432000 4194304 4196468 140733247816608 139710521404128 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14703] ppid=14685 vsize=15683912 memory=1712 CPUtime=0.01 cores=0,2,4,6
/proc/14688/task/14703/stat : 14703 (java) S 14685 14688 8919 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 19 0 52715506 16060325888 800845 33554432000 4194304 4196468 140733247816608 139712063855280 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14705] ppid=14685 vsize=15683912 memory=5524 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14705/stat : 14705 (java) S 14685 14688 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52717293 16060325888 800845 33554432000 4194304 4196468 140733247816608 139712870847680 139713098632985 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14707] ppid=14685 vsize=15683912 memory=3248 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14707/stat : 14707 (java) S 14685 14688 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52717293 16060325888 800845 33554432000 4194304 4196468 140733247816608 139709984521392 139713098630301 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14708] ppid=14685 vsize=15683912 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14708/stat : 14708 (java) S 14685 14688 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52717293 16060325888 800845 33554432000 4194304 4196468 140733247816608 139709716086832 139713098630301 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14709] ppid=14685 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14709/stat : 14709 (java) S 14685 14688 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52717296 16060325888 800845 33554432000 4194304 4196468 140733247816608 139710252965536 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
Current children cumulated CPU time: 32.56 s
Current children cumulated vsize: 15779976 KiB
Current children cumulated memory: 3274368 KiB
[startup+20.8009 s]
/proc/loadavg: 2.07 2.08 2.07 3/226 14709
/proc/meminfo: memFree=13103812/32770624 swapFree=67108860/67108860
[pid=14688] ppid=14685 vsize=15683912 memory=3196032 CPUtime=31.3 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14685 14688 8919 0 -1 1077944320 47720 0 0 0 3053 77 0 0 20 0 19 0 52715499 16060325888 799008 33554432000 4194304 4196468 140733247816608 140733247799152 139713098608375 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
/proc/14688/statm: 3920978 799008 3250 1 0 3881834 0
[pid=14704] ppid=14688 vsize=96064 memory=71084 CPUtime=2.85 cores=0,2,4,6
/proc/14704/stat : 14704 (minisat_release) R 14688 14688 8919 0 -1 4202496 25465 0 0 0 283 2 0 0 20 0 1 0 52717292 98369536 17771 33554432000 4194304 4308513 140736153690464 140736153687096 4225929 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6409496 6410680 20635648 140736153698991 140736153699502 140736153699502 140736153702341 0
/proc/14704/statm: 24016 17771 330 28 0 20256 0
[pid=14688/tid=14690] ppid=14685 vsize=15683912 memory=6944663189525129274 CPUtime=17.66 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) S 14685 14688 8919 0 -1 1077944384 19608 0 0 0 1714 52 0 0 20 0 19 0 52715499 16060325888 799008 33554432000 4194304 4196468 140733247816608 139713070447616 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14691] ppid=14685 vsize=15683912 memory=-7389207869824735904 CPUtime=0.21 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14685 14688 8919 0 -1 1077944384 139 0 0 0 17 4 0 0 20 0 19 0 52715501 16060325888 799008 33554432000 4194304 4196468 140733247816608 139713102851216 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14692] ppid=14685 vsize=15683912 memory=6791534058613427641 CPUtime=0.2 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14685 14688 8919 0 -1 1077944384 165 0 0 0 17 3 0 0 20 0 19 0 52715501 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712878554128 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14693] ppid=14685 vsize=15683912 memory=640 CPUtime=0.21 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14685 14688 8919 0 -1 1077944384 196 0 0 0 17 4 0 0 20 0 19 0 52715501 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712877501328 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14694] ppid=14685 vsize=15683912 memory=1796 CPUtime=0.21 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14685 14688 8919 0 -1 1077944384 270 0 0 0 17 4 0 0 20 0 19 0 52715501 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712876448528 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14695] ppid=14685 vsize=15683912 memory=960 CPUtime=0.01 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14685 14688 8919 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 19 0 52715502 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712136153456 139713098619522 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14696] ppid=14685 vsize=15683912 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14685 14688 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52715503 16060325888 799008 33554432000 4194304 4196468 140733247816608 139711662253152 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14697] ppid=14685 vsize=15683912 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14685 14688 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 52715503 16060325888 799008 33554432000 4194304 4196468 140733247816608 139711393817472 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14698] ppid=14685 vsize=15683912 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52715506 16060325888 799008 33554432000 4194304 4196468 140733247816608 139711019308880 139713098626971 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14699] ppid=14685 vsize=15683912 memory=2241 CPUtime=5.72 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) S 14685 14688 8919 0 -1 1077944384 9788 0 0 0 570 2 0 0 20 0 19 0 52715506 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712135101296 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14700] ppid=14685 vsize=15683912 memory=2244 CPUtime=5.43 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) S 14685 14688 8919 0 -1 1077944384 9335 0 0 0 541 2 0 0 20 0 19 0 52715506 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712134048496 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14701] ppid=14685 vsize=15683912 memory=6656426216303648864 CPUtime=1.55 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14685 14688 8919 0 -1 1077944384 6766 0 0 0 153 2 0 0 20 0 19 0 52715506 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712064907888 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14702] ppid=14685 vsize=15683912 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52715506 16060325888 799008 33554432000 4194304 4196468 140733247816608 139710521404128 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14703] ppid=14685 vsize=15683912 memory=6656426216303648864 CPUtime=0.01 cores=0,2,4,6
/proc/14688/task/14703/stat : 14703 (java) S 14685 14688 8919 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 19 0 52715506 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712063855280 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14705] ppid=14685 vsize=15683912 memory=71084 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14705/stat : 14705 (java) S 14685 14688 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52717293 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712870847680 139713098632985 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14707] ppid=14685 vsize=15683912 memory=3203380 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14707/stat : 14707 (java) S 14685 14688 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52717293 16060325888 799008 33554432000 4194304 4196468 140733247816608 139709984521392 139713098630301 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14708] ppid=14685 vsize=15683912 memory=70988 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14708/stat : 14708 (java) S 14685 14688 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52717293 16060325888 799008 33554432000 4194304 4196468 140733247816608 139709716086832 139713098630301 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14709] ppid=14685 vsize=15683912 memory=3198208 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14709/stat : 14709 (java) S 14685 14688 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52717296 16060325888 799008 33554432000 4194304 4196468 140733247816608 139710252965536 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
Current children cumulated CPU time: 34.15 s
Current children cumulated vsize: 15779976 KiB
Current children cumulated memory: 3267116 KiB
[startup+21.201 s]
/proc/loadavg: 2.06 2.08 2.07 3/226 14709
/proc/meminfo: memFree=13110260/32770624 swapFree=67108860/67108860
[pid=14688] ppid=14685 vsize=15683912 memory=3196032 CPUtime=31.3 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14685 14688 8919 0 -1 1077944320 47720 0 0 0 3053 77 0 0 20 0 19 0 52715499 16060325888 799008 33554432000 4194304 4196468 140733247816608 140733247799152 139713098608375 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
/proc/14688/statm: 3920978 799008 3250 1 0 3881834 0
[pid=14704] ppid=14688 vsize=92212 memory=63196 CPUtime=3.26 cores=0,2,4,6
/proc/14704/stat : 14704 (minisat_release) R 14688 14688 8919 0 -1 4202496 29546 0 0 0 322 4 0 0 20 0 1 0 52717292 94425088 15799 33554432000 4194304 4308513 140736153690464 140736153687624 4276036 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 20635648 140736153698991 140736153699502 140736153699502 140736153702341 0
/proc/14704/statm: 23053 15799 336 28 0 19293 0
[pid=14688/tid=14690] ppid=14685 vsize=15683912 memory=13850793728026222 CPUtime=17.66 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) S 14685 14688 8919 0 -1 1077944384 19608 0 0 0 1714 52 0 0 20 0 19 0 52715499 16060325888 799008 33554432000 4194304 4196468 140733247816608 139713070447616 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14691] ppid=14685 vsize=15683912 memory=7092158224856081516 CPUtime=0.21 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14685 14688 8919 0 -1 1077944384 139 0 0 0 17 4 0 0 20 0 19 0 52715501 16060325888 799008 33554432000 4194304 4196468 140733247816608 139713102851216 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14692] ppid=14685 vsize=15683912 memory=7679937539709960979 CPUtime=0.2 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14685 14688 8919 0 -1 1077944384 165 0 0 0 17 3 0 0 20 0 19 0 52715501 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712878554128 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14693] ppid=14685 vsize=15683912 memory=1399105007669254531 CPUtime=0.21 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14685 14688 8919 0 -1 1077944384 196 0 0 0 17 4 0 0 20 0 19 0 52715501 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712877501328 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14694] ppid=14685 vsize=15683912 memory=6944656592452807320 CPUtime=0.21 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14685 14688 8919 0 -1 1077944384 270 0 0 0 17 4 0 0 20 0 19 0 52715501 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712876448528 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14695] ppid=14685 vsize=15683912 memory=1399094042500829555 CPUtime=0.01 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14685 14688 8919 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 19 0 52715502 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712136153456 139713098619522 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14696] ppid=14685 vsize=15683912 memory=-2892745056951965031 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14685 14688 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52715503 16060325888 799008 33554432000 4194304 4196468 140733247816608 139711662253152 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14697] ppid=14685 vsize=15683912 memory=6944656592455088490 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14685 14688 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 52715503 16060325888 799008 33554432000 4194304 4196468 140733247816608 139711393817472 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14698] ppid=14685 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52715506 16060325888 799008 33554432000 4194304 4196468 140733247816608 139711019308880 139713098626971 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14699] ppid=14685 vsize=15683912 memory=-7163974055829550171 CPUtime=5.72 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) S 14685 14688 8919 0 -1 1077944384 9788 0 0 0 570 2 0 0 20 0 19 0 52715506 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712135101296 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14700] ppid=14685 vsize=15683912 memory=8390361644446492005 CPUtime=5.43 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) S 14685 14688 8919 0 -1 1077944384 9335 0 0 0 541 2 0 0 20 0 19 0 52715506 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712134048496 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14701] ppid=14685 vsize=15683912 memory=6655300316396806240 CPUtime=1.55 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14685 14688 8919 0 -1 1077944384 6766 0 0 0 153 2 0 0 20 0 19 0 52715506 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712064907888 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14702] ppid=14685 vsize=15683912 memory=3196032 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14685 14688 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52715506 16060325888 799008 33554432000 4194304 4196468 140733247816608 139710521404128 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14703] ppid=14685 vsize=15683912 memory=280187561316544 CPUtime=0.01 cores=0,2,4,6
/proc/14688/task/14703/stat : 14703 (java) S 14685 14688 8919 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 19 0 52715506 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712063855280 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14705] ppid=14685 vsize=15683912 memory=7806822172630997102 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14705/stat : 14705 (java) S 14685 14688 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52717293 16060325888 799008 33554432000 4194304 4196468 140733247816608 139712870847680 139713098632985 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14707] ppid=14685 vsize=15683912 memory=7230923198005535850 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14707/stat : 14707 (java) S 14685 14688 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52717293 16060325888 799008 33554432000 4194304 4196468 140733247816608 139709984521392 139713098630301 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14708] ppid=14685 vsize=15683912 memory=6441643233831642722 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14708/stat : 14708 (java) S 14685 14688 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52717293 16060325888 799008 33554432000 4194304 4196468 140733247816608 139709716086832 139713098630301 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14709] ppid=14685 vsize=15683912 memory=7091598560232301137 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14709/stat : 14709 (java) S 14685 14688 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52717296 16060325888 799008 33554432000 4194304 4196468 140733247816608 139710252965536 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
Current children cumulated CPU time: 34.56 s
Current children cumulated vsize: 15776124 KiB
Current children cumulated memory: 3259228 KiB
[startup+21.4008 s]
/proc/loadavg: 2.06 2.08 2.07 3/226 14709
/proc/meminfo: memFree=13110260/32770624 swapFree=67108860/67108860
[pid=14688] ppid=14685 vsize=15552836 memory=3192484 CPUtime=34.99 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14685 14688 8919 0 -1 1077944320 50999 29757 0 0 3084 78 333 4 20 0 17 0 52715499 15926104064 798121 33554432000 4194304 4196468 140733247816608 140733247799152 139713098608375 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
/proc/14688/statm: 3888209 798121 3267 1 0 3849065 0
[pid=14688/tid=14690] ppid=14685 vsize=15552836 memory=5788366128452758632 CPUtime=21.09 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) R 14685 14688 8919 0 -1 4202560 21052 29757 0 0 1719 53 333 4 20 0 17 0 52715499 15926104064 798121 33554432000 4194304 4196468 140733247816608 139713070447008 139713091294007 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14691] ppid=14685 vsize=15552836 memory=0 CPUtime=3.58 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14685 14688 8919 0 -1 1077944384 139 29757 0 0 17 4 333 4 20 0 17 0 52715501 15926104064 798121 33554432000 4194304 4196468 140733247816608 139713102851216 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14692] ppid=14685 vsize=15552836 memory=0 CPUtime=3.57 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14685 14688 8919 0 -1 1077944384 165 29757 0 0 17 3 333 4 20 0 17 0 52715501 15926104064 798121 33554432000 4194304 4196468 140733247816608 139712878554128 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14693] ppid=14685 vsize=15552836 memory=0 CPUtime=3.58 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14685 14688 8919 0 -1 1077944384 196 29757 0 0 17 4 333 4 20 0 17 0 52715501 15926104064 798121 33554432000 4194304 4196468 140733247816608 139712877501328 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14694] ppid=14685 vsize=15552836 memory=0 CPUtime=3.58 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14685 14688 8919 0 -1 1077944384 270 29757 0 0 17 4 333 4 20 0 17 0 52715501 15926104064 798121 33554432000 4194304 4196468 140733247816608 139712876448528 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14695] ppid=14685 vsize=15552836 memory=0 CPUtime=3.38 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14685 14688 8919 0 -1 1077944384 155 29757 0 0 1 0 333 4 20 0 17 0 52715502 15926104064 798121 33554432000 4194304 4196468 140733247816608 139712136153456 139713098619522 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14696] ppid=14685 vsize=15552836 memory=0 CPUtime=3.37 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14685 14688 8919 0 -1 1077944384 13 29757 0 0 0 0 333 4 20 0 17 0 52715503 15926104064 798121 33554432000 4194304 4196468 140733247816608 139711662253152 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14697] ppid=14685 vsize=15552836 memory=0 CPUtime=3.37 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14685 14688 8919 0 -1 1077944384 4 29757 0 0 0 0 333 4 20 0 17 0 52715503 15926104064 798121 33554432000 4194304 4196468 140733247816608 139711393817472 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14698] ppid=14685 vsize=15552836 memory=0 CPUtime=3.37 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) S 14685 14688 8919 0 -1 1077944384 3 29757 0 0 0 0 333 4 20 0 17 0 52715506 15926104064 798121 33554432000 4194304 4196468 140733247816608 139711019308880 139713098626971 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14699] ppid=14685 vsize=15552836 memory=0 CPUtime=9.16 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) S 14685 14688 8919 0 -1 1077944384 10217 29757 0 0 577 2 333 4 20 0 17 0 52715506 15926104064 798121 33554432000 4194304 4196468 140733247816608 139712135101296 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14700] ppid=14685 vsize=15552836 memory=0 CPUtime=8.88 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) S 14685 14688 8919 0 -1 1077944384 9523 29757 0 0 549 2 333 4 20 0 17 0 52715506 15926104064 798121 33554432000 4194304 4196468 140733247816608 139712134048496 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14701] ppid=14685 vsize=15552836 memory=0 CPUtime=4.98 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14685 14688 8919 0 -1 1077944384 7817 29757 0 0 159 2 333 4 20 0 17 0 52715506 15926104064 798121 33554432000 4194304 4196468 140733247816608 139712064907888 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14702] ppid=14685 vsize=15552836 memory=4049052965799277617 CPUtime=3.37 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14685 14688 8919 0 -1 1077944384 3 29757 0 0 0 0 333 4 20 0 17 0 52715506 15926104064 798121 33554432000 4194304 4196468 140733247816608 139710521404128 139713098618581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14703] ppid=14685 vsize=15552836 memory=4642197910265684584 CPUtime=3.38 cores=0,2,4,6
/proc/14688/task/14703/stat : 14703 (java) S 14685 14688 8919 0 -1 1077944384 21 29757 0 0 1 0 333 4 20 0 17 0 52715506 15926104064 798121 33554432000 4194304 4196468 140733247816608 139712063855280 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14705] ppid=14685 vsize=15552836 memory=7865572149265970225 CPUtime=3.37 cores=0,2,4,6
/proc/14688/task/14705/stat : 14705 (java) S 14685 14688 8919 0 -1 1077944384 28 29757 0 0 0 0 333 4 20 0 17 0 52717293 15926104064 798121 33554432000 4194304 4196468 140733247816608 139712870846864 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
[pid=14688/tid=14709] ppid=14685 vsize=15552836 memory=0 CPUtime=3.37 cores=0,2,4,6
/proc/14688/task/14709/stat : 14709 (java) S 14685 14688 8919 0 -1 1077944384 30 29757 0 0 0 0 333 4 20 0 17 0 52717296 15926104064 798121 33554432000 4194304 4196468 140733247816608 139710252967344 139713098619522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140733247824884 140733247825161 140733247825161 140733247827919 0
Current children cumulated CPU time: 34.99 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 3192484 KiB
Child status: 0
Real time (s): 21.421
CPU time (s): 35.0245
CPU user time (s): 34.1765
CPU system time (s): 0.848032
CPU usage (%): 163.506
Max. virtual memory (cumulated for all children) (KiB): 15806476
Max. memory (cumulated for all children) (KiB): 3280596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.1765
system time used= 0.848032
maximum resident set size= 3204824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5688
involuntary context switches= 97
# summary of solver processes directly reported to runsolver:
# pid: 14688
# total CPU time (s): 35.0245
# total CPU user time (s): 34.1765
# total CPU system time (s): 0.848032
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.152895 second user time and 0.265944 second system time
The end