Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop both+glucose-syrup (2018-07-07) | SAT | 101.005 | 32.2385 |
Name | MisteryShopper/ MisteryShopper-12_c18.xml |
MD5SUM | 193461ec87a084283094d7342f0c20d4 |
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 | 14.7049 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 741 |
Number of domains | 3 |
Minimum domain size | 5 |
Maximum domain size | 60 |
Distribution of domain sizes | [{"size":5,"count":300},{"size":6,"count":300},{"size":60,"count":600}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":600},{"degree":3,"count":300},{"degree":4,"count":275},{"degree":5,"count":25}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 300 |
Distribution of constraint arities | [{"arity":2,"count":600},{"arity":5,"count":125},{"arity":60,"count":10},{"arity":120,"count":5},{"arity":300,"count":1}] |
Number of extensional constraints | 600 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":600},{"type":"allDifferent","count":130},{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"channel","count":5}] |
Optimization problem | NO |
Type of objective |
0.65/0.54 0.65/0.54 scop both+glucose-syrup (2018-07-07) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Fri Jul 27 04:22:21 CEST 2018 0.65/0.57 c PID: 12463 0.65/0.57 c IP: 172.20.3.134 0.65/0.57 c HOST: node134.alineos.net 0.65/0.57 c (0,0) Parsing Begin 3.37/1.39 c (0,0) Parsing End 3.79/1.40 c (0,0) CSP: 1200 int (0 aux), 0 bool (0 aux), 741 ctr, max domain size 60 3.79/1.40 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.79/1.40 c (0,0) Constraint Name Generate Begin 3.79/1.41 c (0,0) Ctr:HOME/instance-4297342-1532658140.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr 3.79/1.41 c (0,0) Constraint Name Generate End 3.79/1.41 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.79/1.41 c (0,0) CSP to CSPinCNF Begin 6.46/2.29 c (1,1) translated 75 (10%) constraints 11.88/5.20 c (4,4) translated 149 (20%) constraints 13.16/5.43 c (4,4) translated 223 (30%) constraints 13.58/5.58 c (5,5) translated 297 (40%) constraints 14.37/5.72 c (5,5) translated 371 (50%) constraints 14.72/5.84 c (5,5) translated 445 (60%) constraints 14.97/5.97 c (5,5) translated 519 (70%) constraints 15.36/6.10 c (5,5) translated 593 (80%) constraints 15.85/6.23 c (5,5) translated 667 (90%) constraints 16.14/6.35 c (5,5) translated 741 (100%) constraints 18.02/6.86 c (6,6) STATISTICS1:HOME/instance-4297342-1532658140.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,4909,68724,60,60,60,2,60:17143;59:350;58:302;57:307;56:625;6:600;5:600,60:116133;59:1227;58:1029;57:1029;56:2036;6:4800;5:4200;2:16527,60:20;7:300;6:300;5:240;4:409;3:40263;2:27109;1:83,2:19927;1:143127;0:600, 18.02/6.86 c (6,6) =========================================== 18.02/6.86 c (6,6) Both Encoding selects: 18.02/6.86 c (6,6) Order 18.02/6.86 c (6,6) =========================================== 19.22/7.15 c (6,6) translated 6873 (10%) constraints 19.90/7.34 c (6,6) translated 13745 (20%) constraints 20.46/7.61 c (7,7) translated 20618 (30%) constraints 21.32/8.13 c (7,7) translated 27490 (40%) constraints 21.83/8.63 c (8,8) translated 34362 (50%) constraints 22.37/9.13 c (8,8) translated 41235 (60%) constraints 22.87/9.61 c (9,9) translated 48107 (70%) constraints 23.27/10.09 c (9,9) translated 54980 (80%) constraints 24.10/10.31 c (9,9) translated 61852 (90%) constraints 24.26/10.42 c (9,9) translated 68724 (100%) constraints 24.26/10.42 c (9,9) CSP to CSPinCNF End 24.26/10.44 c (9,9) CSP: 1200 int (0 aux), 39709 bool (39709 aux), 140724 ctr, max domain size 60 24.26/10.44 c (9,9) Heap : 3942 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 24.26/10.44 c (9,9) CSPinCNF Propagation Begin 26.23/11.36 c (10,10) 188 values, 2276 unsatisfiable literals, and 1614 valid clauses are removed 26.23/11.36 c (10,10) CSPinCNF Propagation End 26.23/11.37 c (10,10) CSP: 1338 int (138 aux), 39571 bool (39571 aux), 139110 ctr, max domain size 60 26.23/11.37 c (10,10) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 26.23/11.37 c (10,10) Simplify CSPinCNF Begin 27.68/12.33 c (11,11) Simplify CSPinCNF End 27.68/12.35 c (11,11) CSP: 1338 int (138 aux), 77906 bool (77906 aux), 177445 ctr, max domain size 60 27.68/12.35 c (11,11) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 27.68/12.35 c (11,11) Calculate Precise Domain Begin 27.68/12.36 c (11,11) 0 values are removed by re-calculation 27.68/12.36 c (11,11) Calculate Precise Domain End 27.68/12.39 c (11,11) CSP: 1338 int (138 aux), 77906 bool (77906 aux), 177445 ctr, max domain size 60 27.68/12.39 c (11,11) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 27.68/12.39 c (11,11) CSPinCNF to SatSolver Begin 32.47/14.83 c (14,14) 17745 (10 %) CSP clauses are encoded (115868 SAT variables, 745573 SAT clauses) 34.40/16.70 c (16,15) 35489 (20 %) CSP clauses are encoded (115868 SAT variables, 1455110 SAT clauses) 36.20/18.57 c (18,17) 53234 (30 %) CSP clauses are encoded (115868 SAT variables, 2162909 SAT clauses) 36.30/18.69 c (18,17) 70978 (40 %) CSP clauses are encoded (115868 SAT variables, 2191169 SAT clauses) 36.39/18.77 c (18,18) 88723 (50 %) CSP clauses are encoded (115868 SAT variables, 2208914 SAT clauses) 36.50/18.86 c (18,18) 106467 (60 %) CSP clauses are encoded (115868 SAT variables, 2226658 SAT clauses) 36.60/18.94 c (18,18) 124212 (70 %) CSP clauses are encoded (115868 SAT variables, 2244403 SAT clauses) 36.71/19.03 c (18,18) 141956 (80 %) CSP clauses are encoded (115868 SAT variables, 2262147 SAT clauses) 36.81/19.11 c (18,18) 159701 (90 %) CSP clauses are encoded (115868 SAT variables, 2279892 SAT clauses) 37.03/19.37 c (18,18) 177445 (100 %) CSP clauses are encoded (115868 SAT variables, 2357336 SAT clauses) 37.03/19.37 c (18,18) CSPinCNF to SatSolver End 37.03/19.37 c (18,18) Heap : 5144 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 38.27/19.92 c (19,19) STATISTICS2:HOME/instance-4297342-1532658140.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,79244,177445,60,60,60,2,60:30958;59:670;58:1249;57:1162;56:2388;6:1200;5:1200,60:208691;59:2227;58:4057;57:3649;56:7216;6:6000;5:5400;2:200017,60:5;56:14;54:1;6:300;5:540;4:409;3:38887;2:137206;1:83,2:38827;1:359603, 38.27/19.92 c (19,19) SatSolver.solve Begin 38.27/19.92 c (19,19) 115868 bool, 2357337 clause 38.27/19.92 c (19,19) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297342-1532658140.xml-scop-12463.cnf HOME/instance-4297342-1532658140.xml-scop-12463.cnf.out 98.59/31.89 c (31,0) c 98.59/31.89 c (31,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 98.59/31.89 c (31,0) c 98.59/31.89 c (31,0) c WARNING: for repeatability, setting FPU to use double precision 98.59/31.89 c (31,0) c 8 solvers engines and 1 companion as a blackboard created. 98.59/31.89 c (31,0) c ========================================[ Problem Statistics ]=========================================== 98.59/31.89 c (31,0) c | | 98.59/31.89 c (31,0) c | Number of variables: 115868 | 98.59/31.89 c (31,0) c | Number of clauses: 2356250 | 98.59/31.89 c (31,0) c | Parse time: 0.70 s | 98.59/31.89 c (31,0) c | | 98.59/31.89 c (31,0) c | Eliminated clauses: 1.24 Mb | 98.59/31.89 c (31,0) c | Simplification time: 3.31 s | 98.59/31.89 c (31,0) c | | 98.59/31.89 c (31,0) c | Generating clones | 98.59/31.89 c (31,0) c | all clones generated. Memory = 1526.73Mb. | 98.59/31.89 c (31,0) c ========================================================================================================| 98.59/31.89 c (31,0) c 98.59/31.89 c (31,0) c |-------------------------------------------------------------------------------------------------------| 98.59/31.89 c (31,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 98.59/31.89 c (31,0) c |-------------------------------------------------------------------------------------------------------| 98.59/31.89 c (31,0) c | 0 | 35 | 95120 | 3724 | 27324 | 2722 | 182 | 1976 | 18 | 12.078 | 98.59/31.89 c (31,0) c | 1 | 44 | 105952 | 4820 | 35254 | 3819 | 401 | 1773 | 32 | 12.086 | 98.59/31.89 c (31,0) c | 2 | 34 | 79780 | 3155 | 30291 | 2162 | 168 | 1996 | 30 | 12.078 | 98.59/31.89 c (31,0) c | 3 | 43 | 103371 | 4617 | 35291 | 3613 | 332 | 1827 | 17 | 12.084 | 98.59/31.89 c (31,0) c | 4 | 30 | 80394 | 3641 | 31552 | 2644 | 235 | 1943 | 36 | 12.086 | 98.59/31.89 c (31,0) c | 5 | 45 | 95307 | 4016 | 33593 | 3028 | 355 | 1819 | 24 | 12.086 | 98.59/31.89 c (31,0) c | 6 | 47 | 99459 | 4739 | 35226 | 3755 | 310 | 1857 | 29 | 12.086 | 98.59/31.89 c (31,0) c | 7 | 41 | 90730 | 4000 | 32517 | 3014 | 197 | 1974 | 26 | 12.086 | 98.59/31.89 c (31,0) c 98.59/31.89 c (31,0) c synthesis 32713 conflicts 46845716 propagations 845 conflicts/sec 1210375 propagations/sec 98.59/31.89 c (31,0) c Total Memory so far : 2119.27Mb 98.59/31.89 c (31,0) c last restart ## conflicts : 362 925 98.59/31.89 c (31,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer). 98.59/31.89 c (31,0) c Total Memory so far : 2089.17Mb 98.59/31.89 c (31,0) c 98.59/31.89 c (31,0) c real time : 11.9477 s 98.59/31.89 c (31,0) c cpu time : 58.8962 s 98.59/31.89 c (31,0) c 98.59/31.89 c (31,0) c 98.59/31.89 c (31,0) c 98.59/31.89 c (31,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 98.59/31.89 c (31,0) c 98.59/31.89 c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 98.59/31.89 c (31,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 98.59/31.89 c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 98.59/31.89 c (31,0) c | Conflicts | 61397 | 6662 | 8776 | 7127 | 7930 | 7071 | 8214 | 8660 | 6957 | 98.59/31.89 c (31,0) c | Decisions | 1310681 | 159625 | 172238 | 150087 | 176910 | 155995 | 161889 | 171579 | 162358 | 98.59/31.89 c (31,0) c | Propagations | 85282527 | 9474982 | 10825023 | 10006922 | 11330994 | 10444011 | 11154108 | 11409679 | 10636808 | 98.59/31.89 c (31,0) c | Avg_Trail | | 30589 | 31797 | 36121 | 31783 | 32114 | 30880 | 31458 | 33830 | 98.59/31.89 c (31,0) c | Avg_DL | | 327 | 333 | 403 | 335 | 326 | 310 | 317 | 370 | 98.59/31.89 c (31,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 98.59/31.89 c (31,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 98.59/31.89 c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 98.59/31.89 c (31,0) c | Exported | 4807 | 415 | 945 | 406 | 613 | 462 | 816 | 758 | 392 | 98.59/31.89 c (31,0) c | Imported | 33019 | 4360 | 3844 | 4369 | 4125 | 4183 | 3872 | 4002 | 4264 | 98.59/31.89 c (31,0) c | Good | 11048 | 1417 | 1332 | 1471 | 1315 | 1389 | 1348 | 1354 | 1422 | 98.59/31.89 c (31,0) c | Purge | 21971 | 2943 | 2512 | 2898 | 2810 | 2794 | 2524 | 2648 | 2842 | 98.59/31.89 c (31,0) c | Promoted | 597 | 46 | 75 | 75 | 69 | 87 | 60 | 110 | 75 | 98.59/31.89 c (31,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 98.59/31.89 c (31,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 98.59/31.89 c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 98.59/31.89 c (31,0) c | Unaries | | 13 | 40 | 16 | 17 | 7 | 12 | 8 | 7 | 98.59/31.89 c (31,0) c | Binaries | | 167 | 255 | 115 | 267 | 181 | 224 | 228 | 151 | 98.59/31.89 c (31,0) c | Glues | | 250 | 475 | 240 | 419 | 325 | 456 | 423 | 272 | 98.59/31.89 c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 98.59/31.89 c (31,0) c | Orig_Seen | 2 % | 42265 | 52732 | 50167 | 54550 | 52162 | 52807 | 55762 | 50668 | 98.59/31.89 c (31,0) c | Diff Orig seen| | - 9897 | 570 | - 1995 | 2388 | X | 645 | 3600 | - 1494 | 98.59/31.89 c (31,0) c | Hamming | 14 % | 17482 | 17075 | 16549 | 17955 | X | 17724 | 15761 | 16250 | 98.59/31.89 c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 98.59/31.89 c (31,0) 98.59/31.89 c (31,0) s SATISFIABLE 100.56/32.13 c (31,19) SatSolver.solve End 100.56/32.13 c (31,19) Heap : 332 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 100.56/32.13 c (31,19) Show results Begin 100.56/32.16 c (31,19) gve[0][0] = 0 100.56/32.16 c (31,19) gve[0][1] = 4 100.56/32.16 c (31,19) gve[0][2] = 3 100.56/32.16 c (31,19) gve[0][3] = 1 100.56/32.16 c (31,19) gve[0][4] = 5 100.56/32.16 c (31,19) gve[1][0] = 0 100.56/32.16 c (31,19) gve[1][1] = 1 100.56/32.16 c (31,19) gve[1][2] = 4 100.56/32.16 c (31,19) gve[1][3] = 3 100.56/32.16 c (31,19) gve[1][4] = 5 100.56/32.16 c (31,19) gve[2][0] = 0 100.56/32.16 c (31,19) gve[2][1] = 1 100.56/32.16 c (31,19) gve[2][2] = 2 100.56/32.16 c (31,19) gve[2][3] = 3 100.56/32.16 c (31,19) gve[2][4] = 4 100.56/32.16 c (31,19) gve[3][0] = 0 100.56/32.16 c (31,19) gve[3][1] = 3 100.56/32.16 c (31,19) gve[3][2] = 1 100.56/32.16 c (31,19) gve[3][3] = 2 100.56/32.16 c (31,19) gve[3][4] = 4 100.56/32.16 c (31,19) gve[4][0] = 0 100.56/32.16 c (31,19) gve[4][1] = 2 100.56/32.16 c (31,19) gve[4][2] = 3 100.56/32.16 c (31,19) gve[4][3] = 1 100.56/32.16 c (31,19) gve[4][4] = 5 100.56/32.16 c (31,19) gve[5][0] = 0 100.56/32.16 c (31,19) gve[5][1] = 2 100.56/32.16 c (31,19) gve[5][2] = 3 100.56/32.16 c (31,19) gve[5][3] = 1 100.56/32.16 c (31,19) gve[5][4] = 4 100.56/32.16 c (31,19) gve[6][0] = 0 100.56/32.16 c (31,19) gve[6][1] = 2 100.56/32.16 c (31,19) gve[6][2] = 4 100.56/32.16 c (31,19) gve[6][3] = 1 100.56/32.16 c (31,19) gve[6][4] = 3 100.56/32.16 c (31,19) gve[7][0] = 0 100.56/32.16 c (31,19) gve[7][1] = 4 100.56/32.16 c (31,19) gve[7][2] = 2 100.56/32.16 c (31,19) gve[7][3] = 3 100.56/32.16 c (31,19) gve[7][4] = 1 100.56/32.16 c (31,19) gve[8][0] = 0 100.56/32.16 c (31,19) gve[8][1] = 1 100.56/32.16 c (31,19) gve[8][2] = 2 100.56/32.16 c (31,19) gve[8][3] = 3 100.56/32.16 c (31,19) gve[8][4] = 5 100.56/32.16 c (31,19) gve[9][0] = 0 100.56/32.16 c (31,19) gve[9][1] = 4 100.56/32.16 c (31,19) gve[9][2] = 1 100.56/32.16 c (31,19) gve[9][3] = 2 100.56/32.16 c (31,19) gve[9][4] = 3 100.56/32.16 c (31,19) gve[10][0] = 0 100.56/32.16 c (31,19) gve[10][1] = 1 100.56/32.16 c (31,19) gve[10][2] = 2 100.56/32.16 c (31,19) gve[10][3] = 3 100.56/32.16 c (31,19) gve[10][4] = 4 100.56/32.16 c (31,19) gve[11][0] = 1 100.56/32.16 c (31,19) gve[11][1] = 4 100.56/32.16 c (31,19) gve[11][2] = 2 100.56/32.16 c (31,19) gve[11][3] = 3 100.56/32.16 c (31,19) gve[11][4] = 5 100.56/32.16 c (31,19) gve[12][0] = 1 100.56/32.16 c (31,19) gve[12][1] = 0 100.56/32.16 c (31,19) gve[12][2] = 4 100.56/32.16 c (31,19) gve[12][3] = 3 100.56/32.16 c (31,19) gve[12][4] = 2 100.56/32.16 c (31,19) gve[13][0] = 1 100.56/32.16 c (31,19) gve[13][1] = 5 100.56/32.16 c (31,19) gve[13][2] = 2 100.56/32.16 c (31,19) gve[13][3] = 0 100.56/32.16 c (31,19) gve[13][4] = 3 100.56/32.16 c (31,19) gve[14][0] = 1 100.56/32.16 c (31,19) gve[14][1] = 2 100.56/32.16 c (31,19) gve[14][2] = 3 100.56/32.16 c (31,19) gve[14][3] = 0 100.56/32.16 c (31,19) gve[14][4] = 4 100.56/32.16 c (31,19) gve[15][0] = 1 100.56/32.16 c (31,19) gve[15][1] = 2 100.56/32.16 c (31,19) gve[15][2] = 3 100.56/32.16 c (31,19) gve[15][3] = 0 100.56/32.16 c (31,19) gve[15][4] = 4 100.56/32.16 c (31,19) gve[16][0] = 1 100.56/32.16 c (31,19) gve[16][1] = 4 100.56/32.16 c (31,19) gve[16][2] = 2 100.56/32.16 c (31,19) gve[16][3] = 0 100.56/32.16 c (31,19) gve[16][4] = 3 100.56/32.16 c (31,19) gve[17][0] = 1 100.56/32.16 c (31,19) gve[17][1] = 5 100.56/32.16 c (31,19) gve[17][2] = 3 100.56/32.16 c (31,19) gve[17][3] = 4 100.56/32.16 c (31,19) gve[17][4] = 2 100.56/32.16 c (31,19) gve[18][0] = 1 100.56/32.16 c (31,19) gve[18][1] = 5 100.56/32.16 c (31,19) gve[18][2] = 4 100.56/32.16 c (31,19) gve[18][3] = 0 100.56/32.16 c (31,19) gve[18][4] = 3 100.56/32.16 c (31,19) gve[19][0] = 1 100.56/32.16 c (31,19) gve[19][1] = 0 100.56/32.16 c (31,19) gve[19][2] = 4 100.56/32.16 c (31,19) gve[19][3] = 3 100.56/32.16 c (31,19) gve[19][4] = 2 100.56/32.16 c (31,19) gve[20][0] = 1 100.56/32.16 c (31,19) gve[20][1] = 5 100.56/32.16 c (31,19) gve[20][2] = 0 100.56/32.16 c (31,19) gve[20][3] = 4 100.56/32.16 c (31,19) gve[20][4] = 3 100.56/32.16 c (31,19) gve[21][0] = 1 100.56/32.16 c (31,19) gve[21][1] = 2 100.56/32.16 c (31,19) gve[21][2] = 3 100.56/32.16 c (31,19) gve[21][3] = 0 100.56/32.16 c (31,19) gve[21][4] = 4 100.56/32.16 c (31,19) gve[22][0] = 1 100.56/32.16 c (31,19) gve[22][1] = 0 100.56/32.16 c (31,19) gve[22][2] = 4 100.56/32.16 c (31,19) gve[22][3] = 2 100.56/32.16 c (31,19) gve[22][4] = 3 100.56/32.16 c (31,19) gve[23][0] = 2 100.56/32.16 c (31,19) gve[23][1] = 5 100.56/32.16 c (31,19) gve[23][2] = 3 100.56/32.16 c (31,19) gve[23][3] = 0 100.56/32.16 c (31,19) gve[23][4] = 1 100.56/32.16 c (31,19) gve[24][0] = 2 100.56/32.16 c (31,19) gve[24][1] = 3 100.56/32.16 c (31,19) gve[24][2] = 1 100.56/32.17 c (31,19) gve[24][3] = 4 100.56/32.17 c (31,19) gve[24][4] = 0 100.56/32.17 c (31,19) gve[25][0] = 2 100.56/32.17 c (31,19) gve[25][1] = 3 100.56/32.17 c (31,19) gve[25][2] = 4 100.56/32.17 c (31,19) gve[25][3] = 1 100.56/32.17 c (31,19) gve[25][4] = 0 100.56/32.17 c (31,19) gve[26][0] = 2 100.56/32.17 c (31,19) gve[26][1] = 3 100.56/32.17 c (31,19) gve[26][2] = 0 100.56/32.17 c (31,19) gve[26][3] = 4 100.56/32.17 c (31,19) gve[26][4] = 1 100.56/32.17 c (31,19) gve[27][0] = 2 100.56/32.17 c (31,19) gve[27][1] = 3 100.56/32.17 c (31,19) gve[27][2] = 0 100.56/32.17 c (31,19) gve[27][3] = 4 100.56/32.17 c (31,19) gve[27][4] = 1 100.56/32.17 c (31,19) gve[28][0] = 2 100.56/32.17 c (31,19) gve[28][1] = 0 100.56/32.17 c (31,19) gve[28][2] = 4 100.56/32.17 c (31,19) gve[28][3] = 3 100.56/32.17 c (31,19) gve[28][4] = 1 100.56/32.17 c (31,19) gve[29][0] = 2 100.56/32.17 c (31,19) gve[29][1] = 3 100.56/32.17 c (31,19) gve[29][2] = 4 100.56/32.17 c (31,19) gve[29][3] = 5 100.56/32.17 c (31,19) gve[29][4] = 1 100.56/32.17 c (31,19) gve[30][0] = 2 100.56/32.17 c (31,19) gve[30][1] = 1 100.56/32.17 c (31,19) gve[30][2] = 0 100.56/32.17 c (31,19) gve[30][3] = 5 100.56/32.17 c (31,19) gve[30][4] = 3 100.56/32.17 c (31,19) gve[31][0] = 2 100.56/32.17 c (31,19) gve[31][1] = 0 100.56/32.17 c (31,19) gve[31][2] = 1 100.56/32.17 c (31,19) gve[31][3] = 5 100.56/32.17 c (31,19) gve[31][4] = 3 100.56/32.17 c (31,19) gve[32][0] = 2 100.56/32.17 c (31,19) gve[32][1] = 1 100.56/32.17 c (31,19) gve[32][2] = 3 100.56/32.17 c (31,19) gve[32][3] = 4 100.56/32.17 c (31,19) gve[32][4] = 0 100.56/32.17 c (31,19) gve[33][0] = 3 100.56/32.17 c (31,19) gve[33][1] = 4 100.56/32.17 c (31,19) gve[33][2] = 0 100.56/32.17 c (31,19) gve[33][3] = 5 100.56/32.17 c (31,19) gve[33][4] = 1 100.56/32.17 c (31,19) gve[34][0] = 3 100.56/32.17 c (31,19) gve[34][1] = 4 100.56/32.17 c (31,19) gve[34][2] = 1 100.56/32.17 c (31,19) gve[34][3] = 0 100.56/32.17 c (31,19) gve[34][4] = 2 100.56/32.17 c (31,19) gve[35][0] = 3 100.56/32.17 c (31,19) gve[35][1] = 4 100.56/32.17 c (31,19) gve[35][2] = 0 100.56/32.17 c (31,19) gve[35][3] = 5 100.56/32.17 c (31,19) gve[35][4] = 1 100.56/32.17 c (31,19) gve[36][0] = 3 100.56/32.17 c (31,19) gve[36][1] = 1 100.56/32.17 c (31,19) gve[36][2] = 5 100.56/32.17 c (31,19) gve[36][3] = 0 100.56/32.17 c (31,19) gve[36][4] = 2 100.56/32.17 c (31,19) gve[37][0] = 3 100.56/32.17 c (31,19) gve[37][1] = 1 100.56/32.17 c (31,19) gve[37][2] = 2 100.56/32.17 c (31,19) gve[37][3] = 4 100.56/32.17 c (31,19) gve[37][4] = 0 100.56/32.17 c (31,19) gve[38][0] = 3 100.56/32.17 c (31,19) gve[38][1] = 4 100.56/32.17 c (31,19) gve[38][2] = 5 100.56/32.17 c (31,19) gve[38][3] = 1 100.56/32.17 c (31,19) gve[38][4] = 0 100.56/32.17 c (31,19) gve[39][0] = 3 100.56/32.17 c (31,19) gve[39][1] = 0 100.56/32.17 c (31,19) gve[39][2] = 2 100.56/32.17 c (31,19) gve[39][3] = 4 100.56/32.17 c (31,19) gve[39][4] = 1 100.56/32.17 c (31,19) gve[40][0] = 3 100.56/32.17 c (31,19) gve[40][1] = 2 100.56/32.17 c (31,19) gve[40][2] = 1 100.56/32.17 c (31,19) gve[40][3] = 4 100.56/32.17 c (31,19) gve[40][4] = 0 100.56/32.17 c (31,19) gve[41][0] = 3 100.56/32.17 c (31,19) gve[41][1] = 0 100.56/32.17 c (31,19) gve[41][2] = 5 100.56/32.17 c (31,19) gve[41][3] = 2 100.56/32.17 c (31,19) gve[41][4] = 1 100.56/32.17 c (31,19) gve[42][0] = 3 100.56/32.17 c (31,19) gve[42][1] = 2 100.56/32.17 c (31,19) gve[42][2] = 1 100.56/32.17 c (31,19) gve[42][3] = 4 100.56/32.17 c (31,19) gve[42][4] = 0 100.56/32.17 c (31,19) gve[43][0] = 3 100.56/32.17 c (31,19) gve[43][1] = 4 100.56/32.17 c (31,19) gve[43][2] = 0 100.56/32.17 c (31,19) gve[43][3] = 1 100.56/32.17 c (31,19) gve[43][4] = 2 100.56/32.17 c (31,19) gve[44][0] = 3 100.56/32.17 c (31,19) gve[44][1] = 1 100.56/32.17 c (31,19) gve[44][2] = 4 100.56/32.17 c (31,19) gve[44][3] = 0 100.56/32.17 c (31,19) gve[44][4] = 2 100.56/32.17 c (31,19) gve[45][0] = 4 100.56/32.17 c (31,19) gve[45][1] = 3 100.56/32.17 c (31,19) gve[45][2] = 5 100.56/32.17 c (31,19) gve[45][3] = 1 100.56/32.17 c (31,19) gve[45][4] = 0 100.56/32.17 c (31,19) gve[46][0] = 4 100.56/32.17 c (31,19) gve[46][1] = 1 100.56/32.17 c (31,19) gve[46][2] = 5 100.56/32.17 c (31,19) gve[46][3] = 2 100.56/32.17 c (31,19) gve[46][4] = 3 100.56/32.17 c (31,19) gve[47][0] = 4 100.56/32.17 c (31,19) gve[47][1] = 2 100.56/32.17 c (31,19) gve[47][2] = 1 100.56/32.17 c (31,19) gve[47][3] = 3 100.56/32.17 c (31,19) gve[47][4] = 0 100.56/32.17 c (31,19) gve[48][0] = 4 100.56/32.17 c (31,19) gve[48][1] = 1 100.56/32.17 c (31,19) gve[48][2] = 0 100.56/32.17 c (31,19) gve[48][3] = 3 100.56/32.17 c (31,19) gve[48][4] = 2 100.56/32.17 c (31,19) gve[49][0] = 4 100.56/32.17 c (31,19) gve[49][1] = 0 100.56/32.17 c (31,19) gve[49][2] = 3 100.56/32.17 c (31,19) gve[49][3] = 2 100.56/32.17 c (31,19) gve[49][4] = 1 100.56/32.17 c (31,19) gve[50][0] = 4 100.56/32.17 c (31,19) gve[50][1] = 3 100.56/32.17 c (31,19) gve[50][2] = 1 100.56/32.17 c (31,19) gve[50][3] = 0 100.56/32.17 c (31,19) gve[50][4] = 2 100.56/32.17 c (31,19) gve[51][0] = 4 100.56/32.17 c (31,19) gve[51][1] = 0 100.56/32.17 c (31,19) gve[51][2] = 1 100.56/32.17 c (31,19) gve[51][3] = 2 100.56/32.17 c (31,19) gve[51][4] = 3 100.56/32.17 c (31,19) gve[52][0] = 4 100.56/32.17 c (31,19) gve[52][1] = 1 100.56/32.17 c (31,19) gve[52][2] = 2 100.56/32.17 c (31,19) gve[52][3] = 3 100.56/32.17 c (31,19) gve[52][4] = 0 100.56/32.17 c (31,19) gve[53][0] = 4 100.56/32.17 c (31,19) gve[53][1] = 3 100.56/32.17 c (31,19) gve[53][2] = 1 100.56/32.17 c (31,19) gve[53][3] = 2 100.56/32.17 c (31,19) gve[53][4] = 0 100.56/32.17 c (31,19) gve[54][0] = 4 100.56/32.17 c (31,19) gve[54][1] = 0 100.56/32.17 c (31,19) gve[54][2] = 1 100.56/32.17 c (31,19) gve[54][3] = 2 100.56/32.17 c (31,19) gve[54][4] = 3 100.56/32.17 c (31,19) gve[55][0] = 5 100.56/32.17 c (31,19) gve[55][1] = 2 100.56/32.17 c (31,19) gve[55][2] = 3 100.56/32.17 c (31,19) gve[55][3] = 1 100.56/32.17 c (31,19) gve[55][4] = 4 100.56/32.17 c (31,19) gve[56][0] = 5 100.56/32.17 c (31,19) gve[56][1] = 0 100.56/32.17 c (31,19) gve[56][2] = 3 100.56/32.17 c (31,19) gve[56][3] = 1 100.56/32.17 c (31,19) gve[56][4] = 4 100.56/32.17 c (31,19) gve[57][0] = 5 100.56/32.17 c (31,19) gve[57][1] = 3 100.56/32.17 c (31,19) gve[57][2] = 0 100.56/32.17 c (31,19) gve[57][3] = 1 100.56/32.17 c (31,19) gve[57][4] = 2 100.56/32.17 c (31,19) gve[58][0] = 5 100.56/32.17 c (31,19) gve[58][1] = 3 100.56/32.17 c (31,19) gve[58][2] = 0 100.56/32.17 c (31,19) gve[58][3] = 1 100.56/32.17 c (31,19) gve[58][4] = 4 100.56/32.17 c (31,19) gve[59][0] = 5 100.56/32.17 c (31,19) gve[59][1] = 3 100.56/32.17 c (31,19) gve[59][2] = 0 100.56/32.17 c (31,19) gve[59][3] = 2 100.56/32.17 c (31,19) gve[59][4] = 1 100.56/32.17 c (31,19) gvr[0][0] = 0 100.56/32.17 c (31,19) gvr[0][1] = 1 100.56/32.17 c (31,19) gvr[0][2] = 2 100.56/32.17 c (31,19) gvr[0][3] = 3 100.56/32.17 c (31,19) gvr[0][4] = 4 100.56/32.17 c (31,19) gvr[1][0] = 0 100.56/32.17 c (31,19) gvr[1][1] = 1 100.56/32.17 c (31,19) gvr[1][2] = 4 100.56/32.17 c (31,19) gvr[1][3] = 2 100.56/32.17 c (31,19) gvr[1][4] = 3 100.56/32.17 c (31,19) gvr[2][0] = 0 100.56/32.17 c (31,19) gvr[2][1] = 4 100.56/32.17 c (31,19) gvr[2][2] = 2 100.56/32.17 c (31,19) gvr[2][3] = 1 100.56/32.17 c (31,19) gvr[2][4] = 3 100.56/32.17 c (31,19) gvr[3][0] = 0 100.56/32.17 c (31,19) gvr[3][1] = 1 100.56/32.17 c (31,19) gvr[3][2] = 2 100.56/32.17 c (31,19) gvr[3][3] = 3 100.56/32.17 c (31,19) gvr[3][4] = 4 100.56/32.17 c (31,19) gvr[4][0] = 0 100.56/32.17 c (31,19) gvr[4][1] = 3 100.56/32.17 c (31,19) gvr[4][2] = 1 100.56/32.17 c (31,19) gvr[4][3] = 4 100.56/32.17 c (31,19) gvr[4][4] = 2 100.56/32.17 c (31,19) gvr[5][0] = 0 100.56/32.17 c (31,19) gvr[5][1] = 4 100.56/32.17 c (31,19) gvr[5][2] = 2 100.56/32.17 c (31,19) gvr[5][3] = 1 100.56/32.17 c (31,19) gvr[5][4] = 3 100.56/32.17 c (31,19) gvr[6][0] = 0 100.56/32.17 c (31,19) gvr[6][1] = 2 100.56/32.17 c (31,19) gvr[6][2] = 4 100.56/32.17 c (31,19) gvr[6][3] = 1 100.56/32.17 c (31,19) gvr[6][4] = 3 100.56/32.17 c (31,19) gvr[7][0] = 0 100.56/32.17 c (31,19) gvr[7][1] = 4 100.56/32.17 c (31,19) gvr[7][2] = 3 100.56/32.17 c (31,19) gvr[7][3] = 1 100.56/32.17 c (31,19) gvr[7][4] = 2 100.56/32.17 c (31,19) gvr[8][0] = 0 100.56/32.17 c (31,19) gvr[8][1] = 2 100.56/32.17 c (31,19) gvr[8][2] = 4 100.56/32.17 c (31,19) gvr[8][3] = 1 100.56/32.17 c (31,19) gvr[8][4] = 3 100.56/32.17 c (31,19) gvr[9][0] = 0 100.56/32.17 c (31,19) gvr[9][1] = 3 100.56/32.17 c (31,19) gvr[9][2] = 4 100.56/32.17 c (31,19) gvr[9][3] = 1 100.56/32.17 c (31,19) gvr[9][4] = 2 100.56/32.17 c (31,19) gvr[10][0] = 0 100.56/32.17 c (31,19) gvr[10][1] = 4 100.56/32.17 c (31,19) gvr[10][2] = 2 100.56/32.17 c (31,19) gvr[10][3] = 1 100.56/32.17 c (31,19) gvr[10][4] = 3 100.56/32.17 c (31,19) gvr[11][0] = 0 100.56/32.17 c (31,19) gvr[11][1] = 3 100.56/32.17 c (31,19) gvr[11][2] = 4 100.56/32.17 c (31,19) gvr[11][3] = 2 100.56/32.17 c (31,19) gvr[11][4] = 1 100.56/32.17 c (31,19) gvr[12][0] = 1 100.56/32.17 c (31,19) gvr[12][1] = 0 100.56/32.17 c (31,19) gvr[12][2] = 4 100.56/32.17 c (31,19) gvr[12][3] = 3 100.56/32.17 c (31,19) gvr[12][4] = 2 100.56/32.17 c (31,19) gvr[13][0] = 1 100.56/32.17 c (31,19) gvr[13][1] = 4 100.56/32.17 c (31,19) gvr[13][2] = 3 100.56/32.17 c (31,19) gvr[13][3] = 0 100.56/32.17 c (31,19) gvr[13][4] = 2 100.56/32.17 c (31,19) gvr[14][0] = 1 100.56/32.17 c (31,19) gvr[14][1] = 2 100.56/32.17 c (31,19) gvr[14][2] = 3 100.56/32.17 c (31,19) gvr[14][3] = 0 100.56/32.17 c (31,19) gvr[14][4] = 4 100.56/32.17 c (31,19) gvr[15][0] = 1 100.56/32.17 c (31,19) gvr[15][1] = 3 100.56/32.17 c (31,19) gvr[15][2] = 4 100.56/32.17 c (31,19) gvr[15][3] = 0 100.56/32.17 c (31,19) gvr[15][4] = 2 100.56/32.17 c (31,19) gvr[16][0] = 1 100.56/32.17 c (31,19) gvr[16][1] = 0 100.56/32.17 c (31,19) gvr[16][2] = 2 100.56/32.17 c (31,19) gvr[16][3] = 4 100.56/32.17 c (31,19) gvr[16][4] = 3 100.56/32.17 c (31,19) gvr[17][0] = 1 100.56/32.17 c (31,19) gvr[17][1] = 4 100.56/32.17 c (31,19) gvr[17][2] = 2 100.56/32.17 c (31,19) gvr[17][3] = 0 100.56/32.17 c (31,19) gvr[17][4] = 3 100.56/32.17 c (31,19) gvr[18][0] = 1 100.56/32.17 c (31,19) gvr[18][1] = 2 100.56/32.17 c (31,19) gvr[18][2] = 3 100.56/32.17 c (31,19) gvr[18][3] = 4 100.56/32.17 c (31,19) gvr[18][4] = 0 100.56/32.17 c (31,19) gvr[19][0] = 1 100.56/32.17 c (31,19) gvr[19][1] = 3 100.56/32.17 c (31,19) gvr[19][2] = 0 100.56/32.17 c (31,19) gvr[19][3] = 4 100.56/32.17 c (31,19) gvr[19][4] = 2 100.56/32.17 c (31,19) gvr[20][0] = 1 100.56/32.17 c (31,19) gvr[20][1] = 0 100.56/32.17 c (31,19) gvr[20][2] = 2 100.56/32.17 c (31,19) gvr[20][3] = 3 100.56/32.17 c (31,19) gvr[20][4] = 4 100.56/32.17 c (31,19) gvr[21][0] = 1 100.56/32.17 c (31,19) gvr[21][1] = 3 100.56/32.17 c (31,19) gvr[21][2] = 0 100.56/32.17 c (31,19) gvr[21][3] = 4 100.56/32.17 c (31,19) gvr[21][4] = 2 100.56/32.17 c (31,19) gvr[22][0] = 1 100.56/32.17 c (31,19) gvr[22][1] = 0 100.56/32.17 c (31,19) gvr[22][2] = 4 100.56/32.17 c (31,19) gvr[22][3] = 3 100.56/32.17 c (31,19) gvr[22][4] = 2 100.56/32.17 c (31,19) gvr[23][0] = 1 100.56/32.17 c (31,19) gvr[23][1] = 4 100.56/32.17 c (31,19) gvr[23][2] = 3 100.56/32.17 c (31,19) gvr[23][3] = 0 100.56/32.17 c (31,19) gvr[23][4] = 2 100.56/32.17 c (31,19) gvr[24][0] = 2 100.56/32.17 c (31,19) gvr[24][1] = 0 100.56/32.17 c (31,19) gvr[24][2] = 1 100.56/32.17 c (31,19) gvr[24][3] = 3 100.56/32.17 c (31,19) gvr[24][4] = 4 100.56/32.17 c (31,19) gvr[25][0] = 2 100.56/32.17 c (31,19) gvr[25][1] = 3 100.56/32.17 c (31,19) gvr[25][2] = 0 100.56/32.17 c (31,19) gvr[25][3] = 4 100.56/32.17 c (31,19) gvr[25][4] = 1 100.56/32.17 c (31,19) gvr[26][0] = 2 100.56/32.17 c (31,19) gvr[26][1] = 1 100.56/32.17 c (31,19) gvr[26][2] = 4 100.56/32.17 c (31,19) gvr[26][3] = 0 100.56/32.17 c (31,19) gvr[26][4] = 3 100.56/32.17 c (31,19) gvr[27][0] = 2 100.56/32.17 c (31,19) gvr[27][1] = 3 100.56/32.17 c (31,19) gvr[27][2] = 0 100.56/32.17 c (31,19) gvr[27][3] = 4 100.56/32.17 c (31,19) gvr[27][4] = 1 100.56/32.17 c (31,19) gvr[28][0] = 2 100.56/32.17 c (31,19) gvr[28][1] = 3 100.56/32.17 c (31,19) gvr[28][2] = 0 100.56/32.17 c (31,19) gvr[28][3] = 4 100.56/32.17 c (31,19) gvr[28][4] = 1 100.56/32.17 c (31,19) gvr[29][0] = 2 100.56/32.17 c (31,19) gvr[29][1] = 1 100.56/32.17 c (31,19) gvr[29][2] = 0 100.56/32.17 c (31,19) gvr[29][3] = 4 100.56/32.17 c (31,19) gvr[29][4] = 3 100.56/32.17 c (31,19) gvr[30][0] = 2 100.56/32.17 c (31,19) gvr[30][1] = 0 100.56/32.17 c (31,19) gvr[30][2] = 3 100.56/32.17 c (31,19) gvr[30][3] = 1 100.56/32.17 c (31,19) gvr[30][4] = 4 100.56/32.17 c (31,19) gvr[31][0] = 2 100.56/32.17 c (31,19) gvr[31][1] = 0 100.56/32.17 c (31,19) gvr[31][2] = 1 100.56/32.17 c (31,19) gvr[31][3] = 4 100.56/32.17 c (31,19) gvr[31][4] = 3 100.56/32.17 c (31,19) gvr[32][0] = 2 100.56/32.17 c (31,19) gvr[32][1] = 1 100.56/32.17 c (31,19) gvr[32][2] = 0 100.56/32.17 c (31,19) gvr[32][3] = 3 100.56/32.17 c (31,19) gvr[32][4] = 4 100.56/32.17 c (31,19) gvr[33][0] = 2 100.56/32.17 c (31,19) gvr[33][1] = 4 100.56/32.17 c (31,19) gvr[33][2] = 1 100.56/32.17 c (31,19) gvr[33][3] = 0 100.56/32.17 c (31,19) gvr[33][4] = 3 100.56/32.17 c (31,19) gvr[34][0] = 2 100.56/32.17 c (31,19) gvr[34][1] = 4 100.56/32.17 c (31,19) gvr[34][2] = 0 100.56/32.17 c (31,19) gvr[34][3] = 3 100.56/32.17 c (31,19) gvr[34][4] = 1 100.56/32.17 c (31,19) gvr[35][0] = 2 100.56/32.17 c (31,19) gvr[35][1] = 3 100.56/32.17 c (31,19) gvr[35][2] = 4 100.56/32.17 c (31,19) gvr[35][3] = 0 100.56/32.17 c (31,19) gvr[35][4] = 1 100.56/32.17 c (31,19) gvr[36][0] = 3 100.56/32.17 c (31,19) gvr[36][1] = 2 100.56/32.17 c (31,19) gvr[36][2] = 4 100.56/32.17 c (31,19) gvr[36][3] = 0 100.56/32.17 c (31,19) gvr[36][4] = 1 100.56/32.17 c (31,19) gvr[37][0] = 3 100.56/32.17 c (31,19) gvr[37][1] = 2 100.56/32.17 c (31,19) gvr[37][2] = 1 100.56/32.17 c (31,19) gvr[37][3] = 0 100.56/32.17 c (31,19) gvr[37][4] = 4 100.56/32.17 c (31,19) gvr[38][0] = 3 100.56/32.17 c (31,19) gvr[38][1] = 0 100.56/32.17 c (31,19) gvr[38][2] = 4 100.56/32.17 c (31,19) gvr[38][3] = 1 100.56/32.17 c (31,19) gvr[38][4] = 2 100.56/32.17 c (31,19) gvr[39][0] = 3 100.56/32.17 c (31,19) gvr[39][1] = 4 100.56/32.17 c (31,19) gvr[39][2] = 1 100.56/32.17 c (31,19) gvr[39][3] = 2 100.56/32.17 c (31,19) gvr[39][4] = 0 100.56/32.17 c (31,19) gvr[40][0] = 3 100.56/32.17 c (31,19) gvr[40][1] = 4 100.56/32.17 c (31,19) gvr[40][2] = 1 100.56/32.17 c (31,19) gvr[40][3] = 0 100.56/32.17 c (31,19) gvr[40][4] = 2 100.56/32.17 c (31,19) gvr[41][0] = 3 100.56/32.17 c (31,19) gvr[41][1] = 2 100.56/32.17 c (31,19) gvr[41][2] = 0 100.56/32.17 c (31,19) gvr[41][3] = 4 100.56/32.17 c (31,19) gvr[41][4] = 1 100.56/32.17 c (31,19) gvr[42][0] = 3 100.56/32.17 c (31,19) gvr[42][1] = 4 100.56/32.17 c (31,19) gvr[42][2] = 2 100.56/32.17 c (31,19) gvr[42][3] = 1 100.56/32.17 c (31,19) gvr[42][4] = 0 100.56/32.17 c (31,19) gvr[43][0] = 3 100.56/32.17 c (31,19) gvr[43][1] = 2 100.56/32.17 c (31,19) gvr[43][2] = 1 100.56/32.17 c (31,19) gvr[43][3] = 0 100.56/32.17 c (31,19) gvr[43][4] = 4 100.56/32.17 c (31,19) gvr[44][0] = 3 100.56/32.17 c (31,19) gvr[44][1] = 2 100.56/32.17 c (31,19) gvr[44][2] = 0 100.56/32.17 c (31,19) gvr[44][3] = 4 100.56/32.17 c (31,19) gvr[44][4] = 1 100.56/32.17 c (31,19) gvr[45][0] = 3 100.56/32.17 c (31,19) gvr[45][1] = 2 100.56/32.17 c (31,19) gvr[45][2] = 0 100.56/32.17 c (31,19) gvr[45][3] = 1 100.56/32.17 c (31,19) gvr[45][4] = 4 100.56/32.17 c (31,19) gvr[46][0] = 3 100.56/32.17 c (31,19) gvr[46][1] = 0 100.56/32.17 c (31,19) gvr[46][2] = 1 100.56/32.17 c (31,19) gvr[46][3] = 2 100.56/32.17 c (31,19) gvr[46][4] = 4 100.56/32.17 c (31,19) gvr[47][0] = 3 100.56/32.17 c (31,19) gvr[47][1] = 0 100.56/32.17 c (31,19) gvr[47][2] = 1 100.56/32.17 c (31,19) gvr[47][3] = 2 100.56/32.17 c (31,19) gvr[47][4] = 4 100.56/32.17 c (31,19) gvr[48][0] = 4 100.56/32.17 c (31,19) gvr[48][1] = 2 100.56/32.17 c (31,19) gvr[48][2] = 0 100.56/32.17 c (31,19) gvr[48][3] = 3 100.56/32.17 c (31,19) gvr[48][4] = 1 100.56/32.17 c (31,19) gvr[49][0] = 4 100.56/32.17 c (31,19) gvr[49][1] = 2 100.56/32.17 c (31,19) gvr[49][2] = 1 100.56/32.17 c (31,19) gvr[49][3] = 3 100.56/32.17 c (31,19) gvr[49][4] = 0 100.56/32.17 c (31,19) gvr[50][0] = 4 100.56/32.17 c (31,19) gvr[50][1] = 0 100.56/32.17 c (31,19) gvr[50][2] = 3 100.56/32.17 c (31,19) gvr[50][3] = 2 100.56/32.17 c (31,19) gvr[50][4] = 1 100.56/32.17 c (31,19) gvr[51][0] = 4 100.56/32.17 c (31,19) gvr[51][1] = 1 100.56/32.17 c (31,19) gvr[51][2] = 2 100.56/32.17 c (31,19) gvr[51][3] = 3 100.56/32.17 c (31,19) gvr[51][4] = 0 100.56/32.17 c (31,19) gvr[52][0] = 4 100.56/32.17 c (31,19) gvr[52][1] = 3 100.56/32.17 c (31,19) gvr[52][2] = 2 100.56/32.17 c (31,19) gvr[52][3] = 1 100.56/32.17 c (31,19) gvr[52][4] = 0 100.56/32.17 c (31,19) gvr[53][0] = 4 100.56/32.17 c (31,19) gvr[53][1] = 3 100.56/32.17 c (31,19) gvr[53][2] = 1 100.56/32.17 c (31,19) gvr[53][3] = 2 100.56/32.17 c (31,19) gvr[53][4] = 0 100.56/32.17 c (31,19) gvr[54][0] = 4 100.56/32.17 c (31,19) gvr[54][1] = 0 100.56/32.17 c (31,19) gvr[54][2] = 2 100.56/32.17 c (31,19) gvr[54][3] = 3 100.56/32.17 c (31,19) gvr[54][4] = 1 100.56/32.17 c (31,19) gvr[55][0] = 4 100.56/32.17 c (31,19) gvr[55][1] = 1 100.56/32.17 c (31,19) gvr[55][2] = 3 100.56/32.17 c (31,19) gvr[55][3] = 2 100.56/32.17 c (31,19) gvr[55][4] = 0 100.56/32.17 c (31,19) gvr[56][0] = 4 100.56/32.17 c (31,19) gvr[56][1] = 1 100.56/32.17 c (31,19) gvr[56][2] = 3 100.56/32.17 c (31,19) gvr[56][3] = 2 100.56/32.17 c (31,19) gvr[56][4] = 0 100.56/32.17 c (31,19) gvr[57][0] = 4 100.56/32.17 c (31,19) gvr[57][1] = 1 100.56/32.17 c (31,19) gvr[57][2] = 3 100.56/32.17 c (31,19) gvr[57][3] = 2 100.56/32.17 c (31,19) gvr[57][4] = 0 100.56/32.17 c (31,19) gvr[58][0] = 4 100.56/32.17 c (31,19) gvr[58][1] = 1 100.56/32.17 c (31,19) gvr[58][2] = 3 100.56/32.17 c (31,19) gvr[58][3] = 2 100.56/32.17 c (31,19) gvr[58][4] = 0 100.56/32.17 c (31,19) gvr[59][0] = 4 100.56/32.17 c (31,19) gvr[59][1] = 1 100.56/32.17 c (31,19) gvr[59][2] = 3 100.56/32.17 c (31,19) gvr[59][3] = 2 100.56/32.17 c (31,19) gvr[59][4] = 0 100.56/32.17 c (31,19) ve[0][0] = 0 100.56/32.17 c (31,19) ve[0][1] = 46 100.56/32.17 c (31,19) ve[0][2] = 44 100.56/32.17 c (31,19) ve[0][3] = 15 100.56/32.17 c (31,19) ve[0][4] = 55 100.56/32.17 c (31,19) ve[1][0] = 1 100.56/32.17 c (31,19) ve[1][1] = 20 100.56/32.17 c (31,19) ve[1][2] = 48 100.56/32.17 c (31,19) ve[1][3] = 36 100.56/32.17 c (31,19) ve[1][4] = 56 100.56/32.17 c (31,19) ve[2][0] = 2 100.56/32.17 c (31,19) ve[2][1] = 22 100.56/32.17 c (31,19) ve[2][2] = 25 100.56/32.17 c (31,19) ve[2][3] = 40 100.56/32.17 c (31,19) ve[2][4] = 51 100.56/32.17 c (31,19) ve[3][0] = 3 100.56/32.17 c (31,19) ve[3][1] = 38 100.56/32.17 c (31,19) ve[3][2] = 19 100.56/32.17 c (31,19) ve[3][3] = 23 100.56/32.17 c (31,19) ve[3][4] = 49 100.56/32.17 c (31,19) ve[4][0] = 4 100.56/32.17 c (31,19) ve[4][1] = 30 100.56/32.17 c (31,19) ve[4][2] = 41 100.56/32.17 c (31,19) ve[4][3] = 13 100.56/32.18 c (31,19) ve[4][4] = 57 100.56/32.18 c (31,19) ve[5][0] = 5 100.56/32.18 c (31,19) ve[5][1] = 24 100.56/32.18 c (31,19) ve[5][2] = 34 100.56/32.18 c (31,19) ve[5][3] = 14 100.56/32.18 c (31,19) ve[5][4] = 53 100.56/32.18 c (31,19) ve[6][0] = 6 100.56/32.18 c (31,19) ve[6][1] = 31 100.56/32.18 c (31,19) ve[6][2] = 45 100.56/32.18 c (31,19) ve[6][3] = 17 100.56/32.18 c (31,19) ve[6][4] = 39 100.56/32.18 c (31,19) ve[7][0] = 7 100.56/32.18 c (31,19) ve[7][1] = 50 100.56/32.18 c (31,19) ve[7][2] = 28 100.56/32.18 c (31,19) ve[7][3] = 33 100.56/32.18 c (31,19) ve[7][4] = 18 100.56/32.18 c (31,19) ve[8][0] = 8 100.56/32.18 c (31,19) ve[8][1] = 12 100.56/32.18 c (31,19) ve[8][2] = 32 100.56/32.18 c (31,19) ve[8][3] = 37 100.56/32.18 c (31,19) ve[8][4] = 58 100.56/32.18 c (31,19) ve[9][0] = 9 100.56/32.18 c (31,19) ve[9][1] = 54 100.56/32.18 c (31,19) ve[9][2] = 21 100.56/32.18 c (31,19) ve[9][3] = 26 100.56/32.18 c (31,19) ve[9][4] = 42 100.56/32.18 c (31,19) ve[10][0] = 10 100.56/32.18 c (31,19) ve[10][1] = 16 100.56/32.18 c (31,19) ve[10][2] = 27 100.56/32.18 c (31,19) ve[10][3] = 43 100.56/32.18 c (31,19) ve[10][4] = 52 100.56/32.18 c (31,19) ve[11][0] = 11 100.56/32.18 c (31,19) ve[11][1] = 47 100.56/32.18 c (31,19) ve[11][2] = 29 100.56/32.18 c (31,19) ve[11][3] = 35 100.56/32.18 c (31,19) ve[11][4] = 59 100.56/32.18 c (31,19) ve[12][0] = 12 100.56/32.18 c (31,19) ve[12][1] = 1 100.56/32.18 c (31,19) ve[12][2] = 47 100.56/32.18 c (31,19) ve[12][3] = 42 100.56/32.18 c (31,19) ve[12][4] = 25 100.56/32.18 c (31,19) ve[13][0] = 13 100.56/32.18 c (31,19) ve[13][1] = 55 100.56/32.18 c (31,19) ve[13][2] = 24 100.56/32.18 c (31,19) ve[13][3] = 5 100.56/32.18 c (31,19) ve[13][4] = 41 100.56/32.18 c (31,19) ve[14][0] = 14 100.56/32.18 c (31,19) ve[14][1] = 32 100.56/32.18 c (31,19) ve[14][2] = 33 100.56/32.18 c (31,19) ve[14][3] = 10 100.56/32.18 c (31,19) ve[14][4] = 48 100.56/32.18 c (31,19) ve[15][0] = 15 100.56/32.18 c (31,19) ve[15][1] = 29 100.56/32.18 c (31,19) ve[15][2] = 43 100.56/32.18 c (31,19) ve[15][3] = 9 100.56/32.18 c (31,19) ve[15][4] = 54 100.56/32.18 c (31,19) ve[16][0] = 16 100.56/32.18 c (31,19) ve[16][1] = 51 100.56/32.18 c (31,19) ve[16][2] = 31 100.56/32.18 c (31,19) ve[16][3] = 2 100.56/32.18 c (31,19) ve[16][4] = 36 100.56/32.18 c (31,19) ve[17][0] = 17 100.56/32.18 c (31,19) ve[17][1] = 56 100.56/32.18 c (31,19) ve[17][2] = 40 100.56/32.18 c (31,19) ve[17][3] = 52 100.56/32.18 c (31,19) ve[17][4] = 27 100.56/32.18 c (31,19) ve[18][0] = 18 100.56/32.18 c (31,19) ve[18][1] = 57 100.56/32.18 c (31,19) ve[18][2] = 49 100.56/32.18 c (31,19) ve[18][3] = 8 100.56/32.18 c (31,19) ve[18][4] = 34 100.56/32.18 c (31,19) ve[19][0] = 19 100.56/32.18 c (31,19) ve[19][1] = 3 100.56/32.18 c (31,19) ve[19][2] = 46 100.56/32.18 c (31,19) ve[19][3] = 38 100.56/32.18 c (31,19) ve[19][4] = 28 100.56/32.18 c (31,19) ve[20][0] = 20 100.56/32.18 c (31,19) ve[20][1] = 58 100.56/32.18 c (31,19) ve[20][2] = 4 100.56/32.18 c (31,19) ve[20][3] = 45 100.56/32.18 c (31,19) ve[20][4] = 35 100.56/32.18 c (31,19) ve[21][0] = 21 100.56/32.18 c (31,19) ve[21][1] = 26 100.56/32.18 c (31,19) ve[21][2] = 37 100.56/32.18 c (31,19) ve[21][3] = 6 100.56/32.18 c (31,19) ve[21][4] = 50 100.56/32.18 c (31,19) ve[22][0] = 22 100.56/32.18 c (31,19) ve[22][1] = 0 100.56/32.18 c (31,19) ve[22][2] = 53 100.56/32.18 c (31,19) ve[22][3] = 30 100.56/32.18 c (31,19) ve[22][4] = 44 100.56/32.18 c (31,19) ve[23][0] = 23 100.56/32.18 c (31,19) ve[23][1] = 59 100.56/32.18 c (31,19) ve[23][2] = 39 100.56/32.18 c (31,19) ve[23][3] = 7 100.56/32.18 c (31,19) ve[23][4] = 11 100.56/32.18 c (31,19) ve[24][0] = 24 100.56/32.18 c (31,19) ve[24][1] = 44 100.56/32.18 c (31,19) ve[24][2] = 20 100.56/32.18 c (31,19) ve[24][3] = 47 100.56/32.18 c (31,19) ve[24][4] = 7 100.56/32.18 c (31,19) ve[25][0] = 25 100.56/32.18 c (31,19) ve[25][1] = 41 100.56/32.18 c (31,19) ve[25][2] = 54 100.56/32.18 c (31,19) ve[25][3] = 11 100.56/32.18 c (31,19) ve[25][4] = 4 100.56/32.18 c (31,19) ve[26][0] = 26 100.56/32.18 c (31,19) ve[26][1] = 36 100.56/32.18 c (31,19) ve[26][2] = 10 100.56/32.18 c (31,19) ve[26][3] = 53 100.56/32.18 c (31,19) ve[26][4] = 13 100.56/32.18 c (31,19) ve[27][0] = 27 100.56/32.18 c (31,19) ve[27][1] = 43 100.56/32.18 c (31,19) ve[27][2] = 0 100.56/32.18 c (31,19) ve[27][3] = 46 100.56/32.18 c (31,19) ve[27][4] = 15 100.56/32.18 c (31,19) ve[28][0] = 28 100.56/32.18 c (31,19) ve[28][1] = 6 100.56/32.18 c (31,19) ve[28][2] = 52 100.56/32.18 c (31,19) ve[28][3] = 39 100.56/32.18 c (31,19) ve[28][4] = 22 100.56/32.18 c (31,19) ve[29][0] = 29 100.56/32.18 c (31,19) ve[29][1] = 37 100.56/32.18 c (31,19) ve[29][2] = 51 100.56/32.18 c (31,19) ve[29][3] = 55 100.56/32.18 c (31,19) ve[29][4] = 19 100.56/32.18 c (31,19) ve[30][0] = 30 100.56/32.18 c (31,19) ve[30][1] = 14 100.56/32.18 c (31,19) ve[30][2] = 5 100.56/32.18 c (31,19) ve[30][3] = 56 100.56/32.18 c (31,19) ve[30][4] = 40 100.56/32.18 c (31,19) ve[31][0] = 31 100.56/32.18 c (31,19) ve[31][1] = 8 100.56/32.18 c (31,19) ve[31][2] = 17 100.56/32.18 c (31,19) ve[31][3] = 57 100.56/32.18 c (31,19) ve[31][4] = 38 100.56/32.18 c (31,19) ve[32][0] = 32 100.56/32.18 c (31,19) ve[32][1] = 18 100.56/32.18 c (31,19) ve[32][2] = 42 100.56/32.18 c (31,19) ve[32][3] = 50 100.56/32.18 c (31,19) ve[32][4] = 9 100.56/32.18 c (31,19) ve[33][0] = 33 100.56/32.18 c (31,19) ve[33][1] = 48 100.56/32.18 c (31,19) ve[33][2] = 2 100.56/32.18 c (31,19) ve[33][3] = 58 100.56/32.18 c (31,19) ve[33][4] = 21 100.56/32.18 c (31,19) ve[34][0] = 34 100.56/32.18 c (31,19) ve[34][1] = 45 100.56/32.18 c (31,19) ve[34][2] = 16 100.56/32.18 c (31,19) ve[34][3] = 1 100.56/32.18 c (31,19) ve[34][4] = 23 100.56/32.18 c (31,19) ve[35][0] = 35 100.56/32.18 c (31,19) ve[35][1] = 49 100.56/32.18 c (31,19) ve[35][2] = 3 100.56/32.18 c (31,19) ve[35][3] = 59 100.56/32.18 c (31,19) ve[35][4] = 12 100.56/32.18 c (31,19) ve[36][0] = 36 100.56/32.18 c (31,19) ve[36][1] = 11 100.56/32.18 c (31,19) ve[36][2] = 55 100.56/32.18 c (31,19) ve[36][3] = 0 100.56/32.18 c (31,19) ve[36][4] = 26 100.56/32.18 c (31,19) ve[37][0] = 37 100.56/32.18 c (31,19) ve[37][1] = 19 100.56/32.18 c (31,19) ve[37][2] = 23 100.56/32.18 c (31,19) ve[37][3] = 49 100.56/32.18 c (31,19) ve[37][4] = 10 100.56/32.18 c (31,19) ve[38][0] = 38 100.56/32.18 c (31,19) ve[38][1] = 52 100.56/32.18 c (31,19) ve[38][2] = 56 100.56/32.18 c (31,19) ve[38][3] = 22 100.56/32.18 c (31,19) ve[38][4] = 5 100.56/32.18 c (31,19) ve[39][0] = 39 100.56/32.18 c (31,19) ve[39][1] = 9 100.56/32.18 c (31,19) ve[39][2] = 30 100.56/32.18 c (31,19) ve[39][3] = 48 100.56/32.18 c (31,19) ve[39][4] = 16 100.56/32.18 c (31,19) ve[40][0] = 40 100.56/32.18 c (31,19) ve[40][1] = 27 100.56/32.18 c (31,19) ve[40][2] = 18 100.56/32.18 c (31,19) ve[40][3] = 51 100.56/32.18 c (31,19) ve[40][4] = 6 100.56/32.18 c (31,19) ve[41][0] = 41 100.56/32.18 c (31,19) ve[41][1] = 4 100.56/32.18 c (31,19) ve[41][2] = 57 100.56/32.18 c (31,19) ve[41][3] = 24 100.56/32.18 c (31,19) ve[41][4] = 17 100.56/32.18 c (31,19) ve[42][0] = 42 100.56/32.18 c (31,19) ve[42][1] = 28 100.56/32.18 c (31,19) ve[42][2] = 13 100.56/32.18 c (31,19) ve[42][3] = 54 100.56/32.18 c (31,19) ve[42][4] = 1 100.56/32.18 c (31,19) ve[43][0] = 43 100.56/32.18 c (31,19) ve[43][1] = 53 100.56/32.18 c (31,19) ve[43][2] = 7 100.56/32.18 c (31,19) ve[43][3] = 20 100.56/32.18 c (31,19) ve[43][4] = 31 100.56/32.18 c (31,19) ve[44][0] = 44 100.56/32.18 c (31,19) ve[44][1] = 21 100.56/32.18 c (31,19) ve[44][2] = 50 100.56/32.18 c (31,19) ve[44][3] = 3 100.56/32.18 c (31,19) ve[44][4] = 29 100.56/32.18 c (31,19) ve[45][0] = 45 100.56/32.18 c (31,19) ve[45][1] = 35 100.56/32.18 c (31,19) ve[45][2] = 58 100.56/32.18 c (31,19) ve[45][3] = 12 100.56/32.18 c (31,19) ve[45][4] = 8 100.56/32.18 c (31,19) ve[46][0] = 46 100.56/32.18 c (31,19) ve[46][1] = 15 100.56/32.18 c (31,19) ve[46][2] = 59 100.56/32.18 c (31,19) ve[46][3] = 32 100.56/32.18 c (31,19) ve[46][4] = 33 100.56/32.18 c (31,19) ve[47][0] = 47 100.56/32.18 c (31,19) ve[47][1] = 25 100.56/32.18 c (31,19) ve[47][2] = 14 100.56/32.18 c (31,19) ve[47][3] = 34 100.56/32.18 c (31,19) ve[47][4] = 2 100.56/32.18 c (31,19) ve[48][0] = 48 100.56/32.18 c (31,19) ve[48][1] = 17 100.56/32.18 c (31,19) ve[48][2] = 6 100.56/32.18 c (31,19) ve[48][3] = 41 100.56/32.18 c (31,19) ve[48][4] = 32 100.56/32.18 c (31,19) ve[49][0] = 49 100.56/32.18 c (31,19) ve[49][1] = 2 100.56/32.18 c (31,19) ve[49][2] = 36 100.56/32.18 c (31,19) ve[49][3] = 27 100.56/32.18 c (31,19) ve[49][4] = 20 100.56/32.18 c (31,19) ve[50][0] = 50 100.56/32.18 c (31,19) ve[50][1] = 40 100.56/32.18 c (31,19) ve[50][2] = 11 100.56/32.18 c (31,19) ve[50][3] = 4 100.56/32.18 c (31,19) ve[50][4] = 30 100.56/32.18 c (31,19) ve[51][0] = 51 100.56/32.18 c (31,19) ve[51][1] = 10 100.56/32.18 c (31,19) ve[51][2] = 12 100.56/32.18 c (31,19) ve[51][3] = 31 100.56/32.18 c (31,19) ve[51][4] = 43 100.56/32.18 c (31,19) ve[52][0] = 52 100.56/32.18 c (31,19) ve[52][1] = 13 100.56/32.18 c (31,19) ve[52][2] = 26 100.56/32.18 c (31,19) ve[52][3] = 44 100.56/32.18 c (31,19) ve[52][4] = 3 100.56/32.18 c (31,19) ve[53][0] = 53 100.56/32.18 c (31,19) ve[53][1] = 33 100.56/32.18 c (31,19) ve[53][2] = 22 100.56/32.18 c (31,19) ve[53][3] = 29 100.56/32.18 c (31,19) ve[53][4] = 0 100.56/32.18 c (31,19) ve[54][0] = 54 100.56/32.18 c (31,19) ve[54][1] = 7 100.56/32.18 c (31,19) ve[54][2] = 15 100.56/32.18 c (31,19) ve[54][3] = 25 100.56/32.18 c (31,19) ve[54][4] = 37 100.56/32.18 c (31,19) ve[55][0] = 55 100.56/32.18 c (31,19) ve[55][1] = 23 100.56/32.18 c (31,19) ve[55][2] = 35 100.56/32.18 c (31,19) ve[55][3] = 18 100.56/32.18 c (31,19) ve[55][4] = 46 100.56/32.18 c (31,19) ve[56][0] = 56 100.56/32.18 c (31,19) ve[56][1] = 5 100.56/32.18 c (31,19) ve[56][2] = 38 100.56/32.18 c (31,19) ve[56][3] = 16 100.56/32.18 c (31,19) ve[56][4] = 45 100.56/32.18 c (31,19) ve[57][0] = 57 100.56/32.18 c (31,19) ve[57][1] = 34 100.56/32.18 c (31,19) ve[57][2] = 9 100.56/32.18 c (31,19) ve[57][3] = 19 100.56/32.18 c (31,19) ve[57][4] = 24 100.56/32.18 c (31,19) ve[58][0] = 58 100.56/32.18 c (31,19) ve[58][1] = 39 100.56/32.18 c (31,19) ve[58][2] = 1 100.56/32.18 c (31,19) ve[58][3] = 21 100.56/32.18 c (31,19) ve[58][4] = 47 100.56/32.18 c (31,19) ve[59][0] = 59 100.56/32.18 c (31,19) ve[59][1] = 42 100.56/32.18 c (31,19) ve[59][2] = 8 100.56/32.18 c (31,19) ve[59][3] = 28 100.56/32.18 c (31,19) ve[59][4] = 14 100.56/32.18 c (31,19) vr[0][0] = 0 100.56/32.18 c (31,19) vr[0][1] = 22 100.56/32.18 c (31,19) vr[0][2] = 27 100.56/32.18 c (31,19) vr[0][3] = 36 100.56/32.18 c (31,19) vr[0][4] = 53 100.56/32.18 c (31,19) vr[1][0] = 1 100.56/32.18 c (31,19) vr[1][1] = 12 100.56/32.18 c (31,19) vr[1][2] = 58 100.56/32.18 c (31,19) vr[1][3] = 34 100.56/32.18 c (31,19) vr[1][4] = 42 100.56/32.18 c (31,19) vr[2][0] = 2 100.56/32.18 c (31,19) vr[2][1] = 49 100.56/32.18 c (31,19) vr[2][2] = 33 100.56/32.18 c (31,19) vr[2][3] = 16 100.56/32.18 c (31,19) vr[2][4] = 47 100.56/32.18 c (31,19) vr[3][0] = 3 100.56/32.18 c (31,19) vr[3][1] = 19 100.56/32.18 c (31,19) vr[3][2] = 35 100.56/32.18 c (31,19) vr[3][3] = 44 100.56/32.18 c (31,19) vr[3][4] = 52 100.56/32.18 c (31,19) vr[4][0] = 4 100.56/32.18 c (31,19) vr[4][1] = 41 100.56/32.18 c (31,19) vr[4][2] = 20 100.56/32.18 c (31,19) vr[4][3] = 50 100.56/32.18 c (31,19) vr[4][4] = 25 100.56/32.18 c (31,19) vr[5][0] = 5 100.56/32.18 c (31,19) vr[5][1] = 56 100.56/32.18 c (31,19) vr[5][2] = 30 100.56/32.18 c (31,19) vr[5][3] = 13 100.56/32.18 c (31,19) vr[5][4] = 38 100.56/32.18 c (31,19) vr[6][0] = 6 100.56/32.18 c (31,19) vr[6][1] = 28 100.56/32.18 c (31,19) vr[6][2] = 48 100.56/32.18 c (31,19) vr[6][3] = 21 100.56/32.18 c (31,19) vr[6][4] = 40 100.56/32.18 c (31,19) vr[7][0] = 7 100.56/32.18 c (31,19) vr[7][1] = 54 100.56/32.18 c (31,19) vr[7][2] = 43 100.56/32.18 c (31,19) vr[7][3] = 23 100.56/32.18 c (31,19) vr[7][4] = 24 100.56/32.18 c (31,19) vr[8][0] = 8 100.56/32.18 c (31,19) vr[8][1] = 31 100.56/32.18 c (31,19) vr[8][2] = 59 100.56/32.18 c (31,19) vr[8][3] = 18 100.56/32.18 c (31,19) vr[8][4] = 45 100.56/32.18 c (31,19) vr[9][0] = 9 100.56/32.18 c (31,19) vr[9][1] = 39 100.56/32.18 c (31,19) vr[9][2] = 57 100.56/32.18 c (31,19) vr[9][3] = 15 100.56/32.18 c (31,19) vr[9][4] = 32 100.56/32.18 c (31,19) vr[10][0] = 10 100.56/32.18 c (31,19) vr[10][1] = 51 100.56/32.18 c (31,19) vr[10][2] = 26 100.56/32.18 c (31,19) vr[10][3] = 14 100.56/32.18 c (31,19) vr[10][4] = 37 100.56/32.18 c (31,19) vr[11][0] = 11 100.56/32.18 c (31,19) vr[11][1] = 36 100.56/32.18 c (31,19) vr[11][2] = 50 100.56/32.18 c (31,19) vr[11][3] = 25 100.56/32.18 c (31,19) vr[11][4] = 23 100.56/32.18 c (31,19) vr[12][0] = 12 100.56/32.18 c (31,19) vr[12][1] = 8 100.56/32.18 c (31,19) vr[12][2] = 51 100.56/32.18 c (31,19) vr[12][3] = 45 100.56/32.18 c (31,19) vr[12][4] = 35 100.56/32.18 c (31,19) vr[13][0] = 13 100.56/32.18 c (31,19) vr[13][1] = 52 100.56/32.18 c (31,19) vr[13][2] = 42 100.56/32.18 c (31,19) vr[13][3] = 4 100.56/32.18 c (31,19) vr[13][4] = 26 100.56/32.18 c (31,19) vr[14][0] = 14 100.56/32.18 c (31,19) vr[14][1] = 30 100.56/32.18 c (31,19) vr[14][2] = 47 100.56/32.18 c (31,19) vr[14][3] = 5 100.56/32.18 c (31,19) vr[14][4] = 59 100.56/32.18 c (31,19) vr[15][0] = 15 100.56/32.18 c (31,19) vr[15][1] = 46 100.56/32.18 c (31,19) vr[15][2] = 54 100.56/32.18 c (31,19) vr[15][3] = 0 100.56/32.18 c (31,19) vr[15][4] = 27 100.56/32.18 c (31,19) vr[16][0] = 16 100.56/32.18 c (31,19) vr[16][1] = 10 100.56/32.18 c (31,19) vr[16][2] = 34 100.56/32.18 c (31,19) vr[16][3] = 56 100.56/32.18 c (31,19) vr[16][4] = 39 100.56/32.18 c (31,19) vr[17][0] = 17 100.56/32.18 c (31,19) vr[17][1] = 48 100.56/32.18 c (31,19) vr[17][2] = 31 100.56/32.18 c (31,19) vr[17][3] = 6 100.56/32.18 c (31,19) vr[17][4] = 41 100.56/32.18 c (31,19) vr[18][0] = 18 100.56/32.18 c (31,19) vr[18][1] = 32 100.56/32.18 c (31,19) vr[18][2] = 40 100.56/32.18 c (31,19) vr[18][3] = 55 100.56/32.18 c (31,19) vr[18][4] = 7 100.56/32.18 c (31,19) vr[19][0] = 19 100.56/32.18 c (31,19) vr[19][1] = 37 100.56/32.18 c (31,19) vr[19][2] = 3 100.56/32.18 c (31,19) vr[19][3] = 57 100.56/32.18 c (31,19) vr[19][4] = 29 100.56/32.18 c (31,19) vr[20][0] = 20 100.56/32.18 c (31,19) vr[20][1] = 1 100.56/32.18 c (31,19) vr[20][2] = 24 100.56/32.18 c (31,19) vr[20][3] = 43 100.56/32.18 c (31,19) vr[20][4] = 49 100.56/32.18 c (31,19) vr[21][0] = 21 100.56/32.18 c (31,19) vr[21][1] = 44 100.56/32.18 c (31,19) vr[21][2] = 9 100.56/32.18 c (31,19) vr[21][3] = 58 100.56/32.18 c (31,19) vr[21][4] = 33 100.56/32.18 c (31,19) vr[22][0] = 22 100.56/32.18 c (31,19) vr[22][1] = 2 100.56/32.18 c (31,19) vr[22][2] = 53 100.56/32.18 c (31,19) vr[22][3] = 38 100.56/32.18 c (31,19) vr[22][4] = 28 100.56/32.18 c (31,19) vr[23][0] = 23 100.56/32.18 c (31,19) vr[23][1] = 55 100.56/32.18 c (31,19) vr[23][2] = 37 100.56/32.18 c (31,19) vr[23][3] = 3 100.56/32.18 c (31,19) vr[23][4] = 34 100.56/32.18 c (31,19) vr[24][0] = 24 100.56/32.18 c (31,19) vr[24][1] = 5 100.56/32.18 c (31,19) vr[24][2] = 13 100.56/32.18 c (31,19) vr[24][3] = 41 100.56/32.18 c (31,19) vr[24][4] = 57 100.56/32.18 c (31,19) vr[25][0] = 25 100.56/32.18 c (31,19) vr[25][1] = 47 100.56/32.18 c (31,19) vr[25][2] = 2 100.56/32.18 c (31,19) vr[25][3] = 54 100.56/32.18 c (31,19) vr[25][4] = 12 100.56/32.18 c (31,19) vr[26][0] = 26 100.56/32.18 c (31,19) vr[26][1] = 21 100.56/32.18 c (31,19) vr[26][2] = 52 100.56/32.18 c (31,19) vr[26][3] = 9 100.56/32.18 c (31,19) vr[26][4] = 36 100.56/32.18 c (31,19) vr[27][0] = 27 100.56/32.18 c (31,19) vr[27][1] = 40 100.56/32.18 c (31,19) vr[27][2] = 10 100.56/32.18 c (31,19) vr[27][3] = 49 100.56/32.18 c (31,19) vr[27][4] = 17 100.56/32.18 c (31,19) vr[28][0] = 28 100.56/32.18 c (31,19) vr[28][1] = 42 100.56/32.18 c (31,19) vr[28][2] = 7 100.56/32.18 c (31,19) vr[28][3] = 59 100.56/32.18 c (31,19) vr[28][4] = 19 100.56/32.18 c (31,19) vr[29][0] = 29 100.56/32.18 c (31,19) vr[29][1] = 15 100.56/32.18 c (31,19) vr[29][2] = 11 100.56/32.18 c (31,19) vr[29][3] = 53 100.56/32.18 c (31,19) vr[29][4] = 44 100.56/32.18 c (31,19) vr[30][0] = 30 100.56/32.18 c (31,19) vr[30][1] = 4 100.56/32.18 c (31,19) vr[30][2] = 39 100.56/32.18 c (31,19) vr[30][3] = 22 100.56/32.18 c (31,19) vr[30][4] = 50 100.56/32.18 c (31,19) vr[31][0] = 31 100.56/32.18 c (31,19) vr[31][1] = 6 100.56/32.18 c (31,19) vr[31][2] = 16 100.56/32.18 c (31,19) vr[31][3] = 51 100.56/32.18 c (31,19) vr[31][4] = 43 100.56/32.18 c (31,19) vr[32][0] = 32 100.56/32.18 c (31,19) vr[32][1] = 14 100.56/32.18 c (31,19) vr[32][2] = 8 100.56/32.18 c (31,19) vr[32][3] = 46 100.56/32.18 c (31,19) vr[32][4] = 48 100.56/32.18 c (31,19) vr[33][0] = 33 100.56/32.18 c (31,19) vr[33][1] = 53 100.56/32.18 c (31,19) vr[33][2] = 14 100.56/32.18 c (31,19) vr[33][3] = 7 100.56/32.18 c (31,19) vr[33][4] = 46 100.56/32.18 c (31,19) vr[34][0] = 34 100.56/32.18 c (31,19) vr[34][1] = 57 100.56/32.18 c (31,19) vr[34][2] = 5 100.56/32.18 c (31,19) vr[34][3] = 47 100.56/32.18 c (31,19) vr[34][4] = 18 100.56/32.18 c (31,19) vr[35][0] = 35 100.56/32.18 c (31,19) vr[35][1] = 45 100.56/32.18 c (31,19) vr[35][2] = 55 100.56/32.18 c (31,19) vr[35][3] = 11 100.56/32.18 c (31,19) vr[35][4] = 20 100.56/32.18 c (31,19) vr[36][0] = 36 100.56/32.18 c (31,19) vr[36][1] = 26 100.56/32.18 c (31,19) vr[36][2] = 49 100.56/32.18 c (31,19) vr[36][3] = 1 100.56/32.18 c (31,19) vr[36][4] = 16 100.56/32.18 c (31,19) vr[37][0] = 37 100.56/32.18 c (31,19) vr[37][1] = 29 100.56/32.18 c (31,19) vr[37][2] = 21 100.56/32.18 c (31,19) vr[37][3] = 8 100.56/32.18 c (31,19) vr[37][4] = 54 100.56/32.18 c (31,19) vr[38][0] = 38 100.56/32.18 c (31,19) vr[38][1] = 3 100.56/32.18 c (31,19) vr[38][2] = 56 100.56/32.18 c (31,19) vr[38][3] = 19 100.56/32.18 c (31,19) vr[38][4] = 31 100.56/32.18 c (31,19) vr[39][0] = 39 100.56/32.18 c (31,19) vr[39][1] = 58 100.56/32.18 c (31,19) vr[39][2] = 23 100.56/32.18 c (31,19) vr[39][3] = 28 100.56/32.18 c (31,19) vr[39][4] = 6 100.56/32.18 c (31,19) vr[40][0] = 40 100.56/32.18 c (31,19) vr[40][1] = 50 100.56/32.18 c (31,19) vr[40][2] = 17 100.56/32.18 c (31,19) vr[40][3] = 2 100.56/32.18 c (31,19) vr[40][4] = 30 100.56/32.18 c (31,19) vr[41][0] = 41 100.56/32.18 c (31,19) vr[41][1] = 25 100.56/32.18 c (31,19) vr[41][2] = 4 100.56/32.18 c (31,19) vr[41][3] = 48 100.56/32.18 c (31,19) vr[41][4] = 13 100.56/32.18 c (31,19) vr[42][0] = 42 100.56/32.18 c (31,19) vr[42][1] = 59 100.56/32.18 c (31,19) vr[42][2] = 32 100.56/32.18 c (31,19) vr[42][3] = 12 100.56/32.18 c (31,19) vr[42][4] = 9 100.56/32.18 c (31,19) vr[43][0] = 43 100.56/32.18 c (31,19) vr[43][1] = 27 100.56/32.18 c (31,19) vr[43][2] = 15 100.56/32.18 c (31,19) vr[43][3] = 10 100.56/32.18 c (31,19) vr[43][4] = 51 100.56/32.18 c (31,19) vr[44][0] = 44 100.56/32.18 c (31,19) vr[44][1] = 24 100.56/32.18 c (31,19) vr[44][2] = 0 100.56/32.18 c (31,19) vr[44][3] = 52 100.56/32.18 c (31,19) vr[44][4] = 22 100.56/32.18 c (31,19) vr[45][0] = 45 100.56/32.18 c (31,19) vr[45][1] = 34 100.56/32.18 c (31,19) vr[45][2] = 6 100.56/32.18 c (31,19) vr[45][3] = 20 100.56/32.18 c (31,19) vr[45][4] = 56 100.56/32.18 c (31,19) vr[46][0] = 46 100.56/32.18 c (31,19) vr[46][1] = 0 100.56/32.18 c (31,19) vr[46][2] = 19 100.56/32.18 c (31,19) vr[46][3] = 27 100.56/32.18 c (31,19) vr[46][4] = 55 100.56/32.18 c (31,19) vr[47][0] = 47 100.56/32.18 c (31,19) vr[47][1] = 11 100.56/32.18 c (31,19) vr[47][2] = 12 100.56/32.18 c (31,19) vr[47][3] = 24 100.56/32.18 c (31,19) vr[47][4] = 58 100.56/32.18 c (31,19) vr[48][0] = 48 100.56/32.18 c (31,19) vr[48][1] = 33 100.56/32.18 c (31,19) vr[48][2] = 1 100.56/32.18 c (31,19) vr[48][3] = 39 100.56/32.18 c (31,19) vr[48][4] = 14 100.56/32.18 c (31,19) vr[49][0] = 49 100.56/32.18 c (31,19) vr[49][1] = 35 100.56/32.18 c (31,19) vr[49][2] = 18 100.56/32.18 c (31,19) vr[49][3] = 37 100.56/32.18 c (31,19) vr[49][4] = 3 100.56/32.18 c (31,19) vr[50][0] = 50 100.56/32.18 c (31,19) vr[50][1] = 7 100.56/32.18 c (31,19) vr[50][2] = 44 100.56/32.18 c (31,19) vr[50][3] = 32 100.56/32.18 c (31,19) vr[50][4] = 21 100.56/32.18 c (31,19) vr[51][0] = 51 100.56/32.18 c (31,19) vr[51][1] = 16 100.56/32.18 c (31,19) vr[51][2] = 29 100.56/32.18 c (31,19) vr[51][3] = 40 100.56/32.18 c (31,19) vr[51][4] = 2 100.56/32.18 c (31,19) vr[52][0] = 52 100.56/32.18 c (31,19) vr[52][1] = 38 100.56/32.18 c (31,19) vr[52][2] = 28 100.56/32.18 c (31,19) vr[52][3] = 17 100.56/32.18 c (31,19) vr[52][4] = 10 100.56/32.18 c (31,19) vr[53][0] = 53 100.56/32.18 c (31,19) vr[53][1] = 43 100.56/32.18 c (31,19) vr[53][2] = 22 100.56/32.18 c (31,19) vr[53][3] = 26 100.56/32.18 c (31,19) vr[53][4] = 5 100.56/32.18 c (31,19) vr[54][0] = 54 100.56/32.18 c (31,19) vr[54][1] = 9 100.56/32.18 c (31,19) vr[54][2] = 25 100.56/32.18 c (31,19) vr[54][3] = 42 100.56/32.18 c (31,19) vr[54][4] = 15 100.56/32.18 c (31,19) vr[55][0] = 55 100.56/32.18 c (31,19) vr[55][1] = 13 100.56/32.18 c (31,19) vr[55][2] = 36 100.56/32.18 c (31,19) vr[55][3] = 29 100.56/32.18 c (31,19) vr[55][4] = 0 100.56/32.18 c (31,19) vr[56][0] = 56 100.56/32.18 c (31,19) vr[56][1] = 17 100.56/32.18 c (31,19) vr[56][2] = 38 100.56/32.18 c (31,19) vr[56][3] = 30 100.56/32.18 c (31,19) vr[56][4] = 1 100.56/32.18 c (31,19) vr[57][0] = 57 100.56/32.18 c (31,19) vr[57][1] = 18 100.56/32.18 c (31,19) vr[57][2] = 41 100.56/32.18 c (31,19) vr[57][3] = 31 100.56/32.18 c (31,19) vr[57][4] = 4 100.56/32.18 c (31,19) vr[58][0] = 58 100.56/32.18 c (31,19) vr[58][1] = 20 100.56/32.18 c (31,19) vr[58][2] = 45 100.56/32.18 c (31,19) vr[58][3] = 33 100.56/32.18 c (31,19) vr[58][4] = 8 100.56/32.18 c (31,19) vr[59][0] = 59 100.56/32.18 c (31,19) vr[59][1] = 23 100.56/32.18 c (31,19) vr[59][2] = 46 100.56/32.18 c (31,19) vr[59][3] = 35 100.56/32.18 c (31,19) vr[59][4] = 11 100.56/32.18 s SATISFIABLE 100.56/32.18 v <instantiation> 100.56/32.18 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] vr[50][0] vr[50][1] vr[50][2] vr[50][3] vr[50][4] vr[51][0] vr[51][1] vr[51][2] vr[51][3] vr[51][4] vr[52][0] vr[52][1] vr[52][2] vr[52][3] vr[52][4] vr[53][0] vr[53][1] vr[53][2] vr[53][3] vr[53][4] vr[54][0] vr[54][1] vr[54][2] vr[54][3] vr[54][4] vr[55][0] vr[55][1] vr[55][2] vr[55][3] vr[55][4] vr[56][0] vr[56][1] vr[56][2] vr[56][3] vr[56][4] vr[57][0] vr[57][1] vr[57][2] vr[57][3] vr[57][4] vr[58][0] vr[58][1] vr[58][2] vr[58][3] vr[58][4] vr[59][0] vr[59][1] vr[59][2] vr[59][3] vr[59][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] ve[50][0] ve[50][1] ve[50][2] ve[50][3] ve[50][4] ve[51][0] ve[51][1] ve[51][2] ve[51][3] ve[51][4] ve[52][0] ve[52][1] ve[52][2] ve[52][3] ve[52][4] ve[53][0] ve[53][1] ve[53][2] ve[53][3] ve[53][4] ve[54][0] ve[54][1] ve[54][2] ve[54][3] ve[54][4] ve[55][0] ve[55][1] ve[55][2] ve[55][3] ve[55][4] ve[56][0] ve[56][1] ve[56][2] ve[56][3] ve[56][4] ve[57][0] ve[57][1] ve[57][2] ve[57][3] ve[57][4] ve[58][0] ve[58][1] ve[58][2] ve[58][3] ve[58][4] ve[59][0] ve[59][1] ve[59][2] ve[59][3] ve[59][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] gvr[50][0] gvr[50][1] gvr[50][2] gvr[50][3] gvr[50][4] gvr[51][0] gvr[51][1] gvr[51][2] gvr[51][3] gvr[51][4] gvr[52][0] gvr[52][1] gvr[52][2] gvr[52][3] gvr[52][4] gvr[53][0] gvr[53][1] gvr[53][2] gvr[53][3] gvr[53][4] gvr[54][0] gvr[54][1] gvr[54][2] gvr[54][3] gvr[54][4] gvr[55][0] gvr[55][1] gvr[55][2] gvr[55][3] gvr[55][4] gvr[56][0] gvr[56][1] gvr[56][2] gvr[56][3] gvr[56][4] gvr[57][0] gvr[57][1] gvr[57][2] gvr[57][3] gvr[57][4] gvr[58][0] gvr[58][1] gvr[58][2] gvr[58][3] gvr[58][4] gvr[59][0] gvr[59][1] gvr[59][2] gvr[59][3] gvr[59][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] gve[50][0] gve[50][1] gve[50][2] gve[50][3] gve[50][4] gve[51][0] gve[51][1] gve[51][2] gve[51][3] gve[51][4] gve[52][0] gve[52][1] gve[52][2] gve[52][3] gve[52][4] gve[53][0] gve[53][1] gve[53][2] gve[53][3] gve[53][4] gve[54][0] gve[54][1] gve[54][2] gve[54][3] gve[54][4] gve[55][0] gve[55][1] gve[55][2] gve[55][3] gve[55][4] gve[56][0] gve[56][1] gve[56][2] gve[56][3] gve[56][4] gve[57][0] gve[57][1] gve[57][2] gve[57][3] gve[57][4] gve[58][0] gve[58][1] gve[58][2] gve[58][3] gve[58][4] gve[59][0] gve[59][1] gve[59][2] gve[59][3] gve[59][4]</list> 100.56/32.18 v <values>0 22 27 36 53 1 12 58 34 42 2 49 33 16 47 3 19 35 44 52 4 41 20 50 25 5 56 30 13 38 6 28 48 21 40 7 54 43 23 24 8 31 59 18 45 9 39 57 15 32 10 51 26 14 37 11 36 50 25 23 12 8 51 45 35 13 52 42 4 26 14 30 47 5 59 15 46 54 0 27 16 10 34 56 39 17 48 31 6 41 18 32 40 55 7 19 37 3 57 29 20 1 24 43 49 21 44 9 58 33 22 2 53 38 28 23 55 37 3 34 24 5 13 41 57 25 47 2 54 12 26 21 52 9 36 27 40 10 49 17 28 42 7 59 19 29 15 11 53 44 30 4 39 22 50 31 6 16 51 43 32 14 8 46 48 33 53 14 7 46 34 57 5 47 18 35 45 55 11 20 36 26 49 1 16 37 29 21 8 54 38 3 56 19 31 39 58 23 28 6 40 50 17 2 30 41 25 4 48 13 42 59 32 12 9 43 27 15 10 51 44 24 0 52 22 45 34 6 20 56 46 0 19 27 55 47 11 12 24 58 48 33 1 39 14 49 35 18 37 3 50 7 44 32 21 51 16 29 40 2 52 38 28 17 10 53 43 22 26 5 54 9 25 42 15 55 13 36 29 0 56 17 38 30 1 57 18 41 31 4 58 20 45 33 8 59 23 46 35 11 0 46 44 15 55 1 20 48 36 56 2 22 25 40 51 3 38 19 23 49 4 30 41 13 57 5 24 34 14 53 6 31 45 17 39 7 50 28 33 18 8 12 32 37 58 9 54 21 26 42 10 16 27 43 52 11 47 29 35 59 12 1 47 42 25 13 55 24 5 41 14 32 33 10 48 15 29 43 9 54 16 51 31 2 36 17 56 40 52 27 18 57 49 8 34 19 3 46 38 28 20 58 4 45 35 21 26 37 6 50 22 0 53 30 44 23 59 39 7 11 24 44 20 47 7 25 41 54 11 4 26 36 10 53 13 27 43 0 46 15 28 6 52 39 22 29 37 51 55 19 30 14 5 56 40 31 8 17 57 38 32 18 42 50 9 33 48 2 58 21 34 45 16 1 23 35 49 3 59 12 36 11 55 0 26 37 19 23 49 10 38 52 56 22 5 39 9 30 48 16 40 27 18 51 6 41 4 57 24 17 42 28 13 54 1 43 53 7 20 31 44 21 50 3 29 45 35 58 12 8 46 15 59 32 33 47 25 14 34 2 48 17 6 41 32 49 2 36 27 20 50 40 11 4 30 51 10 12 31 43 52 13 26 44 3 53 33 22 29 0 54 7 15 25 37 55 23 35 18 46 56 5 38 16 45 57 34 9 19 24 58 39 1 21 47 59 42 8 28 14 0 1 2 3 4 0 1 4 2 3 0 4 2 1 3 0 1 2 3 4 0 3 1 4 2 0 4 2 1 3 0 2 4 1 3 0 4 3 1 2 0 2 4 1 3 0 3 4 1 2 0 4 2 1 3 0 3 4 2 1 1 0 4 3 2 1 4 3 0 2 1 2 3 0 4 1 3 4 0 2 1 0 2 4 3 1 4 2 0 3 1 2 3 4 0 1 3 0 4 2 1 0 2 3 4 1 3 0 4 2 1 0 4 3 2 1 4 3 0 2 2 0 1 3 4 2 3 0 4 1 2 1 4 0 3 2 3 0 4 1 2 3 0 4 1 2 1 0 4 3 2 0 3 1 4 2 0 1 4 3 2 1 0 3 4 2 4 1 0 3 2 4 0 3 1 2 3 4 0 1 3 2 4 0 1 3 2 1 0 4 3 0 4 1 2 3 4 1 2 0 3 4 1 0 2 3 2 0 4 1 3 4 2 1 0 3 2 1 0 4 3 2 0 4 1 3 2 0 1 4 3 0 1 2 4 3 0 1 2 4 4 2 0 3 1 4 2 1 3 0 4 0 3 2 1 4 1 2 3 0 4 3 2 1 0 4 3 1 2 0 4 0 2 3 1 4 1 3 2 0 4 1 3 2 0 4 1 3 2 0 4 1 3 2 0 4 1 3 2 0 0 4 3 1 5 0 1 4 3 5 0 1 2 3 4 0 3 1 2 4 0 2 3 1 5 0 2 3 1 4 0 2 4 1 3 0 4 2 3 1 0 1 2 3 5 0 4 1 2 3 0 1 2 3 4 1 4 2 3 5 1 0 4 3 2 1 5 2 0 3 1 2 3 0 4 1 2 3 0 4 1 4 2 0 3 1 5 3 4 2 1 5 4 0 3 1 0 4 3 2 1 5 0 4 3 1 2 3 0 4 1 0 4 2 3 2 5 3 0 1 2 3 1 4 0 2 3 4 1 0 2 3 0 4 1 2 3 0 4 1 2 0 4 3 1 2 3 4 5 1 2 1 0 5 3 2 0 1 5 3 2 1 3 4 0 3 4 0 5 1 3 4 1 0 2 3 4 0 5 1 3 1 5 0 2 3 1 2 4 0 3 4 5 1 0 3 0 2 4 1 3 2 1 4 0 3 0 5 2 1 3 2 1 4 0 3 4 0 1 2 3 1 4 0 2 4 3 5 1 0 4 1 5 2 3 4 2 1 3 0 4 1 0 3 2 4 0 3 2 1 4 3 1 0 2 4 0 1 2 3 4 1 2 3 0 4 3 1 2 0 4 0 1 2 3 5 2 3 1 4 5 0 3 1 4 5 3 0 1 2 5 3 0 1 4 5 3 0 2 1</values> 100.56/32.18 v </instantiation> 100.56/32.18 c (31,19) Show results End 100.56/32.18 c (31,19) Heap : 368 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 100.56/32.18 c (31,19) 0,0,9,10,11,11,18,31,31,STOP-AFTER(ALL) 100.56/32.18 c END-Prog: Fri Jul 27 04:22:52 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 (10562 MiB free) memory of node 1: 16384 MiB (12401 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297342-1532658140/watcher-4297342-1532658140 -o /tmp/evaluation-result-4297342-1532658140/solver-4297342-1532658140 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532655521-11925 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297342-1532658140.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 Current StackSize limit: 8192 KiB solver pid=12463, runsolver pid=12460 [startup+0.100155 s]* /proc/loadavg: 6.51 8.22 8.64 2/204 12483 /proc/meminfo: memFree=23424584/32770624 swapFree=67108860/67108860 [pid=12463] ppid=12460 vsize=27312552 memory=101128 CPUtime=0.09 cores=0-7 /proc/12463/stat : 12463 (java) S 12460 12463 11898 0 -1 1077944320 5879 0 0 0 7 2 0 0 20 0 20 0 83377221 27968053248 25282 33554432000 4194304 4196468 140732788214928 140732788197472 140022265466615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 /proc/12463/statm: 6828138 25282 2730 1 0 6790598 0 [pid=12463/tid=12465] ppid=12460 vsize=27312552 memory=4134930498285298233 CPUtime=0.07 cores=0-7 /proc/12463/task/12465/stat : 12465 (java) R 12460 12463 11898 0 -1 4202560 3992 0 0 0 5 2 0 0 20 0 20 0 83377222 27968053248 25348 33554432000 4194304 4196468 140732788214928 140022237292944 140022246860714 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12466] ppid=12460 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/12463/task/12466/stat : 12466 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 25348 33554432000 4194304 4196468 140732788214928 140022269708560 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12467] ppid=12460 vsize=27312552 memory=139958483158656 CPUtime=0 cores=0-7 /proc/12463/task/12467/stat : 12467 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 25348 33554432000 4194304 4196468 140732788214928 140022053104016 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12468] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12468/stat : 12468 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 25348 33554432000 4194304 4196468 140732788214928 140022052051472 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12469] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12469/stat : 12469 (java) S 12460 12463 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 25348 33554432000 4194304 4196468 140732788214928 140022050998928 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12470] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12470/stat : 12470 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 25348 33554432000 4194304 4196468 140732788214928 140022049946384 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12471] ppid=12460 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12463/task/12471/stat : 12471 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 25348 33554432000 4194304 4196468 140732788214928 140022048893840 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12472] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12472/stat : 12472 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 25348 33554432000 4194304 4196468 140732788214928 140022047841296 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12473] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12473/stat : 12473 (java) S 12460 12463 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 25348 33554432000 4194304 4196468 140732788214928 140022046788752 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12474] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12474/stat : 12474 (java) S 12460 12463 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83377225 27968053248 25348 33554432000 4194304 4196468 140732788214928 140020383999984 140022265477762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12475] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12475/stat : 12475 (java) S 12460 12463 11898 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83377226 27968053248 25348 33554432000 4194304 4196468 140732788214928 140020161700768 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12476] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12476/stat : 12476 (java) S 12460 12463 11898 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83377226 27968053248 25348 33554432000 4194304 4196468 140732788214928 140020027479024 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12477] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12477/stat : 12477 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377228 27968053248 25348 33554432000 4194304 4196468 140732788214928 140019652974800 140022265485211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12478] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12478/stat : 12478 (java) S 12460 12463 11898 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 25348 33554432000 4194304 4196468 140732788214928 140020382947824 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12479] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12479/stat : 12479 (java) S 12460 12463 11898 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 25348 33554432000 4194304 4196468 140732788214928 140020381895280 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12480] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12480/stat : 12480 (java) S 12460 12463 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 25348 33554432000 4194304 4196468 140732788214928 140020380842736 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12481] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12481/stat : 12481 (java) S 12460 12463 11898 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 25348 33554432000 4194304 4196468 140732788214928 140020379790192 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12482] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12482/stat : 12482 (java) S 12460 12463 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 25348 33554432000 4194304 4196468 140732788214928 140019155069152 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12483] ppid=12460 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12463/task/12483/stat : 12483 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 25348 33554432000 4194304 4196468 140732788214928 140020378737072 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 101128 KiB [startup+0.210364 s]* /proc/loadavg: 6.51 8.22 8.64 3/204 12483 /proc/meminfo: memFree=23405760/32770624 swapFree=67108860/67108860 [pid=12463] ppid=12460 vsize=27312552 memory=120668 CPUtime=0.23 cores=0-7 /proc/12463/stat : 12463 (java) S 12460 12463 11898 0 -1 1077944320 9938 0 0 0 19 4 0 0 20 0 20 0 83377221 27968053248 30167 33554432000 4194304 4196468 140732788214928 140732788197472 140022265466615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 /proc/12463/statm: 6828138 30167 2905 1 0 6790598 0 [pid=12463/tid=12465] ppid=12460 vsize=27312552 memory=4026531975 CPUtime=0.18 cores=0-7 /proc/12463/task/12465/stat : 12465 (java) R 12460 12463 11898 0 -1 4202560 7820 0 0 0 15 3 0 0 20 0 20 0 83377222 27968053248 30167 33554432000 4194304 4196468 140732788214928 140022237251968 140022245741757 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12466] ppid=12460 vsize=27312552 memory=13976 CPUtime=0 cores=0-7 /proc/12463/task/12466/stat : 12466 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 30167 33554432000 4194304 4196468 140732788214928 140022269708560 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12467] ppid=12460 vsize=27312552 memory=139958483644461 CPUtime=0 cores=0-7 /proc/12463/task/12467/stat : 12467 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 30167 33554432000 4194304 4196468 140732788214928 140022053104016 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12468] ppid=12460 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12463/task/12468/stat : 12468 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 30167 33554432000 4194304 4196468 140732788214928 140022052051472 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12469] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12469/stat : 12469 (java) S 12460 12463 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 30167 33554432000 4194304 4196468 140732788214928 140022050998928 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12470] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12470/stat : 12470 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 30167 33554432000 4194304 4196468 140732788214928 140022049946384 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12471] ppid=12460 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12463/task/12471/stat : 12471 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 30167 33554432000 4194304 4196468 140732788214928 140022048893840 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12472] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12472/stat : 12472 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 30167 33554432000 4194304 4196468 140732788214928 140022047841296 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12473] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12473/stat : 12473 (java) S 12460 12463 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 30167 33554432000 4194304 4196468 140732788214928 140022046788752 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12474] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12474/stat : 12474 (java) S 12460 12463 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83377225 27968053248 30167 33554432000 4194304 4196468 140732788214928 140020383999984 140022265477762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12475] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12475/stat : 12475 (java) S 12460 12463 11898 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83377226 27968053248 30167 33554432000 4194304 4196468 140732788214928 140020161700768 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12476] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12476/stat : 12476 (java) S 12460 12463 11898 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83377226 27968053248 30167 33554432000 4194304 4196468 140732788214928 140020027479024 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12477] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12477/stat : 12477 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377228 27968053248 30167 33554432000 4194304 4196468 140732788214928 140019652974800 140022265485211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12478] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12478/stat : 12478 (java) S 12460 12463 11898 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 30167 33554432000 4194304 4196468 140732788214928 140020382947824 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12479] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12479/stat : 12479 (java) S 12460 12463 11898 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 30167 33554432000 4194304 4196468 140732788214928 140020381895280 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12480] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12480/stat : 12480 (java) S 12460 12463 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 30167 33554432000 4194304 4196468 140732788214928 140020380842736 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12481] ppid=12460 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/12463/task/12481/stat : 12481 (java) S 12460 12463 11898 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 20 0 83377230 27968053248 30167 33554432000 4194304 4196468 140732788214928 140020379790192 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12482] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12482/stat : 12482 (java) S 12460 12463 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 30167 33554432000 4194304 4196468 140732788214928 140019155069152 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12483] ppid=12460 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12463/task/12483/stat : 12483 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 30167 33554432000 4194304 4196468 140732788214928 140020378737072 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 Current children cumulated CPU time: 0.23 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 120668 KiB [startup+0.310236 s]* /proc/loadavg: 6.51 8.22 8.64 2/204 12483 /proc/meminfo: memFree=23401728/32770624 swapFree=67108860/67108860 [pid=12463] ppid=12460 vsize=27312552 memory=125352 CPUtime=0.4 cores=0-7 /proc/12463/stat : 12463 (java) S 12460 12463 11898 0 -1 1077944320 10685 0 0 0 36 4 0 0 20 0 20 0 83377221 27968053248 31338 33554432000 4194304 4196468 140732788214928 140732788197472 140022265466615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 /proc/12463/statm: 6828138 31338 3011 1 0 6790598 0 [pid=12463/tid=12465] ppid=12460 vsize=27312552 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/12463/task/12465/stat : 12465 (java) R 12460 12463 11898 0 -1 4202560 8383 0 0 0 25 3 0 0 20 0 20 0 83377222 27968053248 31338 33554432000 4194304 4196468 140732788214928 140022237270768 140022249547102 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12466] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12466/stat : 12466 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 31338 33554432000 4194304 4196468 140732788214928 140022269708560 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12467] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12467/stat : 12467 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 31338 33554432000 4194304 4196468 140732788214928 140022053104016 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12468] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12468/stat : 12468 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 31338 33554432000 4194304 4196468 140732788214928 140022052051472 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12469] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12469/stat : 12469 (java) S 12460 12463 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 31338 33554432000 4194304 4196468 140732788214928 140022050998928 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12470] ppid=12460 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/12463/task/12470/stat : 12470 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 31338 33554432000 4194304 4196468 140732788214928 140022049946384 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12471] ppid=12460 vsize=27312552 memory=139958354539439 CPUtime=0 cores=0-7 /proc/12463/task/12471/stat : 12471 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 31338 33554432000 4194304 4196468 140732788214928 140022048893840 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12472] ppid=12460 vsize=27312552 memory=139958354541744 CPUtime=0 cores=0-7 /proc/12463/task/12472/stat : 12472 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 31338 33554432000 4194304 4196468 140732788214928 140022047841296 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12473] ppid=12460 vsize=27312552 memory=139958354544048 CPUtime=0 cores=0-7 /proc/12463/task/12473/stat : 12473 (java) S 12460 12463 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83377224 27968053248 31338 33554432000 4194304 4196468 140732788214928 140022046788752 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12474] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12474/stat : 12474 (java) S 12460 12463 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83377225 27968053248 31338 33554432000 4194304 4196468 140732788214928 140020383999984 140022265477762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12475] ppid=12460 vsize=27312552 memory=279916709095056 CPUtime=0 cores=0-7 /proc/12463/task/12475/stat : 12475 (java) S 12460 12463 11898 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83377226 27968053248 31338 33554432000 4194304 4196468 140732788214928 140020161700768 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12476] ppid=12460 vsize=27312552 memory=279916709101968 CPUtime=0 cores=0-7 /proc/12463/task/12476/stat : 12476 (java) S 12460 12463 11898 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83377226 27968053248 31338 33554432000 4194304 4196468 140732788214928 140020027479024 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12477] ppid=12460 vsize=27312552 memory=279916709043248 CPUtime=0 cores=0-7 /proc/12463/task/12477/stat : 12477 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377228 27968053248 31338 33554432000 4194304 4196468 140732788214928 140019652974800 140022265485211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12478] ppid=12460 vsize=27312552 memory=279916709115792 CPUtime=0.01 cores=0-7 /proc/12463/task/12478/stat : 12478 (java) S 12460 12463 11898 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 83377230 27968053248 31338 33554432000 4194304 4196468 140732788214928 140020382947824 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12479] ppid=12460 vsize=27312552 memory=279916709122704 CPUtime=0.01 cores=0-7 /proc/12463/task/12479/stat : 12479 (java) S 12460 12463 11898 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 20 0 83377230 27968053248 31338 33554432000 4194304 4196468 140732788214928 140020381895280 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12480] ppid=12460 vsize=27312552 memory=279916709120400 CPUtime=0 cores=0-7 /proc/12463/task/12480/stat : 12480 (java) S 12460 12463 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 31338 33554432000 4194304 4196468 140732788214928 140020380842736 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12481] ppid=12460 vsize=27312552 memory=279916709137008 CPUtime=0.07 cores=0-7 /proc/12463/task/12481/stat : 12481 (java) S 12460 12463 11898 0 -1 1077944384 323 0 0 0 7 0 0 0 20 0 20 0 83377230 27968053248 31338 33554432000 4194304 4196468 140732788214928 140020379790192 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12482] ppid=12460 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12482/stat : 12482 (java) S 12460 12463 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 31338 33554432000 4194304 4196468 140732788214928 140019155069152 140022265476821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12483] ppid=12460 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12463/task/12483/stat : 12483 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377230 27968053248 31338 33554432000 4194304 4196468 140732788214928 140020378737072 140022265477762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 125352 KiB [startup+0.700908 s] /proc/loadavg: 6.51 8.22 8.64 2/204 12483 /proc/meminfo: memFree=23377252/32770624 swapFree=67108860/67108860 [pid=12463] ppid=12460 vsize=27318824 memory=162624 CPUtime=0.99 cores=0-7 /proc/12463/stat : 12463 (java) S 12460 12463 11898 0 -1 1077944320 17776 0 0 0 92 7 0 0 20 0 20 0 83377221 27974475776 40656 33554432000 4194304 4196468 140732788214928 140732788197472 140022265466615 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 /proc/12463/statm: 6829706 40656 3135 1 0 6791110 0 [pid=12463/tid=12465] ppid=12460 vsize=27318824 memory=0 CPUtime=0.65 cores=0-7 /proc/12463/task/12465/stat : 12465 (java) R 12460 12463 11898 0 -1 4202560 14894 0 0 0 60 5 0 0 20 0 20 0 83377222 27974475776 40656 33554432000 4194304 4196468 140732788214928 140022237304016 140022265478550 0 4 0 25189583 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12466] ppid=12460 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12466/stat : 12466 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27974475776 40656 33554432000 4194304 4196468 140732788214928 140022269708560 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12467] ppid=12460 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12467/stat : 12467 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27974475776 40656 33554432000 4194304 4196468 140732788214928 140022053104016 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12468] ppid=12460 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/12463/task/12468/stat : 12468 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27974475776 40656 33554432000 4194304 4196468 140732788214928 140022052051472 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12469] ppid=12460 vsize=27318824 memory=1228 CPUtime=0 cores=0-7 /proc/12463/task/12469/stat : 12469 (java) S 12460 12463 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83377224 27974475776 40656 33554432000 4194304 4196468 140732788214928 140022050998928 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12470] ppid=12460 vsize=27318824 memory=1704 CPUtime=0 cores=0-7 /proc/12463/task/12470/stat : 12470 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27974475776 40656 33554432000 4194304 4196468 140732788214928 140022049946384 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12471] ppid=12460 vsize=27318824 memory=1952 CPUtime=0 cores=0-7 /proc/12463/task/12471/stat : 12471 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27974475776 40656 33554432000 4194304 4196468 140732788214928 140022048893840 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12472] ppid=12460 vsize=27318824 memory=10576 CPUtime=0 cores=0-7 /proc/12463/task/12472/stat : 12472 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83377224 27974475776 40656 33554432000 4194304 4196468 140732788214928 140022047841296 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12473] ppid=12460 vsize=27318824 memory=15872 CPUtime=0 cores=0-7 /proc/12463/task/12473/stat : 12473 (java) S 12460 12463 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83377224 27974475776 40656 33554432000 4194304 4196468 140732788214928 140022046788752 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12474] ppid=12460 vsize=27318824 memory=18280 CPUtime=0 cores=0-7 /proc/12463/task/12474/stat : 12474 (java) S 12460 12463 11898 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 83377225 27974475776 40656 33554432000 4194304 4196468 140732788214928 140020383999984 140022265477762 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 ################ # More data... # ################ [pid=12484/tid=12493] ppid=12463 vsize=2139304 memory=0 CPUtime=6.34 cores=0-7 /proc/12484/task/12493/stat : 12493 (glucose-syrup) R 12463 12463 11898 0 -1 4202560 49800 0 0 0 623 11 0 0 20 0 9 0 83379698 2190647296 421629 33554432000 4194304 4373367 140728135333168 139916287204584 4249146 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 27799552 140728135340975 140728135341228 140728135341228 140728135344071 0 [pid=12484/tid=12494] ppid=12463 vsize=2139304 memory=137 CPUtime=6.33 cores=0-7 /proc/12484/task/12494/stat : 12494 (glucose-syrup) R 12463 12463 11898 0 -1 4202560 50046 0 0 0 605 28 0 0 20 0 9 0 83379698 2190647296 421629 33554432000 4194304 4373367 140728135333168 139916278812016 4271828 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 27799552 140728135340975 140728135341228 140728135341228 140728135344071 0 [pid=12484/tid=12495] ppid=12463 vsize=2139304 memory=279916709682352 CPUtime=6.21 cores=0-7 /proc/12484/task/12495/stat : 12495 (glucose-syrup) R 12463 12463 11898 0 -1 4202560 50824 0 0 0 610 11 0 0 20 0 9 0 83379698 2190647296 421629 33554432000 4194304 4373367 140728135333168 139916270419088 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 27799552 140728135340975 140728135341228 140728135341228 140728135344071 0 [pid=12484/tid=12496] ppid=12463 vsize=2139304 memory=0 CPUtime=6.32 cores=0-7 /proc/12484/task/12496/stat : 12496 (glucose-syrup) R 12463 12463 11898 0 -1 4202560 49069 0 0 0 623 9 0 0 20 0 9 0 83379698 2190647296 421629 33554432000 4194304 4373367 140728135333168 139916262026512 4271834 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 27799552 140728135340975 140728135341228 140728135341228 140728135344071 0 [pid=12484/tid=12497] ppid=12463 vsize=2139304 memory=6101892 CPUtime=6.34 cores=0-7 /proc/12484/task/12497/stat : 12497 (glucose-syrup) R 12463 12463 11898 0 -1 4202560 48759 0 0 0 607 27 0 0 20 0 9 0 83379698 2190647296 421629 33554432000 4194304 4373367 140728135333168 139916253633400 4291427 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 27799552 140728135340975 140728135341228 140728135341228 140728135344071 0 [pid=12463/tid=12465] ppid=12460 vsize=27984808 memory=4096 CPUtime=19.72 cores=0-7 /proc/12463/task/12465/stat : 12465 (java) S 12460 12463 11898 0 -1 1077944384 21011 0 0 0 1874 98 0 0 20 0 24 0 83377222 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140022237305856 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12466] ppid=12460 vsize=27984808 memory=24656 CPUtime=0.18 cores=0-7 /proc/12463/task/12466/stat : 12466 (java) S 12460 12463 11898 0 -1 1077944384 175 0 0 0 9 9 0 0 20 0 24 0 83377224 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140022269708560 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12467] ppid=12460 vsize=27984808 memory=2396 CPUtime=0.18 cores=0-7 /proc/12463/task/12467/stat : 12467 (java) S 12460 12463 11898 0 -1 1077944384 85 0 0 0 12 6 0 0 20 0 24 0 83377224 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140022053104016 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12468] ppid=12460 vsize=27984808 memory=1292 CPUtime=0.18 cores=0-7 /proc/12463/task/12468/stat : 12468 (java) S 12460 12463 11898 0 -1 1077944384 91 0 0 0 13 5 0 0 20 0 24 0 83377224 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140022052051472 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12469] ppid=12460 vsize=27984808 memory=1844 CPUtime=0.18 cores=0-7 /proc/12463/task/12469/stat : 12469 (java) S 12460 12463 11898 0 -1 1077944384 91 0 0 0 12 6 0 0 20 0 24 0 83377224 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140022050998928 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12470] ppid=12460 vsize=27984808 memory=1008 CPUtime=0.18 cores=0-7 /proc/12463/task/12470/stat : 12470 (java) S 12460 12463 11898 0 -1 1077944384 88 0 0 0 13 5 0 0 20 0 24 0 83377224 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140022049946384 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12471] ppid=12460 vsize=27984808 memory=5404 CPUtime=0.18 cores=0-7 /proc/12463/task/12471/stat : 12471 (java) S 12460 12463 11898 0 -1 1077944384 90 0 0 0 12 6 0 0 20 0 24 0 83377224 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140022048893840 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12472] ppid=12460 vsize=27984808 memory=796 CPUtime=0.18 cores=0-7 /proc/12463/task/12472/stat : 12472 (java) S 12460 12463 11898 0 -1 1077944384 141 0 0 0 12 6 0 0 20 0 24 0 83377224 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140022047841296 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12473] ppid=12460 vsize=27984808 memory=4616 CPUtime=0.18 cores=0-7 /proc/12463/task/12473/stat : 12473 (java) S 12460 12463 11898 0 -1 1077944384 89 0 0 0 12 6 0 0 20 0 24 0 83377224 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140022046788752 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12474] ppid=12460 vsize=27984808 memory=1424 CPUtime=0.01 cores=0-7 /proc/12463/task/12474/stat : 12474 (java) S 12460 12463 11898 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 24 0 83377225 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140020383999984 140022265477762 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12475] ppid=12460 vsize=27984808 memory=11116 CPUtime=0 cores=0-7 /proc/12463/task/12475/stat : 12475 (java) S 12460 12463 11898 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 83377226 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140020161700768 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12476] ppid=12460 vsize=27984808 memory=1200 CPUtime=0 cores=0-7 /proc/12463/task/12476/stat : 12476 (java) S 12460 12463 11898 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 24 0 83377226 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140020027479024 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12477] ppid=12460 vsize=27984808 memory=297237773746962458 CPUtime=0 cores=0-7 /proc/12463/task/12477/stat : 12477 (java) S 12460 12463 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83377228 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140019652974800 140022265485211 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12478] ppid=12460 vsize=27984808 memory=288230596050944315 CPUtime=4.94 cores=0-7 /proc/12463/task/12478/stat : 12478 (java) S 12460 12463 11898 0 -1 1077944384 3730 0 0 0 493 1 0 0 20 0 24 0 83377230 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140020382947824 140022265477762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12479] ppid=12460 vsize=27984808 memory=14689686639610196 CPUtime=4.83 cores=0-7 /proc/12463/task/12479/stat : 12479 (java) S 12460 12463 11898 0 -1 1077944384 6011 0 0 0 481 2 0 0 20 0 24 0 83377230 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140020381895280 140022265477762 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12480] ppid=12460 vsize=27984808 memory=3047711553219693942 CPUtime=5.44 cores=0-7 /proc/12463/task/12480/stat : 12480 (java) S 12460 12463 11898 0 -1 1077944384 5265 0 0 0 543 1 0 0 20 0 24 0 83377230 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140020380842736 140022265477762 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12481] ppid=12460 vsize=27984808 memory=-7521736447810188379 CPUtime=1.85 cores=0-7 /proc/12463/task/12481/stat : 12481 (java) S 12460 12463 11898 0 -1 1077944384 7353 0 0 0 183 2 0 0 20 0 24 0 83377230 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140020379790192 140022265477762 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12482] ppid=12460 vsize=27984808 memory=-8412652160765825907 CPUtime=0 cores=0-7 /proc/12463/task/12482/stat : 12482 (java) S 12460 12463 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83377230 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140019155069152 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12483] ppid=12460 vsize=27984808 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/12463/task/12483/stat : 12483 (java) S 12460 12463 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83377230 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140020378737072 140022265477762 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12485] ppid=12460 vsize=27984808 memory=7100839878645619564 CPUtime=0 cores=0-7 /proc/12463/task/12485/stat : 12485 (java) S 12460 12463 11898 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83379215 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140022041339072 140022265491225 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12487] ppid=12460 vsize=27984808 memory=303711698211307546 CPUtime=0 cores=0-7 /proc/12463/task/12487/stat : 12487 (java) S 12460 12463 11898 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 83379216 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140018483969712 140022265488541 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12488] ppid=12460 vsize=27984808 memory=291045345818050875 CPUtime=0 cores=0-7 /proc/12463/task/12488/stat : 12488 (java) S 12460 12463 11898 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 83379216 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140018752405296 140022265488541 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12489] ppid=12460 vsize=27984808 memory=14689686639610196 CPUtime=0 cores=0-7 /proc/12463/task/12489/stat : 12489 (java) S 12460 12463 11898 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 83379218 28656443392 1525473 33554432000 4194304 4196468 140732788214928 140018215542432 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 Current children cumulated CPU time: 93.8 s Current children cumulated vsize: 30124112 KiB Current children cumulated memory: 7788408 KiB [startup+32.0082 s]* /proc/loadavg: 4.92 7.66 8.44 10/206 12497 /proc/meminfo: memFree=17334084/32770624 swapFree=67108860/67108860 [pid=12463] ppid=12460 vsize=27853732 memory=6136720 CPUtime=99.81 cores=0-7 /proc/12463/stat : 12463 (java) S 12460 12463 11898 0 -1 1077944320 45842 768290 0 0 3714 168 5892 207 20 0 22 0 83377221 28522221568 1534180 33554432000 4194304 4196468 140732788214928 140732788197472 140022265466615 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 /proc/12463/statm: 6963433 1534180 3247 1 0 6924289 0 [pid=12463/tid=12465] ppid=12460 vsize=27853732 memory=7807359760937082986 CPUtime=80.71 cores=0-7 /proc/12463/task/12465/stat : 12465 (java) S 12460 12463 11898 0 -1 1077944384 21011 768290 0 0 1874 98 5892 207 20 0 22 0 83377222 28522221568 1534180 33554432000 4194304 4196468 140732788214928 140022237305856 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12466] ppid=12460 vsize=27853732 memory=4640772929874186852 CPUtime=61.2 cores=0-7 /proc/12463/task/12466/stat : 12466 (java) R 12460 12463 11898 0 -1 4202560 193 768290 0 0 10 11 5892 207 20 0 22 0 83377224 28522221568 1534180 33554432000 4194304 4196468 140732788214928 140022269705616 140022258572307 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12467] ppid=12460 vsize=27853732 memory=4872558044660077418 CPUtime=61.18 cores=0-7 /proc/12463/task/12467/stat : 12467 (java) R 12460 12463 11898 0 -1 4202560 123 768290 0 0 13 6 5892 207 20 0 22 0 83377224 28522221568 1534180 33554432000 4194304 4196468 140732788214928 140022053100400 140022250494498 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12468] ppid=12460 vsize=27853732 memory=2396 CPUtime=61.19 cores=0-7 /proc/12463/task/12468/stat : 12468 (java) R 12460 12463 11898 0 -1 4202560 120 768290 0 0 13 7 5892 207 20 0 22 0 83377224 28522221568 1534180 33554432000 4194304 4196468 140732788214928 140022052051472 140022258572307 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12469] ppid=12460 vsize=27853732 memory=1292 CPUtime=61.2 cores=0-7 /proc/12463/task/12469/stat : 12469 (java) R 12460 12463 11898 0 -1 4202560 111 768290 0 0 14 7 5892 207 20 0 22 0 83377224 28522221568 1534180 33554432000 4194304 4196468 140732788214928 140022050998928 140022250494453 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12470] ppid=12460 vsize=27853732 memory=1844 CPUtime=61.18 cores=0-7 /proc/12463/task/12470/stat : 12470 (java) R 12460 12463 11898 0 -1 4202560 95 768290 0 0 13 6 5892 207 20 0 22 0 83377224 28522221568 1534180 33554432000 4194304 4196468 140732788214928 140022049946384 140022258572307 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12471] ppid=12460 vsize=27853732 memory=1008 CPUtime=61.19 cores=0-7 /proc/12463/task/12471/stat : 12471 (java) R 12460 12463 11898 0 -1 4202560 112 768290 0 0 13 7 5892 207 20 0 22 0 83377224 28522221568 1534180 33554432000 4194304 4196468 140732788214928 140022048893840 140022250494507 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12472] ppid=12460 vsize=27853732 memory=5404 CPUtime=61.19 cores=0-7 /proc/12463/task/12472/stat : 12472 (java) R 12460 12463 11898 0 -1 4202560 148 768290 0 0 13 7 5892 207 20 0 22 0 83377224 28522221568 1534180 33554432000 4194304 4196468 140732788214928 140022047841496 140022258572307 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12473] ppid=12460 vsize=27853732 memory=796 CPUtime=61.19 cores=0-7 /proc/12463/task/12473/stat : 12473 (java) R 12460 12463 11898 0 -1 4202560 108 768290 0 0 13 7 5892 207 20 0 22 0 83377224 28522221568 1534180 33554432000 4194304 4196468 140732788214928 140022046788952 140022250494507 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12474] ppid=12460 vsize=27853732 memory=4616 CPUtime=61 cores=0-7 /proc/12463/task/12474/stat : 12474 (java) S 12460 12463 11898 0 -1 1077944384 23 768290 0 0 1 0 5892 207 20 0 22 0 83377225 28522221568 1534180 33554432000 4194304 4196468 140732788214928 140020383998496 140022265476821 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12475] ppid=12460 vsize=27853732 memory=1424 CPUtime=60.99 cores=0-7 /proc/12463/task/12475/stat : 12475 (java) S 12460 12463 11898 0 -1 1077944384 14 768290 0 0 0 0 5892 207 20 0 22 0 83377226 28522221568 1534180 33554432000 4194304 4196468 140732788214928 140020161700768 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12476] ppid=12460 vsize=27853732 memory=11116 CPUtime=60.99 cores=0-7 /proc/12463/task/12476/stat : 12476 (java) S 12460 12463 11898 0 -1 1077944384 22 768290 0 0 0 0 5892 207 20 0 22 0 83377226 28522221568 1534692 33554432000 4194304 4196468 140732788214928 140020027479024 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12477] ppid=12460 vsize=27853732 memory=1200 CPUtime=60.99 cores=0-7 /proc/12463/task/12477/stat : 12477 (java) S 12460 12463 11898 0 -1 1077944384 1 768290 0 0 0 0 5892 207 20 0 22 0 83377228 28522221568 1534692 33554432000 4194304 4196468 140732788214928 140019652974800 140022265485211 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12478] ppid=12460 vsize=27853732 memory=1228 CPUtime=65.98 cores=0-7 /proc/12463/task/12478/stat : 12478 (java) S 12460 12463 11898 0 -1 1077944384 3731 768290 0 0 498 1 5892 207 20 0 22 0 83377230 28522221568 1534692 33554432000 4194304 4196468 140732788214928 140020382947824 140022265477762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12479] ppid=12460 vsize=27853732 memory=1704 CPUtime=65.93 cores=0-7 /proc/12463/task/12479/stat : 12479 (java) R 12460 12463 11898 0 -1 4202560 6017 768290 0 0 492 2 5892 207 20 0 22 0 83377230 28522221568 1534692 33554432000 4194304 4196468 140732788214928 140020381882304 140022248952585 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12480] ppid=12460 vsize=27853732 memory=1952 CPUtime=66.47 cores=0-7 /proc/12463/task/12480/stat : 12480 (java) S 12460 12463 11898 0 -1 1077944384 5265 768290 0 0 547 1 5892 207 20 0 22 0 83377230 28522221568 1534692 33554432000 4194304 4196468 140732788214928 140020380842736 140022265477762 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12481] ppid=12460 vsize=27853732 memory=1685800 CPUtime=62.86 cores=0-7 /proc/12463/task/12481/stat : 12481 (java) S 12460 12463 11898 0 -1 1077944384 7357 768290 0 0 185 2 5892 207 20 0 22 0 83377230 28522221568 1534692 33554432000 4194304 4196468 140732788214928 140020379790192 140022265477762 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12482] ppid=12460 vsize=27853732 memory=4096 CPUtime=60.99 cores=0-7 /proc/12463/task/12482/stat : 12482 (java) S 12460 12463 11898 0 -1 1077944384 3 768290 0 0 0 0 5892 207 20 0 22 0 83377230 28522221568 1534692 33554432000 4194304 4196468 140732788214928 140019155069152 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12483] ppid=12460 vsize=27853732 memory=24656 CPUtime=61 cores=0-7 /proc/12463/task/12483/stat : 12483 (java) S 12460 12463 11898 0 -1 1077944384 3 768290 0 0 0 1 5892 207 20 0 22 0 83377230 28522221568 1534692 33554432000 4194304 4196468 140732788214928 140020378737072 140022265477762 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12485] ppid=12460 vsize=27853732 memory=2396 CPUtime=60.99 cores=0-7 /proc/12463/task/12485/stat : 12485 (java) S 12460 12463 11898 0 -1 1077944384 24 768290 0 0 0 0 5892 207 20 0 22 0 83379215 28522221568 1534692 33554432000 4194304 4196468 140732788214928 140022041332864 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12489] ppid=12460 vsize=27853732 memory=6101892 CPUtime=60.99 cores=0-7 /proc/12463/task/12489/stat : 12489 (java) S 12460 12463 11898 0 -1 1077944384 10 768290 0 0 0 0 5892 207 20 0 22 0 83379218 28522221568 1534692 33554432000 4194304 4196468 140732788214928 140018215537952 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 Current children cumulated CPU time: 99.81 s Current children cumulated vsize: 27853732 KiB Current children cumulated memory: 6136720 KiB [startup+32.201 s] /proc/loadavg: 4.92 7.66 8.44 10/206 12497 /proc/meminfo: memFree=17334084/32770624 swapFree=67108860/67108860 [pid=12463] ppid=12460 vsize=27721628 memory=6277128 CPUtime=100.95 cores=0-7 /proc/12463/stat : 12463 (java) S 12460 12463 11898 0 -1 1077944320 46621 768290 0 0 3789 207 5892 207 20 0 20 0 83377221 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140732788197472 140022265466615 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 /proc/12463/statm: 6930407 1569282 3248 1 0 6891263 0 [pid=12463/tid=12465] ppid=12460 vsize=27721628 memory=1686524 CPUtime=80.78 cores=0-7 /proc/12463/task/12465/stat : 12465 (java) S 12460 12463 11898 0 -1 1077944384 21068 768290 0 0 1880 99 5892 207 20 0 20 0 83377222 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140022237310096 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12466] ppid=12460 vsize=27721628 memory=1693188 CPUtime=61.29 cores=0-7 /proc/12463/task/12466/stat : 12466 (java) S 12460 12463 11898 0 -1 1077944384 261 768290 0 0 15 15 5892 207 20 0 20 0 83377224 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140022269708560 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12467] ppid=12460 vsize=27721628 memory=6791534058613427641 CPUtime=61.29 cores=0-7 /proc/12463/task/12467/stat : 12467 (java) S 12460 12463 11898 0 -1 1077944384 191 768290 0 0 19 11 5892 207 20 0 20 0 83377224 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140022053104016 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12468] ppid=12460 vsize=27721628 memory=6101892 CPUtime=61.3 cores=0-7 /proc/12463/task/12468/stat : 12468 (java) S 12460 12463 11898 0 -1 1077944384 187 768290 0 0 19 12 5892 207 20 0 20 0 83377224 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140022052051472 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12469] ppid=12460 vsize=27721628 memory=268680 CPUtime=61.3 cores=0-7 /proc/12463/task/12469/stat : 12469 (java) S 12460 12463 11898 0 -1 1077944384 178 768290 0 0 19 12 5892 207 20 0 20 0 83377224 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140022050998928 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12470] ppid=12460 vsize=27721628 memory=1292 CPUtime=61.27 cores=0-7 /proc/12463/task/12470/stat : 12470 (java) S 12460 12463 11898 0 -1 1077944384 160 768290 0 0 18 10 5892 207 20 0 20 0 83377224 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140022049946384 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12471] ppid=12460 vsize=27721628 memory=1844 CPUtime=61.29 cores=0-7 /proc/12463/task/12471/stat : 12471 (java) S 12460 12463 11898 0 -1 1077944384 180 768290 0 0 19 11 5892 207 20 0 20 0 83377224 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140022048893840 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12472] ppid=12460 vsize=27721628 memory=1008 CPUtime=61.28 cores=0-7 /proc/12463/task/12472/stat : 12472 (java) S 12460 12463 11898 0 -1 1077944384 212 768290 0 0 18 11 5892 207 20 0 20 0 83377224 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140022047841296 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12473] ppid=12460 vsize=27721628 memory=5404 CPUtime=61.29 cores=0-7 /proc/12463/task/12473/stat : 12473 (java) S 12460 12463 11898 0 -1 1077944384 176 768290 0 0 19 11 5892 207 20 0 20 0 83377224 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140022046788752 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12474] ppid=12460 vsize=27721628 memory=796 CPUtime=61 cores=0-7 /proc/12463/task/12474/stat : 12474 (java) S 12460 12463 11898 0 -1 1077944384 23 768290 0 0 1 0 5892 207 20 0 20 0 83377225 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140020384000192 140022265477762 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12475] ppid=12460 vsize=27721628 memory=4616 CPUtime=60.99 cores=0-7 /proc/12463/task/12475/stat : 12475 (java) S 12460 12463 11898 0 -1 1077944384 14 768290 0 0 0 0 5892 207 20 0 20 0 83377226 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140020161700832 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12476] ppid=12460 vsize=27721628 memory=288230574492221466 CPUtime=60.99 cores=0-7 /proc/12463/task/12476/stat : 12476 (java) S 12460 12463 11898 0 -1 1077944384 23 768290 0 0 0 0 5892 207 20 0 20 0 83377226 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140020027479040 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12478] ppid=12460 vsize=27721628 memory=14689686639610196 CPUtime=66.04 cores=0-7 /proc/12463/task/12478/stat : 12478 (java) S 12460 12463 11898 0 -1 1077944384 3732 768290 0 0 503 2 5892 207 20 0 20 0 83377230 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140020382928304 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12479] ppid=12460 vsize=27721628 memory=3976732554052239392 CPUtime=66.01 cores=0-7 /proc/12463/task/12479/stat : 12479 (java) S 12460 12463 11898 0 -1 1077944384 6019 768290 0 0 500 2 5892 207 20 0 20 0 83377230 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140020381879792 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12480] ppid=12460 vsize=27721628 memory=0 CPUtime=66.53 cores=0-7 /proc/12463/task/12480/stat : 12480 (java) S 12460 12463 11898 0 -1 1077944384 5271 768290 0 0 553 1 5892 207 20 0 20 0 83377230 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140020380821776 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12481] ppid=12460 vsize=27721628 memory=0 CPUtime=62.9 cores=0-7 /proc/12463/task/12481/stat : 12481 (java) S 12460 12463 11898 0 -1 1077944384 7501 768290 0 0 189 2 5892 207 20 0 20 0 83377230 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140020379790192 140022265477762 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12482] ppid=12460 vsize=27721628 memory=0 CPUtime=60.99 cores=0-7 /proc/12463/task/12482/stat : 12482 (java) S 12460 12463 11898 0 -1 1077944384 3 768290 0 0 0 0 5892 207 20 0 20 0 83377230 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140019155069152 140022265476821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12485] ppid=12460 vsize=27721628 memory=0 CPUtime=60.99 cores=0-7 /proc/12463/task/12485/stat : 12485 (java) S 12460 12463 11898 0 -1 1077944384 25 768290 0 0 0 0 5892 207 20 0 20 0 83379215 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140022041338256 140022265477762 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 [pid=12463/tid=12489] ppid=12460 vsize=27721628 memory=0 CPUtime=60.99 cores=0-7 /proc/12463/task/12489/stat : 12489 (java) S 12460 12463 11898 0 -1 1077944384 18 768290 0 0 0 0 5892 207 20 0 20 0 83379218 28386947072 1569282 33554432000 4194304 4196468 140732788214928 140018215544240 140022265477762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31166464 140732788220890 140732788221189 140732788221189 140732788223951 0 Current children cumulated CPU time: 100.95 s Current children cumulated vsize: 27721628 KiB Current children cumulated memory: 6277128 KiB Child status: 0 Real time (s): 32.2385 CPU time (s): 101.005 CPU user time (s): 96.8178 CPU system time (s): 4.1875 CPU usage (%): 313.306 Max. virtual memory (cumulated for all children) (KiB): 30204252 Max. memory (cumulated for all children) (KiB): 7829684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 96.8178 system time used= 4.1875 maximum resident set size= 6277460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 814915 page faults= 0 swaps= 0 block input operations= 8 block output operations= 97368 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 68991 involuntary context switches= 632 # summary of solver processes directly reported to runsolver: # pid: 12463 # total CPU time (s): 101.005 # total CPU user time (s): 96.8178 # total CPU system time (s): 4.1875 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.277258 second user time and 0.407965 second system time The end
Begin job on node134 at 2018-07-27 04:22:20 IDJOB=4297342 IDBENCH=141395 IDSOLVER=2759 FILE ID=node134/4297342-1532658140 RUNJOBID= node134-1532655521-11925 PBS_JOBID= 21022224 Free space on /tmp= 55560 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-12_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297342-1532658140/watcher-4297342-1532658140 -o /tmp/evaluation-result-4297342-1532658140/solver-4297342-1532658140 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532655521-11925 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297342-1532658140.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 193461ec87a084283094d7342f0c20d4 RANDOM SEED=936413447 node134.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.68 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.68 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.68 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.68 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: 23515484 kB MemAvailable: 31956296 kB Buffers: 178032 kB Cached: 8523692 kB SwapCached: 0 kB Active: 2220848 kB Inactive: 6536072 kB Active(anon): 3856 kB Inactive(anon): 78916 kB Active(file): 2216992 kB Inactive(file): 6457156 kB Unevictable: 7396 kB Mlocked: 7396 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8580 kB Writeback: 0 kB AnonPages: 128920 kB Mapped: 41400 kB Shmem: 25248 kB Slab: 192884 kB SReclaimable: 164996 kB SUnreclaim: 27888 kB KernelStack: 3616 kB PageTables: 4968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324516 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55552 MiB End job on node134 at 2018-07-27 04:22:53