Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-07) | SAT | 122.415 | 35.1941 |
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.66/0.53 0.66/0.53 scop order+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.56 c BEGIN-Prog: Fri Jul 27 04:21:44 CEST 2018 0.66/0.56 c PID: 12357 0.66/0.56 c IP: 172.20.3.134 0.66/0.56 c HOST: node134.alineos.net 0.66/0.57 c (0,0) Parsing Begin 3.34/1.39 c (0,0) Parsing End 3.71/1.40 c (0,0) CSP: 1200 int (0 aux), 0 bool (0 aux), 741 ctr, max domain size 60 3.71/1.40 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.71/1.40 c (0,0) Constraint Name Generate Begin 3.71/1.41 c (0,0) Ctr:HOME/instance-4297106-1532658104.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr 3.71/1.41 c (0,0) Constraint Name Generate End 3.71/1.41 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.71/1.41 c (0,0) CSP to CSPinCNF Begin 6.73/2.31 c (1,1) translated 75 (10%) constraints 12.32/5.24 c (4,4) translated 149 (20%) constraints 13.21/5.47 c (4,4) translated 223 (30%) constraints 14.06/5.62 c (5,5) translated 297 (40%) constraints 14.47/5.76 c (5,5) translated 371 (50%) constraints 14.87/5.89 c (5,5) translated 445 (60%) constraints 15.45/6.02 c (5,5) translated 519 (70%) constraints 15.59/6.15 c (5,5) translated 593 (80%) constraints 15.78/6.28 c (5,5) translated 667 (90%) constraints 16.40/6.40 c (5,5) translated 741 (100%) constraints 18.41/6.94 c (6,6) STATISTICS1:HOME/instance-4297106-1532658104.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.41/6.94 c (6,6) =========================================== 18.41/6.94 c (6,6) Order 18.41/6.94 c (6,6) =========================================== 19.18/7.24 c (6,6) translated 6873 (10%) constraints 19.81/7.44 c (6,6) translated 13745 (20%) constraints 20.41/7.72 c (7,7) translated 20618 (30%) constraints 21.15/8.24 c (7,7) translated 27490 (40%) constraints 21.67/8.76 c (8,8) translated 34362 (50%) constraints 22.20/9.28 c (8,8) translated 41235 (60%) constraints 22.70/9.77 c (9,9) translated 48107 (70%) constraints 23.20/10.27 c (9,9) translated 54980 (80%) constraints 23.71/10.49 c (9,9) translated 61852 (90%) constraints 24.26/10.61 c (10,10) translated 68724 (100%) constraints 24.26/10.61 c (10,10) CSP to CSPinCNF End 24.26/10.63 c (10,10) CSP: 1200 int (0 aux), 39709 bool (39709 aux), 140724 ctr, max domain size 60 24.26/10.63 c (10,10) Heap : 3942 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 24.26/10.63 c (10,10) CSPinCNF Propagation Begin 25.91/11.54 c (11,10) 188 values, 2276 unsatisfiable literals, and 1614 valid clauses are removed 25.91/11.54 c (11,10) CSPinCNF Propagation End 25.91/11.55 c (11,10) CSP: 1338 int (138 aux), 39571 bool (39571 aux), 139110 ctr, max domain size 60 25.91/11.55 c (11,10) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 25.91/11.55 c (11,10) Simplify CSPinCNF Begin 27.25/12.56 c (12,12) Simplify CSPinCNF End 27.25/12.59 c (12,12) CSP: 1338 int (138 aux), 77906 bool (77906 aux), 177445 ctr, max domain size 60 27.25/12.59 c (12,12) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 27.25/12.59 c (12,12) Calculate Precise Domain Begin 27.25/12.60 c (12,12) 0 values are removed by re-calculation 27.25/12.60 c (12,12) Calculate Precise Domain End 27.62/12.62 c (12,12) CSP: 1338 int (138 aux), 77906 bool (77906 aux), 177445 ctr, max domain size 60 27.62/12.62 c (12,12) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 27.62/12.62 c (12,12) CSPinCNF to SatSolver Begin 32.00/15.05 c (14,14) 17745 (10 %) CSP clauses are encoded (115868 SAT variables, 745573 SAT clauses) 33.91/16.91 c (16,16) 35489 (20 %) CSP clauses are encoded (115868 SAT variables, 1455110 SAT clauses) 35.71/18.77 c (18,18) 53234 (30 %) CSP clauses are encoded (115868 SAT variables, 2162909 SAT clauses) 35.82/18.89 c (18,18) 70978 (40 %) CSP clauses are encoded (115868 SAT variables, 2191169 SAT clauses) 35.92/18.98 c (18,18) 88723 (50 %) CSP clauses are encoded (115868 SAT variables, 2208914 SAT clauses) 36.03/19.06 c (18,18) 106467 (60 %) CSP clauses are encoded (115868 SAT variables, 2226658 SAT clauses) 36.13/19.15 c (18,18) 124212 (70 %) CSP clauses are encoded (115868 SAT variables, 2244403 SAT clauses) 36.22/19.23 c (18,18) 141956 (80 %) CSP clauses are encoded (115868 SAT variables, 2262147 SAT clauses) 36.32/19.32 c (18,18) 159701 (90 %) CSP clauses are encoded (115868 SAT variables, 2279892 SAT clauses) 36.53/19.57 c (19,18) 177445 (100 %) CSP clauses are encoded (115868 SAT variables, 2357336 SAT clauses) 36.53/19.57 c (19,18) CSPinCNF to SatSolver End 36.53/19.57 c (19,18) Heap : 5035 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 37.57/20.08 c (19,19) STATISTICS2:HOME/instance-4297106-1532658104.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, 37.57/20.08 c (19,19) SatSolver.solve Begin 37.57/20.08 c (19,19) 115868 bool, 2357337 clause 37.57/20.08 c (19,19) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297106-1532658104.xml-scop-12357.cnf HOME/instance-4297106-1532658104.xml-scop-12357.cnf.out 110.86/33.63 c (33,0) c 110.86/33.63 c (33,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 110.86/33.63 c (33,0) c 110.86/33.63 c (33,0) c WARNING: for repeatability, setting FPU to use double precision 110.86/33.63 c (33,0) c 8 solvers engines and 1 companion as a blackboard created. 110.86/33.63 c (33,0) c ========================================[ Problem Statistics ]=========================================== 110.86/33.63 c (33,0) c | | 110.86/33.63 c (33,0) c | Number of variables: 115868 | 110.86/33.63 c (33,0) c | Number of clauses: 2356250 | 110.86/33.63 c (33,0) c | Parse time: 0.71 s | 110.86/33.63 c (33,0) c | | 110.86/33.63 c (33,0) c | Eliminated clauses: 1.24 Mb | 110.86/33.63 c (33,0) c | Simplification time: 3.30 s | 110.86/33.63 c (33,0) c | | 110.86/33.63 c (33,0) c | Generating clones | 110.86/33.63 c (33,0) c | all clones generated. Memory = 1526.73Mb. | 110.86/33.63 c (33,0) c ========================================================================================================| 110.86/33.63 c (33,0) c 110.86/33.63 c (33,0) c |-------------------------------------------------------------------------------------------------------| 110.86/33.63 c (33,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 110.86/33.63 c (33,0) c |-------------------------------------------------------------------------------------------------------| 110.86/33.63 c (33,0) c | 0 | 39 | 99163 | 4055 | 31888 | 3050 | 188 | 1893 | 24 | 12.595 | 110.86/33.63 c (33,0) c | 1 | 38 | 115229 | 5167 | 35366 | 3882 | 270 | 1844 | 28 | 12.601 | 110.86/33.63 c (33,0) c | 2 | 49 | 117646 | 4798 | 39460 | 3400 | 262 | 1845 | 29 | 12.601 | 110.86/33.63 c (33,0) c | 3 | 38 | 96260 | 3937 | 30956 | 2938 | 232 | 1862 | 21 | 12.601 | 110.86/33.63 c (33,0) c | 4 | 57 | 111453 | 5853 | 41930 | 4526 | 393 | 1715 | 19 | 12.590 | 110.86/33.63 c (33,0) c | 5 | 48 | 118030 | 5787 | 41042 | 4450 | 305 | 1803 | 5 | 12.606 | 110.86/33.63 c (33,0) c | 6 | 39 | 89523 | 3573 | 30631 | 2579 | 210 | 1900 | 19 | 12.590 | 110.86/33.63 c (33,0) c | 7 | 52 | 113944 | 4666 | 37153 | 3300 | 260 | 1849 | 24 | 12.590 | 110.86/33.63 c (33,0) c 110.86/33.63 c (33,0) c synthesis 37839 conflicts 53204688 propagations 962 conflicts/sec 1352290 propagations/sec 110.86/33.63 c (33,0) c Total Memory so far : 2119.52Mb 110.86/33.63 c (33,0) c 110.86/33.63 c (33,0) c |-------------------------------------------------------------------------------------------------------| 110.86/33.63 c (33,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 110.86/33.63 c (33,0) c |-------------------------------------------------------------------------------------------------------| 110.86/33.63 c (33,0) c | 0 | 86 | 192899 | 9752 | 58598 | 5787 | 839 | 6209 | 127 | 12.900 | 110.86/33.63 c (33,0) c | 1 | 79 | 221272 | 10344 | 61718 | 6370 | 843 | 6046 | 103 | 12.905 | 110.86/33.63 c (33,0) c | 2 | 98 | 222535 | 9730 | 65767 | 5626 | 702 | 6341 | 122 | 12.905 | 110.86/33.63 c (33,0) c | 3 | 83 | 197980 | 8699 | 57816 | 4775 | 733 | 6236 | 116 | 12.905 | 110.86/33.63 c (33,0) c | 4 | 120 | 218827 | 13023 | 75390 | 8996 | 1378 | 5669 | 92 | 12.895 | 110.86/33.63 c (33,0) c | 5 | 102 | 230255 | 11747 | 70288 | 7725 | 1030 | 6011 | 101 | 12.910 | 110.86/33.63 c (33,0) c | 6 | 79 | 188590 | 8461 | 57877 | 4504 | 652 | 6335 | 93 | 12.895 | 110.86/33.63 c (33,0) c | 7 | 103 | 226196 | 10549 | 67181 | 6466 | 878 | 6048 | 115 | 12.895 | 110.86/33.63 c (33,0) c 120.44/34.83 c (34,0) c synthesis 82306 conflicts 111345793 propagations 1165 conflicts/sec 1575640 propagations/sec 120.44/34.83 c (34,0) c Total Memory so far : 2089.42Mb 120.44/34.83 c (34,0) c last restart ## conflicts : 72 872 120.44/34.83 c (34,0) c Thread 1 is 100% pure glucose! First thread to finish! (SAT answer). 120.44/34.83 c (34,0) c Total Memory so far : 2089.42Mb 120.44/34.83 c (34,0) c 120.44/34.83 c (34,0) c real time : 14.7289 s 120.44/34.83 c (34,0) c cpu time : 80.2204 s 120.44/34.83 c (34,0) c 120.44/34.83 c (34,0) c 120.44/34.83 c (34,0) c 120.44/34.83 c (34,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 120.44/34.83 c (34,0) c 120.44/34.83 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 120.44/34.83 c (34,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 120.44/34.83 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 120.44/34.83 c (34,0) c | Conflicts | 96564 | 11740 | 12324 | 11332 | 10213 | 15068 | 13538 | 10400 | 11949 | 120.44/34.83 c (34,0) c | Decisions | 1938800 | 218693 | 250172 | 251678 | 229352 | 249145 | 258985 | 222816 | 257959 | 120.44/34.83 c (34,0) c | Propagations | 129076672 | 14687147 | 16533879 | 16725952 | 14980448 | 17121087 | 17031291 | 14867596 | 17129272 | 120.44/34.83 c (34,0) c | Avg_Trail | | 31780 | 33152 | 34318 | 36047 | 32237 | 34867 | 36012 | 34015 | 120.44/34.83 c (34,0) c | Avg_DL | | 303 | 342 | 354 | 397 | 310 | 372 | 389 | 347 | 120.44/34.83 c (34,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 120.44/34.83 c (34,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 120.44/34.83 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 120.44/34.83 c (34,0) c | Exported | 8672 | 1100 | 1094 | 861 | 880 | 1616 | 1219 | 900 | 1002 | 120.44/34.83 c (34,0) c | Imported | 60381 | 7544 | 7503 | 7803 | 7790 | 6927 | 7416 | 7760 | 7638 | 120.44/34.83 c (34,0) c | Good | 12289 | 1545 | 1510 | 1578 | 1574 | 1431 | 1551 | 1568 | 1532 | 120.44/34.83 c (34,0) c | Purge | 48092 | 5999 | 5993 | 6225 | 6216 | 5496 | 5865 | 6192 | 6106 | 120.44/34.83 c (34,0) c | Promoted | 1191 | 163 | 129 | 186 | 142 | 130 | 141 | 139 | 161 | 120.44/34.83 c (34,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 120.44/34.83 c (34,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 120.44/34.83 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 120.44/34.83 c (34,0) c | Unaries | | 18 | 13 | 22 | 22 | 22 | 37 | 22 | 14 | 120.44/34.83 c (34,0) c | Binaries | | 211 | 245 | 180 | 184 | 318 | 206 | 190 | 224 | 120.44/34.83 c (34,0) c | Glues | | 388 | 435 | 391 | 372 | 515 | 435 | 350 | 397 | 120.44/34.83 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 120.44/34.83 c (34,0) c | Orig_Seen | 3 % | 66699 | 69285 | 74144 | 65840 | 84226 | 78306 | 67174 | 74992 | 120.44/34.83 c (34,0) c | Diff Orig seen| | - 2586 | X | 4859 | - 3445 | 14941 | 9021 | - 2111 | 5707 | 120.44/34.83 c (34,0) c | Hamming | 14 % | 16329 | X | 17413 | 15969 | 16546 | 17607 | 16216 | 15959 | 120.44/34.83 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 120.44/34.83 c (34,0) 120.44/34.83 c (34,0) s SATISFIABLE 121.64/35.07 c (34,19) SatSolver.solve End 121.64/35.07 c (34,19) Heap : 332 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 121.64/35.07 c (34,19) Show results Begin 121.64/35.11 c (34,19) gve[0][0] = 0 121.64/35.11 c (34,19) gve[0][1] = 4 121.64/35.11 c (34,19) gve[0][2] = 3 121.64/35.11 c (34,19) gve[0][3] = 1 121.64/35.11 c (34,19) gve[0][4] = 2 121.64/35.11 c (34,19) gve[1][0] = 0 121.64/35.11 c (34,19) gve[1][1] = 3 121.64/35.11 c (34,19) gve[1][2] = 1 121.64/35.11 c (34,19) gve[1][3] = 2 121.64/35.11 c (34,19) gve[1][4] = 4 121.64/35.11 c (34,19) gve[2][0] = 0 121.64/35.11 c (34,19) gve[2][1] = 1 121.64/35.11 c (34,19) gve[2][2] = 3 121.64/35.11 c (34,19) gve[2][3] = 4 121.64/35.11 c (34,19) gve[2][4] = 2 121.64/35.11 c (34,19) gve[3][0] = 0 121.64/35.11 c (34,19) gve[3][1] = 4 121.64/35.11 c (34,19) gve[3][2] = 5 121.64/35.11 c (34,19) gve[3][3] = 1 121.64/35.11 c (34,19) gve[3][4] = 3 121.64/35.11 c (34,19) gve[4][0] = 0 121.64/35.11 c (34,19) gve[4][1] = 1 121.64/35.11 c (34,19) gve[4][2] = 2 121.64/35.11 c (34,19) gve[4][3] = 3 121.64/35.11 c (34,19) gve[4][4] = 4 121.64/35.11 c (34,19) gve[5][0] = 0 121.64/35.11 c (34,19) gve[5][1] = 1 121.64/35.11 c (34,19) gve[5][2] = 5 121.64/35.11 c (34,19) gve[5][3] = 3 121.64/35.11 c (34,19) gve[5][4] = 2 121.64/35.11 c (34,19) gve[6][0] = 0 121.64/35.11 c (34,19) gve[6][1] = 1 121.64/35.11 c (34,19) gve[6][2] = 2 121.64/35.11 c (34,19) gve[6][3] = 4 121.64/35.11 c (34,19) gve[6][4] = 3 121.64/35.11 c (34,19) gve[7][0] = 0 121.64/35.11 c (34,19) gve[7][1] = 2 121.64/35.11 c (34,19) gve[7][2] = 5 121.64/35.11 c (34,19) gve[7][3] = 1 121.64/35.11 c (34,19) gve[7][4] = 3 121.64/35.11 c (34,19) gve[8][0] = 0 121.64/35.11 c (34,19) gve[8][1] = 3 121.64/35.11 c (34,19) gve[8][2] = 1 121.64/35.11 c (34,19) gve[8][3] = 4 121.64/35.11 c (34,19) gve[8][4] = 2 121.64/35.11 c (34,19) gve[9][0] = 0 121.64/35.11 c (34,19) gve[9][1] = 4 121.64/35.11 c (34,19) gve[9][2] = 3 121.64/35.11 c (34,19) gve[9][3] = 1 121.64/35.11 c (34,19) gve[9][4] = 2 121.64/35.11 c (34,19) gve[10][0] = 0 121.64/35.11 c (34,19) gve[10][1] = 4 121.64/35.11 c (34,19) gve[10][2] = 5 121.64/35.11 c (34,19) gve[10][3] = 1 121.64/35.11 c (34,19) gve[10][4] = 3 121.64/35.11 c (34,19) gve[11][0] = 1 121.64/35.11 c (34,19) gve[11][1] = 2 121.64/35.11 c (34,19) gve[11][2] = 5 121.64/35.11 c (34,19) gve[11][3] = 4 121.64/35.11 c (34,19) gve[11][4] = 3 121.64/35.11 c (34,19) gve[12][0] = 1 121.64/35.11 c (34,19) gve[12][1] = 2 121.64/35.11 c (34,19) gve[12][2] = 0 121.64/35.11 c (34,19) gve[12][3] = 4 121.64/35.11 c (34,19) gve[12][4] = 3 121.64/35.11 c (34,19) gve[13][0] = 1 121.64/35.11 c (34,19) gve[13][1] = 2 121.64/35.11 c (34,19) gve[13][2] = 4 121.64/35.11 c (34,19) gve[13][3] = 3 121.64/35.11 c (34,19) gve[13][4] = 0 121.64/35.11 c (34,19) gve[14][0] = 1 121.64/35.11 c (34,19) gve[14][1] = 2 121.64/35.11 c (34,19) gve[14][2] = 4 121.64/35.11 c (34,19) gve[14][3] = 5 121.64/35.11 c (34,19) gve[14][4] = 3 121.64/35.11 c (34,19) gve[15][0] = 1 121.64/35.11 c (34,19) gve[15][1] = 3 121.64/35.11 c (34,19) gve[15][2] = 4 121.64/35.11 c (34,19) gve[15][3] = 5 121.64/35.11 c (34,19) gve[15][4] = 0 121.64/35.11 c (34,19) gve[16][0] = 1 121.64/35.11 c (34,19) gve[16][1] = 2 121.64/35.11 c (34,19) gve[16][2] = 3 121.64/35.11 c (34,19) gve[16][3] = 5 121.64/35.11 c (34,19) gve[16][4] = 0 121.64/35.11 c (34,19) gve[17][0] = 1 121.64/35.11 c (34,19) gve[17][1] = 0 121.64/35.11 c (34,19) gve[17][2] = 2 121.64/35.11 c (34,19) gve[17][3] = 3 121.64/35.11 c (34,19) gve[17][4] = 4 121.64/35.11 c (34,19) gve[18][0] = 1 121.64/35.11 c (34,19) gve[18][1] = 4 121.64/35.11 c (34,19) gve[18][2] = 3 121.64/35.11 c (34,19) gve[18][3] = 5 121.64/35.11 c (34,19) gve[18][4] = 0 121.64/35.11 c (34,19) gve[19][0] = 1 121.64/35.11 c (34,19) gve[19][1] = 3 121.64/35.11 c (34,19) gve[19][2] = 2 121.64/35.11 c (34,19) gve[19][3] = 5 121.64/35.11 c (34,19) gve[19][4] = 0 121.64/35.11 c (34,19) gve[20][0] = 1 121.64/35.11 c (34,19) gve[20][1] = 0 121.64/35.11 c (34,19) gve[20][2] = 4 121.64/35.11 c (34,19) gve[20][3] = 3 121.64/35.11 c (34,19) gve[20][4] = 2 121.64/35.11 c (34,19) gve[21][0] = 1 121.64/35.11 c (34,19) gve[21][1] = 0 121.64/35.11 c (34,19) gve[21][2] = 3 121.64/35.11 c (34,19) gve[21][3] = 2 121.64/35.11 c (34,19) gve[21][4] = 4 121.64/35.11 c (34,19) gve[22][0] = 1 121.64/35.11 c (34,19) gve[22][1] = 2 121.64/35.11 c (34,19) gve[22][2] = 3 121.64/35.11 c (34,19) gve[22][3] = 0 121.64/35.11 c (34,19) gve[22][4] = 4 121.64/35.11 c (34,19) gve[23][0] = 2 121.64/35.11 c (34,19) gve[23][1] = 0 121.64/35.11 c (34,19) gve[23][2] = 1 121.64/35.11 c (34,19) gve[23][3] = 3 121.64/35.11 c (34,19) gve[23][4] = 4 121.64/35.11 c (34,19) gve[24][0] = 2 121.64/35.11 c (34,19) gve[24][1] = 4 121.64/35.11 c (34,19) gve[24][2] = 0 121.64/35.11 c (34,19) gve[24][3] = 1 121.64/35.11 c (34,19) gve[24][4] = 3 121.64/35.11 c (34,19) gve[25][0] = 2 121.64/35.11 c (34,19) gve[25][1] = 3 121.64/35.11 c (34,19) gve[25][2] = 4 121.64/35.11 c (34,19) gve[25][3] = 1 121.64/35.11 c (34,19) gve[25][4] = 0 121.64/35.11 c (34,19) gve[26][0] = 2 121.64/35.11 c (34,19) gve[26][1] = 1 121.64/35.11 c (34,19) gve[26][2] = 4 121.64/35.11 c (34,19) gve[26][3] = 3 121.64/35.11 c (34,19) gve[26][4] = 0 121.64/35.11 c (34,19) gve[27][0] = 2 121.64/35.11 c (34,19) gve[27][1] = 5 121.64/35.11 c (34,19) gve[27][2] = 3 121.64/35.11 c (34,19) gve[27][3] = 0 121.64/35.11 c (34,19) gve[27][4] = 1 121.64/35.11 c (34,19) gve[28][0] = 2 121.64/35.11 c (34,19) gve[28][1] = 5 121.64/35.11 c (34,19) gve[28][2] = 1 121.64/35.11 c (34,19) gve[28][3] = 3 121.64/35.11 c (34,19) gve[28][4] = 4 121.64/35.11 c (34,19) gve[29][0] = 2 121.64/35.11 c (34,19) gve[29][1] = 3 121.64/35.11 c (34,19) gve[29][2] = 1 121.64/35.11 c (34,19) gve[29][3] = 0 121.64/35.11 c (34,19) gve[29][4] = 4 121.64/35.11 c (34,19) gve[30][0] = 2 121.64/35.11 c (34,19) gve[30][1] = 3 121.64/35.11 c (34,19) gve[30][2] = 0 121.64/35.11 c (34,19) gve[30][3] = 1 121.64/35.11 c (34,19) gve[30][4] = 4 121.64/35.11 c (34,19) gve[31][0] = 2 121.64/35.11 c (34,19) gve[31][1] = 5 121.64/35.11 c (34,19) gve[31][2] = 3 121.64/35.11 c (34,19) gve[31][3] = 0 121.64/35.11 c (34,19) gve[31][4] = 1 121.64/35.11 c (34,19) gve[32][0] = 2 121.64/35.11 c (34,19) gve[32][1] = 0 121.64/35.11 c (34,19) gve[32][2] = 3 121.64/35.11 c (34,19) gve[32][3] = 4 121.64/35.11 c (34,19) gve[32][4] = 1 121.64/35.11 c (34,19) gve[33][0] = 3 121.64/35.11 c (34,19) gve[33][1] = 5 121.64/35.11 c (34,19) gve[33][2] = 4 121.64/35.11 c (34,19) gve[33][3] = 1 121.64/35.11 c (34,19) gve[33][4] = 0 121.64/35.11 c (34,19) gve[34][0] = 3 121.64/35.11 c (34,19) gve[34][1] = 0 121.64/35.11 c (34,19) gve[34][2] = 4 121.64/35.11 c (34,19) gve[34][3] = 2 121.64/35.11 c (34,19) gve[34][4] = 1 121.64/35.11 c (34,19) gve[35][0] = 3 121.64/35.11 c (34,19) gve[35][1] = 5 121.64/35.11 c (34,19) gve[35][2] = 4 121.64/35.11 c (34,19) gve[35][3] = 0 121.64/35.11 c (34,19) gve[35][4] = 1 121.64/35.11 c (34,19) gve[36][0] = 3 121.64/35.11 c (34,19) gve[36][1] = 2 121.64/35.11 c (34,19) gve[36][2] = 1 121.64/35.11 c (34,19) gve[36][3] = 0 121.64/35.11 c (34,19) gve[36][4] = 5 121.64/35.11 c (34,19) gve[37][0] = 3 121.64/35.11 c (34,19) gve[37][1] = 0 121.64/35.11 c (34,19) gve[37][2] = 2 121.64/35.11 c (34,19) gve[37][3] = 4 121.64/35.11 c (34,19) gve[37][4] = 1 121.64/35.11 c (34,19) gve[38][0] = 3 121.64/35.11 c (34,19) gve[38][1] = 0 121.64/35.11 c (34,19) gve[38][2] = 2 121.64/35.11 c (34,19) gve[38][3] = 4 121.64/35.11 c (34,19) gve[38][4] = 1 121.64/35.11 c (34,19) gve[39][0] = 3 121.64/35.11 c (34,19) gve[39][1] = 4 121.64/35.11 c (34,19) gve[39][2] = 2 121.64/35.11 c (34,19) gve[39][3] = 0 121.64/35.11 c (34,19) gve[39][4] = 1 121.64/35.11 c (34,19) gve[40][0] = 3 121.64/35.11 c (34,19) gve[40][1] = 4 121.64/35.11 c (34,19) gve[40][2] = 1 121.64/35.11 c (34,19) gve[40][3] = 0 121.64/35.11 c (34,19) gve[40][4] = 2 121.64/35.11 c (34,19) gve[41][0] = 3 121.64/35.11 c (34,19) gve[41][1] = 0 121.64/35.11 c (34,19) gve[41][2] = 1 121.64/35.11 c (34,19) gve[41][3] = 2 121.64/35.11 c (34,19) gve[41][4] = 4 121.64/35.11 c (34,19) gve[42][0] = 3 121.64/35.12 c (34,19) gve[42][1] = 4 121.64/35.12 c (34,19) gve[42][2] = 0 121.64/35.12 c (34,19) gve[42][3] = 2 121.64/35.12 c (34,19) gve[42][4] = 1 121.64/35.12 c (34,19) gve[43][0] = 3 121.64/35.12 c (34,19) gve[43][1] = 1 121.64/35.12 c (34,19) gve[43][2] = 4 121.64/35.12 c (34,19) gve[43][3] = 2 121.64/35.12 c (34,19) gve[43][4] = 5 121.64/35.12 c (34,19) gve[44][0] = 3 121.64/35.12 c (34,19) gve[44][1] = 1 121.64/35.12 c (34,19) gve[44][2] = 0 121.64/35.12 c (34,19) gve[44][3] = 2 121.64/35.12 c (34,19) gve[44][4] = 5 121.64/35.12 c (34,19) gve[45][0] = 4 121.64/35.12 c (34,19) gve[45][1] = 3 121.64/35.12 c (34,19) gve[45][2] = 1 121.64/35.12 c (34,19) gve[45][3] = 0 121.64/35.12 c (34,19) gve[45][4] = 5 121.64/35.12 c (34,19) gve[46][0] = 4 122.24/35.12 c (34,19) gve[46][1] = 3 122.24/35.12 c (34,19) gve[46][2] = 1 122.24/35.12 c (34,19) gve[46][3] = 0 122.24/35.12 c (34,19) gve[46][4] = 2 122.24/35.12 c (34,19) gve[47][0] = 4 122.24/35.12 c (34,19) gve[47][1] = 1 122.24/35.12 c (34,19) gve[47][2] = 0 122.24/35.12 c (34,19) gve[47][3] = 3 122.24/35.12 c (34,19) gve[47][4] = 5 122.24/35.12 c (34,19) gve[48][0] = 4 122.24/35.12 c (34,19) gve[48][1] = 0 122.24/35.12 c (34,19) gve[48][2] = 2 122.24/35.12 c (34,19) gve[48][3] = 1 122.24/35.12 c (34,19) gve[48][4] = 3 122.24/35.12 c (34,19) gve[49][0] = 4 122.24/35.12 c (34,19) gve[49][1] = 3 122.24/35.12 c (34,19) gve[49][2] = 0 122.24/35.12 c (34,19) gve[49][3] = 2 122.24/35.12 c (34,19) gve[49][4] = 1 122.24/35.12 c (34,19) gve[50][0] = 4 122.24/35.12 c (34,19) gve[50][1] = 1 122.24/35.12 c (34,19) gve[50][2] = 0 122.24/35.12 c (34,19) gve[50][3] = 2 122.24/35.12 c (34,19) gve[50][4] = 3 122.24/35.12 c (34,19) gve[51][0] = 4 122.24/35.12 c (34,19) gve[51][1] = 3 122.24/35.12 c (34,19) gve[51][2] = 1 122.24/35.12 c (34,19) gve[51][3] = 2 122.24/35.12 c (34,19) gve[51][4] = 0 122.24/35.12 c (34,19) gve[52][0] = 4 122.24/35.12 c (34,19) gve[52][1] = 2 122.24/35.12 c (34,19) gve[52][2] = 0 122.24/35.12 c (34,19) gve[52][3] = 1 122.24/35.12 c (34,19) gve[52][4] = 3 122.24/35.12 c (34,19) gve[53][0] = 4 122.24/35.12 c (34,19) gve[53][1] = 2 122.24/35.12 c (34,19) gve[53][2] = 3 122.24/35.12 c (34,19) gve[53][3] = 1 122.24/35.12 c (34,19) gve[53][4] = 0 122.24/35.12 c (34,19) gve[54][0] = 4 122.24/35.12 c (34,19) gve[54][1] = 1 122.24/35.12 c (34,19) gve[54][2] = 2 122.24/35.12 c (34,19) gve[54][3] = 3 122.24/35.12 c (34,19) gve[54][4] = 0 122.24/35.12 c (34,19) gve[55][0] = 5 122.24/35.12 c (34,19) gve[55][1] = 0 122.24/35.12 c (34,19) gve[55][2] = 1 122.24/35.12 c (34,19) gve[55][3] = 3 122.24/35.12 c (34,19) gve[55][4] = 2 122.24/35.12 c (34,19) gve[56][0] = 5 122.24/35.12 c (34,19) gve[56][1] = 4 122.24/35.12 c (34,19) gve[56][2] = 3 122.24/35.12 c (34,19) gve[56][3] = 0 122.24/35.12 c (34,19) gve[56][4] = 1 122.24/35.12 c (34,19) gve[57][0] = 5 122.24/35.12 c (34,19) gve[57][1] = 3 122.24/35.12 c (34,19) gve[57][2] = 2 122.24/35.12 c (34,19) gve[57][3] = 4 122.24/35.12 c (34,19) gve[57][4] = 1 122.24/35.12 c (34,19) gve[58][0] = 5 122.24/35.12 c (34,19) gve[58][1] = 1 122.24/35.12 c (34,19) gve[58][2] = 0 122.24/35.12 c (34,19) gve[58][3] = 3 122.24/35.12 c (34,19) gve[58][4] = 2 122.24/35.12 c (34,19) gve[59][0] = 5 122.24/35.12 c (34,19) gve[59][1] = 1 122.24/35.12 c (34,19) gve[59][2] = 0 122.24/35.12 c (34,19) gve[59][3] = 4 122.24/35.12 c (34,19) gve[59][4] = 3 122.24/35.12 c (34,19) gvr[0][0] = 0 122.24/35.12 c (34,19) gvr[0][1] = 1 122.24/35.12 c (34,19) gvr[0][2] = 2 122.24/35.12 c (34,19) gvr[0][3] = 3 122.24/35.12 c (34,19) gvr[0][4] = 4 122.24/35.12 c (34,19) gvr[1][0] = 0 122.24/35.12 c (34,19) gvr[1][1] = 1 122.24/35.12 c (34,19) gvr[1][2] = 3 122.24/35.12 c (34,19) gvr[1][3] = 2 122.24/35.12 c (34,19) gvr[1][4] = 4 122.24/35.12 c (34,19) gvr[2][0] = 0 122.24/35.12 c (34,19) gvr[2][1] = 1 122.24/35.12 c (34,19) gvr[2][2] = 3 122.24/35.12 c (34,19) gvr[2][3] = 2 122.24/35.12 c (34,19) gvr[2][4] = 4 122.24/35.12 c (34,19) gvr[3][0] = 0 122.24/35.12 c (34,19) gvr[3][1] = 4 122.24/35.12 c (34,19) gvr[3][2] = 1 122.24/35.12 c (34,19) gvr[3][3] = 3 122.24/35.12 c (34,19) gvr[3][4] = 2 122.24/35.12 c (34,19) gvr[4][0] = 0 122.24/35.12 c (34,19) gvr[4][1] = 3 122.24/35.12 c (34,19) gvr[4][2] = 4 122.24/35.12 c (34,19) gvr[4][3] = 1 122.24/35.12 c (34,19) gvr[4][4] = 2 122.24/35.12 c (34,19) gvr[5][0] = 0 122.24/35.12 c (34,19) gvr[5][1] = 3 122.24/35.12 c (34,19) gvr[5][2] = 4 122.24/35.12 c (34,19) gvr[5][3] = 2 122.24/35.12 c (34,19) gvr[5][4] = 1 122.24/35.12 c (34,19) gvr[6][0] = 0 122.24/35.12 c (34,19) gvr[6][1] = 2 122.24/35.12 c (34,19) gvr[6][2] = 4 122.24/35.12 c (34,19) gvr[6][3] = 3 122.24/35.12 c (34,19) gvr[6][4] = 1 122.24/35.12 c (34,19) gvr[7][0] = 0 122.24/35.12 c (34,19) gvr[7][1] = 1 122.24/35.12 c (34,19) gvr[7][2] = 4 122.24/35.12 c (34,19) gvr[7][3] = 3 122.24/35.12 c (34,19) gvr[7][4] = 2 122.24/35.12 c (34,19) gvr[8][0] = 0 122.24/35.12 c (34,19) gvr[8][1] = 4 122.24/35.12 c (34,19) gvr[8][2] = 2 122.24/35.12 c (34,19) gvr[8][3] = 3 122.24/35.12 c (34,19) gvr[8][4] = 1 122.24/35.12 c (34,19) gvr[9][0] = 0 122.24/35.12 c (34,19) gvr[9][1] = 2 122.24/35.12 c (34,19) gvr[9][2] = 3 122.24/35.12 c (34,19) gvr[9][3] = 4 122.24/35.12 c (34,19) gvr[9][4] = 1 122.24/35.12 c (34,19) gvr[10][0] = 0 122.24/35.12 c (34,19) gvr[10][1] = 3 122.24/35.12 c (34,19) gvr[10][2] = 4 122.24/35.12 c (34,19) gvr[10][3] = 2 122.24/35.12 c (34,19) gvr[10][4] = 1 122.24/35.12 c (34,19) gvr[11][0] = 0 122.24/35.12 c (34,19) gvr[11][1] = 3 122.24/35.12 c (34,19) gvr[11][2] = 1 122.24/35.12 c (34,19) gvr[11][3] = 4 122.24/35.12 c (34,19) gvr[11][4] = 2 122.24/35.12 c (34,19) gvr[12][0] = 1 122.24/35.12 c (34,19) gvr[12][1] = 2 122.24/35.12 c (34,19) gvr[12][2] = 0 122.24/35.12 c (34,19) gvr[12][3] = 4 122.24/35.12 c (34,19) gvr[12][4] = 3 122.24/35.12 c (34,19) gvr[13][0] = 1 122.24/35.12 c (34,19) gvr[13][1] = 0 122.24/35.12 c (34,19) gvr[13][2] = 3 122.24/35.12 c (34,19) gvr[13][3] = 4 122.24/35.12 c (34,19) gvr[13][4] = 2 122.24/35.12 c (34,19) gvr[14][0] = 1 122.24/35.12 c (34,19) gvr[14][1] = 4 122.24/35.12 c (34,19) gvr[14][2] = 2 122.24/35.12 c (34,19) gvr[14][3] = 0 122.24/35.12 c (34,19) gvr[14][4] = 3 122.24/35.12 c (34,19) gvr[15][0] = 1 122.24/35.12 c (34,19) gvr[15][1] = 0 122.24/35.12 c (34,19) gvr[15][2] = 3 122.24/35.12 c (34,19) gvr[15][3] = 2 122.24/35.12 c (34,19) gvr[15][4] = 4 122.24/35.12 c (34,19) gvr[16][0] = 1 122.24/35.12 c (34,19) gvr[16][1] = 3 122.24/35.12 c (34,19) gvr[16][2] = 4 122.24/35.12 c (34,19) gvr[16][3] = 0 122.24/35.12 c (34,19) gvr[16][4] = 2 122.24/35.12 c (34,19) gvr[17][0] = 1 122.24/35.12 c (34,19) gvr[17][1] = 0 122.24/35.12 c (34,19) gvr[17][2] = 3 122.24/35.12 c (34,19) gvr[17][3] = 2 122.24/35.12 c (34,19) gvr[17][4] = 4 122.24/35.12 c (34,19) gvr[18][0] = 1 122.24/35.12 c (34,19) gvr[18][1] = 4 122.24/35.12 c (34,19) gvr[18][2] = 2 122.24/35.12 c (34,19) gvr[18][3] = 0 122.24/35.12 c (34,19) gvr[18][4] = 3 122.24/35.12 c (34,19) gvr[19][0] = 1 122.24/35.12 c (34,19) gvr[19][1] = 4 122.24/35.12 c (34,19) gvr[19][2] = 3 122.24/35.12 c (34,19) gvr[19][3] = 0 122.24/35.12 c (34,19) gvr[19][4] = 2 122.24/35.12 c (34,19) gvr[20][0] = 1 122.24/35.12 c (34,19) gvr[20][1] = 4 122.24/35.12 c (34,19) gvr[20][2] = 0 122.24/35.12 c (34,19) gvr[20][3] = 2 122.24/35.12 c (34,19) gvr[20][4] = 3 122.24/35.12 c (34,19) gvr[21][0] = 1 122.24/35.12 c (34,19) gvr[21][1] = 3 122.24/35.12 c (34,19) gvr[21][2] = 4 122.24/35.12 c (34,19) gvr[21][3] = 0 122.24/35.12 c (34,19) gvr[21][4] = 2 122.24/35.12 c (34,19) gvr[22][0] = 1 122.24/35.12 c (34,19) gvr[22][1] = 0 122.24/35.12 c (34,19) gvr[22][2] = 3 122.24/35.12 c (34,19) gvr[22][3] = 2 122.24/35.12 c (34,19) gvr[22][4] = 4 122.24/35.12 c (34,19) gvr[23][0] = 1 122.24/35.12 c (34,19) gvr[23][1] = 4 122.24/35.12 c (34,19) gvr[23][2] = 0 122.24/35.12 c (34,19) gvr[23][3] = 2 122.24/35.12 c (34,19) gvr[23][4] = 3 122.24/35.12 c (34,19) gvr[24][0] = 2 122.24/35.12 c (34,19) gvr[24][1] = 1 122.24/35.12 c (34,19) gvr[24][2] = 3 122.24/35.12 c (34,19) gvr[24][3] = 4 122.24/35.12 c (34,19) gvr[24][4] = 0 122.24/35.12 c (34,19) gvr[25][0] = 2 122.24/35.12 c (34,19) gvr[25][1] = 1 122.24/35.12 c (34,19) gvr[25][2] = 4 122.24/35.12 c (34,19) gvr[25][3] = 3 122.24/35.12 c (34,19) gvr[25][4] = 0 122.24/35.12 c (34,19) gvr[26][0] = 2 122.24/35.12 c (34,19) gvr[26][1] = 1 122.24/35.12 c (34,19) gvr[26][2] = 4 122.24/35.12 c (34,19) gvr[26][3] = 3 122.24/35.12 c (34,19) gvr[26][4] = 0 122.24/35.12 c (34,19) gvr[27][0] = 2 122.24/35.12 c (34,19) gvr[27][1] = 1 122.24/35.12 c (34,19) gvr[27][2] = 4 122.24/35.12 c (34,19) gvr[27][3] = 0 122.24/35.12 c (34,19) gvr[27][4] = 3 122.24/35.12 c (34,19) gvr[28][0] = 2 122.24/35.12 c (34,19) gvr[28][1] = 4 122.24/35.12 c (34,19) gvr[28][2] = 1 122.24/35.12 c (34,19) gvr[28][3] = 3 122.24/35.12 c (34,19) gvr[28][4] = 0 122.24/35.12 c (34,19) gvr[29][0] = 2 122.24/35.12 c (34,19) gvr[29][1] = 0 122.24/35.12 c (34,19) gvr[29][2] = 3 122.24/35.12 c (34,19) gvr[29][3] = 4 122.24/35.12 c (34,19) gvr[29][4] = 1 122.24/35.12 c (34,19) gvr[30][0] = 2 122.24/35.12 c (34,19) gvr[30][1] = 1 122.24/35.12 c (34,19) gvr[30][2] = 3 122.24/35.12 c (34,19) gvr[30][3] = 4 122.24/35.12 c (34,19) gvr[30][4] = 0 122.24/35.12 c (34,19) gvr[31][0] = 2 122.24/35.12 c (34,19) gvr[31][1] = 3 122.24/35.12 c (34,19) gvr[31][2] = 0 122.24/35.12 c (34,19) gvr[31][3] = 1 122.24/35.12 c (34,19) gvr[31][4] = 4 122.24/35.12 c (34,19) gvr[32][0] = 2 122.24/35.12 c (34,19) gvr[32][1] = 0 122.24/35.12 c (34,19) gvr[32][2] = 1 122.24/35.12 c (34,19) gvr[32][3] = 3 122.24/35.12 c (34,19) gvr[32][4] = 4 122.24/35.12 c (34,19) gvr[33][0] = 2 122.24/35.12 c (34,19) gvr[33][1] = 3 122.24/35.12 c (34,19) gvr[33][2] = 0 122.24/35.12 c (34,19) gvr[33][3] = 1 122.24/35.12 c (34,19) gvr[33][4] = 4 122.24/35.12 c (34,19) gvr[34][0] = 2 122.24/35.12 c (34,19) gvr[34][1] = 4 122.24/35.12 c (34,19) gvr[34][2] = 0 122.24/35.12 c (34,19) gvr[34][3] = 3 122.24/35.12 c (34,19) gvr[34][4] = 1 122.24/35.12 c (34,19) gvr[35][0] = 2 122.24/35.12 c (34,19) gvr[35][1] = 3 122.24/35.12 c (34,19) gvr[35][2] = 0 122.24/35.12 c (34,19) gvr[35][3] = 4 122.24/35.12 c (34,19) gvr[35][4] = 1 122.24/35.12 c (34,19) gvr[36][0] = 3 122.24/35.12 c (34,19) gvr[36][1] = 2 122.24/35.12 c (34,19) gvr[36][2] = 1 122.24/35.12 c (34,19) gvr[36][3] = 4 122.24/35.12 c (34,19) gvr[36][4] = 0 122.24/35.12 c (34,19) gvr[37][0] = 3 122.24/35.12 c (34,19) gvr[37][1] = 4 122.24/35.12 c (34,19) gvr[37][2] = 1 122.24/35.12 c (34,19) gvr[37][3] = 0 122.24/35.12 c (34,19) gvr[37][4] = 2 122.24/35.12 c (34,19) gvr[38][0] = 3 122.24/35.12 c (34,19) gvr[38][1] = 0 122.24/35.12 c (34,19) gvr[38][2] = 1 122.24/35.12 c (34,19) gvr[38][3] = 2 122.24/35.12 c (34,19) gvr[38][4] = 4 122.24/35.12 c (34,19) gvr[39][0] = 3 122.24/35.12 c (34,19) gvr[39][1] = 2 122.24/35.12 c (34,19) gvr[39][2] = 4 122.24/35.12 c (34,19) gvr[39][3] = 1 122.24/35.12 c (34,19) gvr[39][4] = 0 122.24/35.12 c (34,19) gvr[40][0] = 3 122.24/35.12 c (34,19) gvr[40][1] = 2 122.24/35.12 c (34,19) gvr[40][2] = 1 122.24/35.12 c (34,19) gvr[40][3] = 0 122.24/35.12 c (34,19) gvr[40][4] = 4 122.24/35.12 c (34,19) gvr[41][0] = 3 122.24/35.12 c (34,19) gvr[41][1] = 4 122.24/35.12 c (34,19) gvr[41][2] = 2 122.24/35.12 c (34,19) gvr[41][3] = 1 122.24/35.12 c (34,19) gvr[41][4] = 0 122.24/35.12 c (34,19) gvr[42][0] = 3 122.24/35.12 c (34,19) gvr[42][1] = 0 122.24/35.12 c (34,19) gvr[42][2] = 2 122.24/35.12 c (34,19) gvr[42][3] = 1 122.24/35.12 c (34,19) gvr[42][4] = 4 122.24/35.12 c (34,19) gvr[43][0] = 3 122.24/35.12 c (34,19) gvr[43][1] = 1 122.24/35.12 c (34,19) gvr[43][2] = 2 122.24/35.12 c (34,19) gvr[43][3] = 4 122.24/35.12 c (34,19) gvr[43][4] = 0 122.24/35.12 c (34,19) gvr[44][0] = 3 122.24/35.12 c (34,19) gvr[44][1] = 1 122.24/35.12 c (34,19) gvr[44][2] = 4 122.24/35.12 c (34,19) gvr[44][3] = 2 122.24/35.12 c (34,19) gvr[44][4] = 0 122.24/35.12 c (34,19) gvr[45][0] = 3 122.24/35.12 c (34,19) gvr[45][1] = 4 122.24/35.12 c (34,19) gvr[45][2] = 2 122.24/35.12 c (34,19) gvr[45][3] = 0 122.24/35.12 c (34,19) gvr[45][4] = 1 122.24/35.12 c (34,19) gvr[46][0] = 3 122.24/35.12 c (34,19) gvr[46][1] = 1 122.24/35.12 c (34,19) gvr[46][2] = 2 122.24/35.12 c (34,19) gvr[46][3] = 4 122.24/35.12 c (34,19) gvr[46][4] = 0 122.24/35.12 c (34,19) gvr[47][0] = 3 122.24/35.12 c (34,19) gvr[47][1] = 0 122.24/35.12 c (34,19) gvr[47][2] = 1 122.24/35.12 c (34,19) gvr[47][3] = 4 122.24/35.12 c (34,19) gvr[47][4] = 2 122.24/35.12 c (34,19) gvr[48][0] = 4 122.24/35.12 c (34,19) gvr[48][1] = 0 122.24/35.12 c (34,19) gvr[48][2] = 3 122.24/35.12 c (34,19) gvr[48][3] = 2 122.24/35.12 c (34,19) gvr[48][4] = 1 122.24/35.12 c (34,19) gvr[49][0] = 4 122.24/35.12 c (34,19) gvr[49][1] = 3 122.24/35.12 c (34,19) gvr[49][2] = 2 122.24/35.12 c (34,19) gvr[49][3] = 0 122.24/35.12 c (34,19) gvr[49][4] = 1 122.24/35.12 c (34,19) gvr[50][0] = 4 122.24/35.12 c (34,19) gvr[50][1] = 2 122.24/35.12 c (34,19) gvr[50][2] = 1 122.24/35.12 c (34,19) gvr[50][3] = 0 122.24/35.12 c (34,19) gvr[50][4] = 3 122.24/35.12 c (34,19) gvr[51][0] = 4 122.24/35.12 c (34,19) gvr[51][1] = 0 122.24/35.12 c (34,19) gvr[51][2] = 1 122.24/35.12 c (34,19) gvr[51][3] = 3 122.24/35.12 c (34,19) gvr[51][4] = 2 122.24/35.12 c (34,19) gvr[52][0] = 4 122.24/35.12 c (34,19) gvr[52][1] = 3 122.24/35.12 c (34,19) gvr[52][2] = 1 122.24/35.12 c (34,19) gvr[52][3] = 0 122.24/35.12 c (34,19) gvr[52][4] = 2 122.24/35.12 c (34,19) gvr[53][0] = 4 122.24/35.12 c (34,19) gvr[53][1] = 3 122.24/35.12 c (34,19) gvr[53][2] = 2 122.24/35.12 c (34,19) gvr[53][3] = 1 122.24/35.12 c (34,19) gvr[53][4] = 0 122.24/35.12 c (34,19) gvr[54][0] = 4 122.24/35.12 c (34,19) gvr[54][1] = 0 122.24/35.12 c (34,19) gvr[54][2] = 2 122.24/35.12 c (34,19) gvr[54][3] = 3 122.24/35.12 c (34,19) gvr[54][4] = 1 122.24/35.12 c (34,19) gvr[55][0] = 4 122.24/35.12 c (34,19) gvr[55][1] = 2 122.24/35.12 c (34,19) gvr[55][2] = 0 122.24/35.12 c (34,19) gvr[55][3] = 1 122.24/35.12 c (34,19) gvr[55][4] = 3 122.24/35.12 c (34,19) gvr[56][0] = 4 122.24/35.12 c (34,19) gvr[56][1] = 2 122.24/35.12 c (34,19) gvr[56][2] = 0 122.24/35.12 c (34,19) gvr[56][3] = 1 122.24/35.12 c (34,19) gvr[56][4] = 3 122.24/35.12 c (34,19) gvr[57][0] = 4 122.24/35.12 c (34,19) gvr[57][1] = 2 122.24/35.12 c (34,19) gvr[57][2] = 0 122.24/35.12 c (34,19) gvr[57][3] = 1 122.24/35.12 c (34,19) gvr[57][4] = 3 122.24/35.12 c (34,19) gvr[58][0] = 4 122.24/35.12 c (34,19) gvr[58][1] = 2 122.24/35.12 c (34,19) gvr[58][2] = 0 122.24/35.12 c (34,19) gvr[58][3] = 1 122.24/35.12 c (34,19) gvr[58][4] = 3 122.24/35.12 c (34,19) gvr[59][0] = 4 122.24/35.12 c (34,19) gvr[59][1] = 2 122.24/35.12 c (34,19) gvr[59][2] = 0 122.24/35.12 c (34,19) gvr[59][3] = 1 122.24/35.12 c (34,19) gvr[59][4] = 3 122.24/35.12 c (34,19) ve[0][0] = 0 122.24/35.12 c (34,19) ve[0][1] = 47 122.24/35.12 c (34,19) ve[0][2] = 33 122.24/35.12 c (34,19) ve[0][3] = 14 122.24/35.12 c (34,19) ve[0][4] = 30 122.24/35.12 c (34,19) ve[1][0] = 1 122.24/35.12 c (34,19) ve[1][1] = 38 122.24/35.12 c (34,19) ve[1][2] = 12 122.24/35.12 c (34,19) ve[1][3] = 27 122.24/35.12 c (34,19) ve[1][4] = 53 122.24/35.12 c (34,19) ve[2][0] = 2 122.24/35.12 c (34,19) ve[2][1] = 22 122.24/35.12 c (34,19) ve[2][2] = 34 122.24/35.12 c (34,19) ve[2][3] = 52 122.24/35.12 c (34,19) ve[2][4] = 25 122.24/35.12 c (34,19) ve[3][0] = 3 122.24/35.12 c (34,19) ve[3][1] = 48 122.24/35.12 c (34,19) ve[3][2] = 55 122.24/35.12 c (34,19) ve[3][3] = 18 122.24/35.12 c (34,19) ve[3][4] = 43 122.24/35.12 c (34,19) ve[4][0] = 4 122.24/35.12 c (34,19) ve[4][1] = 13 122.24/35.12 c (34,19) ve[4][2] = 31 122.24/35.12 c (34,19) ve[4][3] = 40 122.24/35.12 c (34,19) ve[4][4] = 46 122.24/35.12 c (34,19) ve[5][0] = 5 122.24/35.12 c (34,19) ve[5][1] = 17 122.24/35.12 c (34,19) ve[5][2] = 56 122.24/35.12 c (34,19) ve[5][3] = 37 122.24/35.12 c (34,19) ve[5][4] = 26 122.24/35.12 c (34,19) ve[6][0] = 6 122.24/35.12 c (34,19) ve[6][1] = 15 122.24/35.12 c (34,19) ve[6][2] = 23 122.24/35.12 c (34,19) ve[6][3] = 49 122.24/35.12 c (34,19) ve[6][4] = 39 122.24/35.12 c (34,19) ve[7][0] = 7 122.24/35.12 c (34,19) ve[7][1] = 29 122.24/35.12 c (34,19) ve[7][2] = 57 122.24/35.12 c (34,19) ve[7][3] = 19 122.24/35.12 c (34,19) ve[7][4] = 44 122.24/35.12 c (34,19) ve[8][0] = 8 122.24/35.12 c (34,19) ve[8][1] = 42 122.24/35.12 c (34,19) ve[8][2] = 20 122.24/35.12 c (34,19) ve[8][3] = 50 122.24/35.12 c (34,19) ve[8][4] = 28 122.24/35.12 c (34,19) ve[9][0] = 9 122.24/35.12 c (34,19) ve[9][1] = 51 122.24/35.12 c (34,19) ve[9][2] = 35 122.24/35.12 c (34,19) ve[9][3] = 21 122.24/35.12 c (34,19) ve[9][4] = 24 122.24/35.12 c (34,19) ve[10][0] = 10 122.24/35.12 c (34,19) ve[10][1] = 54 122.24/35.12 c (34,19) ve[10][2] = 58 122.24/35.12 c (34,19) ve[10][3] = 16 122.24/35.12 c (34,19) ve[10][4] = 41 122.24/35.12 c (34,19) ve[11][0] = 11 122.24/35.12 c (34,19) ve[11][1] = 32 122.24/35.12 c (34,19) ve[11][2] = 59 122.24/35.12 c (34,19) ve[11][3] = 45 122.24/35.12 c (34,19) ve[11][4] = 36 122.24/35.12 c (34,19) ve[12][0] = 12 122.24/35.12 c (34,19) ve[12][1] = 24 122.24/35.12 c (34,19) ve[12][2] = 3 122.24/35.12 c (34,19) ve[12][3] = 53 122.24/35.12 c (34,19) ve[12][4] = 35 122.24/35.12 c (34,19) ve[13][0] = 13 122.24/35.12 c (34,19) ve[13][1] = 30 122.24/35.12 c (34,19) ve[13][2] = 51 122.24/35.12 c (34,19) ve[13][3] = 39 122.24/35.12 c (34,19) ve[13][4] = 8 122.24/35.12 c (34,19) ve[14][0] = 14 122.24/35.12 c (34,19) ve[14][1] = 27 122.24/35.12 c (34,19) ve[14][2] = 47 122.24/35.12 c (34,19) ve[14][3] = 55 122.24/35.12 c (34,19) ve[14][4] = 34 122.24/35.12 c (34,19) ve[15][0] = 15 122.24/35.12 c (34,19) ve[15][1] = 43 122.24/35.12 c (34,19) ve[15][2] = 52 122.24/35.12 c (34,19) ve[15][3] = 56 122.24/35.12 c (34,19) ve[15][4] = 10 122.24/35.12 c (34,19) ve[16][0] = 16 122.24/35.12 c (34,19) ve[16][1] = 25 122.24/35.12 c (34,19) ve[16][2] = 40 122.24/35.12 c (34,19) ve[16][3] = 57 122.24/35.12 c (34,19) ve[16][4] = 9 122.24/35.12 c (34,19) ve[17][0] = 17 122.24/35.12 c (34,19) ve[17][1] = 1 122.24/35.12 c (34,19) ve[17][2] = 32 122.24/35.12 c (34,19) ve[17][3] = 41 122.24/35.12 c (34,19) ve[17][4] = 54 122.24/35.12 c (34,19) ve[18][0] = 18 122.24/35.12 c (34,19) ve[18][1] = 46 122.24/35.12 c (34,19) ve[18][2] = 38 122.24/35.12 c (34,19) ve[18][3] = 58 122.24/35.12 c (34,19) ve[18][4] = 5 122.24/35.12 c (34,19) ve[19][0] = 19 122.24/35.12 c (34,19) ve[19][1] = 44 122.24/35.12 c (34,19) ve[19][2] = 28 122.24/35.12 c (34,19) ve[19][3] = 59 122.24/35.12 c (34,19) ve[19][4] = 6 122.24/35.12 c (34,19) ve[20][0] = 20 122.24/35.12 c (34,19) ve[20][1] = 2 122.24/35.12 c (34,19) ve[20][2] = 50 122.24/35.12 c (34,19) ve[20][3] = 33 122.24/35.12 c (34,19) ve[20][4] = 29 122.24/35.12 c (34,19) ve[21][0] = 21 122.24/35.12 c (34,19) ve[21][1] = 0 122.24/35.12 c (34,19) ve[21][2] = 37 122.24/35.12 c (34,19) ve[21][3] = 31 122.24/35.12 c (34,19) ve[21][4] = 49 122.24/35.12 c (34,19) ve[22][0] = 22 122.24/35.12 c (34,19) ve[22][1] = 26 122.24/35.12 c (34,19) ve[22][2] = 36 122.24/35.12 c (34,19) ve[22][3] = 4 122.24/35.12 c (34,19) ve[22][4] = 48 122.24/35.12 c (34,19) ve[23][0] = 23 122.24/35.12 c (34,19) ve[23][1] = 7 122.24/35.12 c (34,19) ve[23][2] = 11 122.24/35.12 c (34,19) ve[23][3] = 42 122.24/35.12 c (34,19) ve[23][4] = 45 122.24/35.12 c (34,19) ve[24][0] = 24 122.24/35.12 c (34,19) ve[24][1] = 50 122.24/35.12 c (34,19) ve[24][2] = 8 122.24/35.12 c (34,19) ve[24][3] = 17 122.24/35.12 c (34,19) ve[24][4] = 37 122.24/35.12 c (34,19) ve[25][0] = 25 122.24/35.12 c (34,19) ve[25][1] = 40 122.24/35.12 c (34,19) ve[25][2] = 54 122.24/35.12 c (34,19) ve[25][3] = 20 122.24/35.12 c (34,19) ve[25][4] = 4 122.24/35.12 c (34,19) ve[26][0] = 26 122.24/35.12 c (34,19) ve[26][1] = 12 122.24/35.12 c (34,19) ve[26][2] = 45 122.24/35.12 c (34,19) ve[26][3] = 44 122.24/35.12 c (34,19) ve[26][4] = 3 122.24/35.12 c (34,19) ve[27][0] = 27 122.24/35.12 c (34,19) ve[27][1] = 55 122.24/35.12 c (34,19) ve[27][2] = 42 122.24/35.12 c (34,19) ve[27][3] = 1 122.24/35.12 c (34,19) ve[27][4] = 19 122.24/35.12 c (34,19) ve[28][0] = 28 122.24/35.12 c (34,19) ve[28][1] = 56 122.24/35.12 c (34,19) ve[28][2] = 18 122.24/35.12 c (34,19) ve[28][3] = 38 122.24/35.12 c (34,19) ve[28][4] = 47 122.24/35.12 c (34,19) ve[29][0] = 29 122.24/35.12 c (34,19) ve[29][1] = 39 122.24/35.12 c (34,19) ve[29][2] = 14 122.24/35.12 c (34,19) ve[29][3] = 10 122.24/35.12 c (34,19) ve[29][4] = 51 122.24/35.12 c (34,19) ve[30][0] = 30 122.24/35.12 c (34,19) ve[30][1] = 36 122.24/35.12 c (34,19) ve[30][2] = 0 122.24/35.12 c (34,19) ve[30][3] = 22 122.24/35.12 c (34,19) ve[30][4] = 52 122.24/35.12 c (34,19) ve[31][0] = 31 122.24/35.12 c (34,19) ve[31][1] = 57 122.24/35.13 c (34,19) ve[31][2] = 41 122.24/35.13 c (34,19) ve[31][3] = 2 122.24/35.13 c (34,19) ve[31][4] = 11 122.24/35.13 c (34,19) ve[32][0] = 32 122.24/35.13 c (34,19) ve[32][1] = 9 122.24/35.13 c (34,19) ve[32][2] = 43 122.24/35.13 c (34,19) ve[32][3] = 48 122.24/35.13 c (34,19) ve[32][4] = 13 122.24/35.13 c (34,19) ve[33][0] = 33 122.24/35.13 c (34,19) ve[33][1] = 58 122.24/35.13 c (34,19) ve[33][2] = 49 122.24/35.13 c (34,19) ve[33][3] = 15 122.24/35.13 c (34,19) ve[33][4] = 7 122.24/35.13 c (34,19) ve[34][0] = 34 122.24/35.13 c (34,19) ve[34][1] = 6 122.24/35.13 c (34,19) ve[34][2] = 53 122.24/35.13 c (34,19) ve[34][3] = 23 122.24/35.13 c (34,19) ve[34][4] = 16 122.24/35.13 c (34,19) ve[35][0] = 35 122.24/35.13 c (34,19) ve[35][1] = 59 122.24/35.13 c (34,19) ve[35][2] = 46 122.24/35.13 c (34,19) ve[35][3] = 5 122.24/35.13 c (34,19) ve[35][4] = 21 122.24/35.13 c (34,19) ve[36][0] = 36 122.24/35.13 c (34,19) ve[36][1] = 31 122.24/35.13 c (34,19) ve[36][2] = 17 122.24/35.13 c (34,19) ve[36][3] = 3 122.24/35.13 c (34,19) ve[36][4] = 55 122.24/35.13 c (34,19) ve[37][0] = 37 122.24/35.13 c (34,19) ve[37][1] = 4 122.24/35.13 c (34,19) ve[37][2] = 30 122.24/35.13 c (34,19) ve[37][3] = 51 122.24/35.13 c (34,19) ve[37][4] = 14 122.24/35.13 c (34,19) ve[38][0] = 38 122.24/35.13 c (34,19) ve[38][1] = 10 122.24/35.13 c (34,19) ve[38][2] = 24 122.24/35.13 c (34,19) ve[38][3] = 54 122.24/35.13 c (34,19) ve[38][4] = 12 122.24/35.13 c (34,19) ve[39][0] = 39 122.24/35.13 c (34,19) ve[39][1] = 53 122.24/35.13 c (34,19) ve[39][2] = 29 122.24/35.13 c (34,19) ve[39][3] = 0 122.24/35.13 c (34,19) ve[39][4] = 18 122.24/35.13 c (34,19) ve[40][0] = 40 122.24/35.13 c (34,19) ve[40][1] = 49 122.24/35.13 c (34,19) ve[40][2] = 22 122.24/35.13 c (34,19) ve[40][3] = 8 122.24/35.13 c (34,19) ve[40][4] = 27 122.24/35.13 c (34,19) ve[41][0] = 41 122.24/35.13 c (34,19) ve[41][1] = 5 122.24/35.13 c (34,19) ve[41][2] = 13 122.24/35.13 c (34,19) ve[41][3] = 28 122.24/35.13 c (34,19) ve[41][4] = 50 122.24/35.13 c (34,19) ve[42][0] = 42 122.24/35.13 c (34,19) ve[42][1] = 52 122.24/35.13 c (34,19) ve[42][2] = 9 122.24/35.13 c (34,19) ve[42][3] = 25 122.24/35.13 c (34,19) ve[42][4] = 20 122.24/35.13 c (34,19) ve[43][0] = 43 122.24/35.13 c (34,19) ve[43][1] = 11 122.24/35.13 c (34,19) ve[43][2] = 48 122.24/35.13 c (34,19) ve[43][3] = 26 122.24/35.13 c (34,19) ve[43][4] = 56 122.24/35.13 c (34,19) ve[44][0] = 44 122.24/35.13 c (34,19) ve[44][1] = 21 122.24/35.13 c (34,19) ve[44][2] = 2 122.24/35.13 c (34,19) ve[44][3] = 32 122.24/35.13 c (34,19) ve[44][4] = 57 122.24/35.13 c (34,19) ve[45][0] = 45 122.24/35.13 c (34,19) ve[45][1] = 33 122.24/35.13 c (34,19) ve[45][2] = 19 122.24/35.13 c (34,19) ve[45][3] = 7 122.24/35.13 c (34,19) ve[45][4] = 58 122.24/35.13 c (34,19) ve[46][0] = 46 122.24/35.13 c (34,19) ve[46][1] = 35 122.24/35.13 c (34,19) ve[46][2] = 15 122.24/35.13 c (34,19) ve[46][3] = 6 122.24/35.13 c (34,19) ve[46][4] = 23 122.24/35.13 c (34,19) ve[47][0] = 47 122.24/35.13 c (34,19) ve[47][1] = 16 122.24/35.13 c (34,19) ve[47][2] = 1 122.24/35.13 c (34,19) ve[47][3] = 34 122.24/35.13 c (34,19) ve[47][4] = 59 122.24/35.13 c (34,19) ve[48][0] = 48 122.24/35.13 c (34,19) ve[48][1] = 8 122.24/35.13 c (34,19) ve[48][2] = 27 122.24/35.13 c (34,19) ve[48][3] = 13 122.24/35.13 c (34,19) ve[48][4] = 38 122.24/35.13 c (34,19) ve[49][0] = 49 122.24/35.13 c (34,19) ve[49][1] = 41 122.24/35.13 c (34,19) ve[49][2] = 10 122.24/35.13 c (34,19) ve[49][3] = 30 122.24/35.13 c (34,19) ve[49][4] = 22 122.24/35.13 c (34,19) ve[50][0] = 50 122.24/35.13 c (34,19) ve[50][1] = 14 122.24/35.13 c (34,19) ve[50][2] = 6 122.24/35.13 c (34,19) ve[50][3] = 24 122.24/35.13 c (34,19) ve[50][4] = 33 122.24/35.13 c (34,19) ve[51][0] = 51 122.24/35.13 c (34,19) ve[51][1] = 34 122.24/35.13 c (34,19) ve[51][2] = 21 122.24/35.13 c (34,19) ve[51][3] = 29 122.24/35.13 c (34,19) ve[51][4] = 0 122.24/35.13 c (34,19) ve[52][0] = 52 122.24/35.13 c (34,19) ve[52][1] = 28 122.24/35.13 c (34,19) ve[52][2] = 5 122.24/35.13 c (34,19) ve[52][3] = 12 122.24/35.13 c (34,19) ve[52][4] = 40 122.24/35.13 c (34,19) ve[53][0] = 53 122.24/35.13 c (34,19) ve[53][1] = 23 122.24/35.13 c (34,19) ve[53][2] = 39 122.24/35.13 c (34,19) ve[53][3] = 11 122.24/35.13 c (34,19) ve[53][4] = 1 122.24/35.13 c (34,19) ve[54][0] = 54 122.24/35.13 c (34,19) ve[54][1] = 19 122.24/35.13 c (34,19) ve[54][2] = 26 122.24/35.13 c (34,19) ve[54][3] = 35 122.24/35.13 c (34,19) ve[54][4] = 2 122.24/35.13 c (34,19) ve[55][0] = 55 122.24/35.13 c (34,19) ve[55][1] = 3 122.24/35.13 c (34,19) ve[55][2] = 16 122.24/35.13 c (34,19) ve[55][3] = 43 122.24/35.13 c (34,19) ve[55][4] = 32 122.24/35.13 c (34,19) ve[56][0] = 56 122.24/35.13 c (34,19) ve[56][1] = 45 122.24/35.13 c (34,19) ve[56][2] = 44 122.24/35.13 c (34,19) ve[56][3] = 9 122.24/35.13 c (34,19) ve[56][4] = 17 122.24/35.13 c (34,19) ve[57][0] = 57 122.24/35.13 c (34,19) ve[57][1] = 37 122.24/35.13 c (34,19) ve[57][2] = 25 122.24/35.13 c (34,19) ve[57][3] = 47 122.24/35.13 c (34,19) ve[57][4] = 15 122.24/35.13 c (34,19) ve[58][0] = 58 122.24/35.13 c (34,19) ve[58][1] = 20 122.24/35.13 c (34,19) ve[58][2] = 4 122.24/35.13 c (34,19) ve[58][3] = 36 122.24/35.13 c (34,19) ve[58][4] = 31 122.24/35.13 c (34,19) ve[59][0] = 59 122.24/35.13 c (34,19) ve[59][1] = 18 122.24/35.13 c (34,19) ve[59][2] = 7 122.24/35.13 c (34,19) ve[59][3] = 46 122.24/35.13 c (34,19) ve[59][4] = 42 122.24/35.13 c (34,19) vr[0][0] = 0 122.24/35.13 c (34,19) vr[0][1] = 21 122.24/35.13 c (34,19) vr[0][2] = 30 122.24/35.13 c (34,19) vr[0][3] = 39 122.24/35.13 c (34,19) vr[0][4] = 51 122.24/35.13 c (34,19) vr[1][0] = 1 122.24/35.13 c (34,19) vr[1][1] = 17 122.24/35.13 c (34,19) vr[1][2] = 47 122.24/35.13 c (34,19) vr[1][3] = 27 122.24/35.13 c (34,19) vr[1][4] = 53 122.24/35.13 c (34,19) vr[2][0] = 2 122.24/35.13 c (34,19) vr[2][1] = 20 122.24/35.13 c (34,19) vr[2][2] = 44 122.24/35.13 c (34,19) vr[2][3] = 31 122.24/35.13 c (34,19) vr[2][4] = 54 122.24/35.13 c (34,19) vr[3][0] = 3 122.24/35.13 c (34,19) vr[3][1] = 55 122.24/35.13 c (34,19) vr[3][2] = 12 122.24/35.13 c (34,19) vr[3][3] = 36 122.24/35.13 c (34,19) vr[3][4] = 26 122.24/35.13 c (34,19) vr[4][0] = 4 122.24/35.13 c (34,19) vr[4][1] = 37 122.24/35.13 c (34,19) vr[4][2] = 58 122.24/35.13 c (34,19) vr[4][3] = 22 122.24/35.13 c (34,19) vr[4][4] = 25 122.24/35.13 c (34,19) vr[5][0] = 5 122.24/35.13 c (34,19) vr[5][1] = 41 122.24/35.13 c (34,19) vr[5][2] = 52 122.24/35.13 c (34,19) vr[5][3] = 35 122.24/35.13 c (34,19) vr[5][4] = 18 122.24/35.13 c (34,19) vr[6][0] = 6 122.24/35.13 c (34,19) vr[6][1] = 34 122.24/35.13 c (34,19) vr[6][2] = 50 122.24/35.13 c (34,19) vr[6][3] = 46 122.24/35.13 c (34,19) vr[6][4] = 19 122.24/35.13 c (34,19) vr[7][0] = 7 122.24/35.13 c (34,19) vr[7][1] = 23 122.24/35.13 c (34,19) vr[7][2] = 59 122.24/35.13 c (34,19) vr[7][3] = 45 122.24/35.13 c (34,19) vr[7][4] = 33 122.24/35.13 c (34,19) vr[8][0] = 8 122.24/35.13 c (34,19) vr[8][1] = 48 122.24/35.13 c (34,19) vr[8][2] = 24 122.24/35.13 c (34,19) vr[8][3] = 40 122.24/35.13 c (34,19) vr[8][4] = 13 122.24/35.13 c (34,19) vr[9][0] = 9 122.24/35.13 c (34,19) vr[9][1] = 32 122.24/35.13 c (34,19) vr[9][2] = 42 122.24/35.13 c (34,19) vr[9][3] = 56 122.24/35.13 c (34,19) vr[9][4] = 16 122.24/35.13 c (34,19) vr[10][0] = 10 122.24/35.13 c (34,19) vr[10][1] = 38 122.24/35.13 c (34,19) vr[10][2] = 49 122.24/35.13 c (34,19) vr[10][3] = 29 122.24/35.13 c (34,19) vr[10][4] = 15 122.24/35.13 c (34,19) vr[11][0] = 11 122.24/35.13 c (34,19) vr[11][1] = 43 122.24/35.13 c (34,19) vr[11][2] = 23 122.24/35.13 c (34,19) vr[11][3] = 53 122.24/35.13 c (34,19) vr[11][4] = 31 122.24/35.13 c (34,19) vr[12][0] = 12 122.24/35.13 c (34,19) vr[12][1] = 26 122.24/35.13 c (34,19) vr[12][2] = 1 122.24/35.13 c (34,19) vr[12][3] = 52 122.24/35.13 c (34,19) vr[12][4] = 38 122.24/35.13 c (34,19) vr[13][0] = 13 122.24/35.13 c (34,19) vr[13][1] = 4 122.24/35.13 c (34,19) vr[13][2] = 41 122.24/35.13 c (34,19) vr[13][3] = 48 122.24/35.13 c (34,19) vr[13][4] = 32 122.24/35.13 c (34,19) vr[14][0] = 14 122.24/35.13 c (34,19) vr[14][1] = 50 122.24/35.13 c (34,19) vr[14][2] = 29 122.24/35.13 c (34,19) vr[14][3] = 0 122.24/35.13 c (34,19) vr[14][4] = 37 122.24/35.13 c (34,19) vr[15][0] = 15 122.24/35.13 c (34,19) vr[15][1] = 6 122.24/35.13 c (34,19) vr[15][2] = 46 122.24/35.13 c (34,19) vr[15][3] = 33 122.24/35.13 c (34,19) vr[15][4] = 57 122.24/35.13 c (34,19) vr[16][0] = 16 122.24/35.13 c (34,19) vr[16][1] = 47 122.24/35.13 c (34,19) vr[16][2] = 55 122.24/35.13 c (34,19) vr[16][3] = 10 122.24/35.13 c (34,19) vr[16][4] = 34 122.24/35.13 c (34,19) vr[17][0] = 17 122.24/35.13 c (34,19) vr[17][1] = 5 122.24/35.13 c (34,19) vr[17][2] = 36 122.24/35.13 c (34,19) vr[17][3] = 24 122.24/35.13 c (34,19) vr[17][4] = 56 122.24/35.13 c (34,19) vr[18][0] = 18 122.24/35.13 c (34,19) vr[18][1] = 59 122.24/35.13 c (34,19) vr[18][2] = 28 122.24/35.13 c (34,19) vr[18][3] = 3 122.24/35.13 c (34,19) vr[18][4] = 39 122.24/35.13 c (34,19) vr[19][0] = 19 122.24/35.13 c (34,19) vr[19][1] = 54 122.24/35.13 c (34,19) vr[19][2] = 45 122.24/35.13 c (34,19) vr[19][3] = 7 122.24/35.13 c (34,19) vr[19][4] = 27 122.24/35.13 c (34,19) vr[20][0] = 20 122.24/35.13 c (34,19) vr[20][1] = 58 122.24/35.13 c (34,19) vr[20][2] = 8 122.24/35.13 c (34,19) vr[20][3] = 25 122.24/35.13 c (34,19) vr[20][4] = 42 122.24/35.13 c (34,19) vr[21][0] = 21 122.24/35.13 c (34,19) vr[21][1] = 44 122.24/35.13 c (34,19) vr[21][2] = 51 122.24/35.13 c (34,19) vr[21][3] = 9 122.24/35.13 c (34,19) vr[21][4] = 35 122.24/35.13 c (34,19) vr[22][0] = 22 122.24/35.13 c (34,19) vr[22][1] = 2 122.24/35.13 c (34,19) vr[22][2] = 40 122.24/35.13 c (34,19) vr[22][3] = 30 122.24/35.13 c (34,19) vr[22][4] = 49 122.24/35.13 c (34,19) vr[23][0] = 23 122.24/35.13 c (34,19) vr[23][1] = 53 122.24/35.13 c (34,19) vr[23][2] = 6 122.24/35.13 c (34,19) vr[23][3] = 34 122.24/35.13 c (34,19) vr[23][4] = 46 122.24/35.13 c (34,19) vr[24][0] = 24 122.24/35.13 c (34,19) vr[24][1] = 12 122.24/35.13 c (34,19) vr[24][2] = 38 122.24/35.13 c (34,19) vr[24][3] = 50 122.24/35.13 c (34,19) vr[24][4] = 9 122.24/35.13 c (34,19) vr[25][0] = 25 122.24/35.13 c (34,19) vr[25][1] = 16 122.24/35.13 c (34,19) vr[25][2] = 57 122.24/35.13 c (34,19) vr[25][3] = 42 122.24/35.13 c (34,19) vr[25][4] = 2 122.24/35.13 c (34,19) vr[26][0] = 26 122.24/35.13 c (34,19) vr[26][1] = 22 122.24/35.13 c (34,19) vr[26][2] = 54 122.24/35.13 c (34,19) vr[26][3] = 43 122.24/35.13 c (34,19) vr[26][4] = 5 122.24/35.13 c (34,19) vr[27][0] = 27 122.24/35.13 c (34,19) vr[27][1] = 14 122.24/35.13 c (34,19) vr[27][2] = 48 122.24/35.13 c (34,19) vr[27][3] = 1 122.24/35.13 c (34,19) vr[27][4] = 40 122.24/35.13 c (34,19) vr[28][0] = 28 122.24/35.13 c (34,19) vr[28][1] = 52 122.24/35.13 c (34,19) vr[28][2] = 19 122.24/35.13 c (34,19) vr[28][3] = 41 122.24/35.13 c (34,19) vr[28][4] = 8 122.24/35.13 c (34,19) vr[29][0] = 29 122.24/35.13 c (34,19) vr[29][1] = 7 122.24/35.13 c (34,19) vr[29][2] = 39 122.24/35.13 c (34,19) vr[29][3] = 51 122.24/35.13 c (34,19) vr[29][4] = 20 122.24/35.13 c (34,19) vr[30][0] = 30 122.24/35.13 c (34,19) vr[30][1] = 13 122.24/35.13 c (34,19) vr[30][2] = 37 122.24/35.13 c (34,19) vr[30][3] = 49 122.24/35.13 c (34,19) vr[30][4] = 0 122.24/35.13 c (34,19) vr[31][0] = 31 122.24/35.13 c (34,19) vr[31][1] = 36 122.24/35.13 c (34,19) vr[31][2] = 4 122.24/35.13 c (34,19) vr[31][3] = 21 122.24/35.13 c (34,19) vr[31][4] = 58 122.24/35.13 c (34,19) vr[32][0] = 32 122.24/35.13 c (34,19) vr[32][1] = 11 122.24/35.13 c (34,19) vr[32][2] = 17 122.24/35.13 c (34,19) vr[32][3] = 44 122.24/35.13 c (34,19) vr[32][4] = 55 122.24/35.13 c (34,19) vr[33][0] = 33 122.24/35.13 c (34,19) vr[33][1] = 45 122.24/35.13 c (34,19) vr[33][2] = 0 122.24/35.13 c (34,19) vr[33][3] = 20 122.24/35.13 c (34,19) vr[33][4] = 50 122.24/35.13 c (34,19) vr[34][0] = 34 122.24/35.13 c (34,19) vr[34][1] = 51 122.24/35.13 c (34,19) vr[34][2] = 2 122.24/35.13 c (34,19) vr[34][3] = 47 122.24/35.13 c (34,19) vr[34][4] = 14 122.24/35.13 c (34,19) vr[35][0] = 35 122.24/35.13 c (34,19) vr[35][1] = 46 122.24/35.13 c (34,19) vr[35][2] = 9 122.24/35.13 c (34,19) vr[35][3] = 54 122.24/35.13 c (34,19) vr[35][4] = 12 122.24/35.13 c (34,19) vr[36][0] = 36 122.24/35.13 c (34,19) vr[36][1] = 30 122.24/35.13 c (34,19) vr[36][2] = 22 122.24/35.13 c (34,19) vr[36][3] = 58 122.24/35.13 c (34,19) vr[36][4] = 11 122.24/35.13 c (34,19) vr[37][0] = 37 122.24/35.13 c (34,19) vr[37][1] = 57 122.24/35.13 c (34,19) vr[37][2] = 21 122.24/35.13 c (34,19) vr[37][3] = 5 122.24/35.13 c (34,19) vr[37][4] = 24 122.24/35.13 c (34,19) vr[38][0] = 38 122.24/35.13 c (34,19) vr[38][1] = 1 122.24/35.13 c (34,19) vr[38][2] = 18 122.24/35.13 c (34,19) vr[38][3] = 28 122.24/35.13 c (34,19) vr[38][4] = 48 122.24/35.13 c (34,19) vr[39][0] = 39 122.24/35.13 c (34,19) vr[39][1] = 29 122.24/35.13 c (34,19) vr[39][2] = 53 122.24/35.13 c (34,19) vr[39][3] = 13 122.24/35.13 c (34,19) vr[39][4] = 6 122.24/35.13 c (34,19) vr[40][0] = 40 122.24/35.13 c (34,19) vr[40][1] = 25 122.24/35.13 c (34,19) vr[40][2] = 16 122.24/35.13 c (34,19) vr[40][3] = 4 122.24/35.13 c (34,19) vr[40][4] = 52 122.24/35.13 c (34,19) vr[41][0] = 41 122.24/35.13 c (34,19) vr[41][1] = 49 122.24/35.13 c (34,19) vr[41][2] = 31 122.24/35.13 c (34,19) vr[41][3] = 17 122.24/35.13 c (34,19) vr[41][4] = 10 122.24/35.13 c (34,19) vr[42][0] = 42 122.24/35.13 c (34,19) vr[42][1] = 8 122.24/35.13 c (34,19) vr[42][2] = 27 122.24/35.13 c (34,19) vr[42][3] = 23 122.24/35.13 c (34,19) vr[42][4] = 59 122.24/35.13 c (34,19) vr[43][0] = 43 122.24/35.13 c (34,19) vr[43][1] = 15 122.24/35.13 c (34,19) vr[43][2] = 32 122.24/35.13 c (34,19) vr[43][3] = 55 122.24/35.13 c (34,19) vr[43][4] = 3 122.24/35.13 c (34,19) vr[44][0] = 44 122.24/35.13 c (34,19) vr[44][1] = 19 122.24/35.13 c (34,19) vr[44][2] = 56 122.24/35.13 c (34,19) vr[44][3] = 26 122.24/35.13 c (34,19) vr[44][4] = 7 122.24/35.13 c (34,19) vr[45][0] = 45 122.24/35.13 c (34,19) vr[45][1] = 56 122.24/35.13 c (34,19) vr[45][2] = 26 122.24/35.13 c (34,19) vr[45][3] = 11 122.24/35.13 c (34,19) vr[45][4] = 23 122.24/35.13 c (34,19) vr[46][0] = 46 122.24/35.13 c (34,19) vr[46][1] = 18 122.24/35.13 c (34,19) vr[46][2] = 35 122.24/35.13 c (34,19) vr[46][3] = 59 122.24/35.13 c (34,19) vr[46][4] = 4 122.24/35.13 c (34,19) vr[47][0] = 47 122.24/35.13 c (34,19) vr[47][1] = 0 122.24/35.13 c (34,19) vr[47][2] = 14 122.24/35.13 c (34,19) vr[47][3] = 57 122.24/35.13 c (34,19) vr[47][4] = 28 122.24/35.13 c (34,19) vr[48][0] = 48 122.24/35.13 c (34,19) vr[48][1] = 3 122.24/35.13 c (34,19) vr[48][2] = 43 122.24/35.13 c (34,19) vr[48][3] = 32 122.24/35.13 c (34,19) vr[48][4] = 22 122.24/35.13 c (34,19) vr[49][0] = 49 122.24/35.13 c (34,19) vr[49][1] = 40 122.24/35.13 c (34,19) vr[49][2] = 33 122.24/35.13 c (34,19) vr[49][3] = 6 122.24/35.13 c (34,19) vr[49][4] = 21 122.24/35.13 c (34,19) vr[50][0] = 50 122.24/35.13 c (34,19) vr[50][1] = 24 122.24/35.13 c (34,19) vr[50][2] = 20 122.24/35.13 c (34,19) vr[50][3] = 8 122.24/35.13 c (34,19) vr[50][4] = 41 122.24/35.13 c (34,19) vr[51][0] = 51 122.24/35.13 c (34,19) vr[51][1] = 9 122.24/35.13 c (34,19) vr[51][2] = 13 122.24/35.13 c (34,19) vr[51][3] = 37 122.24/35.13 c (34,19) vr[51][4] = 29 122.24/35.13 c (34,19) vr[52][0] = 52 122.24/35.13 c (34,19) vr[52][1] = 42 122.24/35.13 c (34,19) vr[52][2] = 15 122.24/35.13 c (34,19) vr[52][3] = 2 122.24/35.13 c (34,19) vr[52][4] = 30 122.24/35.13 c (34,19) vr[53][0] = 53 122.24/35.13 c (34,19) vr[53][1] = 39 122.24/35.13 c (34,19) vr[53][2] = 34 122.24/35.13 c (34,19) vr[53][3] = 12 122.24/35.13 c (34,19) vr[53][4] = 1 122.24/35.13 c (34,19) vr[54][0] = 54 122.24/35.13 c (34,19) vr[54][1] = 10 122.24/35.13 c (34,19) vr[54][2] = 25 122.24/35.13 c (34,19) vr[54][3] = 38 122.24/35.13 c (34,19) vr[54][4] = 17 122.24/35.13 c (34,19) vr[55][0] = 55 122.24/35.13 c (34,19) vr[55][1] = 27 122.24/35.13 c (34,19) vr[55][2] = 3 122.24/35.13 c (34,19) vr[55][3] = 14 122.24/35.13 c (34,19) vr[55][4] = 36 122.24/35.13 c (34,19) vr[56][0] = 56 122.24/35.13 c (34,19) vr[56][1] = 28 122.24/35.13 c (34,19) vr[56][2] = 5 122.24/35.13 c (34,19) vr[56][3] = 15 122.24/35.13 c (34,19) vr[56][4] = 43 122.24/35.13 c (34,19) vr[57][0] = 57 122.24/35.13 c (34,19) vr[57][1] = 31 122.24/35.13 c (34,19) vr[57][2] = 7 122.24/35.13 c (34,19) vr[57][3] = 16 122.24/35.13 c (34,19) vr[57][4] = 44 122.24/35.13 c (34,19) vr[58][0] = 58 122.24/35.13 c (34,19) vr[58][1] = 33 122.24/35.13 c (34,19) vr[58][2] = 10 122.24/35.13 c (34,19) vr[58][3] = 18 122.24/35.13 c (34,19) vr[58][4] = 45 122.24/35.13 c (34,19) vr[59][0] = 59 122.24/35.13 c (34,19) vr[59][1] = 35 122.24/35.13 c (34,19) vr[59][2] = 11 122.24/35.13 c (34,19) vr[59][3] = 19 122.24/35.13 c (34,19) vr[59][4] = 47 122.24/35.13 s SATISFIABLE 122.24/35.13 v <instantiation> 122.24/35.13 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> 122.24/35.13 v <values>0 21 30 39 51 1 17 47 27 53 2 20 44 31 54 3 55 12 36 26 4 37 58 22 25 5 41 52 35 18 6 34 50 46 19 7 23 59 45 33 8 48 24 40 13 9 32 42 56 16 10 38 49 29 15 11 43 23 53 31 12 26 1 52 38 13 4 41 48 32 14 50 29 0 37 15 6 46 33 57 16 47 55 10 34 17 5 36 24 56 18 59 28 3 39 19 54 45 7 27 20 58 8 25 42 21 44 51 9 35 22 2 40 30 49 23 53 6 34 46 24 12 38 50 9 25 16 57 42 2 26 22 54 43 5 27 14 48 1 40 28 52 19 41 8 29 7 39 51 20 30 13 37 49 0 31 36 4 21 58 32 11 17 44 55 33 45 0 20 50 34 51 2 47 14 35 46 9 54 12 36 30 22 58 11 37 57 21 5 24 38 1 18 28 48 39 29 53 13 6 40 25 16 4 52 41 49 31 17 10 42 8 27 23 59 43 15 32 55 3 44 19 56 26 7 45 56 26 11 23 46 18 35 59 4 47 0 14 57 28 48 3 43 32 22 49 40 33 6 21 50 24 20 8 41 51 9 13 37 29 52 42 15 2 30 53 39 34 12 1 54 10 25 38 17 55 27 3 14 36 56 28 5 15 43 57 31 7 16 44 58 33 10 18 45 59 35 11 19 47 0 47 33 14 30 1 38 12 27 53 2 22 34 52 25 3 48 55 18 43 4 13 31 40 46 5 17 56 37 26 6 15 23 49 39 7 29 57 19 44 8 42 20 50 28 9 51 35 21 24 10 54 58 16 41 11 32 59 45 36 12 24 3 53 35 13 30 51 39 8 14 27 47 55 34 15 43 52 56 10 16 25 40 57 9 17 1 32 41 54 18 46 38 58 5 19 44 28 59 6 20 2 50 33 29 21 0 37 31 49 22 26 36 4 48 23 7 11 42 45 24 50 8 17 37 25 40 54 20 4 26 12 45 44 3 27 55 42 1 19 28 56 18 38 47 29 39 14 10 51 30 36 0 22 52 31 57 41 2 11 32 9 43 48 13 33 58 49 15 7 34 6 53 23 16 35 59 46 5 21 36 31 17 3 55 37 4 30 51 14 38 10 24 54 12 39 53 29 0 18 40 49 22 8 27 41 5 13 28 50 42 52 9 25 20 43 11 48 26 56 44 21 2 32 57 45 33 19 7 58 46 35 15 6 23 47 16 1 34 59 48 8 27 13 38 49 41 10 30 22 50 14 6 24 33 51 34 21 29 0 52 28 5 12 40 53 23 39 11 1 54 19 26 35 2 55 3 16 43 32 56 45 44 9 17 57 37 25 47 15 58 20 4 36 31 59 18 7 46 42 0 1 2 3 4 0 1 3 2 4 0 1 3 2 4 0 4 1 3 2 0 3 4 1 2 0 3 4 2 1 0 2 4 3 1 0 1 4 3 2 0 4 2 3 1 0 2 3 4 1 0 3 4 2 1 0 3 1 4 2 1 2 0 4 3 1 0 3 4 2 1 4 2 0 3 1 0 3 2 4 1 3 4 0 2 1 0 3 2 4 1 4 2 0 3 1 4 3 0 2 1 4 0 2 3 1 3 4 0 2 1 0 3 2 4 1 4 0 2 3 2 1 3 4 0 2 1 4 3 0 2 1 4 3 0 2 1 4 0 3 2 4 1 3 0 2 0 3 4 1 2 1 3 4 0 2 3 0 1 4 2 0 1 3 4 2 3 0 1 4 2 4 0 3 1 2 3 0 4 1 3 2 1 4 0 3 4 1 0 2 3 0 1 2 4 3 2 4 1 0 3 2 1 0 4 3 4 2 1 0 3 0 2 1 4 3 1 2 4 0 3 1 4 2 0 3 4 2 0 1 3 1 2 4 0 3 0 1 4 2 4 0 3 2 1 4 3 2 0 1 4 2 1 0 3 4 0 1 3 2 4 3 1 0 2 4 3 2 1 0 4 0 2 3 1 4 2 0 1 3 4 2 0 1 3 4 2 0 1 3 4 2 0 1 3 4 2 0 1 3 0 4 3 1 2 0 3 1 2 4 0 1 3 4 2 0 4 5 1 3 0 1 2 3 4 0 1 5 3 2 0 1 2 4 3 0 2 5 1 3 0 3 1 4 2 0 4 3 1 2 0 4 5 1 3 1 2 5 4 3 1 2 0 4 3 1 2 4 3 0 1 2 4 5 3 1 3 4 5 0 1 2 3 5 0 1 0 2 3 4 1 4 3 5 0 1 3 2 5 0 1 0 4 3 2 1 0 3 2 4 1 2 3 0 4 2 0 1 3 4 2 4 0 1 3 2 3 4 1 0 2 1 4 3 0 2 5 3 0 1 2 5 1 3 4 2 3 1 0 4 2 3 0 1 4 2 5 3 0 1 2 0 3 4 1 3 5 4 1 0 3 0 4 2 1 3 5 4 0 1 3 2 1 0 5 3 0 2 4 1 3 0 2 4 1 3 4 2 0 1 3 4 1 0 2 3 0 1 2 4 3 4 0 2 1 3 1 4 2 5 3 1 0 2 5 4 3 1 0 5 4 3 1 0 2 4 1 0 3 5 4 0 2 1 3 4 3 0 2 1 4 1 0 2 3 4 3 1 2 0 4 2 0 1 3 4 2 3 1 0 4 1 2 3 0 5 0 1 3 2 5 4 3 0 1 5 3 2 4 1 5 1 0 3 2 5 1 0 4 3</values> 122.24/35.13 v </instantiation> 122.24/35.13 c (34,19) Show results End 122.24/35.13 c (34,19) Heap : 368 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 122.24/35.13 c (34,19) 0,0,10,11,12,12,19,34,34,STOP-AFTER(ALL) 122.24/35.13 c END-Prog: Fri Jul 27 04:22:19 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 (12402 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297106-1532658104/watcher-4297106-1532658104 -o /tmp/evaluation-result-4297106-1532658104/solver-4297106-1532658104 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532655521-11925 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297106-1532658104.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=12357, runsolver pid=12354 [startup+0.10046 s]* /proc/loadavg: 8.75 8.84 8.85 2/204 12377 /proc/meminfo: memFree=23423028/32770624 swapFree=67108860/67108860 [pid=12357] ppid=12354 vsize=27312552 memory=106228 CPUtime=0.11 cores=0-7 /proc/12357/stat : 12357 (java) S 12354 12357 11898 0 -1 1077944320 6620 0 0 0 9 2 0 0 20 0 20 0 83373592 27968053248 26557 33554432000 4194304 4196468 140724817314800 140724817297344 140346747621111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 /proc/12357/statm: 6828138 26557 2743 1 0 6790598 0 [pid=12357/tid=12359] ppid=12354 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/12357/task/12359/stat : 12359 (java) R 12354 12357 11898 0 -1 4202560 4705 0 0 0 7 2 0 0 20 0 20 0 83373592 27968053248 26557 33554432000 4194304 4196468 140724817314800 140346719435472 140346731664741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12360] ppid=12354 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/12357/task/12360/stat : 12360 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 26557 33554432000 4194304 4196468 140724817314800 140346751863312 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12361] ppid=12354 vsize=27312552 memory=139899022911104 CPUtime=0 cores=0-7 /proc/12357/task/12361/stat : 12361 (java) S 12354 12357 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 26557 33554432000 4194304 4196468 140724817314800 140346580957840 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12362] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12362/stat : 12362 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 26557 33554432000 4194304 4196468 140724817314800 140346168609040 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12363] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12363/stat : 12363 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 26557 33554432000 4194304 4196468 140724817314800 140346167556496 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12364] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12364/stat : 12364 (java) S 12354 12357 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 26557 33554432000 4194304 4196468 140724817314800 140346166504464 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12365] ppid=12354 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12357/task/12365/stat : 12365 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 26557 33554432000 4194304 4196468 140724817314800 140346165451920 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12366] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12366/stat : 12366 (java) S 12354 12357 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 26557 33554432000 4194304 4196468 140724817314800 140346164398864 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12367] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12367/stat : 12367 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 26557 33554432000 4194304 4196468 140724817314800 140346163346320 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12368] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12368/stat : 12368 (java) S 12354 12357 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83373596 27968053248 26557 33554432000 4194304 4196468 140724817314800 140345269442800 140346747632258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12369] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12369/stat : 12369 (java) S 12354 12357 11898 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83373596 27968053248 26557 33554432000 4194304 4196468 140724817314800 140344364623008 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12370] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12370/stat : 12370 (java) S 12354 12357 11898 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83373597 27968053248 26557 33554432000 4194304 4196468 140724817314800 140344230400752 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12371] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12371/stat : 12371 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 26557 33554432000 4194304 4196468 140724817314800 140343855896528 140346747639707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12372] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12372/stat : 12372 (java) S 12354 12357 11898 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 26557 33554432000 4194304 4196468 140724817314800 140345268390640 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12373] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12373/stat : 12373 (java) S 12354 12357 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 26557 33554432000 4194304 4196468 140724817314800 140345267338096 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12374] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12374/stat : 12374 (java) S 12354 12357 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 26557 33554432000 4194304 4196468 140724817314800 140345266285040 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12375] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12375/stat : 12375 (java) S 12354 12357 11898 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 26557 33554432000 4194304 4196468 140724817314800 140345265232496 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12376] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12376/stat : 12376 (java) S 12354 12357 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 26557 33554432000 4194304 4196468 140724817314800 140343357991392 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12377] ppid=12354 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12357/task/12377/stat : 12377 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 26557 33554432000 4194304 4196468 140724817314800 140345264179888 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 106228 KiB [startup+0.210684 s]* /proc/loadavg: 8.75 8.84 8.85 2/204 12377 /proc/meminfo: memFree=23406904/32770624 swapFree=67108860/67108860 [pid=12357] ppid=12354 vsize=27312552 memory=120332 CPUtime=0.25 cores=0-7 /proc/12357/stat : 12357 (java) S 12354 12357 11898 0 -1 1077944320 10449 0 0 0 22 3 0 0 20 0 20 0 83373592 27968053248 30083 33554432000 4194304 4196468 140724817314800 140724817297344 140346747621111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 /proc/12357/statm: 6828138 30083 2902 1 0 6790598 0 [pid=12357/tid=12359] ppid=12354 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/12357/task/12359/stat : 12359 (java) R 12354 12357 11898 0 -1 4202560 8280 0 0 0 17 3 0 0 20 0 20 0 83373592 27968053248 30148 33554432000 4194304 4196468 140724817314800 140346719411776 140346733314548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12360] ppid=12354 vsize=27312552 memory=13976 CPUtime=0 cores=0-7 /proc/12357/task/12360/stat : 12360 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 30148 33554432000 4194304 4196468 140724817314800 140346751863312 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12361] ppid=12354 vsize=27312552 memory=139899023396909 CPUtime=0 cores=0-7 /proc/12357/task/12361/stat : 12361 (java) S 12354 12357 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 30148 33554432000 4194304 4196468 140724817314800 140346580957840 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12362] ppid=12354 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12357/task/12362/stat : 12362 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 30148 33554432000 4194304 4196468 140724817314800 140346168609040 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12363] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12363/stat : 12363 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 30148 33554432000 4194304 4196468 140724817314800 140346167556496 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12364] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12364/stat : 12364 (java) S 12354 12357 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 30148 33554432000 4194304 4196468 140724817314800 140346166504464 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12365] ppid=12354 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12357/task/12365/stat : 12365 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 30148 33554432000 4194304 4196468 140724817314800 140346165451920 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12366] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12366/stat : 12366 (java) S 12354 12357 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 30148 33554432000 4194304 4196468 140724817314800 140346164398864 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12367] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12367/stat : 12367 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 30148 33554432000 4194304 4196468 140724817314800 140346163346320 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12368] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12368/stat : 12368 (java) S 12354 12357 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83373596 27968053248 30148 33554432000 4194304 4196468 140724817314800 140345269442800 140346747632258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12369] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12369/stat : 12369 (java) S 12354 12357 11898 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83373596 27968053248 30148 33554432000 4194304 4196468 140724817314800 140344364623008 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12370] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12370/stat : 12370 (java) S 12354 12357 11898 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83373597 27968053248 30148 33554432000 4194304 4196468 140724817314800 140344230400752 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12371] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12371/stat : 12371 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 30148 33554432000 4194304 4196468 140724817314800 140343855896528 140346747639707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12372] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12372/stat : 12372 (java) S 12354 12357 11898 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 30148 33554432000 4194304 4196468 140724817314800 140345268390640 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12373] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12373/stat : 12373 (java) S 12354 12357 11898 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 30148 33554432000 4194304 4196468 140724817314800 140345267338096 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12374] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12374/stat : 12374 (java) S 12354 12357 11898 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 30148 33554432000 4194304 4196468 140724817314800 140345266285040 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12375] ppid=12354 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/12357/task/12375/stat : 12375 (java) S 12354 12357 11898 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 20 0 83373599 27968053248 30148 33554432000 4194304 4196468 140724817314800 140345265232496 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12376] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12376/stat : 12376 (java) S 12354 12357 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 30148 33554432000 4194304 4196468 140724817314800 140343357991392 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12377] ppid=12354 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12357/task/12377/stat : 12377 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 30148 33554432000 4194304 4196468 140724817314800 140345264179888 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 120332 KiB [startup+0.310518 s]* /proc/loadavg: 8.75 8.84 8.85 2/204 12377 /proc/meminfo: memFree=23403120/32770624 swapFree=67108860/67108860 [pid=12357] ppid=12354 vsize=27312552 memory=124620 CPUtime=0.42 cores=0-7 /proc/12357/stat : 12357 (java) S 12354 12357 11898 0 -1 1077944320 11084 0 0 0 38 4 0 0 20 0 20 0 83373592 27968053248 31155 33554432000 4194304 4196468 140724817314800 140724817297344 140346747621111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 /proc/12357/statm: 6828138 31155 2996 1 0 6790598 0 [pid=12357/tid=12359] ppid=12354 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/12357/task/12359/stat : 12359 (java) R 12354 12357 11898 0 -1 4202560 8652 0 0 0 26 3 0 0 20 0 20 0 83373592 27968053248 31155 33554432000 4194304 4196468 140724817314800 140346719425264 140346731701598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12360] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12360/stat : 12360 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 31155 33554432000 4194304 4196468 140724817314800 140346751863312 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12361] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12361/stat : 12361 (java) S 12354 12357 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 31155 33554432000 4194304 4196468 140724817314800 140346580957840 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12362] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12362/stat : 12362 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 31155 33554432000 4194304 4196468 140724817314800 140346168609040 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12363] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12363/stat : 12363 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 31155 33554432000 4194304 4196468 140724817314800 140346167556496 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12364] ppid=12354 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/12357/task/12364/stat : 12364 (java) S 12354 12357 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 31155 33554432000 4194304 4196468 140724817314800 140346166504464 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12365] ppid=12354 vsize=27312552 memory=139898896085935 CPUtime=0 cores=0-7 /proc/12357/task/12365/stat : 12365 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 31155 33554432000 4194304 4196468 140724817314800 140346165451920 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12366] ppid=12354 vsize=27312552 memory=139898896088240 CPUtime=0 cores=0-7 /proc/12357/task/12366/stat : 12366 (java) S 12354 12357 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 31155 33554432000 4194304 4196468 140724817314800 140346164398864 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12367] ppid=12354 vsize=27312552 memory=139898896090544 CPUtime=0 cores=0-7 /proc/12357/task/12367/stat : 12367 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27968053248 31155 33554432000 4194304 4196468 140724817314800 140346163346320 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12368] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12368/stat : 12368 (java) S 12354 12357 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83373596 27968053248 31155 33554432000 4194304 4196468 140724817314800 140345269442800 140346747632258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12369] ppid=12354 vsize=27312552 memory=279797792188048 CPUtime=0 cores=0-7 /proc/12357/task/12369/stat : 12369 (java) S 12354 12357 11898 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83373596 27968053248 31155 33554432000 4194304 4196468 140724817314800 140344364623008 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12370] ppid=12354 vsize=27312552 memory=279797792194960 CPUtime=0 cores=0-7 /proc/12357/task/12370/stat : 12370 (java) S 12354 12357 11898 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83373597 27968053248 31155 33554432000 4194304 4196468 140724817314800 140344230400752 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12371] ppid=12354 vsize=27312552 memory=279797792136240 CPUtime=0 cores=0-7 /proc/12357/task/12371/stat : 12371 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 31155 33554432000 4194304 4196468 140724817314800 140343855896528 140346747639707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12372] ppid=12354 vsize=27312552 memory=279797792208784 CPUtime=0 cores=0-7 /proc/12357/task/12372/stat : 12372 (java) S 12354 12357 11898 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 31155 33554432000 4194304 4196468 140724817314800 140345268390640 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12373] ppid=12354 vsize=27312552 memory=279797792215696 CPUtime=0.02 cores=0-7 /proc/12357/task/12373/stat : 12373 (java) S 12354 12357 11898 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 20 0 83373599 27968053248 31155 33554432000 4194304 4196468 140724817314800 140345267338096 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12374] ppid=12354 vsize=27312552 memory=279797792213392 CPUtime=0.01 cores=0-7 /proc/12357/task/12374/stat : 12374 (java) S 12354 12357 11898 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 83373599 27968053248 31155 33554432000 4194304 4196468 140724817314800 140345266285040 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12375] ppid=12354 vsize=27312552 memory=279797792230000 CPUtime=0.06 cores=0-7 /proc/12357/task/12375/stat : 12375 (java) S 12354 12357 11898 0 -1 1077944384 425 0 0 0 6 0 0 0 20 0 20 0 83373599 27968053248 31155 33554432000 4194304 4196468 140724817314800 140345265232496 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12376] ppid=12354 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12376/stat : 12376 (java) S 12354 12357 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 31155 33554432000 4194304 4196468 140724817314800 140343357991392 140346747631317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12377] ppid=12354 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/12357/task/12377/stat : 12377 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373599 27968053248 31155 33554432000 4194304 4196468 140724817314800 140345264179888 140346747632258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 124620 KiB [startup+0.700901 s] /proc/loadavg: 8.75 8.84 8.85 2/204 12377 /proc/meminfo: memFree=23378564/32770624 swapFree=67108860/67108860 [pid=12357] ppid=12354 vsize=27318824 memory=161948 CPUtime=0.99 cores=0-7 /proc/12357/stat : 12357 (java) S 12354 12357 11898 0 -1 1077944320 18069 0 0 0 93 6 0 0 20 0 20 0 83373592 27974475776 40487 33554432000 4194304 4196468 140724817314800 140724817297344 140346747621111 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 /proc/12357/statm: 6829706 40487 3133 1 0 6791110 0 [pid=12357/tid=12359] ppid=12354 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7 /proc/12357/task/12359/stat : 12359 (java) R 12354 12357 11898 0 -1 4202560 15052 0 0 0 62 5 0 0 20 0 20 0 83373592 27974475776 40487 33554432000 4194304 4196468 140724817314800 140346719458704 140346747643037 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12360] ppid=12354 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12360/stat : 12360 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27974475776 40487 33554432000 4194304 4196468 140724817314800 140346751863312 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12361] ppid=12354 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12361/stat : 12361 (java) S 12354 12357 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83373594 27974475776 40487 33554432000 4194304 4196468 140724817314800 140346580957840 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12362] ppid=12354 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12362/stat : 12362 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27974475776 40487 33554432000 4194304 4196468 140724817314800 140346168609040 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12363] ppid=12354 vsize=27318824 memory=1228 CPUtime=0 cores=0-7 /proc/12357/task/12363/stat : 12363 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27974475776 40487 33554432000 4194304 4196468 140724817314800 140346167556496 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12364] ppid=12354 vsize=27318824 memory=1704 CPUtime=0 cores=0-7 /proc/12357/task/12364/stat : 12364 (java) S 12354 12357 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83373594 27974475776 40487 33554432000 4194304 4196468 140724817314800 140346166504464 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12365] ppid=12354 vsize=27318824 memory=1952 CPUtime=0 cores=0-7 /proc/12357/task/12365/stat : 12365 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27974475776 40487 33554432000 4194304 4196468 140724817314800 140346165451920 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12366] ppid=12354 vsize=27318824 memory=10576 CPUtime=0 cores=0-7 /proc/12357/task/12366/stat : 12366 (java) S 12354 12357 11898 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83373594 27974475776 40487 33554432000 4194304 4196468 140724817314800 140346164398864 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12367] ppid=12354 vsize=27318824 memory=15872 CPUtime=0 cores=0-7 /proc/12357/task/12367/stat : 12367 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83373594 27974475776 40487 33554432000 4194304 4196468 140724817314800 140346163346320 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12368] ppid=12354 vsize=27318824 memory=18280 CPUtime=0 cores=0-7 /proc/12357/task/12368/stat : 12368 (java) S 12354 12357 11898 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83373596 27974475776 40487 33554432000 4194304 4196468 140724817314800 140345269442800 140346747632258 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 ################ # More data... # ################ [pid=12378/tid=12389] ppid=12357 vsize=2139560 memory=7373044966972941649 CPUtime=9.58 cores=0-7 /proc/12378/task/12389/stat : 12389 (glucose-syrup) R 12357 12357 11898 0 -1 4202560 106146 0 0 0 945 13 0 0 20 0 9 0 83376084 2190909440 421676 33554432000 4194304 4373367 140724679237104 139888874007752 4249218 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 17715200 140724679238575 140724679238828 140724679238828 140724679241671 0 [pid=12378/tid=12390] ppid=12357 vsize=2139560 memory=7517159033926602832 CPUtime=9.74 cores=0-7 /proc/12378/task/12390/stat : 12390 (glucose-syrup) R 12357 12357 11898 0 -1 4202560 94344 0 0 0 936 38 0 0 20 0 9 0 83376084 2190909440 421676 33554432000 4194304 4373367 140724679237104 139888865614992 4271897 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 17715200 140724679238575 140724679238828 140724679238828 140724679241671 0 [pid=12378/tid=12391] ppid=12357 vsize=2139560 memory=7007706849849069657 CPUtime=9.72 cores=0-7 /proc/12378/task/12391/stat : 12391 (glucose-syrup) R 12357 12357 11898 0 -1 4202560 93615 0 0 0 942 30 0 0 20 0 9 0 83376084 2190909440 421676 33554432000 4194304 4373367 140724679237104 139888857222512 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 17715200 140724679238575 140724679238828 140724679238828 140724679241671 0 [pid=12357/tid=12359] ppid=12354 vsize=27984808 memory=6009582383287849041 CPUtime=19.9 cores=0-7 /proc/12357/task/12359/stat : 12359 (java) S 12354 12357 11898 0 -1 1077944384 21296 0 0 0 1898 92 0 0 20 0 24 0 83373592 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140346719460352 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12360] ppid=12354 vsize=27984808 memory=7517462533781082192 CPUtime=0.17 cores=0-7 /proc/12357/task/12360/stat : 12360 (java) S 12354 12357 11898 0 -1 1077944384 222 0 0 0 12 5 0 0 20 0 24 0 83373594 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140346751863312 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12361] ppid=12354 vsize=27984808 memory=7590924101088792664 CPUtime=0.16 cores=0-7 /proc/12357/task/12361/stat : 12361 (java) S 12354 12357 11898 0 -1 1077944384 83 0 0 0 12 4 0 0 20 0 24 0 83373594 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140346580957840 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12362] ppid=12354 vsize=27984808 memory=5788621287845810256 CPUtime=0.15 cores=0-7 /proc/12357/task/12362/stat : 12362 (java) S 12354 12357 11898 0 -1 1077944384 84 0 0 0 11 4 0 0 20 0 24 0 83373594 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140346168609040 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12363] ppid=12354 vsize=27984808 memory=7379543080945411411 CPUtime=0.16 cores=0-7 /proc/12357/task/12363/stat : 12363 (java) S 12354 12357 11898 0 -1 1077944384 105 0 0 0 11 5 0 0 20 0 24 0 83373594 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140346167556496 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12364] ppid=12354 vsize=27984808 memory=7523923306987153237 CPUtime=0.17 cores=0-7 /proc/12357/task/12364/stat : 12364 (java) S 12354 12357 11898 0 -1 1077944384 129 0 0 0 12 5 0 0 20 0 24 0 83373594 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140346166504464 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12365] ppid=12354 vsize=27984808 memory=2110249504172084 CPUtime=0.17 cores=0-7 /proc/12357/task/12365/stat : 12365 (java) S 12354 12357 11898 0 -1 1077944384 93 0 0 0 12 5 0 0 20 0 24 0 83373594 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140346165451920 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12366] ppid=12354 vsize=27984808 memory=0 CPUtime=0.17 cores=0-7 /proc/12357/task/12366/stat : 12366 (java) S 12354 12357 11898 0 -1 1077944384 117 0 0 0 11 6 0 0 20 0 24 0 83373594 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140346164398864 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12367] ppid=12354 vsize=27984808 memory=279797794140960 CPUtime=0.16 cores=0-7 /proc/12357/task/12367/stat : 12367 (java) S 12354 12357 11898 0 -1 1077944384 81 0 0 0 12 4 0 0 20 0 24 0 83373594 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140346163346320 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12368] ppid=12354 vsize=27984808 memory=139898897085072 CPUtime=0 cores=0-7 /proc/12357/task/12368/stat : 12368 (java) S 12354 12357 11898 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 83373596 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140345269442800 140346747632258 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12369] ppid=12354 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12369/stat : 12369 (java) S 12354 12357 11898 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 83373596 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140344364623008 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12370] ppid=12354 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12370/stat : 12370 (java) S 12354 12357 11898 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 24 0 83373597 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140344230400752 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12371] ppid=12354 vsize=27984808 memory=5938400086507480169 CPUtime=0 cores=0-7 /proc/12357/task/12371/stat : 12371 (java) S 12354 12357 11898 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83373599 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140343855896528 140346747639707 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12372] ppid=12354 vsize=27984808 memory=5932199850293092693 CPUtime=5.02 cores=0-7 /proc/12357/task/12372/stat : 12372 (java) S 12354 12357 11898 0 -1 1077944384 4709 0 0 0 500 2 0 0 20 0 24 0 83373599 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140345268390640 140346747632258 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12373] ppid=12354 vsize=27984808 memory=0 CPUtime=4.64 cores=0-7 /proc/12357/task/12373/stat : 12373 (java) S 12354 12357 11898 0 -1 1077944384 4879 0 0 0 462 2 0 0 20 0 24 0 83373599 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140345267338096 140346747632258 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12374] ppid=12354 vsize=27984808 memory=0 CPUtime=4.88 cores=0-7 /proc/12357/task/12374/stat : 12374 (java) S 12354 12357 11898 0 -1 1077944384 4621 0 0 0 486 2 0 0 20 0 24 0 83373599 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140345266285040 140346747632258 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12375] ppid=12354 vsize=27984808 memory=139898897098296 CPUtime=1.91 cores=0-7 /proc/12357/task/12375/stat : 12375 (java) S 12354 12357 11898 0 -1 1077944384 4405 0 0 0 189 2 0 0 20 0 24 0 83373599 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140345265232496 140346747632258 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12376] ppid=12354 vsize=27984808 memory=279797794180832 CPUtime=0 cores=0-7 /proc/12357/task/12376/stat : 12376 (java) S 12354 12357 11898 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83373599 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140343357991392 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12377] ppid=12354 vsize=27984808 memory=139898897092624 CPUtime=0.01 cores=0-7 /proc/12357/task/12377/stat : 12377 (java) S 12354 12357 11898 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 83373599 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140345264179888 140346747632258 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12379] ppid=12354 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12379/stat : 12379 (java) S 12354 12357 11898 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83375602 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140345372111808 140346747645721 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12381] ppid=12354 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12381/stat : 12381 (java) S 12354 12357 11898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 83375602 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140342686891952 140346747643037 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12382] ppid=12354 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12382/stat : 12382 (java) S 12354 12357 11898 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 83375602 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140342955327536 140346747643037 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12383] ppid=12354 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/12357/task/12383/stat : 12383 (java) S 12354 12357 11898 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 83375604 28656443392 1524563 33554432000 4194304 4196468 140724817314800 140342418464160 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 Current children cumulated CPU time: 120.44 s Current children cumulated vsize: 30124368 KiB Current children cumulated memory: 7784956 KiB [startup+35.001 s]* /proc/loadavg: 6.73 8.29 8.67 10/206 12391 /proc/meminfo: memFree=17283032/32770624 swapFree=67108860/67108860 [pid=12357] ppid=12354 vsize=27853732 memory=6204988 CPUtime=121.64 cores=0-7 /proc/12357/stat : 12357 (java) S 12354 12357 11898 0 -1 1077944320 42739 1174734 0 0 3692 176 8024 272 20 0 22 0 83373592 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140724817297344 140346747621111 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 /proc/12357/statm: 6963433 1551247 3248 1 0 6924289 0 [pid=12357/tid=12359] ppid=12354 vsize=27853732 memory=27992919332356134 CPUtime=102.86 cores=0-7 /proc/12357/task/12359/stat : 12359 (java) S 12354 12357 11898 0 -1 1077944384 21296 1174734 0 0 1898 92 8024 272 20 0 22 0 83373592 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140346719460352 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12360] ppid=12354 vsize=27853732 memory=288230613264367967 CPUtime=83.19 cores=0-7 /proc/12357/task/12360/stat : 12360 (java) R 12354 12357 11898 0 -1 4202560 265 1174734 0 0 15 8 8024 272 20 0 22 0 83373594 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140346751860944 140346732648976 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12361] ppid=12354 vsize=27853732 memory=3761271421269223072 CPUtime=83.2 cores=0-7 /proc/12357/task/12361/stat : 12361 (java) R 12354 12357 11898 0 -1 4202560 133 1174734 0 0 16 8 8024 272 20 0 22 0 83373594 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140346580957840 140346732648994 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12362] ppid=12354 vsize=27853732 memory=-1 CPUtime=83.17 cores=0-7 /proc/12357/task/12362/stat : 12362 (java) R 12354 12357 11898 0 -1 4202560 138 1174734 0 0 14 7 8024 272 20 0 22 0 83373594 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140346168608928 140346729247150 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12363] ppid=12354 vsize=27853732 memory=0 CPUtime=83.2 cores=0-7 /proc/12357/task/12363/stat : 12363 (java) R 12354 12357 11898 0 -1 4202560 158 1174734 0 0 15 9 8024 272 20 0 22 0 83373594 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140346167556496 140346732648994 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12364] ppid=12354 vsize=27853732 memory=0 CPUtime=83.2 cores=0-7 /proc/12357/task/12364/stat : 12364 (java) R 12354 12357 11898 0 -1 4202560 209 1174734 0 0 16 8 8024 272 20 0 22 0 83373594 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140346166504464 140346732648985 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12365] ppid=12354 vsize=27853732 memory=-1 CPUtime=83.2 cores=0-7 /proc/12357/task/12365/stat : 12365 (java) R 12354 12357 11898 0 -1 4202560 146 1174734 0 0 16 8 8024 272 20 0 22 0 83373594 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140346165452120 140346732648994 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12366] ppid=12354 vsize=27853732 memory=0 CPUtime=83.21 cores=0-7 /proc/12357/task/12366/stat : 12366 (java) R 12354 12357 11898 0 -1 4202560 173 1174734 0 0 15 10 8024 272 20 0 22 0 83373594 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140346164399064 140346732648994 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12367] ppid=12354 vsize=27853732 memory=0 CPUtime=83.19 cores=0-7 /proc/12357/task/12367/stat : 12367 (java) R 12354 12357 11898 0 -1 4202560 137 1174734 0 0 15 8 8024 272 20 0 22 0 83373594 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140346163346320 140346732648967 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12368] ppid=12354 vsize=27853732 memory=0 CPUtime=82.97 cores=0-7 /proc/12357/task/12368/stat : 12368 (java) S 12354 12357 11898 0 -1 1077944384 23 1174734 0 0 1 0 8024 272 20 0 22 0 83373596 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140345269441312 140346747631317 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12369] ppid=12354 vsize=27853732 memory=0 CPUtime=82.96 cores=0-7 /proc/12357/task/12369/stat : 12369 (java) S 12354 12357 11898 0 -1 1077944384 14 1174734 0 0 0 0 8024 272 20 0 22 0 83373596 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140344364623008 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12370] ppid=12354 vsize=27853732 memory=0 CPUtime=82.96 cores=0-7 /proc/12357/task/12370/stat : 12370 (java) S 12354 12357 11898 0 -1 1077944384 22 1174734 0 0 0 0 8024 272 20 0 22 0 83373597 28522221568 1551247 33554432000 4194304 4196468 140724817314800 140344230400752 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12371] ppid=12354 vsize=27853732 memory=0 CPUtime=82.96 cores=0-7 /proc/12357/task/12371/stat : 12371 (java) S 12354 12357 11898 0 -1 1077944384 1 1174734 0 0 0 0 8024 272 20 0 22 0 83373599 28522221568 1551759 33554432000 4194304 4196468 140724817314800 140343855896528 140346747639707 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12372] ppid=12354 vsize=27853732 memory=0 CPUtime=88.03 cores=0-7 /proc/12357/task/12372/stat : 12372 (java) S 12354 12357 11898 0 -1 1077944384 4709 1174734 0 0 505 2 8024 272 20 0 22 0 83373599 28522221568 1551759 33554432000 4194304 4196468 140724817314800 140345268390640 140346747632258 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12373] ppid=12354 vsize=27853732 memory=0 CPUtime=87.68 cores=0-7 /proc/12357/task/12373/stat : 12373 (java) S 12354 12357 11898 0 -1 1077944384 4887 1174734 0 0 470 2 8024 272 20 0 22 0 83373599 28522221568 1551759 33554432000 4194304 4196468 140724817314800 140345267329376 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12374] ppid=12354 vsize=27853732 memory=0 CPUtime=87.88 cores=0-7 /proc/12357/task/12374/stat : 12374 (java) S 12354 12357 11898 0 -1 1077944384 4621 1174734 0 0 490 2 8024 272 20 0 22 0 83373599 28522221568 1551759 33554432000 4194304 4196468 140724817314800 140345266285040 140346747632258 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12375] ppid=12354 vsize=27853732 memory=0 CPUtime=84.89 cores=0-7 /proc/12357/task/12375/stat : 12375 (java) S 12354 12357 11898 0 -1 1077944384 4409 1174734 0 0 191 2 8024 272 20 0 22 0 83373599 28522221568 1551759 33554432000 4194304 4196468 140724817314800 140345265232496 140346747632258 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12376] ppid=12354 vsize=27853732 memory=0 CPUtime=82.96 cores=0-7 /proc/12357/task/12376/stat : 12376 (java) S 12354 12357 11898 0 -1 1077944384 3 1174734 0 0 0 0 8024 272 20 0 22 0 83373599 28522221568 1551759 33554432000 4194304 4196468 140724817314800 140343357991392 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12377] ppid=12354 vsize=27853732 memory=-1 CPUtime=82.97 cores=0-7 /proc/12357/task/12377/stat : 12377 (java) S 12354 12357 11898 0 -1 1077944384 5 1174734 0 0 0 1 8024 272 20 0 22 0 83373599 28522221568 1551759 33554432000 4194304 4196468 140724817314800 140345264179888 140346747632258 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12379] ppid=12354 vsize=27853732 memory=-1 CPUtime=82.96 cores=0-7 /proc/12357/task/12379/stat : 12379 (java) S 12354 12357 11898 0 -1 1077944384 24 1174734 0 0 0 0 8024 272 20 0 22 0 83375602 28522221568 1551759 33554432000 4194304 4196468 140724817314800 140345372105600 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12383] ppid=12354 vsize=27853732 memory=0 CPUtime=82.96 cores=0-7 /proc/12357/task/12383/stat : 12383 (java) S 12354 12357 11898 0 -1 1077944384 7 1174734 0 0 0 0 8024 272 20 0 22 0 83375604 28522221568 1551759 33554432000 4194304 4196468 140724817314800 140342418463792 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 Current children cumulated CPU time: 121.64 s Current children cumulated vsize: 27853732 KiB Current children cumulated memory: 6204988 KiB [startup+35.1202 s] /proc/loadavg: 6.73 8.29 8.67 10/206 12391 /proc/meminfo: memFree=17283032/32770624 swapFree=67108860/67108860 [pid=12357] ppid=12354 vsize=27853732 memory=6272828 CPUtime=122.24 cores=0-7 /proc/12357/stat : 12357 (java) S 12354 12357 11898 0 -1 1077944320 43146 1174734 0 0 3734 194 8024 272 20 0 22 0 83373592 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140724817297344 140346747621111 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 /proc/12357/statm: 6963433 1568207 3249 1 0 6924289 0 [pid=12357/tid=12359] ppid=12354 vsize=27853732 memory=6098252 CPUtime=102.9 cores=0-7 /proc/12357/task/12359/stat : 12359 (java) R 12354 12357 11898 0 -1 4202560 21317 1174734 0 0 1902 92 8024 272 20 0 22 0 83373592 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140346719459680 140724817356738 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12360] ppid=12354 vsize=27853732 memory=613 CPUtime=83.24 cores=0-7 /proc/12357/task/12360/stat : 12360 (java) S 12354 12357 11898 0 -1 1077944384 298 1174734 0 0 18 10 8024 272 20 0 22 0 83373594 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140346751863312 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12361] ppid=12354 vsize=27853732 memory=607 CPUtime=83.25 cores=0-7 /proc/12357/task/12361/stat : 12361 (java) S 12354 12357 11898 0 -1 1077944384 166 1174734 0 0 19 10 8024 272 20 0 22 0 83373594 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140346580957840 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12362] ppid=12354 vsize=27853732 memory=0 CPUtime=83.22 cores=0-7 /proc/12357/task/12362/stat : 12362 (java) S 12354 12357 11898 0 -1 1077944384 169 1174734 0 0 17 9 8024 272 20 0 22 0 83373594 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140346168609040 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12363] ppid=12354 vsize=27853732 memory=0 CPUtime=83.26 cores=0-7 /proc/12357/task/12363/stat : 12363 (java) S 12354 12357 11898 0 -1 1077944384 191 1174734 0 0 18 12 8024 272 20 0 22 0 83373594 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140346167556496 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12364] ppid=12354 vsize=27853732 memory=1692812 CPUtime=83.25 cores=0-7 /proc/12357/task/12364/stat : 12364 (java) S 12354 12357 11898 0 -1 1077944384 242 1174734 0 0 18 11 8024 272 20 0 22 0 83373594 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140346166504464 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12365] ppid=12354 vsize=27853732 memory=24656 CPUtime=83.26 cores=0-7 /proc/12357/task/12365/stat : 12365 (java) S 12354 12357 11898 0 -1 1077944384 179 1174734 0 0 19 11 8024 272 20 0 22 0 83373594 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140346165451920 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12366] ppid=12354 vsize=27853732 memory=2396 CPUtime=83.25 cores=0-7 /proc/12357/task/12366/stat : 12366 (java) S 12354 12357 11898 0 -1 1077944384 205 1174734 0 0 17 12 8024 272 20 0 22 0 83373594 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140346164398864 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12367] ppid=12354 vsize=27853732 memory=1568 CPUtime=83.24 cores=0-7 /proc/12357/task/12367/stat : 12367 (java) S 12354 12357 11898 0 -1 1077944384 169 1174734 0 0 18 10 8024 272 20 0 22 0 83373594 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140346163346320 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12368] ppid=12354 vsize=27853732 memory=2240 CPUtime=82.97 cores=0-7 /proc/12357/task/12368/stat : 12368 (java) S 12354 12357 11898 0 -1 1077944384 23 1174734 0 0 1 0 8024 272 20 0 22 0 83373596 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140345269442800 140346747632258 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12369] ppid=12354 vsize=27853732 memory=4124 CPUtime=82.96 cores=0-7 /proc/12357/task/12369/stat : 12369 (java) S 12354 12357 11898 0 -1 1077944384 14 1174734 0 0 0 0 8024 272 20 0 22 0 83373596 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140344364623072 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12370] ppid=12354 vsize=27853732 memory=4096 CPUtime=82.96 cores=0-7 /proc/12357/task/12370/stat : 12370 (java) S 12354 12357 11898 0 -1 1077944384 22 1174734 0 0 0 0 8024 272 20 0 22 0 83373597 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140344230400768 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12371] ppid=12354 vsize=27853732 memory=24656 CPUtime=82.96 cores=0-7 /proc/12357/task/12371/stat : 12371 (java) S 12354 12357 11898 0 -1 1077944384 1 1174734 0 0 0 0 8024 272 20 0 22 0 83373599 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140343855896528 140346747639707 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12372] ppid=12354 vsize=27853732 memory=2396 CPUtime=88.07 cores=0-7 /proc/12357/task/12372/stat : 12372 (java) R 12354 12357 11898 0 -1 4202560 4709 1174734 0 0 509 2 8024 272 20 0 22 0 83373599 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140345268372352 140346725215856 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12373] ppid=12354 vsize=27853732 memory=1292 CPUtime=87.73 cores=0-7 /proc/12357/task/12373/stat : 12373 (java) R 12354 12357 11898 0 -1 4202560 4890 1174734 0 0 475 2 8024 272 20 0 22 0 83373599 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140345267324432 140346732741121 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12374] ppid=12354 vsize=27853732 memory=1686196 CPUtime=87.92 cores=0-7 /proc/12357/task/12374/stat : 12374 (java) R 12354 12357 11898 0 -1 4202560 4625 1174734 0 0 494 2 8024 272 20 0 22 0 83373599 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140345266284224 140346729141980 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12375] ppid=12354 vsize=27853732 memory=4096 CPUtime=84.92 cores=0-7 /proc/12357/task/12375/stat : 12375 (java) R 12354 12357 11898 0 -1 4202560 4513 1174734 0 0 194 2 8024 272 20 0 22 0 83373599 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140345265232496 140346729030793 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12376] ppid=12354 vsize=27853732 memory=24656 CPUtime=82.96 cores=0-7 /proc/12357/task/12376/stat : 12376 (java) S 12354 12357 11898 0 -1 1077944384 3 1174734 0 0 0 0 8024 272 20 0 22 0 83373599 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140343357991392 140346747631317 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12377] ppid=12354 vsize=27853732 memory=2396 CPUtime=82.97 cores=0-7 /proc/12357/task/12377/stat : 12377 (java) S 12354 12357 11898 0 -1 1077944384 5 1174734 0 0 0 1 8024 272 20 0 22 0 83373599 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140345264179888 140346747632258 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12379] ppid=12354 vsize=27853732 memory=1292 CPUtime=82.96 cores=0-7 /proc/12357/task/12379/stat : 12379 (java) S 12354 12357 11898 0 -1 1077944384 27 1174734 0 0 0 0 8024 272 20 0 22 0 83375602 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140345372110992 140346747632258 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 [pid=12357/tid=12383] ppid=12354 vsize=27853732 memory=-5155627994519858565 CPUtime=82.96 cores=0-7 /proc/12357/task/12383/stat : 12383 (java) S 12354 12357 11898 0 -1 1077944384 19 1174734 0 0 0 0 8024 272 20 0 22 0 83375604 28522221568 1568207 33554432000 4194304 4196468 140724817314800 140342418465968 140346747632258 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140724817318873 140724817319173 140724817319173 140724817321935 0 Current children cumulated CPU time: 122.24 s Current children cumulated vsize: 27853732 KiB Current children cumulated memory: 6272828 KiB Child status: 0 Real time (s): 35.1941 CPU time (s): 122.415 CPU user time (s): 117.685 CPU system time (s): 4.72981 CPU usage (%): 347.828 Max. virtual memory (cumulated for all children) (KiB): 30204508 Max. memory (cumulated for all children) (KiB): 7824420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 117.685 system time used= 4.72981 maximum resident set size= 6273748 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1217940 page faults= 0 swaps= 0 block input operations= 0 block output operations= 97408 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 68119 involuntary context switches= 862 # summary of solver processes directly reported to runsolver: # pid: 12357 # total CPU time (s): 122.415 # total CPU user time (s): 117.685 # total CPU system time (s): 4.72981 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.275163 second user time and 0.474112 second system time The end
Begin job on node134 at 2018-07-27 04:21:44 IDJOB=4297106 IDBENCH=141395 IDSOLVER=2758 FILE ID=node134/4297106-1532658104 RUNJOBID= node134-1532655521-11925 PBS_JOBID= 21022224 Free space on /tmp= 55560 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-12_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297106-1532658104/watcher-4297106-1532658104 -o /tmp/evaluation-result-4297106-1532658104/solver-4297106-1532658104 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532655521-11925 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297106-1532658104.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 193461ec87a084283094d7342f0c20d4 RANDOM SEED=1157405375 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: 23517100 kB MemAvailable: 31957652 kB Buffers: 177992 kB Cached: 8523800 kB SwapCached: 0 kB Active: 2219908 kB Inactive: 6535740 kB Active(anon): 2896 kB Inactive(anon): 78916 kB Active(file): 2217012 kB Inactive(file): 6456824 kB Unevictable: 7396 kB Mlocked: 7396 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8536 kB Writeback: 0 kB AnonPages: 61152 kB Mapped: 41272 kB Shmem: 25248 kB Slab: 192796 kB SReclaimable: 165100 kB SUnreclaim: 27696 kB KernelStack: 3264 kB PageTables: 4732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323996 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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:19