| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-07) | SAT | 65.9456 | 21.622 |
| Name | MisteryShopper/ MisteryShopper-10c_c18.xml |
| MD5SUM | 56c97bc9b19c7ad517216d1a3c315031 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 11.8718 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1000 |
| Number of constraints | 621 |
| Number of domains | 3 |
| Minimum domain size | 5 |
| Maximum domain size | 50 |
| Distribution of domain sizes | [{"size":5,"count":250},{"size":6,"count":250},{"size":50,"count":500}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":2,"count":500},{"degree":3,"count":250},{"degree":4,"count":220},{"degree":5,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 250 |
| Distribution of constraint arities | [{"arity":2,"count":500},{"arity":5,"count":100},{"arity":6,"count":5},{"arity":50,"count":10},{"arity":100,"count":5},{"arity":250,"count":1}] |
| Number of extensional constraints | 500 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":500},{"type":"allDifferent","count":110},{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"channel","count":5}] |
| Optimization problem | NO |
| Type of objective |
0.65/0.53 0.65/0.53 scop order+glucose-syrup (2018-07-07) 0.65/0.53 0.65/0.56 c BEGIN-Prog: Fri Jul 27 04:25:17 CEST 2018 0.65/0.56 c PID: 17442 0.65/0.56 c IP: 172.20.3.150 0.65/0.56 c HOST: node150.alineos.net 0.65/0.56 c (0,0) Parsing Begin 3.39/1.33 c (0,0) Parsing End 3.39/1.35 c (0,0) CSP: 1000 int (0 aux), 0 bool (0 aux), 621 ctr, max domain size 50 3.39/1.35 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.39/1.35 c (0,0) Constraint Name Generate Begin 3.39/1.36 c (0,0) Ctr:HOME/instance-4297104-1532658316.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr 3.39/1.36 c (0,0) Constraint Name Generate End 3.39/1.36 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.39/1.36 c (0,0) CSP to CSPinCNF Begin 6.11/2.12 c (1,1) translated 63 (10%) constraints 10.72/4.17 c (3,3) translated 125 (20%) constraints 11.58/4.37 c (3,3) translated 187 (30%) constraints 12.42/4.50 c (3,3) translated 249 (40%) constraints 12.82/4.61 c (4,4) translated 311 (50%) constraints 13.23/4.72 c (4,4) translated 373 (60%) constraints 13.62/4.82 c (4,4) translated 435 (70%) constraints 14.04/4.93 c (4,4) translated 497 (80%) constraints 14.39/5.03 c (4,4) translated 559 (90%) constraints 14.62/5.13 c (4,4) translated 621 (100%) constraints 15.73/5.49 c (4,4) STATISTICS1:HOME/instance-4297104-1532658316.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,4089,49779,50,50,50,2,50:11547;49:284;48:247;47:252;46:257;45:525;6:500;5:500,50:80804;49:1047;48:879;47:879;46:879;45:1736;6:4000;5:3500;2:13767,50:20;7:250;6:250;5:200;4:339;3:28553;2:20089;1:78,2:14112;1:104267;0:500, 15.73/5.49 c (4,4) =========================================== 15.73/5.49 c (4,4) Order 15.73/5.49 c (4,4) =========================================== 16.68/5.72 c (5,5) translated 4978 (10%) constraints 17.02/5.87 c (5,5) translated 9956 (20%) constraints 17.60/6.10 c (5,5) translated 14934 (30%) constraints 18.41/6.48 c (5,5) translated 19912 (40%) constraints 18.91/6.84 c (6,6) translated 24890 (50%) constraints 19.21/7.18 c (6,6) translated 29868 (60%) constraints 19.61/7.52 c (6,6) translated 34846 (70%) constraints 19.94/7.85 c (7,7) translated 39824 (80%) constraints 20.31/7.98 c (7,7) translated 44802 (90%) constraints 20.70/8.07 c (7,7) translated 49779 (100%) constraints 20.70/8.07 c (7,7) CSP to CSPinCNF End 20.70/8.08 c (7,7) CSP: 1000 int (0 aux), 28089 bool (28089 aux), 99779 ctr, max domain size 50 20.70/8.08 c (7,7) Heap : 2816 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 20.70/8.08 c (7,7) CSPinCNF Propagation Begin 22.14/8.78 c (8,8) 273 values, 2171 unsatisfiable literals, and 1594 valid clauses are removed 22.14/8.78 c (8,8) CSPinCNF Propagation End 22.14/8.78 c (8,8) CSP: 1198 int (198 aux), 27891 bool (27891 aux), 98185 ctr, max domain size 50 22.14/8.78 c (8,8) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 22.14/8.78 c (8,8) Simplify CSPinCNF Begin 23.16/9.46 c (8,8) Simplify CSPinCNF End 23.16/9.48 c (8,8) CSP: 1198 int (198 aux), 54836 bool (54836 aux), 125130 ctr, max domain size 50 23.16/9.48 c (8,8) Heap : 3491 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 23.16/9.48 c (8,8) Calculate Precise Domain Begin 23.16/9.48 c (8,8) 0 values are removed by re-calculation 23.16/9.48 c (8,8) Calculate Precise Domain End 23.52/9.50 c (8,8) CSP: 1198 int (198 aux), 54836 bool (54836 aux), 125130 ctr, max domain size 50 23.52/9.50 c (8,8) Heap : 3491 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 23.52/9.50 c (8,8) CSPinCNF to SatSolver Begin 25.70/10.93 c (10,10) 12513 (10 %) CSP clauses are encoded (81388 SAT variables, 438945 SAT clauses) 26.93/12.16 c (11,11) 25026 (20 %) CSP clauses are encoded (81388 SAT variables, 853128 SAT clauses) 29.21/13.40 c (12,12) 37539 (30 %) CSP clauses are encoded (81388 SAT variables, 1246696 SAT clauses) 29.21/13.49 c (12,12) 50052 (40 %) CSP clauses are encoded (81388 SAT variables, 1266289 SAT clauses) 29.32/13.55 c (13,12) 62565 (50 %) CSP clauses are encoded (81388 SAT variables, 1278802 SAT clauses) 29.42/13.61 c (13,12) 75078 (60 %) CSP clauses are encoded (81388 SAT variables, 1291315 SAT clauses) 29.42/13.67 c (13,12) 87591 (70 %) CSP clauses are encoded (81388 SAT variables, 1303828 SAT clauses) 29.52/13.72 c (13,13) 100104 (80 %) CSP clauses are encoded (81388 SAT variables, 1316341 SAT clauses) 29.52/13.78 c (13,13) 112617 (90 %) CSP clauses are encoded (81388 SAT variables, 1328854 SAT clauses) 29.86/14.32 c (13,13) 125130 (100 %) CSP clauses are encoded (81388 SAT variables, 1382656 SAT clauses) 29.86/14.32 c (13,13) CSPinCNF to SatSolver End 29.86/14.32 c (13,13) Heap : 1382 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 30.75/14.76 c (14,13) STATISTICS2:HOME/instance-4297104-1532658316.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,56034,125130,50,50,50,2,50:19925;49:538;48:1007;47:942;46:962;45:1988;6:1000;5:1000,50:140597;49:1867;48:3397;47:3049;46:3009;45:5936;6:5000;5:4500;2:141407,50:5;45:14;43:1;6:250;5:450;4:339;3:27307;2:96686;1:78,2:27362;1:254038, 30.75/14.76 c (14,13) SatSolver.solve Begin 30.75/14.76 c (14,13) 81388 bool, 1382657 clause 30.75/14.76 c (14,13) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297104-1532658316.xml-scop-17442.cnf HOME/instance-4297104-1532658316.xml-scop-17442.cnf.out 65.12/21.43 c (20,0) c 65.12/21.43 c (20,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 65.12/21.43 c (20,0) c 65.12/21.43 c (20,0) c WARNING: for repeatability, setting FPU to use double precision 65.12/21.43 c (20,0) c 8 solvers engines and 1 companion as a blackboard created. 65.12/21.43 c (20,0) c ========================================[ Problem Statistics ]=========================================== 65.12/21.43 c (20,0) c | | 65.12/21.43 c (20,0) c | Number of variables: 81388 | 65.12/21.43 c (20,0) c | Number of clauses: 1381451 | 65.12/21.43 c (20,0) c | Parse time: 0.41 s | 65.12/21.43 c (20,0) c | | 65.12/21.43 c (20,0) c | Eliminated clauses: 0.86 Mb | 65.12/21.43 c (20,0) c | Simplification time: 1.72 s | 65.12/21.43 c (20,0) c | | 65.12/21.43 c (20,0) c | Generating clones | 65.12/21.43 c (20,0) c | all clones generated. Memory = 756.70Mb. | 65.12/21.43 c (20,0) c ========================================================================================================| 65.12/21.43 c (20,0) c last restart ## conflicts : 109 717 65.12/21.43 c (20,0) c Thread 5 is 100% pure glucose! First thread to finish! (SAT answer). 65.12/21.43 c (20,0) c Total Memory so far : 1341.88Mb 65.12/21.43 c (20,0) c 65.12/21.43 c (20,0) c real time : 6.65602 s 65.12/21.43 c (20,0) c cpu time : 32.9385 s 65.12/21.43 c (20,0) c 65.12/21.43 c (20,0) c 65.12/21.43 c (20,0) c 65.12/21.43 c (20,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 65.12/21.43 c (20,0) c 65.12/21.43 c (20,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 65.12/21.43 c (20,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 65.12/21.43 c (20,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 65.12/21.43 c (20,0) c | Conflicts | 65179 | 6738 | 10028 | 8057 | 9630 | 8453 | 9144 | 5954 | 7175 | 65.12/21.43 c (20,0) c | Decisions | 897482 | 99506 | 106095 | 113360 | 120782 | 113816 | 118838 | 104474 | 120611 | 65.12/21.43 c (20,0) c | Propagations | 58144363 | 6313498 | 6846811 | 7589876 | 8118238 | 7536051 | 7950352 | 6224193 | 7565344 | 65.12/21.43 c (20,0) c | Avg_Trail | | 23067 | 25119 | 23514 | 24490 | 24743 | 22239 | 23458 | 23741 | 65.12/21.43 c (20,0) c | Avg_DL | | 260 | 272 | 251 | 265 | 253 | 215 | 268 | 259 | 65.12/21.43 c (20,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 65.12/21.43 c (20,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 65.12/21.43 c (20,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 65.12/21.43 c (20,0) c | Exported | 5833 | 479 | 1251 | 613 | 1010 | 901 | 800 | 318 | 461 | 65.12/21.43 c (20,0) c | Imported | 38480 | 5171 | 4329 | 4971 | 4479 | 4476 | 4596 | 5332 | 5126 | 65.12/21.43 c (20,0) c | Good | 8843 | 1090 | 1092 | 1164 | 1099 | 1082 | 1100 | 1105 | 1111 | 65.12/21.43 c (20,0) c | Purge | 29637 | 4081 | 3237 | 3807 | 3380 | 3394 | 3496 | 4227 | 4015 | 65.12/21.43 c (20,0) c | Promoted | 392 | 37 | 46 | 54 | 63 | 43 | 56 | 45 | 48 | 65.12/21.43 c (20,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 65.12/21.43 c (20,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 65.12/21.43 c (20,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 65.12/21.43 c (20,0) c | Unaries | | 1 | 7 | 9 | 4 | 9 | 25 | 10 | 9 | 65.12/21.43 c (20,0) c | Binaries | | 179 | 164 | 106 | 165 | 176 | 163 | 163 | 158 | 65.12/21.43 c (20,0) c | Glues | | 302 | 391 | 232 | 352 | 389 | 306 | 263 | 259 | 65.12/21.43 c (20,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 65.12/21.43 c (20,0) c | Orig_Seen | 3 % | 40090 | 45437 | 46391 | 48142 | 45514 | 47189 | 39631 | 45922 | 65.12/21.43 c (20,0) c | Diff Orig seen| | - 7099 | - 1752 | - 798 | 953 | - 1675 | X | - 7558 | - 1267 | 65.12/21.43 c (20,0) c | Hamming | 14 % | 11697 | 12406 | 11599 | 12180 | 10838 | X | 11138 | 11205 | 65.12/21.43 c (20,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 65.12/21.43 c (20,0) 65.12/21.43 c (20,0) s SATISFIABLE 65.61/21.50 c (20,13) SatSolver.solve End 65.61/21.50 c (20,13) Heap : 1969 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 65.61/21.50 c (20,13) Show results Begin 65.61/21.53 c (21,13) gve[0][0] = 0 65.61/21.53 c (21,13) gve[0][1] = 1 65.61/21.53 c (21,13) gve[0][2] = 3 65.61/21.53 c (21,13) gve[0][3] = 5 65.61/21.53 c (21,13) gve[0][4] = 2 65.61/21.53 c (21,13) gve[1][0] = 0 65.61/21.53 c (21,13) gve[1][1] = 2 65.61/21.53 c (21,13) gve[1][2] = 3 65.61/21.53 c (21,13) gve[1][3] = 4 65.61/21.53 c (21,13) gve[1][4] = 1 65.61/21.53 c (21,13) gve[2][0] = 0 65.61/21.53 c (21,13) gve[2][1] = 4 65.61/21.53 c (21,13) gve[2][2] = 2 65.61/21.53 c (21,13) gve[2][3] = 1 65.61/21.53 c (21,13) gve[2][4] = 3 65.61/21.53 c (21,13) gve[3][0] = 0 65.61/21.53 c (21,13) gve[3][1] = 3 65.61/21.53 c (21,13) gve[3][2] = 4 65.61/21.53 c (21,13) gve[3][3] = 2 65.61/21.53 c (21,13) gve[3][4] = 1 65.61/21.53 c (21,13) gve[4][0] = 0 65.61/21.53 c (21,13) gve[4][1] = 3 65.61/21.53 c (21,13) gve[4][2] = 4 65.61/21.53 c (21,13) gve[4][3] = 1 65.61/21.53 c (21,13) gve[4][4] = 2 65.61/21.53 c (21,13) gve[5][0] = 0 65.61/21.53 c (21,13) gve[5][1] = 3 65.61/21.53 c (21,13) gve[5][2] = 1 65.61/21.53 c (21,13) gve[5][3] = 5 65.61/21.53 c (21,13) gve[5][4] = 4 65.61/21.53 c (21,13) gve[6][0] = 0 65.61/21.53 c (21,13) gve[6][1] = 3 65.61/21.53 c (21,13) gve[6][2] = 2 65.61/21.53 c (21,13) gve[6][3] = 5 65.61/21.53 c (21,13) gve[6][4] = 4 65.61/21.53 c (21,13) gve[7][0] = 0 65.61/21.53 c (21,13) gve[7][1] = 2 65.61/21.53 c (21,13) gve[7][2] = 4 65.61/21.53 c (21,13) gve[7][3] = 5 65.61/21.53 c (21,13) gve[7][4] = 3 65.61/21.53 c (21,13) gve[8][0] = 0 65.61/21.53 c (21,13) gve[8][1] = 4 65.61/21.53 c (21,13) gve[8][2] = 3 65.61/21.53 c (21,13) gve[8][3] = 5 65.61/21.53 c (21,13) gve[8][4] = 2 65.61/21.53 c (21,13) gve[9][0] = 0 65.61/21.53 c (21,13) gve[9][1] = 1 65.61/21.53 c (21,13) gve[9][2] = 4 65.61/21.53 c (21,13) gve[9][3] = 5 65.61/21.54 c (21,13) gve[9][4] = 3 65.61/21.54 c (21,13) gve[10][0] = 1 65.61/21.54 c (21,13) gve[10][1] = 5 65.61/21.54 c (21,13) gve[10][2] = 2 65.61/21.54 c (21,13) gve[10][3] = 0 65.61/21.54 c (21,13) gve[10][4] = 3 65.61/21.54 c (21,13) gve[11][0] = 1 65.61/21.54 c (21,13) gve[11][1] = 0 65.61/21.54 c (21,13) gve[11][2] = 2 65.61/21.54 c (21,13) gve[11][3] = 3 65.61/21.54 c (21,13) gve[11][4] = 4 65.61/21.54 c (21,13) gve[12][0] = 1 65.61/21.54 c (21,13) gve[12][1] = 4 65.61/21.54 c (21,13) gve[12][2] = 0 65.61/21.54 c (21,13) gve[12][3] = 3 65.61/21.54 c (21,13) gve[12][4] = 2 65.61/21.54 c (21,13) gve[13][0] = 1 65.61/21.54 c (21,13) gve[13][1] = 2 65.61/21.54 c (21,13) gve[13][2] = 3 65.61/21.54 c (21,13) gve[13][3] = 4 65.61/21.54 c (21,13) gve[13][4] = 0 65.61/21.54 c (21,13) gve[14][0] = 1 65.61/21.54 c (21,13) gve[14][1] = 5 65.61/21.54 c (21,13) gve[14][2] = 3 65.61/21.54 c (21,13) gve[14][3] = 0 65.61/21.54 c (21,13) gve[14][4] = 4 65.61/21.54 c (21,13) gve[15][0] = 1 65.61/21.54 c (21,13) gve[15][1] = 0 65.61/21.54 c (21,13) gve[15][2] = 3 65.61/21.54 c (21,13) gve[15][3] = 2 65.61/21.54 c (21,13) gve[15][4] = 4 65.61/21.54 c (21,13) gve[16][0] = 1 65.61/21.54 c (21,13) gve[16][1] = 5 65.61/21.54 c (21,13) gve[16][2] = 3 65.61/21.54 c (21,13) gve[16][3] = 4 65.61/21.54 c (21,13) gve[16][4] = 0 65.61/21.54 c (21,13) gve[17][0] = 2 65.61/21.54 c (21,13) gve[17][1] = 5 65.61/21.54 c (21,13) gve[17][2] = 0 65.61/21.54 c (21,13) gve[17][3] = 3 65.61/21.54 c (21,13) gve[17][4] = 4 65.61/21.54 c (21,13) gve[18][0] = 2 65.61/21.54 c (21,13) gve[18][1] = 5 65.61/21.54 c (21,13) gve[18][2] = 0 65.61/21.54 c (21,13) gve[18][3] = 3 65.61/21.54 c (21,13) gve[18][4] = 4 65.61/21.54 c (21,13) gve[19][0] = 2 65.61/21.54 c (21,13) gve[19][1] = 5 65.61/21.54 c (21,13) gve[19][2] = 4 65.61/21.54 c (21,13) gve[19][3] = 3 65.61/21.54 c (21,13) gve[19][4] = 0 65.61/21.54 c (21,13) gve[20][0] = 2 65.61/21.54 c (21,13) gve[20][1] = 0 65.61/21.54 c (21,13) gve[20][2] = 1 65.61/21.54 c (21,13) gve[20][3] = 3 65.61/21.54 c (21,13) gve[20][4] = 4 65.61/21.54 c (21,13) gve[21][0] = 2 65.61/21.54 c (21,13) gve[21][1] = 0 65.61/21.54 c (21,13) gve[21][2] = 3 65.61/21.54 c (21,13) gve[21][3] = 4 65.61/21.54 c (21,13) gve[21][4] = 1 65.61/21.54 c (21,13) gve[22][0] = 2 65.61/21.54 c (21,13) gve[22][1] = 4 65.61/21.54 c (21,13) gve[22][2] = 0 65.61/21.54 c (21,13) gve[22][3] = 3 65.61/21.54 c (21,13) gve[22][4] = 5 65.61/21.54 c (21,13) gve[23][0] = 2 65.61/21.54 c (21,13) gve[23][1] = 0 65.61/21.54 c (21,13) gve[23][2] = 4 65.61/21.54 c (21,13) gve[23][3] = 3 65.61/21.54 c (21,13) gve[23][4] = 5 65.61/21.54 c (21,13) gve[24][0] = 2 65.61/21.54 c (21,13) gve[24][1] = 3 65.61/21.54 c (21,13) gve[24][2] = 4 65.61/21.54 c (21,13) gve[24][3] = 0 65.61/21.54 c (21,13) gve[24][4] = 1 65.61/21.54 c (21,13) gve[25][0] = 3 65.61/21.54 c (21,13) gve[25][1] = 0 65.61/21.54 c (21,13) gve[25][2] = 1 65.61/21.54 c (21,13) gve[25][3] = 4 65.61/21.54 c (21,13) gve[25][4] = 2 65.61/21.54 c (21,13) gve[26][0] = 3 65.61/21.54 c (21,13) gve[26][1] = 4 65.61/21.54 c (21,13) gve[26][2] = 1 65.61/21.54 c (21,13) gve[26][3] = 0 65.61/21.54 c (21,13) gve[26][4] = 5 65.61/21.54 c (21,13) gve[27][0] = 3 65.61/21.54 c (21,13) gve[27][1] = 4 65.61/21.54 c (21,13) gve[27][2] = 0 65.61/21.54 c (21,13) gve[27][3] = 2 65.61/21.54 c (21,13) gve[27][4] = 5 65.61/21.54 c (21,13) gve[28][0] = 3 65.61/21.54 c (21,13) gve[28][1] = 2 65.61/21.54 c (21,13) gve[28][2] = 1 65.61/21.54 c (21,13) gve[28][3] = 0 65.61/21.54 c (21,13) gve[28][4] = 5 65.61/21.54 c (21,13) gve[29][0] = 3 65.61/21.54 c (21,13) gve[29][1] = 1 65.61/21.54 c (21,13) gve[29][2] = 4 65.61/21.54 c (21,13) gve[29][3] = 0 65.61/21.54 c (21,13) gve[29][4] = 5 65.61/21.54 c (21,13) gve[30][0] = 3 65.61/21.54 c (21,13) gve[30][1] = 1 65.61/21.54 c (21,13) gve[30][2] = 5 65.61/21.54 c (21,13) gve[30][3] = 0 65.61/21.54 c (21,13) gve[30][4] = 2 65.61/21.54 c (21,13) gve[31][0] = 3 65.61/21.54 c (21,13) gve[31][1] = 1 65.61/21.54 c (21,13) gve[31][2] = 4 65.61/21.54 c (21,13) gve[31][3] = 2 65.61/21.54 c (21,13) gve[31][4] = 0 65.61/21.54 c (21,13) gve[32][0] = 3 65.61/21.54 c (21,13) gve[32][1] = 0 65.61/21.54 c (21,13) gve[32][2] = 2 65.61/21.54 c (21,13) gve[32][3] = 4 65.61/21.54 c (21,13) gve[32][4] = 1 65.61/21.54 c (21,13) gve[33][0] = 3 65.61/21.54 c (21,13) gve[33][1] = 4 65.61/21.54 c (21,13) gve[33][2] = 5 65.61/21.54 c (21,13) gve[33][3] = 1 65.61/21.54 c (21,13) gve[33][4] = 0 65.61/21.54 c (21,13) gve[34][0] = 3 65.61/21.54 c (21,13) gve[34][1] = 0 65.61/21.54 c (21,13) gve[34][2] = 5 65.61/21.54 c (21,13) gve[34][3] = 4 65.61/21.54 c (21,13) gve[34][4] = 2 65.61/21.54 c (21,13) gve[35][0] = 4 65.61/21.54 c (21,13) gve[35][1] = 0 65.61/21.54 c (21,13) gve[35][2] = 5 65.61/21.54 c (21,13) gve[35][3] = 1 65.61/21.54 c (21,13) gve[35][4] = 3 65.61/21.54 c (21,13) gve[36][0] = 4 65.61/21.54 c (21,13) gve[36][1] = 2 65.61/21.54 c (21,13) gve[36][2] = 1 65.61/21.54 c (21,13) gve[36][3] = 0 65.61/21.54 c (21,13) gve[36][4] = 3 65.61/21.54 c (21,13) gve[37][0] = 4 65.61/21.54 c (21,13) gve[37][1] = 2 65.61/21.54 c (21,13) gve[37][2] = 5 65.61/21.54 c (21,13) gve[37][3] = 0 65.61/21.54 c (21,13) gve[37][4] = 3 65.61/21.54 c (21,13) gve[38][0] = 4 65.61/21.54 c (21,13) gve[38][1] = 2 65.61/21.54 c (21,13) gve[38][2] = 3 65.61/21.54 c (21,13) gve[38][3] = 1 65.61/21.54 c (21,13) gve[38][4] = 0 65.61/21.54 c (21,13) gve[39][0] = 4 65.61/21.54 c (21,13) gve[39][1] = 0 65.61/21.54 c (21,13) gve[39][2] = 5 65.61/21.54 c (21,13) gve[39][3] = 2 65.61/21.54 c (21,13) gve[39][4] = 3 65.61/21.54 c (21,13) gve[40][0] = 4 65.61/21.54 c (21,13) gve[40][1] = 2 65.61/21.54 c (21,13) gve[40][2] = 0 65.61/21.54 c (21,13) gve[40][3] = 1 65.61/21.54 c (21,13) gve[40][4] = 3 65.61/21.54 c (21,13) gve[41][0] = 4 65.61/21.54 c (21,13) gve[41][1] = 1 65.61/21.54 c (21,13) gve[41][2] = 0 65.61/21.54 c (21,13) gve[41][3] = 2 65.61/21.54 c (21,13) gve[41][4] = 3 65.61/21.54 c (21,13) gve[42][0] = 4 65.61/21.54 c (21,13) gve[42][1] = 1 65.61/21.54 c (21,13) gve[42][2] = 2 65.61/21.54 c (21,13) gve[42][3] = 3 65.61/21.54 c (21,13) gve[42][4] = 0 65.61/21.54 c (21,13) gve[43][0] = 4 65.61/21.54 c (21,13) gve[43][1] = 3 65.61/21.54 c (21,13) gve[43][2] = 1 65.61/21.54 c (21,13) gve[43][3] = 2 65.61/21.54 c (21,13) gve[43][4] = 0 65.61/21.54 c (21,13) gve[44][0] = 5 65.61/21.54 c (21,13) gve[44][1] = 3 65.61/21.54 c (21,13) gve[44][2] = 2 65.61/21.54 c (21,13) gve[44][3] = 4 65.61/21.54 c (21,13) gve[44][4] = 0 65.61/21.54 c (21,13) gve[45][0] = 5 65.61/21.54 c (21,13) gve[45][1] = 3 65.61/21.54 c (21,13) gve[45][2] = 2 65.61/21.54 c (21,13) gve[45][3] = 4 65.61/21.54 c (21,13) gve[45][4] = 0 65.61/21.54 c (21,13) gve[46][0] = 5 65.61/21.54 c (21,13) gve[46][1] = 4 65.61/21.54 c (21,13) gve[46][2] = 0 65.61/21.54 c (21,13) gve[46][3] = 3 65.61/21.54 c (21,13) gve[46][4] = 1 65.61/21.54 c (21,13) gve[47][0] = 5 65.61/21.54 c (21,13) gve[47][1] = 3 65.61/21.54 c (21,13) gve[47][2] = 0 65.61/21.54 c (21,13) gve[47][3] = 1 65.61/21.54 c (21,13) gve[47][4] = 4 65.61/21.54 c (21,13) gve[48][0] = 5 65.61/21.54 c (21,13) gve[48][1] = 4 65.61/21.54 c (21,13) gve[48][2] = 3 65.61/21.54 c (21,13) gve[48][3] = 0 65.61/21.54 c (21,13) gve[48][4] = 2 65.61/21.54 c (21,13) gve[49][0] = 5 65.61/21.54 c (21,13) gve[49][1] = 3 65.61/21.54 c (21,13) gve[49][2] = 0 65.61/21.54 c (21,13) gve[49][3] = 2 65.61/21.54 c (21,13) gve[49][4] = 1 65.61/21.54 c (21,13) gvr[0][0] = 0 65.61/21.54 c (21,13) gvr[0][1] = 1 65.61/21.54 c (21,13) gvr[0][2] = 2 65.61/21.54 c (21,13) gvr[0][3] = 3 65.61/21.54 c (21,13) gvr[0][4] = 4 65.61/21.54 c (21,13) gvr[1][0] = 0 65.61/21.54 c (21,13) gvr[1][1] = 2 65.61/21.54 c (21,13) gvr[1][2] = 4 65.61/21.54 c (21,13) gvr[1][3] = 3 65.61/21.54 c (21,13) gvr[1][4] = 1 65.61/21.54 c (21,13) gvr[2][0] = 0 65.61/21.54 c (21,13) gvr[2][1] = 3 65.61/21.54 c (21,13) gvr[2][2] = 1 65.61/21.54 c (21,13) gvr[2][3] = 2 65.61/21.54 c (21,13) gvr[2][4] = 4 65.61/21.54 c (21,13) gvr[3][0] = 0 65.61/21.54 c (21,13) gvr[3][1] = 3 65.61/21.54 c (21,13) gvr[3][2] = 1 65.61/21.54 c (21,13) gvr[3][3] = 2 65.61/21.54 c (21,13) gvr[3][4] = 4 65.61/21.54 c (21,13) gvr[4][0] = 0 65.61/21.54 c (21,13) gvr[4][1] = 3 65.61/21.54 c (21,13) gvr[4][2] = 4 65.61/21.54 c (21,13) gvr[4][3] = 2 65.61/21.54 c (21,13) gvr[4][4] = 1 65.61/21.54 c (21,13) gvr[5][0] = 0 65.61/21.54 c (21,13) gvr[5][1] = 2 65.61/21.54 c (21,13) gvr[5][2] = 4 65.61/21.54 c (21,13) gvr[5][3] = 1 65.61/21.54 c (21,13) gvr[5][4] = 3 65.61/21.54 c (21,13) gvr[6][0] = 0 65.61/21.54 c (21,13) gvr[6][1] = 2 65.61/21.54 c (21,13) gvr[6][2] = 4 65.61/21.54 c (21,13) gvr[6][3] = 1 65.61/21.54 c (21,13) gvr[6][4] = 3 65.61/21.54 c (21,13) gvr[7][0] = 0 65.61/21.54 c (21,13) gvr[7][1] = 3 65.61/21.54 c (21,13) gvr[7][2] = 4 65.61/21.54 c (21,13) gvr[7][3] = 2 65.61/21.54 c (21,13) gvr[7][4] = 1 65.61/21.54 c (21,13) gvr[8][0] = 0 65.61/21.54 c (21,13) gvr[8][1] = 2 65.61/21.54 c (21,13) gvr[8][2] = 1 65.61/21.54 c (21,13) gvr[8][3] = 4 65.61/21.54 c (21,13) gvr[8][4] = 3 65.61/21.54 c (21,13) gvr[9][0] = 0 65.61/21.54 c (21,13) gvr[9][1] = 1 65.61/21.54 c (21,13) gvr[9][2] = 2 65.61/21.54 c (21,13) gvr[9][3] = 3 65.61/21.54 c (21,13) gvr[9][4] = 4 65.61/21.54 c (21,13) gvr[10][0] = 1 65.61/21.54 c (21,13) gvr[10][1] = 3 65.61/21.54 c (21,13) gvr[10][2] = 2 65.61/21.54 c (21,13) gvr[10][3] = 0 65.61/21.54 c (21,13) gvr[10][4] = 4 65.61/21.54 c (21,13) gvr[11][0] = 1 65.61/21.54 c (21,13) gvr[11][1] = 0 65.61/21.54 c (21,13) gvr[11][2] = 2 65.61/21.54 c (21,13) gvr[11][3] = 3 65.61/21.54 c (21,13) gvr[11][4] = 4 65.61/21.54 c (21,13) gvr[12][0] = 1 65.61/21.54 c (21,13) gvr[12][1] = 2 65.61/21.54 c (21,13) gvr[12][2] = 3 65.61/21.54 c (21,13) gvr[12][3] = 4 65.61/21.54 c (21,13) gvr[12][4] = 0 65.61/21.54 c (21,13) gvr[13][0] = 1 65.61/21.54 c (21,13) gvr[13][1] = 3 65.61/21.54 c (21,13) gvr[13][2] = 0 65.61/21.54 c (21,13) gvr[13][3] = 4 65.61/21.54 c (21,13) gvr[13][4] = 2 65.61/21.54 c (21,13) gvr[14][0] = 1 65.61/21.54 c (21,13) gvr[14][1] = 4 65.61/21.54 c (21,13) gvr[14][2] = 2 65.61/21.54 c (21,13) gvr[14][3] = 3 65.61/21.54 c (21,13) gvr[14][4] = 0 65.61/21.54 c (21,13) gvr[15][0] = 1 65.61/21.54 c (21,13) gvr[15][1] = 4 65.61/21.54 c (21,13) gvr[15][2] = 2 65.61/21.54 c (21,13) gvr[15][3] = 0 65.61/21.54 c (21,13) gvr[15][4] = 3 65.61/21.54 c (21,13) gvr[16][0] = 1 65.61/21.54 c (21,13) gvr[16][1] = 0 65.61/21.54 c (21,13) gvr[16][2] = 4 65.61/21.54 c (21,13) gvr[16][3] = 3 65.61/21.54 c (21,13) gvr[16][4] = 2 65.61/21.54 c (21,13) gvr[17][0] = 1 65.61/21.54 c (21,13) gvr[17][1] = 3 65.61/21.54 c (21,13) gvr[17][2] = 4 65.61/21.54 c (21,13) gvr[17][3] = 0 65.61/21.54 c (21,13) gvr[17][4] = 2 65.61/21.54 c (21,13) gvr[18][0] = 1 65.61/21.54 c (21,13) gvr[18][1] = 2 65.61/21.54 c (21,13) gvr[18][2] = 4 65.61/21.54 c (21,13) gvr[18][3] = 3 65.61/21.54 c (21,13) gvr[18][4] = 0 65.61/21.54 c (21,13) gvr[19][0] = 1 65.61/21.54 c (21,13) gvr[19][1] = 3 65.61/21.54 c (21,13) gvr[19][2] = 0 65.61/21.54 c (21,13) gvr[19][3] = 2 65.61/21.54 c (21,13) gvr[19][4] = 4 65.61/21.54 c (21,13) gvr[20][0] = 2 65.61/21.54 c (21,13) gvr[20][1] = 0 65.61/21.54 c (21,13) gvr[20][2] = 4 65.61/21.54 c (21,13) gvr[20][3] = 1 65.61/21.54 c (21,13) gvr[20][4] = 3 65.61/21.54 c (21,13) gvr[21][0] = 2 65.61/21.54 c (21,13) gvr[21][1] = 1 65.61/21.54 c (21,13) gvr[21][2] = 3 65.61/21.54 c (21,13) gvr[21][3] = 4 65.61/21.54 c (21,13) gvr[21][4] = 0 65.61/21.54 c (21,13) gvr[22][0] = 2 65.61/21.54 c (21,13) gvr[22][1] = 3 65.61/21.54 c (21,13) gvr[22][2] = 0 65.61/21.54 c (21,13) gvr[22][3] = 4 65.61/21.54 c (21,13) gvr[22][4] = 1 65.61/21.54 c (21,13) gvr[23][0] = 2 65.61/21.54 c (21,13) gvr[23][1] = 4 65.61/21.54 c (21,13) gvr[23][2] = 1 65.61/21.54 c (21,13) gvr[23][3] = 3 65.61/21.54 c (21,13) gvr[23][4] = 0 65.61/21.54 c (21,13) gvr[24][0] = 2 65.61/21.54 c (21,13) gvr[24][1] = 0 65.61/21.54 c (21,13) gvr[24][2] = 1 65.61/21.54 c (21,13) gvr[24][3] = 4 65.61/21.54 c (21,13) gvr[24][4] = 3 65.61/21.54 c (21,13) gvr[25][0] = 2 65.61/21.54 c (21,13) gvr[25][1] = 0 65.61/21.54 c (21,13) gvr[25][2] = 1 65.61/21.54 c (21,13) gvr[25][3] = 4 65.61/21.54 c (21,13) gvr[25][4] = 3 65.61/21.54 c (21,13) gvr[26][0] = 2 65.61/21.54 c (21,13) gvr[26][1] = 4 65.61/21.54 c (21,13) gvr[26][2] = 0 65.61/21.54 c (21,13) gvr[26][3] = 1 65.61/21.54 c (21,13) gvr[26][4] = 3 65.61/21.54 c (21,13) gvr[27][0] = 2 65.61/21.54 c (21,13) gvr[27][1] = 0 65.61/21.54 c (21,13) gvr[27][2] = 1 65.61/21.54 c (21,13) gvr[27][3] = 4 65.61/21.54 c (21,13) gvr[27][4] = 3 65.61/21.54 c (21,13) gvr[28][0] = 2 65.61/21.54 c (21,13) gvr[28][1] = 0 65.61/21.54 c (21,13) gvr[28][2] = 4 65.61/21.54 c (21,13) gvr[28][3] = 1 65.61/21.54 c (21,13) gvr[28][4] = 3 65.61/21.54 c (21,13) gvr[29][0] = 2 65.61/21.54 c (21,13) gvr[29][1] = 0 65.61/21.54 c (21,13) gvr[29][2] = 3 65.61/21.54 c (21,13) gvr[29][3] = 1 65.61/21.54 c (21,13) gvr[29][4] = 4 65.61/21.54 c (21,13) gvr[30][0] = 3 65.61/21.54 c (21,13) gvr[30][1] = 4 65.61/21.54 c (21,13) gvr[30][2] = 1 65.61/21.54 c (21,13) gvr[30][3] = 2 65.61/21.54 c (21,13) gvr[30][4] = 0 65.61/21.54 c (21,13) gvr[31][0] = 3 65.61/21.54 c (21,13) gvr[31][1] = 4 65.61/21.54 c (21,13) gvr[31][2] = 2 65.61/21.54 c (21,13) gvr[31][3] = 1 65.61/21.54 c (21,13) gvr[31][4] = 0 65.61/21.54 c (21,13) gvr[32][0] = 3 65.61/21.54 c (21,13) gvr[32][1] = 4 65.61/21.54 c (21,13) gvr[32][2] = 1 65.61/21.54 c (21,13) gvr[32][3] = 2 65.61/21.54 c (21,13) gvr[32][4] = 0 65.61/21.54 c (21,13) gvr[33][0] = 3 65.61/21.54 c (21,13) gvr[33][1] = 4 65.61/21.54 c (21,13) gvr[33][2] = 0 65.61/21.54 c (21,13) gvr[33][3] = 2 65.61/21.54 c (21,13) gvr[33][4] = 1 65.61/21.54 c (21,13) gvr[34][0] = 3 65.61/21.54 c (21,13) gvr[34][1] = 2 65.61/21.54 c (21,13) gvr[34][2] = 0 65.61/21.54 c (21,13) gvr[34][3] = 1 65.61/21.54 c (21,13) gvr[34][4] = 4 65.61/21.54 c (21,13) gvr[35][0] = 3 65.61/21.54 c (21,13) gvr[35][1] = 0 65.61/21.54 c (21,13) gvr[35][2] = 2 65.61/21.54 c (21,13) gvr[35][3] = 4 65.61/21.54 c (21,13) gvr[35][4] = 1 65.61/21.54 c (21,13) gvr[36][0] = 3 65.61/21.54 c (21,13) gvr[36][1] = 4 65.61/21.54 c (21,13) gvr[36][2] = 2 65.61/21.54 c (21,13) gvr[36][3] = 0 65.61/21.54 c (21,13) gvr[36][4] = 1 65.61/21.54 c (21,13) gvr[37][0] = 3 65.61/21.54 c (21,13) gvr[37][1] = 2 65.61/21.54 c (21,13) gvr[37][2] = 0 65.61/21.54 c (21,13) gvr[37][3] = 1 65.61/21.54 c (21,13) gvr[37][4] = 4 65.61/21.54 c (21,13) gvr[38][0] = 3 65.61/21.54 c (21,13) gvr[38][1] = 4 65.61/21.54 c (21,13) gvr[38][2] = 1 65.61/21.54 c (21,13) gvr[38][3] = 2 65.61/21.54 c (21,13) gvr[38][4] = 0 65.61/21.54 c (21,13) gvr[39][0] = 3 65.61/21.54 c (21,13) gvr[39][1] = 0 65.61/21.54 c (21,13) gvr[39][2] = 2 65.61/21.54 c (21,13) gvr[39][3] = 4 65.61/21.54 c (21,13) gvr[39][4] = 1 65.61/21.54 c (21,13) gvr[40][0] = 4 65.61/21.54 c (21,13) gvr[40][1] = 1 65.61/21.54 c (21,13) gvr[40][2] = 0 65.61/21.54 c (21,13) gvr[40][3] = 3 65.61/21.54 c (21,13) gvr[40][4] = 2 65.61/21.54 c (21,13) gvr[41][0] = 4 65.61/21.54 c (21,13) gvr[41][1] = 2 65.61/21.54 c (21,13) gvr[41][2] = 0 65.61/21.54 c (21,13) gvr[41][3] = 3 65.61/21.54 c (21,13) gvr[41][4] = 1 65.61/21.54 c (21,13) gvr[42][0] = 4 65.61/21.54 c (21,13) gvr[42][1] = 2 65.61/21.54 c (21,13) gvr[42][2] = 3 65.61/21.54 c (21,13) gvr[42][3] = 1 65.61/21.54 c (21,13) gvr[42][4] = 0 65.61/21.54 c (21,13) gvr[43][0] = 4 65.61/21.54 c (21,13) gvr[43][1] = 3 65.61/21.54 c (21,13) gvr[43][2] = 0 65.61/21.54 c (21,13) gvr[43][3] = 2 65.61/21.54 c (21,13) gvr[43][4] = 1 65.61/21.54 c (21,13) gvr[44][0] = 4 65.61/21.54 c (21,13) gvr[44][1] = 1 65.61/21.54 c (21,13) gvr[44][2] = 3 65.61/21.54 c (21,13) gvr[44][3] = 0 65.61/21.54 c (21,13) gvr[44][4] = 2 65.61/21.54 c (21,13) gvr[45][0] = 4 65.61/21.54 c (21,13) gvr[45][1] = 1 65.61/21.54 c (21,13) gvr[45][2] = 3 65.61/21.54 c (21,13) gvr[45][3] = 0 65.61/21.54 c (21,13) gvr[45][4] = 2 65.61/21.54 c (21,13) gvr[46][0] = 4 65.61/21.54 c (21,13) gvr[46][1] = 1 65.61/21.54 c (21,13) gvr[46][2] = 3 65.61/21.54 c (21,13) gvr[46][3] = 0 65.61/21.54 c (21,13) gvr[46][4] = 2 65.61/21.54 c (21,13) gvr[47][0] = 4 65.61/21.54 c (21,13) gvr[47][1] = 1 65.61/21.54 c (21,13) gvr[47][2] = 3 65.61/21.54 c (21,13) gvr[47][3] = 0 65.61/21.54 c (21,13) gvr[47][4] = 2 65.61/21.54 c (21,13) gvr[48][0] = 4 65.61/21.54 c (21,13) gvr[48][1] = 1 65.61/21.54 c (21,13) gvr[48][2] = 3 65.61/21.54 c (21,13) gvr[48][3] = 0 65.61/21.54 c (21,13) gvr[48][4] = 2 65.61/21.54 c (21,13) gvr[49][0] = 4 65.61/21.54 c (21,13) gvr[49][1] = 1 65.61/21.54 c (21,13) gvr[49][2] = 3 65.61/21.54 c (21,13) gvr[49][3] = 0 65.61/21.54 c (21,13) gvr[49][4] = 2 65.61/21.54 c (21,13) ve[0][0] = 0 65.61/21.54 c (21,13) ve[0][1] = 11 65.61/21.54 c (21,13) ve[0][2] = 34 65.61/21.55 c (21,13) ve[0][3] = 44 65.61/21.55 c (21,13) ve[0][4] = 21 65.61/21.55 c (21,13) ve[1][0] = 1 65.61/21.55 c (21,13) ve[1][1] = 24 65.61/21.55 c (21,13) ve[1][2] = 26 65.61/21.55 c (21,13) ve[1][3] = 36 65.61/21.55 c (21,13) ve[1][4] = 12 65.61/21.55 c (21,13) ve[2][0] = 2 65.61/21.55 c (21,13) ve[2][1] = 35 65.61/21.55 c (21,13) ve[2][2] = 22 65.61/21.55 c (21,13) ve[2][3] = 15 65.61/21.55 c (21,13) ve[2][4] = 31 65.61/21.55 c (21,13) ve[3][0] = 3 65.61/21.55 c (21,13) ve[3][1] = 29 65.61/21.55 c (21,13) ve[3][2] = 40 65.61/21.55 c (21,13) ve[3][3] = 17 65.61/21.55 c (21,13) ve[3][4] = 14 65.61/21.55 c (21,13) ve[4][0] = 4 65.61/21.55 c (21,13) ve[4][1] = 27 65.61/21.55 c (21,13) ve[4][2] = 41 65.61/21.55 c (21,13) ve[4][3] = 10 65.61/21.55 c (21,13) ve[4][4] = 18 65.61/21.55 c (21,13) ve[5][0] = 5 65.61/21.55 c (21,13) ve[5][1] = 25 65.61/21.55 c (21,13) ve[5][2] = 13 65.61/21.55 c (21,13) ve[5][3] = 45 65.61/21.55 c (21,13) ve[5][4] = 42 65.61/21.55 c (21,13) ve[6][0] = 6 65.61/21.55 c (21,13) ve[6][1] = 28 65.61/21.55 c (21,13) ve[6][2] = 19 65.61/21.55 c (21,13) ve[6][3] = 46 65.61/21.55 c (21,13) ve[6][4] = 38 65.61/21.55 c (21,13) ve[7][0] = 7 65.61/21.55 c (21,13) ve[7][1] = 20 65.61/21.55 c (21,13) ve[7][2] = 37 65.61/21.55 c (21,13) ve[7][3] = 47 65.61/21.55 c (21,13) ve[7][4] = 30 65.61/21.55 c (21,13) ve[8][0] = 8 65.61/21.55 c (21,13) ve[8][1] = 39 65.61/21.55 c (21,13) ve[8][2] = 33 65.61/21.55 c (21,13) ve[8][3] = 48 65.61/21.55 c (21,13) ve[8][4] = 23 65.61/21.55 c (21,13) ve[9][0] = 9 65.61/21.55 c (21,13) ve[9][1] = 16 65.61/21.55 c (21,13) ve[9][2] = 43 65.61/21.55 c (21,13) ve[9][3] = 49 65.61/21.55 c (21,13) ve[9][4] = 32 65.61/21.55 c (21,13) ve[10][0] = 10 65.61/21.55 c (21,13) ve[10][1] = 44 65.61/21.55 c (21,13) ve[10][2] = 24 65.61/21.55 c (21,13) ve[10][3] = 6 65.61/21.55 c (21,13) ve[10][4] = 33 65.61/21.55 c (21,13) ve[11][0] = 11 65.61/21.55 c (21,13) ve[11][1] = 9 65.61/21.55 c (21,13) ve[11][2] = 23 65.61/21.55 c (21,13) ve[11][3] = 29 65.61/21.55 c (21,13) ve[11][4] = 35 65.61/21.55 c (21,13) ve[12][0] = 12 65.61/21.55 c (21,13) ve[12][1] = 40 65.61/21.55 c (21,13) ve[12][2] = 2 65.61/21.55 c (21,13) ve[12][3] = 26 65.61/21.55 c (21,13) ve[12][4] = 22 65.61/21.55 c (21,13) ve[13][0] = 13 65.61/21.55 c (21,13) ve[13][1] = 21 65.61/21.55 c (21,13) ve[13][2] = 30 65.61/21.55 c (21,13) ve[13][3] = 37 65.61/21.55 c (21,13) ve[13][4] = 7 65.61/21.55 c (21,13) ve[14][0] = 14 65.61/21.55 c (21,13) ve[14][1] = 45 65.61/21.55 c (21,13) ve[14][2] = 27 65.61/21.55 c (21,13) ve[14][3] = 5 65.61/21.55 c (21,13) ve[14][4] = 43 65.61/21.55 c (21,13) ve[15][0] = 15 65.61/21.55 c (21,13) ve[15][1] = 0 65.61/21.55 c (21,13) ve[15][2] = 25 65.61/21.55 c (21,13) ve[15][3] = 20 65.61/21.55 c (21,13) ve[15][4] = 41 65.61/21.55 c (21,13) ve[16][0] = 16 65.61/21.55 c (21,13) ve[16][1] = 46 65.61/21.55 c (21,13) ve[16][2] = 32 65.61/21.55 c (21,13) ve[16][3] = 42 65.61/21.55 c (21,13) ve[16][4] = 1 65.61/21.55 c (21,13) ve[17][0] = 17 65.61/21.55 c (21,13) ve[17][1] = 47 65.61/21.55 c (21,13) ve[17][2] = 3 65.61/21.55 c (21,13) ve[17][3] = 31 65.61/21.55 c (21,13) ve[17][4] = 36 65.61/21.55 c (21,13) ve[18][0] = 18 65.61/21.55 c (21,13) ve[18][1] = 48 65.61/21.55 c (21,13) ve[18][2] = 8 65.61/21.55 c (21,13) ve[18][3] = 28 65.61/21.55 c (21,13) ve[18][4] = 39 65.61/21.55 c (21,13) ve[19][0] = 19 65.61/21.55 c (21,13) ve[19][1] = 49 65.61/21.55 c (21,13) ve[19][2] = 38 65.61/21.55 c (21,13) ve[19][3] = 34 65.61/21.55 c (21,13) ve[19][4] = 4 65.61/21.55 c (21,13) ve[20][0] = 20 65.61/21.55 c (21,13) ve[20][1] = 6 65.61/21.55 c (21,13) ve[20][2] = 15 65.61/21.55 c (21,13) ve[20][3] = 33 65.61/21.55 c (21,13) ve[20][4] = 40 65.61/21.55 c (21,13) ve[21][0] = 21 65.61/21.55 c (21,13) ve[21][1] = 1 65.61/21.55 c (21,13) ve[21][2] = 31 65.61/21.55 c (21,13) ve[21][3] = 43 65.61/21.55 c (21,13) ve[21][4] = 13 65.61/21.55 c (21,13) ve[22][0] = 22 65.61/21.55 c (21,13) ve[22][1] = 42 65.61/21.55 c (21,13) ve[22][2] = 9 65.61/21.55 c (21,13) ve[22][3] = 32 65.61/21.55 c (21,13) ve[22][4] = 44 65.61/21.55 c (21,13) ve[23][0] = 23 65.61/21.55 c (21,13) ve[23][1] = 5 65.61/21.55 c (21,13) ve[23][2] = 39 65.61/21.55 c (21,13) ve[23][3] = 30 65.61/21.55 c (21,13) ve[23][4] = 45 65.61/21.55 c (21,13) ve[24][0] = 24 65.61/21.55 c (21,13) ve[24][1] = 34 65.61/21.55 c (21,13) ve[24][2] = 35 65.61/21.55 c (21,13) ve[24][3] = 2 65.61/21.55 c (21,13) ve[24][4] = 16 65.61/21.55 c (21,13) ve[25][0] = 25 65.61/21.55 c (21,13) ve[25][1] = 8 65.61/21.55 c (21,13) ve[25][2] = 10 65.61/21.55 c (21,13) ve[25][3] = 38 65.61/21.55 c (21,13) ve[25][4] = 17 65.61/21.55 c (21,13) ve[26][0] = 26 65.61/21.55 c (21,13) ve[26][1] = 37 65.61/21.55 c (21,13) ve[26][2] = 11 65.61/21.55 c (21,13) ve[26][3] = 4 65.61/21.55 c (21,13) ve[26][4] = 46 65.61/21.55 c (21,13) ve[27][0] = 27 65.61/21.55 c (21,13) ve[27][1] = 41 65.61/21.55 c (21,13) ve[27][2] = 0 65.61/21.55 c (21,13) ve[27][3] = 19 65.61/21.55 c (21,13) ve[27][4] = 47 65.61/21.55 c (21,13) ve[28][0] = 28 65.61/21.55 c (21,13) ve[28][1] = 18 65.61/21.55 c (21,13) ve[28][2] = 14 65.61/21.55 c (21,13) ve[28][3] = 7 65.61/21.55 c (21,13) ve[28][4] = 48 65.61/21.55 c (21,13) ve[29][0] = 29 65.61/21.55 c (21,13) ve[29][1] = 12 65.61/21.55 c (21,13) ve[29][2] = 36 65.61/21.55 c (21,13) ve[29][3] = 3 65.61/21.55 c (21,13) ve[29][4] = 49 65.61/21.55 c (21,13) ve[30][0] = 30 65.61/21.55 c (21,13) ve[30][1] = 13 65.61/21.55 c (21,13) ve[30][2] = 44 65.61/21.55 c (21,13) ve[30][3] = 0 65.61/21.55 c (21,13) ve[30][4] = 24 65.61/21.55 c (21,13) ve[31][0] = 31 65.61/21.55 c (21,13) ve[31][1] = 10 65.61/21.55 c (21,13) ve[31][2] = 42 65.61/21.55 c (21,13) ve[31][3] = 18 65.61/21.55 c (21,13) ve[31][4] = 5 65.61/21.55 c (21,13) ve[32][0] = 32 65.61/21.55 c (21,13) ve[32][1] = 4 65.61/21.55 c (21,13) ve[32][2] = 21 65.61/21.55 c (21,13) ve[32][3] = 40 65.61/21.55 c (21,13) ve[32][4] = 15 65.61/21.55 c (21,13) ve[33][0] = 33 65.61/21.55 c (21,13) ve[33][1] = 43 65.61/21.55 c (21,13) ve[33][2] = 45 65.61/21.55 c (21,13) ve[33][3] = 16 65.61/21.55 c (21,13) ve[33][4] = 8 65.61/21.55 c (21,13) ve[34][0] = 34 65.61/21.55 c (21,13) ve[34][1] = 2 65.61/21.55 c (21,13) ve[34][2] = 46 65.61/21.55 c (21,13) ve[34][3] = 41 65.61/21.55 c (21,13) ve[34][4] = 20 65.61/21.55 c (21,13) ve[35][0] = 35 65.61/21.55 c (21,13) ve[35][1] = 3 65.61/21.55 c (21,13) ve[35][2] = 47 65.61/21.55 c (21,13) ve[35][3] = 11 65.61/21.55 c (21,13) ve[35][4] = 27 65.61/21.55 c (21,13) ve[36][0] = 36 65.61/21.55 c (21,13) ve[36][1] = 17 65.61/21.55 c (21,13) ve[36][2] = 12 65.61/21.55 c (21,13) ve[36][3] = 9 65.61/21.55 c (21,13) ve[36][4] = 28 65.61/21.55 c (21,13) ve[37][0] = 37 65.61/21.55 c (21,13) ve[37][1] = 19 65.61/21.55 c (21,13) ve[37][2] = 48 65.61/21.55 c (21,13) ve[37][3] = 1 65.61/21.55 c (21,13) ve[37][4] = 25 65.61/21.55 c (21,13) ve[38][0] = 38 65.61/21.55 c (21,13) ve[38][1] = 22 65.61/21.55 c (21,13) ve[38][2] = 29 65.61/21.55 c (21,13) ve[38][3] = 14 65.61/21.55 c (21,13) ve[38][4] = 6 65.61/21.55 c (21,13) ve[39][0] = 39 65.61/21.55 c (21,13) ve[39][1] = 7 65.61/21.55 c (21,13) ve[39][2] = 49 65.61/21.55 c (21,13) ve[39][3] = 23 65.61/21.55 c (21,13) ve[39][4] = 26 65.61/21.55 c (21,13) ve[40][0] = 40 65.61/21.55 c (21,13) ve[40][1] = 23 65.61/21.55 c (21,13) ve[40][2] = 1 65.61/21.55 c (21,13) ve[40][3] = 13 65.61/21.55 c (21,13) ve[40][4] = 29 65.61/21.55 c (21,13) ve[41][0] = 41 65.61/21.55 c (21,13) ve[41][1] = 15 65.61/21.55 c (21,13) ve[41][2] = 4 65.61/21.55 c (21,13) ve[41][3] = 24 65.61/21.55 c (21,13) ve[41][4] = 34 65.61/21.55 c (21,13) ve[42][0] = 42 65.61/21.55 c (21,13) ve[42][1] = 14 65.61/21.55 c (21,13) ve[42][2] = 20 65.61/21.55 c (21,13) ve[42][3] = 25 65.61/21.55 c (21,13) ve[42][4] = 0 65.61/21.55 c (21,13) ve[43][0] = 43 65.61/21.55 c (21,13) ve[43][1] = 26 65.61/21.55 c (21,13) ve[43][2] = 16 65.61/21.55 c (21,13) ve[43][3] = 22 65.61/21.55 c (21,13) ve[43][4] = 2 65.61/21.55 c (21,13) ve[44][0] = 44 65.61/21.55 c (21,13) ve[44][1] = 31 65.61/21.55 c (21,13) ve[44][2] = 17 65.61/21.55 c (21,13) ve[44][3] = 39 65.61/21.55 c (21,13) ve[44][4] = 3 65.61/21.55 c (21,13) ve[45][0] = 45 65.61/21.55 c (21,13) ve[45][1] = 30 65.61/21.55 c (21,13) ve[45][2] = 18 65.61/21.55 c (21,13) ve[45][3] = 35 65.61/21.55 c (21,13) ve[45][4] = 9 65.61/21.55 c (21,13) ve[46][0] = 46 65.61/21.55 c (21,13) ve[46][1] = 36 65.61/21.55 c (21,13) ve[46][2] = 7 65.61/21.55 c (21,13) ve[46][3] = 27 65.61/21.55 c (21,13) ve[46][4] = 11 65.61/21.55 c (21,13) ve[47][0] = 47 65.61/21.55 c (21,13) ve[47][1] = 32 65.61/21.55 c (21,13) ve[47][2] = 6 65.61/21.55 c (21,13) ve[47][3] = 12 65.61/21.55 c (21,13) ve[47][4] = 37 65.61/21.55 c (21,13) ve[48][0] = 48 65.61/21.55 c (21,13) ve[48][1] = 38 65.61/21.55 c (21,13) ve[48][2] = 28 65.61/21.55 c (21,13) ve[48][3] = 8 65.61/21.55 c (21,13) ve[48][4] = 19 65.61/21.55 c (21,13) ve[49][0] = 49 65.61/21.55 c (21,13) ve[49][1] = 33 65.61/21.55 c (21,13) ve[49][2] = 5 65.61/21.55 c (21,13) ve[49][3] = 21 65.61/21.55 c (21,13) ve[49][4] = 10 65.61/21.55 c (21,13) vr[0][0] = 0 65.61/21.55 c (21,13) vr[0][1] = 15 65.61/21.55 c (21,13) vr[0][2] = 27 65.61/21.55 c (21,13) vr[0][3] = 30 65.61/21.55 c (21,13) vr[0][4] = 42 65.61/21.55 c (21,13) vr[1][0] = 1 65.61/21.55 c (21,13) vr[1][1] = 21 65.61/21.55 c (21,13) vr[1][2] = 40 65.61/21.55 c (21,13) vr[1][3] = 37 65.61/21.55 c (21,13) vr[1][4] = 16 65.61/21.55 c (21,13) vr[2][0] = 2 65.61/21.55 c (21,13) vr[2][1] = 34 65.61/21.55 c (21,13) vr[2][2] = 12 65.61/21.55 c (21,13) vr[2][3] = 24 65.61/21.55 c (21,13) vr[2][4] = 43 65.61/21.55 c (21,13) vr[3][0] = 3 65.61/21.55 c (21,13) vr[3][1] = 35 65.61/21.55 c (21,13) vr[3][2] = 17 65.61/21.55 c (21,13) vr[3][3] = 29 65.61/21.55 c (21,13) vr[3][4] = 44 65.61/21.55 c (21,13) vr[4][0] = 4 65.61/21.55 c (21,13) vr[4][1] = 32 65.61/21.55 c (21,13) vr[4][2] = 41 65.61/21.55 c (21,13) vr[4][3] = 26 65.61/21.55 c (21,13) vr[4][4] = 19 65.61/21.55 c (21,13) vr[5][0] = 5 65.61/21.55 c (21,13) vr[5][1] = 23 65.61/21.55 c (21,13) vr[5][2] = 49 65.61/21.55 c (21,13) vr[5][3] = 14 65.61/21.55 c (21,13) vr[5][4] = 31 65.61/21.55 c (21,13) vr[6][0] = 6 65.61/21.55 c (21,13) vr[6][1] = 20 65.61/21.55 c (21,13) vr[6][2] = 47 65.61/21.55 c (21,13) vr[6][3] = 10 65.61/21.55 c (21,13) vr[6][4] = 38 65.61/21.55 c (21,13) vr[7][0] = 7 65.61/21.55 c (21,13) vr[7][1] = 39 65.61/21.55 c (21,13) vr[7][2] = 46 65.61/21.55 c (21,13) vr[7][3] = 28 65.61/21.55 c (21,13) vr[7][4] = 13 65.61/21.55 c (21,13) vr[8][0] = 8 65.61/21.55 c (21,13) vr[8][1] = 25 65.61/21.55 c (21,13) vr[8][2] = 18 65.61/21.55 c (21,13) vr[8][3] = 48 65.61/21.55 c (21,13) vr[8][4] = 33 65.61/21.55 c (21,13) vr[9][0] = 9 65.61/21.55 c (21,13) vr[9][1] = 11 65.61/21.55 c (21,13) vr[9][2] = 22 65.61/21.55 c (21,13) vr[9][3] = 36 65.61/21.55 c (21,13) vr[9][4] = 45 65.61/21.55 c (21,13) vr[10][0] = 10 65.61/21.55 c (21,13) vr[10][1] = 31 65.61/21.55 c (21,13) vr[10][2] = 25 65.61/21.55 c (21,13) vr[10][3] = 4 65.61/21.55 c (21,13) vr[10][4] = 49 65.61/21.55 c (21,13) vr[11][0] = 11 65.61/21.55 c (21,13) vr[11][1] = 0 65.61/21.55 c (21,13) vr[11][2] = 26 65.61/21.55 c (21,13) vr[11][3] = 35 65.61/21.55 c (21,13) vr[11][4] = 46 65.61/21.55 c (21,13) vr[12][0] = 12 65.61/21.55 c (21,13) vr[12][1] = 29 65.61/21.55 c (21,13) vr[12][2] = 36 65.61/21.55 c (21,13) vr[12][3] = 47 65.61/21.55 c (21,13) vr[12][4] = 1 65.61/21.55 c (21,13) vr[13][0] = 13 65.61/21.55 c (21,13) vr[13][1] = 30 65.61/21.55 c (21,13) vr[13][2] = 5 65.61/21.55 c (21,13) vr[13][3] = 40 65.61/21.55 c (21,13) vr[13][4] = 21 65.61/21.55 c (21,13) vr[14][0] = 14 65.61/21.55 c (21,13) vr[14][1] = 42 65.61/21.55 c (21,13) vr[14][2] = 28 65.61/21.55 c (21,13) vr[14][3] = 38 65.61/21.55 c (21,13) vr[14][4] = 3 65.61/21.55 c (21,13) vr[15][0] = 15 65.61/21.55 c (21,13) vr[15][1] = 41 65.61/21.55 c (21,13) vr[15][2] = 20 65.61/21.55 c (21,13) vr[15][3] = 2 65.61/21.55 c (21,13) vr[15][4] = 32 65.61/21.55 c (21,13) vr[16][0] = 16 65.61/21.55 c (21,13) vr[16][1] = 9 65.61/21.55 c (21,13) vr[16][2] = 43 65.61/21.55 c (21,13) vr[16][3] = 33 65.61/21.55 c (21,13) vr[16][4] = 24 65.61/21.55 c (21,13) vr[17][0] = 17 65.61/21.55 c (21,13) vr[17][1] = 36 65.61/21.55 c (21,13) vr[17][2] = 44 65.61/21.55 c (21,13) vr[17][3] = 3 65.61/21.55 c (21,13) vr[17][4] = 25 65.61/21.55 c (21,13) vr[18][0] = 18 65.61/21.55 c (21,13) vr[18][1] = 28 65.61/21.55 c (21,13) vr[18][2] = 45 65.61/21.55 c (21,13) vr[18][3] = 31 65.61/21.55 c (21,13) vr[18][4] = 4 65.61/21.55 c (21,13) vr[19][0] = 19 65.61/21.55 c (21,13) vr[19][1] = 37 65.61/21.55 c (21,13) vr[19][2] = 6 65.61/21.55 c (21,13) vr[19][3] = 27 65.61/21.55 c (21,13) vr[19][4] = 48 65.61/21.55 c (21,13) vr[20][0] = 20 65.61/21.55 c (21,13) vr[20][1] = 7 65.61/21.55 c (21,13) vr[20][2] = 42 65.61/21.55 c (21,13) vr[20][3] = 15 65.61/21.55 c (21,13) vr[20][4] = 34 65.61/21.55 c (21,13) vr[21][0] = 21 65.61/21.55 c (21,13) vr[21][1] = 13 65.61/21.55 c (21,13) vr[21][2] = 32 65.61/21.55 c (21,13) vr[21][3] = 49 65.61/21.55 c (21,13) vr[21][4] = 0 65.61/21.55 c (21,13) vr[22][0] = 22 65.61/21.55 c (21,13) vr[22][1] = 38 65.61/21.55 c (21,13) vr[22][2] = 2 65.61/21.55 c (21,13) vr[22][3] = 43 65.61/21.55 c (21,13) vr[22][4] = 12 65.61/21.55 c (21,13) vr[23][0] = 23 65.61/21.55 c (21,13) vr[23][1] = 40 65.61/21.55 c (21,13) vr[23][2] = 11 65.61/21.55 c (21,13) vr[23][3] = 39 65.61/21.55 c (21,13) vr[23][4] = 8 65.61/21.55 c (21,13) vr[24][0] = 24 65.61/21.55 c (21,13) vr[24][1] = 1 65.61/21.55 c (21,13) vr[24][2] = 10 65.61/21.55 c (21,13) vr[24][3] = 41 65.61/21.55 c (21,13) vr[24][4] = 30 65.61/21.55 c (21,13) vr[25][0] = 25 65.61/21.55 c (21,13) vr[25][1] = 5 65.61/21.55 c (21,13) vr[25][2] = 15 65.61/21.55 c (21,13) vr[25][3] = 42 65.61/21.55 c (21,13) vr[25][4] = 37 65.61/21.55 c (21,13) vr[26][0] = 26 65.61/21.55 c (21,13) vr[26][1] = 43 65.61/21.55 c (21,13) vr[26][2] = 1 65.61/21.55 c (21,13) vr[26][3] = 12 65.61/21.55 c (21,13) vr[26][4] = 39 65.61/21.55 c (21,13) vr[27][0] = 27 65.61/21.55 c (21,13) vr[27][1] = 4 65.61/21.55 c (21,13) vr[27][2] = 14 65.61/21.55 c (21,13) vr[27][3] = 46 65.61/21.55 c (21,13) vr[27][4] = 35 65.61/21.55 c (21,13) vr[28][0] = 28 65.61/21.55 c (21,13) vr[28][1] = 6 65.61/21.55 c (21,13) vr[28][2] = 48 65.61/21.55 c (21,13) vr[28][3] = 18 65.61/21.55 c (21,13) vr[28][4] = 36 65.61/21.55 c (21,13) vr[29][0] = 29 65.61/21.55 c (21,13) vr[29][1] = 3 65.61/21.55 c (21,13) vr[29][2] = 38 65.61/21.55 c (21,13) vr[29][3] = 11 65.61/21.55 c (21,13) vr[29][4] = 40 65.61/21.55 c (21,13) vr[30][0] = 30 65.61/21.55 c (21,13) vr[30][1] = 45 65.61/21.55 c (21,13) vr[30][2] = 13 65.61/21.55 c (21,13) vr[30][3] = 23 65.61/21.55 c (21,13) vr[30][4] = 7 65.61/21.55 c (21,13) vr[31][0] = 31 65.61/21.55 c (21,13) vr[31][1] = 44 65.61/21.55 c (21,13) vr[31][2] = 21 65.61/21.55 c (21,13) vr[31][3] = 17 65.61/21.55 c (21,13) vr[31][4] = 2 65.61/21.55 c (21,13) vr[32][0] = 32 65.61/21.55 c (21,13) vr[32][1] = 47 65.61/21.55 c (21,13) vr[32][2] = 16 65.61/21.55 c (21,13) vr[32][3] = 22 65.61/21.55 c (21,13) vr[32][4] = 9 65.61/21.55 c (21,13) vr[33][0] = 33 65.61/21.55 c (21,13) vr[33][1] = 49 65.61/21.55 c (21,13) vr[33][2] = 8 65.61/21.55 c (21,13) vr[33][3] = 20 65.61/21.55 c (21,13) vr[33][4] = 10 65.61/21.55 c (21,13) vr[34][0] = 34 65.61/21.55 c (21,13) vr[34][1] = 24 65.61/21.55 c (21,13) vr[34][2] = 0 65.61/21.55 c (21,13) vr[34][3] = 19 65.61/21.55 c (21,13) vr[34][4] = 41 65.61/21.55 c (21,13) vr[35][0] = 35 65.61/21.55 c (21,13) vr[35][1] = 2 65.61/21.55 c (21,13) vr[35][2] = 24 65.61/21.55 c (21,13) vr[35][3] = 45 65.61/21.55 c (21,13) vr[35][4] = 11 65.61/21.55 c (21,13) vr[36][0] = 36 65.61/21.55 c (21,13) vr[36][1] = 46 65.61/21.55 c (21,13) vr[36][2] = 29 65.61/21.55 c (21,13) vr[36][3] = 1 65.61/21.55 c (21,13) vr[36][4] = 17 65.61/21.55 c (21,13) vr[37][0] = 37 65.61/21.55 c (21,13) vr[37][1] = 26 65.61/21.55 c (21,13) vr[37][2] = 7 65.61/21.55 c (21,13) vr[37][3] = 13 65.61/21.55 c (21,13) vr[37][4] = 47 65.61/21.55 c (21,13) vr[38][0] = 38 65.61/21.55 c (21,13) vr[38][1] = 48 65.61/21.55 c (21,13) vr[38][2] = 19 65.61/21.55 c (21,13) vr[38][3] = 25 65.61/21.55 c (21,13) vr[38][4] = 6 65.61/21.55 c (21,13) vr[39][0] = 39 65.61/21.55 c (21,13) vr[39][1] = 8 65.61/21.55 c (21,13) vr[39][2] = 23 65.61/21.55 c (21,13) vr[39][3] = 44 65.61/21.55 c (21,13) vr[39][4] = 18 65.61/21.55 c (21,13) vr[40][0] = 40 65.61/21.55 c (21,13) vr[40][1] = 12 65.61/21.55 c (21,13) vr[40][2] = 3 65.61/21.55 c (21,13) vr[40][3] = 32 65.61/21.55 c (21,13) vr[40][4] = 20 65.61/21.55 c (21,13) vr[41][0] = 41 65.61/21.55 c (21,13) vr[41][1] = 27 65.61/21.55 c (21,13) vr[41][2] = 4 65.61/21.55 c (21,13) vr[41][3] = 34 65.61/21.55 c (21,13) vr[41][4] = 15 65.61/21.55 c (21,13) vr[42][0] = 42 65.61/21.55 c (21,13) vr[42][1] = 22 65.61/21.55 c (21,13) vr[42][2] = 31 65.61/21.55 c (21,13) vr[42][3] = 16 65.61/21.55 c (21,13) vr[42][4] = 5 65.61/21.55 c (21,13) vr[43][0] = 43 65.61/21.55 c (21,13) vr[43][1] = 33 65.61/21.55 c (21,13) vr[43][2] = 9 65.61/21.55 c (21,13) vr[43][3] = 21 65.61/21.55 c (21,13) vr[43][4] = 14 65.61/21.55 c (21,13) vr[44][0] = 44 65.61/21.55 c (21,13) vr[44][1] = 10 65.61/21.55 c (21,13) vr[44][2] = 30 65.61/21.55 c (21,13) vr[44][3] = 0 65.61/21.55 c (21,13) vr[44][4] = 22 65.61/21.55 c (21,13) vr[45][0] = 45 65.61/21.55 c (21,13) vr[45][1] = 14 65.61/21.55 c (21,13) vr[45][2] = 33 65.61/21.55 c (21,13) vr[45][3] = 5 65.61/21.55 c (21,13) vr[45][4] = 23 65.61/21.55 c (21,13) vr[46][0] = 46 65.61/21.55 c (21,13) vr[46][1] = 16 65.61/21.55 c (21,13) vr[46][2] = 34 65.61/21.55 c (21,13) vr[46][3] = 6 65.61/21.55 c (21,13) vr[46][4] = 26 65.61/21.55 c (21,13) vr[47][0] = 47 65.61/21.55 c (21,13) vr[47][1] = 17 65.61/21.55 c (21,13) vr[47][2] = 35 65.61/21.55 c (21,13) vr[47][3] = 7 65.61/21.55 c (21,13) vr[47][4] = 27 65.61/21.55 c (21,13) vr[48][0] = 48 65.61/21.55 c (21,13) vr[48][1] = 18 65.61/21.55 c (21,13) vr[48][2] = 37 65.61/21.55 c (21,13) vr[48][3] = 8 65.61/21.55 c (21,13) vr[48][4] = 28 65.61/21.55 c (21,13) vr[49][0] = 49 65.61/21.55 c (21,13) vr[49][1] = 19 65.61/21.55 c (21,13) vr[49][2] = 39 65.61/21.55 c (21,13) vr[49][3] = 9 65.61/21.55 c (21,13) vr[49][4] = 29 65.61/21.55 s SATISFIABLE 65.61/21.55 v <instantiation> 65.61/21.55 v <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[42][0] vr[42][1] vr[42][2] vr[42][3] vr[42][4] vr[43][0] vr[43][1] vr[43][2] vr[43][3] vr[43][4] vr[44][0] vr[44][1] vr[44][2] vr[44][3] vr[44][4] vr[45][0] vr[45][1] vr[45][2] vr[45][3] vr[45][4] vr[46][0] vr[46][1] vr[46][2] vr[46][3] vr[46][4] vr[47][0] vr[47][1] vr[47][2] vr[47][3] vr[47][4] vr[48][0] vr[48][1] vr[48][2] vr[48][3] vr[48][4] vr[49][0] vr[49][1] vr[49][2] vr[49][3] vr[49][4] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[42][0] ve[42][1] ve[42][2] ve[42][3] ve[42][4] ve[43][0] ve[43][1] ve[43][2] ve[43][3] ve[43][4] ve[44][0] ve[44][1] ve[44][2] ve[44][3] ve[44][4] ve[45][0] ve[45][1] ve[45][2] ve[45][3] ve[45][4] ve[46][0] ve[46][1] ve[46][2] ve[46][3] ve[46][4] ve[47][0] ve[47][1] ve[47][2] ve[47][3] ve[47][4] ve[48][0] ve[48][1] ve[48][2] ve[48][3] ve[48][4] ve[49][0] ve[49][1] ve[49][2] ve[49][3] ve[49][4] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[42][0] gvr[42][1] gvr[42][2] gvr[42][3] gvr[42][4] gvr[43][0] gvr[43][1] gvr[43][2] gvr[43][3] gvr[43][4] gvr[44][0] gvr[44][1] gvr[44][2] gvr[44][3] gvr[44][4] gvr[45][0] gvr[45][1] gvr[45][2] gvr[45][3] gvr[45][4] gvr[46][0] gvr[46][1] gvr[46][2] gvr[46][3] gvr[46][4] gvr[47][0] gvr[47][1] gvr[47][2] gvr[47][3] gvr[47][4] gvr[48][0] gvr[48][1] gvr[48][2] gvr[48][3] gvr[48][4] gvr[49][0] gvr[49][1] gvr[49][2] gvr[49][3] gvr[49][4] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[42][0] gve[42][1] gve[42][2] gve[42][3] gve[42][4] gve[43][0] gve[43][1] gve[43][2] gve[43][3] gve[43][4] gve[44][0] gve[44][1] gve[44][2] gve[44][3] gve[44][4] gve[45][0] gve[45][1] gve[45][2] gve[45][3] gve[45][4] gve[46][0] gve[46][1] gve[46][2] gve[46][3] gve[46][4] gve[47][0] gve[47][1] gve[47][2] gve[47][3] gve[47][4] gve[48][0] gve[48][1] gve[48][2] gve[48][3] gve[48][4] gve[49][0] gve[49][1] gve[49][2] gve[49][3] gve[49][4]</list> 65.61/21.55 v <values>0 15 27 30 42 1 21 40 37 16 2 34 12 24 43 3 35 17 29 44 4 32 41 26 19 5 23 49 14 31 6 20 47 10 38 7 39 46 28 13 8 25 18 48 33 9 11 22 36 45 10 31 25 4 49 11 0 26 35 46 12 29 36 47 1 13 30 5 40 21 14 42 28 38 3 15 41 20 2 32 16 9 43 33 24 17 36 44 3 25 18 28 45 31 4 19 37 6 27 48 20 7 42 15 34 21 13 32 49 0 22 38 2 43 12 23 40 11 39 8 24 1 10 41 30 25 5 15 42 37 26 43 1 12 39 27 4 14 46 35 28 6 48 18 36 29 3 38 11 40 30 45 13 23 7 31 44 21 17 2 32 47 16 22 9 33 49 8 20 10 34 24 0 19 41 35 2 24 45 11 36 46 29 1 17 37 26 7 13 47 38 48 19 25 6 39 8 23 44 18 40 12 3 32 20 41 27 4 34 15 42 22 31 16 5 43 33 9 21 14 44 10 30 0 22 45 14 33 5 23 46 16 34 6 26 47 17 35 7 27 48 18 37 8 28 49 19 39 9 29 0 11 34 44 21 1 24 26 36 12 2 35 22 15 31 3 29 40 17 14 4 27 41 10 18 5 25 13 45 42 6 28 19 46 38 7 20 37 47 30 8 39 33 48 23 9 16 43 49 32 10 44 24 6 33 11 9 23 29 35 12 40 2 26 22 13 21 30 37 7 14 45 27 5 43 15 0 25 20 41 16 46 32 42 1 17 47 3 31 36 18 48 8 28 39 19 49 38 34 4 20 6 15 33 40 21 1 31 43 13 22 42 9 32 44 23 5 39 30 45 24 34 35 2 16 25 8 10 38 17 26 37 11 4 46 27 41 0 19 47 28 18 14 7 48 29 12 36 3 49 30 13 44 0 24 31 10 42 18 5 32 4 21 40 15 33 43 45 16 8 34 2 46 41 20 35 3 47 11 27 36 17 12 9 28 37 19 48 1 25 38 22 29 14 6 39 7 49 23 26 40 23 1 13 29 41 15 4 24 34 42 14 20 25 0 43 26 16 22 2 44 31 17 39 3 45 30 18 35 9 46 36 7 27 11 47 32 6 12 37 48 38 28 8 19 49 33 5 21 10 0 1 2 3 4 0 2 4 3 1 0 3 1 2 4 0 3 1 2 4 0 3 4 2 1 0 2 4 1 3 0 2 4 1 3 0 3 4 2 1 0 2 1 4 3 0 1 2 3 4 1 3 2 0 4 1 0 2 3 4 1 2 3 4 0 1 3 0 4 2 1 4 2 3 0 1 4 2 0 3 1 0 4 3 2 1 3 4 0 2 1 2 4 3 0 1 3 0 2 4 2 0 4 1 3 2 1 3 4 0 2 3 0 4 1 2 4 1 3 0 2 0 1 4 3 2 0 1 4 3 2 4 0 1 3 2 0 1 4 3 2 0 4 1 3 2 0 3 1 4 3 4 1 2 0 3 4 2 1 0 3 4 1 2 0 3 4 0 2 1 3 2 0 1 4 3 0 2 4 1 3 4 2 0 1 3 2 0 1 4 3 4 1 2 0 3 0 2 4 1 4 1 0 3 2 4 2 0 3 1 4 2 3 1 0 4 3 0 2 1 4 1 3 0 2 4 1 3 0 2 4 1 3 0 2 4 1 3 0 2 4 1 3 0 2 4 1 3 0 2 0 1 3 5 2 0 2 3 4 1 0 4 2 1 3 0 3 4 2 1 0 3 4 1 2 0 3 1 5 4 0 3 2 5 4 0 2 4 5 3 0 4 3 5 2 0 1 4 5 3 1 5 2 0 3 1 0 2 3 4 1 4 0 3 2 1 2 3 4 0 1 5 3 0 4 1 0 3 2 4 1 5 3 4 0 2 5 0 3 4 2 5 0 3 4 2 5 4 3 0 2 0 1 3 4 2 0 3 4 1 2 4 0 3 5 2 0 4 3 5 2 3 4 0 1 3 0 1 4 2 3 4 1 0 5 3 4 0 2 5 3 2 1 0 5 3 1 4 0 5 3 1 5 0 2 3 1 4 2 0 3 0 2 4 1 3 4 5 1 0 3 0 5 4 2 4 0 5 1 3 4 2 1 0 3 4 2 5 0 3 4 2 3 1 0 4 0 5 2 3 4 2 0 1 3 4 1 0 2 3 4 1 2 3 0 4 3 1 2 0 5 3 2 4 0 5 3 2 4 0 5 4 0 3 1 5 3 0 1 4 5 4 3 0 2 5 3 0 2 1</values> 65.61/21.55 v </instantiation> 65.61/21.55 c (21,13) Show results End 65.61/21.55 c (21,13) Heap : 1969 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 65.61/21.55 c (21,13) 0,0,7,8,8,8,13,20,21,STOP-AFTER(ALL) 65.61/21.55 c END-Prog: Fri Jul 27 04:25:38 CEST 2018
OK
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 (9828 MiB free)
memory of node 1: 16384 MiB (13927 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297104-1532658316/watcher-4297104-1532658316 -o /tmp/evaluation-result-4297104-1532658316/solver-4297104-1532658316 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532653186-16741 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297104-1532658316.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17442, runsolver pid=17439
Current StackSize limit: 8192 KiB
[startup+0.100125 s]*
/proc/loadavg: 3.27 3.45 3.83 3/198 17462
/proc/meminfo: memFree=24230588/32770624 swapFree=67108860/67108860
[pid=17442] ppid=17439 vsize=27312552 memory=108544 CPUtime=0.11 cores=0-7
/proc/17442/stat : 17442 (java) S 17439 17442 16714 0 -1 1077944320 6647 0 0 0 9 2 0 0 20 0 20 0 83394899 27968053248 27136 33554432000 4194304 4196468 140730231083904 140730231066448 140099464675063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
/proc/17442/statm: 6828138 27136 2756 1 0 6790598 0
[pid=17442/tid=17444] ppid=17439 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/17442/task/17444/stat : 17444 (java) R 17439 17442 16714 0 -1 4202560 4772 0 0 0 7 2 0 0 20 0 20 0 83394900 27968053248 27136 33554432000 4194304 4196468 140730231083904 140099436510192 140099464696989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17445] ppid=17439 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17442/task/17445/stat : 17445 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 27136 33554432000 4194304 4196468 140730231083904 140099468917648 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17446] ppid=17439 vsize=27312552 memory=140364528141952 CPUtime=0 cores=0-7
/proc/17442/task/17446/stat : 17446 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 27136 33554432000 4194304 4196468 140730231083904 140098887383824 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17447] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17447/stat : 17447 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 27136 33554432000 4194304 4196468 140730231083904 140098886331536 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17448] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17448/stat : 17448 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 27136 33554432000 4194304 4196468 140730231083904 140098885278736 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17449] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17449/stat : 17449 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 27136 33554432000 4194304 4196468 140730231083904 140098884225424 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17450] ppid=17439 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17442/task/17450/stat : 17450 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 27136 33554432000 4194304 4196468 140730231083904 140098883172624 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17451] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17451/stat : 17451 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 27136 33554432000 4194304 4196468 140730231083904 140098882120336 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17452] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17452/stat : 17452 (java) S 17439 17442 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 27136 33554432000 4194304 4196468 140730231083904 140098881067536 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17453] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17453/stat : 17453 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83394904 27968053248 27136 33554432000 4194304 4196468 140730231083904 140097584278128 140099464686210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17454] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17454/stat : 17454 (java) S 17439 17442 16714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83394904 27968053248 27136 33554432000 4194304 4196468 140730231083904 140097404003616 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17455] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17455/stat : 17455 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394904 27968053248 27136 33554432000 4194304 4196468 140730231083904 140097135568496 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17456] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17456/stat : 17456 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 27136 33554432000 4194304 4196468 140730231083904 140096761059920 140099464693659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17457] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17457/stat : 17457 (java) S 17439 17442 16714 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 27136 33554432000 4194304 4196468 140730231083904 140097583224944 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17458] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17458/stat : 17458 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 27136 33554432000 4194304 4196468 140730231083904 140097582172144 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17459] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17459/stat : 17459 (java) S 17439 17442 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 27136 33554432000 4194304 4196468 140730231083904 140097581119856 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17460] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17460/stat : 17460 (java) S 17439 17442 16714 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 27136 33554432000 4194304 4196468 140730231083904 140097580067056 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17461] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17461/stat : 17461 (java) S 17439 17442 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 27136 33554432000 4194304 4196468 140730231083904 140096263154528 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17462] ppid=17439 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17442/task/17462/stat : 17462 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 27136 33554432000 4194304 4196468 140730231083904 140097579014960 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 108544 KiB
[startup+0.210266 s]*
/proc/loadavg: 3.27 3.45 3.83 2/198 17462
/proc/meminfo: memFree=24214588/32770624 swapFree=67108860/67108860
[pid=17442] ppid=17439 vsize=27312552 memory=123180 CPUtime=0.24 cores=0-7
/proc/17442/stat : 17442 (java) S 17439 17442 16714 0 -1 1077944320 10554 0 0 0 21 3 0 0 20 0 20 0 83394899 27968053248 30795 33554432000 4194304 4196468 140730231083904 140730231066448 140099464675063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
/proc/17442/statm: 6828138 30795 2914 1 0 6790598 0
[pid=17442/tid=17444] ppid=17439 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/17442/task/17444/stat : 17444 (java) R 17439 17442 16714 0 -1 4202560 8451 0 0 0 17 2 0 0 20 0 20 0 83394900 27968053248 30795 33554432000 4194304 4196468 140730231083904 140099436465728 140099448755550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17445] ppid=17439 vsize=27312552 memory=10869 CPUtime=0 cores=0-7
/proc/17442/task/17445/stat : 17445 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 30795 33554432000 4194304 4196468 140730231083904 140099468917648 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17446] ppid=17439 vsize=27312552 memory=140364528637292 CPUtime=0 cores=0-7
/proc/17442/task/17446/stat : 17446 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 30795 33554432000 4194304 4196468 140730231083904 140098887383824 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17447] ppid=17439 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17442/task/17447/stat : 17447 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 30795 33554432000 4194304 4196468 140730231083904 140098886331536 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17448] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17448/stat : 17448 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 30795 33554432000 4194304 4196468 140730231083904 140098885278736 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17449] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17449/stat : 17449 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 30795 33554432000 4194304 4196468 140730231083904 140098884225424 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17450] ppid=17439 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17442/task/17450/stat : 17450 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 30795 33554432000 4194304 4196468 140730231083904 140098883172624 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17451] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17451/stat : 17451 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 30795 33554432000 4194304 4196468 140730231083904 140098882120336 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17452] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17452/stat : 17452 (java) S 17439 17442 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 30795 33554432000 4194304 4196468 140730231083904 140098881067536 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17453] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17453/stat : 17453 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83394904 27968053248 30795 33554432000 4194304 4196468 140730231083904 140097584278128 140099464686210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17454] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17454/stat : 17454 (java) S 17439 17442 16714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83394904 27968053248 30795 33554432000 4194304 4196468 140730231083904 140097404003616 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17455] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17455/stat : 17455 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394904 27968053248 30795 33554432000 4194304 4196468 140730231083904 140097135568496 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17456] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17456/stat : 17456 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 30795 33554432000 4194304 4196468 140730231083904 140096761059920 140099464693659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17457] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17457/stat : 17457 (java) S 17439 17442 16714 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 30795 33554432000 4194304 4196468 140730231083904 140097583224944 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17458] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17458/stat : 17458 (java) S 17439 17442 16714 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 30795 33554432000 4194304 4196468 140730231083904 140097582172144 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17459] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17459/stat : 17459 (java) S 17439 17442 16714 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 30795 33554432000 4194304 4196468 140730231083904 140097581119856 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17460] ppid=17439 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/17442/task/17460/stat : 17460 (java) S 17439 17442 16714 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 20 0 83394907 27968053248 30795 33554432000 4194304 4196468 140730231083904 140097580067056 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17461] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17461/stat : 17461 (java) S 17439 17442 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 30795 33554432000 4194304 4196468 140730231083904 140096263154528 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17462] ppid=17439 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17442/task/17462/stat : 17462 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 30795 33554432000 4194304 4196468 140730231083904 140097579014960 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123180 KiB
[startup+0.310116 s]*
/proc/loadavg: 3.27 3.45 3.83 2/198 17462
/proc/meminfo: memFree=24210036/32770624 swapFree=67108860/67108860
[pid=17442] ppid=17439 vsize=27312552 memory=127324 CPUtime=0.41 cores=0-7
/proc/17442/stat : 17442 (java) S 17439 17442 16714 0 -1 1077944320 11211 0 0 0 37 4 0 0 20 0 20 0 83394899 27968053248 31831 33554432000 4194304 4196468 140730231083904 140730231066448 140099464675063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
/proc/17442/statm: 6828138 31831 2969 1 0 6790598 0
[pid=17442/tid=17444] ppid=17439 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17442/task/17444/stat : 17444 (java) R 17439 17442 16714 0 -1 4202560 8888 0 0 0 26 3 0 0 20 0 20 0 83394900 27968053248 31831 33554432000 4194304 4196468 140730231083904 140099436479216 140099448755550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17445] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17445/stat : 17445 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 31831 33554432000 4194304 4196468 140730231083904 140099468917648 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17446] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17446/stat : 17446 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 31831 33554432000 4194304 4196468 140730231083904 140098887383824 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17447] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17447/stat : 17447 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 31831 33554432000 4194304 4196468 140730231083904 140098886331536 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17448] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17448/stat : 17448 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 31831 33554432000 4194304 4196468 140730231083904 140098885278736 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17449] ppid=17439 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/17442/task/17449/stat : 17449 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 31831 33554432000 4194304 4196468 140730231083904 140098884225424 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17450] ppid=17439 vsize=27312552 memory=140364430275503 CPUtime=0 cores=0-7
/proc/17442/task/17450/stat : 17450 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 31831 33554432000 4194304 4196468 140730231083904 140098883172624 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17451] ppid=17439 vsize=27312552 memory=140364430277808 CPUtime=0 cores=0-7
/proc/17442/task/17451/stat : 17451 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 31831 33554432000 4194304 4196468 140730231083904 140098882120336 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17452] ppid=17439 vsize=27312552 memory=140364430280112 CPUtime=0 cores=0-7
/proc/17442/task/17452/stat : 17452 (java) S 17439 17442 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83394902 27968053248 31831 33554432000 4194304 4196468 140730231083904 140098881067536 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17453] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17453/stat : 17453 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83394904 27968053248 31831 33554432000 4194304 4196468 140730231083904 140097584278128 140099464686210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17454] ppid=17439 vsize=27312552 memory=280728860567184 CPUtime=0 cores=0-7
/proc/17442/task/17454/stat : 17454 (java) S 17439 17442 16714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83394904 27968053248 31831 33554432000 4194304 4196468 140730231083904 140097404003616 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17455] ppid=17439 vsize=27312552 memory=280728860574096 CPUtime=0 cores=0-7
/proc/17442/task/17455/stat : 17455 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394904 27968053248 31831 33554432000 4194304 4196468 140730231083904 140097135568496 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17456] ppid=17439 vsize=27312552 memory=280728860515376 CPUtime=0 cores=0-7
/proc/17442/task/17456/stat : 17456 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 31831 33554432000 4194304 4196468 140730231083904 140096761059920 140099464693659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17457] ppid=17439 vsize=27312552 memory=280728860587920 CPUtime=0.01 cores=0-7
/proc/17442/task/17457/stat : 17457 (java) S 17439 17442 16714 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 20 0 83394907 27968053248 31831 33554432000 4194304 4196468 140730231083904 140097583224944 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17458] ppid=17439 vsize=27312552 memory=280728860594832 CPUtime=0 cores=0-7
/proc/17442/task/17458/stat : 17458 (java) S 17439 17442 16714 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 31831 33554432000 4194304 4196468 140730231083904 140097582172144 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17459] ppid=17439 vsize=27312552 memory=280728860592528 CPUtime=0.01 cores=0-7
/proc/17442/task/17459/stat : 17459 (java) S 17439 17442 16714 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 83394907 27968053248 31831 33554432000 4194304 4196468 140730231083904 140097581119856 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17460] ppid=17439 vsize=27312552 memory=280728860609136 CPUtime=0.07 cores=0-7
/proc/17442/task/17460/stat : 17460 (java) S 17439 17442 16714 0 -1 1077944384 346 0 0 0 7 0 0 0 20 0 20 0 83394907 27968053248 31831 33554432000 4194304 4196468 140730231083904 140097580067056 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17461] ppid=17439 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17461/stat : 17461 (java) S 17439 17442 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 31831 33554432000 4194304 4196468 140730231083904 140096263154528 140099464685269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17462] ppid=17439 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17442/task/17462/stat : 17462 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394907 27968053248 31831 33554432000 4194304 4196468 140730231083904 140097579014960 140099464686210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127324 KiB
[startup+0.701372 s]
/proc/loadavg: 3.27 3.45 3.83 2/198 17462
/proc/meminfo: memFree=24185976/32770624 swapFree=67108860/67108860
[pid=17442] ppid=17439 vsize=27318824 memory=164588 CPUtime=1.01 cores=0-7
/proc/17442/stat : 17442 (java) S 17439 17442 16714 0 -1 1077944320 18221 0 0 0 95 6 0 0 20 0 20 0 83394899 27974475776 41147 33554432000 4194304 4196468 140730231083904 140730231066448 140099464675063 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
/proc/17442/statm: 6829706 41147 3135 1 0 6791110 0
[pid=17442/tid=17444] ppid=17439 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7
/proc/17442/task/17444/stat : 17444 (java) R 17439 17442 16714 0 -1 4202560 15391 0 0 0 62 5 0 0 20 0 20 0 83394900 27974475776 41147 33554432000 4194304 4196468 140730231083904 140099436510624 140098964442557 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17445] ppid=17439 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17445/stat : 17445 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27974475776 41147 33554432000 4194304 4196468 140730231083904 140099468917648 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17446] ppid=17439 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17446/stat : 17446 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27974475776 41147 33554432000 4194304 4196468 140730231083904 140098887383824 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17447] ppid=17439 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17447/stat : 17447 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83394902 27974475776 41147 33554432000 4194304 4196468 140730231083904 140098886331536 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17448] ppid=17439 vsize=27318824 memory=792 CPUtime=0 cores=0-7
/proc/17442/task/17448/stat : 17448 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27974475776 41147 33554432000 4194304 4196468 140730231083904 140098885278736 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17449] ppid=17439 vsize=27318824 memory=1008 CPUtime=0 cores=0-7
/proc/17442/task/17449/stat : 17449 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27974475776 41147 33554432000 4194304 4196468 140730231083904 140098884225424 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17450] ppid=17439 vsize=27318824 memory=1228 CPUtime=0 cores=0-7
/proc/17442/task/17450/stat : 17450 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83394902 27974475776 41147 33554432000 4194304 4196468 140730231083904 140098883172624 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17451] ppid=17439 vsize=27318824 memory=1200 CPUtime=0 cores=0-7
/proc/17442/task/17451/stat : 17451 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83394902 27974475776 41147 33554432000 4194304 4196468 140730231083904 140098882120336 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17452] ppid=17439 vsize=27318824 memory=15876 CPUtime=0 cores=0-7
/proc/17442/task/17452/stat : 17452 (java) S 17439 17442 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83394902 27974475776 41147 33554432000 4194304 4196468 140730231083904 140098881067536 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17453] ppid=17439 vsize=27318824 memory=18268 CPUtime=0 cores=0-7
/proc/17442/task/17453/stat : 17453 (java) S 17439 17442 16714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83394904 27974475776 41147 33554432000 4194304 4196468 140730231083904 140097584278128 140099464686210 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
################
# More data... #
################
Current children cumulated vsize: 29358756 KiB
Current children cumulated memory: 6884384 KiB
[startup+20.8013 s]
/proc/loadavg: 3.17 3.41 3.80 9/211 17476
/proc/meminfo: memFree=17410072/32770624 swapFree=67108860/67108860
[pid=17442] ppid=17439 vsize=27984808 memory=6047516 CPUtime=30.92 cores=0-7
/proc/17442/stat : 17442 (java) S 17439 17442 16714 0 -1 1077944320 41923 0 0 0 2935 157 0 0 20 0 24 0 83394899 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140730231066448 140099464675063 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
/proc/17442/statm: 6996202 1511879 3250 1 0 6957058 0
[pid=17463] ppid=17442 vsize=1374080 memory=838584 CPUtime=29.42 cores=0-7
/proc/17463/stat : 17463 (glucose-syrup) S 17442 17442 16714 0 -1 1077944320 432071 0 0 0 2800 142 0 0 20 0 9 0 83396377 1407057920 209646 33554432000 4194304 4373367 140727701857616 140727701856160 140288136137346 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
/proc/17463/statm: 343520 209646 385 44 0 339208 0
[pid=17463/tid=17469] ppid=17442 vsize=1374080 memory=8039887049847964326 CPUtime=3.36 cores=0-7
/proc/17463/task/17469/stat : 17469 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 40822 0 0 0 319 17 0 0 20 0 9 0 83396635 1407057920 209646 33554432000 4194304 4373367 140727701857616 140287780429072 4272341 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17470] ppid=17442 vsize=1374080 memory=0 CPUtime=3.3 cores=0-7
/proc/17463/task/17470/stat : 17470 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 40639 0 0 0 308 22 0 0 20 0 9 0 83396635 1407057920 209646 33554432000 4194304 4373367 140727701857616 140287772036368 4271619 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17471] ppid=17442 vsize=1374080 memory=0 CPUtime=3.35 cores=0-7
/proc/17463/task/17471/stat : 17471 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 37994 0 0 0 314 21 0 0 20 0 9 0 83396635 1407057920 209646 33554432000 4194304 4373367 140727701857616 140287763643592 4272140 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17472] ppid=17442 vsize=1374080 memory=0 CPUtime=3.36 cores=0-7
/proc/17463/task/17472/stat : 17472 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 35500 0 0 0 328 8 0 0 20 0 9 0 83396635 1407057920 209646 33554432000 4194304 4373367 140727701857616 140287755250832 4271897 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17473] ppid=17442 vsize=1374080 memory=6791534058613427641 CPUtime=3.34 cores=0-7
/proc/17463/task/17473/stat : 17473 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 36309 0 0 0 316 18 0 0 20 0 9 0 83396635 1407057920 209646 33554432000 4194304 4373367 140727701857616 140287746858304 4271897 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17474] ppid=17442 vsize=1374080 memory=0 CPUtime=3.35 cores=0-7
/proc/17463/task/17474/stat : 17474 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 27534 0 0 0 328 7 0 0 20 0 9 0 83396635 1407057920 209646 33554432000 4194304 4373367 140727701857616 140287738465648 4271897 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17475] ppid=17442 vsize=1374080 memory=0 CPUtime=3.34 cores=0-7
/proc/17463/task/17475/stat : 17475 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 27409 0 0 0 323 11 0 0 20 0 9 0 83396635 1407057920 209646 33554432000 4194304 4373367 140727701857616 140287730072944 4272344 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17476] ppid=17442 vsize=1374080 memory=0 CPUtime=3.35 cores=0-7
/proc/17463/task/17476/stat : 17476 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 27375 0 0 0 325 10 0 0 20 0 9 0 83396635 1407057920 209646 33554432000 4194304 4373367 140727701857616 140287721680240 140288127128115 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17442/tid=17444] ppid=17439 vsize=27984808 memory=0 CPUtime=14.29 cores=0-7
/proc/17442/task/17444/stat : 17444 (java) S 17439 17442 16714 0 -1 1077944384 21527 0 0 0 1321 108 0 0 20 0 24 0 83394900 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140099436514304 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17445] ppid=17439 vsize=27984808 memory=8039887049847964326 CPUtime=0.13 cores=0-7
/proc/17442/task/17445/stat : 17445 (java) S 17439 17442 16714 0 -1 1077944384 73 0 0 0 9 4 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140099468917648 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17446] ppid=17439 vsize=27984808 memory=288230583166042426 CPUtime=0.13 cores=0-7
/proc/17442/task/17446/stat : 17446 (java) S 17439 17442 16714 0 -1 1077944384 76 0 0 0 9 4 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098887383824 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17447] ppid=17439 vsize=27984808 memory=13573716680378929 CPUtime=0.13 cores=0-7
/proc/17442/task/17447/stat : 17447 (java) S 17439 17442 16714 0 -1 1077944384 227 0 0 0 7 6 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098886331536 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17448] ppid=17439 vsize=27984808 memory=1232 CPUtime=0.13 cores=0-7
/proc/17442/task/17448/stat : 17448 (java) S 17439 17442 16714 0 -1 1077944384 73 0 0 0 9 4 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098885278736 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17449] ppid=17439 vsize=27984808 memory=956 CPUtime=0.13 cores=0-7
/proc/17442/task/17449/stat : 17449 (java) S 17439 17442 16714 0 -1 1077944384 85 0 0 0 7 6 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098884225424 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17450] ppid=17439 vsize=27984808 memory=2424 CPUtime=0.13 cores=0-7
/proc/17442/task/17450/stat : 17450 (java) S 17439 17442 16714 0 -1 1077944384 74 0 0 0 9 4 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098883172624 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17451] ppid=17439 vsize=27984808 memory=1576 CPUtime=0.12 cores=0-7
/proc/17442/task/17451/stat : 17451 (java) S 17439 17442 16714 0 -1 1077944384 68 0 0 0 9 3 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098882120336 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17452] ppid=17439 vsize=27984808 memory=928 CPUtime=0.13 cores=0-7
/proc/17442/task/17452/stat : 17452 (java) S 17439 17442 16714 0 -1 1077944384 75 0 0 0 9 4 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098881067536 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17453] ppid=17439 vsize=27984808 memory=280728860800832 CPUtime=0.01 cores=0-7
/proc/17442/task/17453/stat : 17453 (java) S 17439 17442 16714 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 24 0 83394904 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097584278128 140099464686210 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17454] ppid=17439 vsize=27984808 memory=-4075877051373423742 CPUtime=0 cores=0-7
/proc/17442/task/17454/stat : 17454 (java) S 17439 17442 16714 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 83394904 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097404003680 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17455] ppid=17439 vsize=27984808 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/17442/task/17455/stat : 17455 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83394904 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097135568496 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17456] ppid=17439 vsize=27984808 memory=13573716680378929 CPUtime=0 cores=0-7
/proc/17442/task/17456/stat : 17456 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140096761059920 140099464693659 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17457] ppid=17439 vsize=27984808 memory=0 CPUtime=4.62 cores=0-7
/proc/17442/task/17457/stat : 17457 (java) S 17439 17442 16714 0 -1 1077944384 4400 0 0 0 461 1 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097583224944 140099464686210 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17458] ppid=17439 vsize=27984808 memory=0 CPUtime=4.5 cores=0-7
/proc/17442/task/17458/stat : 17458 (java) S 17439 17442 16714 0 -1 1077944384 4745 0 0 0 448 2 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097582172144 140099464686210 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17459] ppid=17439 vsize=27984808 memory=0 CPUtime=4.51 cores=0-7
/proc/17442/task/17459/stat : 17459 (java) S 17439 17442 16714 0 -1 1077944384 3937 0 0 0 449 2 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097581119856 140099464686210 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17460] ppid=17439 vsize=27984808 memory=0 CPUtime=1.82 cores=0-7
/proc/17442/task/17460/stat : 17460 (java) S 17439 17442 16714 0 -1 1077944384 5160 0 0 0 179 3 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097580067056 140099464686210 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17461] ppid=17439 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17461/stat : 17461 (java) S 17439 17442 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140096263154528 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17462] ppid=17439 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17462/stat : 17462 (java) S 17439 17442 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097579014960 140099464686210 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17464] ppid=17439 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17464/stat : 17464 (java) S 17439 17442 16714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83396377 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098813724480 140099464699673 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17466] ppid=17439 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17466/stat : 17466 (java) S 17439 17442 16714 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 83396377 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140095592054064 140099464696989 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17467] ppid=17439 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17467/stat : 17467 (java) S 17439 17442 16714 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 83396377 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140095860489392 140099464696989 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17468] ppid=17439 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17468/stat : 17468 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83396379 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140095323626784 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
Current children cumulated CPU time: 60.34 s
Current children cumulated vsize: 29358888 KiB
Current children cumulated memory: 6886100 KiB
[startup+21.2013 s]
/proc/loadavg: 3.17 3.41 3.80 9/211 17476
/proc/meminfo: memFree=17409356/32770624 swapFree=67108860/67108860
[pid=17442] ppid=17439 vsize=27984808 memory=6047516 CPUtime=30.93 cores=0-7
/proc/17442/stat : 17442 (java) S 17439 17442 16714 0 -1 1077944320 41923 0 0 0 2936 157 0 0 20 0 24 0 83394899 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140730231066448 140099464675063 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
/proc/17442/statm: 6996202 1511879 3250 1 0 6957058 0
[pid=17463] ppid=17442 vsize=1374080 memory=838588 CPUtime=32.6 cores=0-7
/proc/17463/stat : 17463 (glucose-syrup) S 17442 17442 16714 0 -1 1077944320 433927 0 0 0 3117 143 0 0 20 0 9 0 83396377 1407057920 209647 33554432000 4194304 4373367 140727701857616 140727701856160 140288136137346 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
/proc/17463/statm: 343520 209647 385 44 0 339208 0
[pid=17463/tid=17469] ppid=17442 vsize=1374080 memory=301741382048153914 CPUtime=3.77 cores=0-7
/proc/17463/task/17469/stat : 17469 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 41195 0 0 0 359 18 0 0 20 0 9 0 83396635 1407057920 209647 33554432000 4194304 4373367 140727701857616 140287780429072 4252343 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17470] ppid=17442 vsize=1374080 memory=13573716680378929 CPUtime=3.69 cores=0-7
/proc/17463/task/17470/stat : 17470 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 40907 0 0 0 347 22 0 0 20 0 9 0 83396635 1407057920 209647 33554432000 4194304 4373367 140727701857616 140287772036368 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17471] ppid=17442 vsize=1374080 memory=0 CPUtime=3.75 cores=0-7
/proc/17463/task/17471/stat : 17471 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 38338 0 0 0 354 21 0 0 20 0 9 0 83396635 1407057920 209647 33554432000 4194304 4373367 140727701857616 140287763643592 4271944 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17472] ppid=17442 vsize=1374080 memory=0 CPUtime=3.76 cores=0-7
/proc/17463/task/17472/stat : 17472 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 36140 0 0 0 368 8 0 0 20 0 9 0 83396635 1407057920 209647 33554432000 4194304 4373367 140727701857616 140287755250832 4258831 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17473] ppid=17442 vsize=1374080 memory=0 CPUtime=3.74 cores=0-7
/proc/17463/task/17473/stat : 17473 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 36414 0 0 0 356 18 0 0 20 0 9 0 83396635 1407057920 209647 33554432000 4194304 4373367 140727701857616 140287746858304 4271828 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17474] ppid=17442 vsize=1374080 memory=0 CPUtime=3.75 cores=0-7
/proc/17463/task/17474/stat : 17474 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 27576 0 0 0 368 7 0 0 20 0 9 0 83396635 1407057920 209647 33554432000 4194304 4373367 140727701857616 140287738465600 4271769 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17475] ppid=17442 vsize=1374080 memory=0 CPUtime=3.74 cores=0-7
/proc/17463/task/17475/stat : 17475 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 27450 0 0 0 363 11 0 0 20 0 9 0 83396635 1407057920 209647 33554432000 4194304 4373367 140727701857616 140287730072944 4258831 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17463/tid=17476] ppid=17442 vsize=1374080 memory=0 CPUtime=3.75 cores=0-7
/proc/17463/task/17476/stat : 17476 (glucose-syrup) R 17442 17442 16714 0 -1 4202560 27417 0 0 0 365 10 0 0 20 0 9 0 83396635 1407057920 209647 33554432000 4194304 4373367 140727701857616 140287721680016 4272305 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 6926336 140727701865391 140727701865644 140727701865644 140727701868487 0
[pid=17442/tid=17444] ppid=17439 vsize=27984808 memory=7233440052984963668 CPUtime=14.29 cores=0-7
/proc/17442/task/17444/stat : 17444 (java) S 17439 17442 16714 0 -1 1077944384 21527 0 0 0 1321 108 0 0 20 0 24 0 83394900 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140099436514304 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17445] ppid=17439 vsize=27984808 memory=7233440052984963668 CPUtime=0.13 cores=0-7
/proc/17442/task/17445/stat : 17445 (java) S 17439 17442 16714 0 -1 1077944384 73 0 0 0 9 4 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140099468917648 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17446] ppid=17439 vsize=27984808 memory=7233440052984963668 CPUtime=0.13 cores=0-7
/proc/17442/task/17446/stat : 17446 (java) S 17439 17442 16714 0 -1 1077944384 76 0 0 0 9 4 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098887383824 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17447] ppid=17439 vsize=27984808 memory=7233440052984963668 CPUtime=0.13 cores=0-7
/proc/17442/task/17447/stat : 17447 (java) S 17439 17442 16714 0 -1 1077944384 227 0 0 0 7 6 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098886331536 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17448] ppid=17439 vsize=27984808 memory=7233440052984963668 CPUtime=0.13 cores=0-7
/proc/17442/task/17448/stat : 17448 (java) S 17439 17442 16714 0 -1 1077944384 73 0 0 0 9 4 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098885278736 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17449] ppid=17439 vsize=27984808 memory=56 CPUtime=0.13 cores=0-7
/proc/17442/task/17449/stat : 17449 (java) S 17439 17442 16714 0 -1 1077944384 85 0 0 0 7 6 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098884225424 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17450] ppid=17439 vsize=27984808 memory=6152306667712178031 CPUtime=0.13 cores=0-7
/proc/17442/task/17450/stat : 17450 (java) S 17439 17442 16714 0 -1 1077944384 74 0 0 0 9 4 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098883172624 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17451] ppid=17439 vsize=27984808 memory=8292088559825428625 CPUtime=0.12 cores=0-7
/proc/17442/task/17451/stat : 17451 (java) S 17439 17442 16714 0 -1 1077944384 68 0 0 0 9 3 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098882120336 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17452] ppid=17439 vsize=27984808 memory=6944656592452807316 CPUtime=0.13 cores=0-7
/proc/17442/task/17452/stat : 17452 (java) S 17439 17442 16714 0 -1 1077944384 75 0 0 0 9 4 0 0 20 0 24 0 83394902 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098881067536 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17453] ppid=17439 vsize=27984808 memory=8514701219242346399 CPUtime=0.01 cores=0-7
/proc/17442/task/17453/stat : 17453 (java) S 17439 17442 16714 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 24 0 83394904 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097584278128 140099464686210 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17454] ppid=17439 vsize=27984808 memory=4627829655977429107 CPUtime=0 cores=0-7
/proc/17442/task/17454/stat : 17454 (java) S 17439 17442 16714 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 83394904 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097404003680 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17455] ppid=17439 vsize=27984808 memory=6525304026609101387 CPUtime=0 cores=0-7
/proc/17442/task/17455/stat : 17455 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83394904 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097135568496 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17456] ppid=17439 vsize=27984808 memory=7974311998478750570 CPUtime=0 cores=0-7
/proc/17442/task/17456/stat : 17456 (java) S 17439 17442 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140096761059920 140099464693659 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17457] ppid=17439 vsize=27984808 memory=280728860360944 CPUtime=4.62 cores=0-7
/proc/17442/task/17457/stat : 17457 (java) S 17439 17442 16714 0 -1 1077944384 4400 0 0 0 461 1 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097583224944 140099464686210 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17458] ppid=17439 vsize=27984808 memory=0 CPUtime=4.5 cores=0-7
/proc/17442/task/17458/stat : 17458 (java) S 17439 17442 16714 0 -1 1077944384 4745 0 0 0 448 2 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097582172144 140099464686210 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17459] ppid=17439 vsize=27984808 memory=4638778398333292880 CPUtime=4.51 cores=0-7
/proc/17442/task/17459/stat : 17459 (java) S 17439 17442 16714 0 -1 1077944384 3937 0 0 0 449 2 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097581119856 140099464686210 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17460] ppid=17439 vsize=27984808 memory=6003410828765843536 CPUtime=1.82 cores=0-7
/proc/17442/task/17460/stat : 17460 (java) S 17439 17442 16714 0 -1 1077944384 5160 0 0 0 179 3 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097580067056 140099464686210 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17461] ppid=17439 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17461/stat : 17461 (java) S 17439 17442 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140096263154528 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17462] ppid=17439 vsize=27984808 memory=280728862309936 CPUtime=0 cores=0-7
/proc/17442/task/17462/stat : 17462 (java) S 17439 17442 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83394907 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140097579014960 140099464686210 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17464] ppid=17439 vsize=27984808 memory=2110715038237396 CPUtime=0 cores=0-7
/proc/17442/task/17464/stat : 17464 (java) S 17439 17442 16714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83396377 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140098813724480 140099464699673 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17466] ppid=17439 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17466/stat : 17466 (java) S 17439 17442 16714 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 83396377 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140095592054064 140099464696989 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17467] ppid=17439 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17442/task/17467/stat : 17467 (java) S 17439 17442 16714 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 83396377 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140095860489392 140099464696989 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
[pid=17442/tid=17468] ppid=17439 vsize=27984808 memory=2209 CPUtime=0 cores=0-7
/proc/17442/task/17468/stat : 17468 (java) S 17439 17442 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83396379 28656443392 1511879 33554432000 4194304 4196468 140730231083904 140095323626784 140099464685269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36134912 140730231088089 140730231088389 140730231088389 140730231091151 0
Current children cumulated CPU time: 63.53 s
Current children cumulated vsize: 29358888 KiB
Current children cumulated memory: 6886104 KiB
[startup+21.601 s]*
/proc/loadavg: 3.17 3.41 3.80 2/180 17476
/proc/meminfo: memFree=20523724/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 21.622
CPU time (s): 65.9456
CPU user time (s): 62.766
CPU system time (s): 3.17954
CPU usage (%): 304.994
Max. virtual memory (cumulated for all children) (KiB): 29358888
Max. memory (cumulated for all children) (KiB): 6886172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.766
system time used= 3.17955
maximum resident set size= 6047524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 55168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46596
involuntary context switches= 357
# summary of solver processes directly reported to runsolver:
# pid: 17442
# total CPU time (s): 65.9456
# total CPU user time (s): 62.766
# total CPU system time (s): 3.17954
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.184444 second user time and 0.269424 second system time
The end
Begin job on node150 at 2018-07-27 04:25:16 IDJOB=4297104 IDBENCH=141398 IDSOLVER=2758 FILE ID=node150/4297104-1532658316 RUNJOBID= node150-1532653186-16741 PBS_JOBID= 21022212 Free space on /tmp= 53100 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-10c_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297104-1532658316/watcher-4297104-1532658316 -o /tmp/evaluation-result-4297104-1532658316/solver-4297104-1532658316 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532653186-16741 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297104-1532658316.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 56c97bc9b19c7ad517216d1a3c315031 RANDOM SEED=957641025 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24326820 kB MemAvailable: 31930464 kB Buffers: 216256 kB Cached: 7580804 kB SwapCached: 0 kB Active: 2196740 kB Inactive: 5652728 kB Active(anon): 5272 kB Inactive(anon): 75200 kB Active(file): 2191468 kB Inactive(file): 5577528 kB Unevictable: 7744 kB Mlocked: 7744 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8328 kB Writeback: 0 kB AnonPages: 59944 kB Mapped: 41316 kB Shmem: 25224 kB Slab: 291332 kB SReclaimable: 263108 kB SUnreclaim: 28224 kB KernelStack: 3168 kB PageTables: 4676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324632 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 53092 MiB End job on node150 at 2018-07-27 04:25:38