Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-07) | SAT | 119.332 | 27.5331 |
Name | MisteryShopper/ MisteryShopper-06d_c18.xml |
MD5SUM | 71f002b78114a95e8a0fa642f39b0e56 |
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 | 13.5792 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1176 |
Number of constraints | 701 |
Number of domains | 3 |
Minimum domain size | 7 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":7,"count":294},{"size":8,"count":294},{"size":42,"count":588}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":588},{"degree":3,"count":294},{"degree":4,"count":259},{"degree":5,"count":35}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 294 |
Distribution of constraint arities | [{"arity":2,"count":588},{"arity":5,"count":7},{"arity":7,"count":84},{"arity":42,"count":14},{"arity":84,"count":7},{"arity":294,"count":1}] |
Number of extensional constraints | 588 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":588},{"type":"allDifferent","count":98},{"type":"ordered","count":7},{"type":"lex","count":1},{"type":"channel","count":7}] |
Optimization problem | NO |
Type of objective |
0.65/0.53 0.65/0.53 scop order+glucose-syrup (2018-07-07) 0.65/0.53 0.65/0.56 c BEGIN-Prog: Fri Jul 27 04:18:33 CEST 2018 0.65/0.56 c PID: 10507 0.65/0.56 c IP: 172.20.3.139 0.65/0.56 c HOST: node139.alineos.net 0.65/0.56 c (0,0) Parsing Begin 3.32/1.35 c (0,0) Parsing End 3.32/1.36 c (0,0) CSP: 1176 int (0 aux), 0 bool (0 aux), 701 ctr, max domain size 42 3.32/1.36 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.32/1.36 c (0,0) Constraint Name Generate Begin 3.32/1.38 c (0,0) Ctr:HOME/instance-4297101-1532657912.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr 3.32/1.38 c (0,0) Constraint Name Generate End 3.32/1.38 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.32/1.38 c (0,0) CSP to CSPinCNF Begin 6.13/2.14 c (1,1) translated 71 (10%) constraints 11.84/4.38 c (3,3) translated 141 (20%) constraints 12.72/4.59 c (4,4) translated 211 (30%) constraints 13.58/4.76 c (4,4) translated 281 (40%) constraints 14.20/4.91 c (4,4) translated 351 (50%) constraints 14.55/5.05 c (4,4) translated 421 (60%) constraints 15.33/5.20 c (4,4) translated 491 (70%) constraints 15.71/5.34 c (4,4) translated 561 (80%) constraints 15.95/5.47 c (4,4) translated 631 (90%) constraints 16.23/5.59 c (5,5) translated 701 (100%) constraints 17.59/6.00 c (5,5) STATISTICS1:HOME/instance-4297101-1532657912.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,6031,56774,42,42,42,2,42:11561;41:324;40:298;39:305;38:625;8:882;7:882,42:86359;41:1271;40:1121;39:1121;38:2210;8:6468;7:5880;2:22209,42:28;9:294;8:294;7:168;4:445;3:31211;2:24259;1:75,2:14877;1:121581;0:588, 17.59/6.00 c (5,5) =========================================== 17.59/6.00 c (5,5) Order 17.59/6.00 c (5,5) =========================================== 18.55/6.25 c (5,5) translated 5678 (10%) constraints 19.24/6.42 c (5,5) translated 11355 (20%) constraints 19.94/6.75 c (6,6) translated 17033 (30%) constraints 20.44/7.18 c (6,6) translated 22710 (40%) constraints 20.83/7.58 c (7,7) translated 28387 (50%) constraints 21.23/8.01 c (7,7) translated 34065 (60%) constraints 21.66/8.38 c (7,7) translated 39742 (70%) constraints 22.31/8.53 c (7,7) translated 45420 (80%) constraints 22.53/8.63 c (8,8) translated 51097 (90%) constraints 22.64/8.72 c (8,8) translated 56774 (100%) constraints 22.64/8.72 c (8,8) CSP to CSPinCNF End 22.64/8.73 c (8,8) CSP: 1176 int (0 aux), 29551 bool (29551 aux), 106166 ctr, max domain size 42 22.64/8.73 c (8,8) Heap : 2816 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 22.64/8.73 c (8,8) CSPinCNF Propagation Begin 24.67/9.49 c (8,8) 262 values, 2426 unsatisfiable literals, and 1752 valid clauses are removed 24.67/9.49 c (8,8) CSPinCNF Propagation End 24.67/9.50 c (8,8) CSP: 1368 int (192 aux), 29359 bool (29359 aux), 104414 ctr, max domain size 42 24.67/9.50 c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 24.67/9.50 c (8,8) Simplify CSPinCNF Begin 26.04/10.22 c (9,9) Simplify CSPinCNF End 26.04/10.25 c (9,9) CSP: 1368 int (192 aux), 57534 bool (57534 aux), 132589 ctr, max domain size 42 26.04/10.25 c (9,9) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 26.04/10.25 c (9,9) Calculate Precise Domain Begin 26.04/10.25 c (9,9) 0 values are removed by re-calculation 26.04/10.25 c (9,9) Calculate Precise Domain End 26.04/10.26 c (9,9) CSP: 1368 int (192 aux), 57534 bool (57534 aux), 132589 ctr, max domain size 42 26.04/10.26 c (9,9) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 26.04/10.26 c (9,9) CSPinCNF to SatSolver Begin 28.33/11.59 c (11,11) 13259 (10 %) CSP clauses are encoded (85272 SAT variables, 394862 SAT clauses) 29.46/12.69 c (12,12) 26518 (20 %) CSP clauses are encoded (85272 SAT variables, 764389 SAT clauses) 31.48/13.69 c (13,12) 39777 (30 %) CSP clauses are encoded (85272 SAT variables, 1053907 SAT clauses) 31.57/13.78 c (13,13) 53036 (40 %) CSP clauses are encoded (85272 SAT variables, 1075643 SAT clauses) 31.67/13.85 c (13,13) 66295 (50 %) CSP clauses are encoded (85272 SAT variables, 1088902 SAT clauses) 31.77/13.91 c (13,13) 79554 (60 %) CSP clauses are encoded (85272 SAT variables, 1102161 SAT clauses) 31.77/13.98 c (13,13) 92813 (70 %) CSP clauses are encoded (85272 SAT variables, 1115420 SAT clauses) 31.88/14.05 c (13,13) 106072 (80 %) CSP clauses are encoded (85272 SAT variables, 1128679 SAT clauses) 32.07/14.23 c (13,13) 119331 (90 %) CSP clauses are encoded (85272 SAT variables, 1184304 SAT clauses) 32.25/14.30 c (13,13) 132589 (100 %) CSP clauses are encoded (85272 SAT variables, 1197562 SAT clauses) 32.25/14.30 c (13,13) CSPinCNF to SatSolver End 32.25/14.30 c (13,13) Heap : 1070 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 33.15/14.71 c (14,13) STATISTICS2:HOME/instance-4297101-1532657912.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,58902,132589,42,42,42,2,42:19934;41:606;40:1165;39:1124;38:2338;8:1764;7:1764,42:145153;41:2169;40:4035;39:3711;38:7308;8:8232;7:7644;2:151335,42:7;38:20;36:1;8:294;7:462;4:445;3:29791;2:101494;1:75,2:28695;1:272197, 33.15/14.71 c (14,13) SatSolver.solve Begin 33.15/14.71 c (14,13) 85272 bool, 1197563 clause 33.15/14.71 c (14,13) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297101-1532657912.xml-scop-10507.cnf HOME/instance-4297101-1532657912.xml-scop-10507.cnf.out 110.28/26.35 c (25,0) c 110.28/26.35 c (25,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 110.28/26.35 c (25,0) c 110.28/26.35 c (25,0) c WARNING: for repeatability, setting FPU to use double precision 110.28/26.35 c (25,0) c 8 solvers engines and 1 companion as a blackboard created. 110.28/26.35 c (25,0) c ========================================[ Problem Statistics ]=========================================== 110.28/26.35 c (25,0) c | | 110.28/26.35 c (25,0) c | Number of variables: 85272 | 110.28/26.35 c (25,0) c | Number of clauses: 1196638 | 110.28/26.35 c (25,0) c | Parse time: 0.36 s | 110.28/26.35 c (25,0) c | | 110.28/26.35 c (25,0) c | Eliminated clauses: 0.93 Mb | 110.28/26.35 c (25,0) c | Simplification time: 1.36 s | 110.28/26.35 c (25,0) c | | 110.28/26.35 c (25,0) c | Generating clones | 110.28/26.35 c (25,0) c | all clones generated. Memory = 726.51Mb. | 110.28/26.35 c (25,0) c ========================================================================================================| 110.28/26.35 c (25,0) c 110.28/26.35 c (25,0) c |-------------------------------------------------------------------------------------------------------| 110.28/26.35 c (25,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 110.28/26.35 c (25,0) c |-------------------------------------------------------------------------------------------------------| 110.28/26.35 c (25,0) c | 0 | 42 | 157795 | 7660 | 44502 | 3840 | 516 | 3753 | 137 | 9.098 | 110.28/26.35 c (25,0) c | 1 | 41 | 177457 | 7566 | 48428 | 3633 | 511 | 3707 | 155 | 9.105 | 110.28/26.36 c (25,0) c | 2 | 36 | 176820 | 8253 | 48352 | 4430 | 585 | 3701 | 132 | 9.098 | 110.28/26.36 c (25,0) c | 3 | 25 | 177660 | 8351 | 52154 | 4505 | 494 | 3850 | 133 | 9.105 | 110.28/26.36 c (25,0) c | 4 | 43 | 231896 | 10625 | 57300 | 6796 | 878 | 3468 | 157 | 9.098 | 110.28/26.36 c (25,0) c | 5 | 29 | 180523 | 8571 | 49638 | 4725 | 635 | 3657 | 106 | 9.098 | 110.28/26.36 c (25,0) c | 6 | 37 | 136022 | 5952 | 41255 | 4779 | 307 | 4008 | 114 | 9.098 | 110.28/26.36 c (25,0) c | 7 | 32 | 132990 | 7454 | 42467 | 3642 | 432 | 3921 | 72 | 9.105 | 110.28/26.36 c (25,0) c 110.28/26.36 c (25,0) c synthesis 64433 conflicts 69421428 propagations 1764 conflicts/sec 1900616 propagations/sec 110.28/26.36 c (25,0) c Total Memory so far : 1309.50Mb 110.28/26.36 c (25,0) c 110.28/26.36 c (25,0) c |-------------------------------------------------------------------------------------------------------| 110.28/26.36 c (25,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 110.28/26.36 c (25,0) c |-------------------------------------------------------------------------------------------------------| 110.28/26.36 c (25,0) c | 0 | 91 | 337157 | 16010 | 81757 | 7162 | 1430 | 11273 | 494 | 9.405 | 110.28/26.36 c (25,0) c | 1 | 94 | 377924 | 16371 | 85149 | 7483 | 1390 | 11244 | 629 | 9.412 | 110.28/26.36 c (25,0) c | 2 | 82 | 384829 | 19787 | 86196 | 10989 | 2170 | 10671 | 669 | 9.405 | 110.28/26.36 c (25,0) c | 3 | 76 | 377839 | 17811 | 93112 | 8983 | 1469 | 11612 | 503 | 9.405 | 110.28/26.36 c (25,0) c | 4 | 97 | 442325 | 20930 | 92493 | 12113 | 2006 | 11108 | 597 | 9.405 | 110.28/26.36 c (25,0) c | 5 | 81 | 385165 | 18358 | 87205 | 9508 | 1657 | 11452 | 583 | 9.405 | 110.28/26.36 c (25,0) c | 6 | 94 | 353282 | 16217 | 82038 | 7383 | 1390 | 11632 | 633 | 9.405 | 110.28/26.36 c (25,0) c | 7 | 79 | 349667 | 18162 | 86679 | 9310 | 1602 | 11478 | 563 | 9.405 | 110.28/26.36 c (25,0) c 118.26/27.36 c (26,0) c synthesis 143648 conflicts 163930088 propagations 1885 conflicts/sec 2151339 propagations/sec 118.26/27.36 c (26,0) c Total Memory so far : 1310.02Mb 118.26/27.36 c (26,0) c last restart ## conflicts : 292 771 118.26/27.36 c (26,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer). 118.26/27.36 c (26,0) c Total Memory so far : 1310.27Mb 118.26/27.36 c (26,0) c 118.26/27.36 c (26,0) c real time : 12.6369 s 118.26/27.36 c (26,0) c cpu time : 84.1784 s 118.26/27.36 c (26,0) c 118.26/27.36 c (26,0) c 118.26/27.36 c (26,0) c 118.26/27.37 c (26,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 118.26/27.37 c (26,0) c 118.26/27.37 c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 118.26/27.37 c (26,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 118.26/27.37 c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 118.26/27.37 c (26,0) c | Conflicts | 160468 | 17536 | 19816 | 21677 | 19585 | 23178 | 20380 | 18272 | 20024 | 118.26/27.37 c (26,0) c | Decisions | 3310562 | 372129 | 412523 | 422971 | 415212 | 482411 | 422998 | 392802 | 389516 | 118.26/27.37 c (26,0) c | Propagations | 182327463 | 21052656 | 22005980 | 23046527 | 22933752 | 26230197 | 23362088 | 21749569 | 21946694 | 118.26/27.37 c (26,0) c | Avg_Trail | | 22582 | 22834 | 23583 | 24461 | 22639 | 23251 | 23217 | 23590 | 118.26/27.37 c (26,0) c | Avg_DL | | 309 | 326 | 337 | 364 | 315 | 331 | 328 | 340 | 118.26/27.37 c (26,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 118.26/27.37 c (26,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 118.26/27.37 c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 118.26/27.37 c (26,0) c | Exported | 15210 | 1595 | 2008 | 2365 | 1682 | 2308 | 1878 | 1584 | 1790 | 118.26/27.37 c (26,0) c | Imported | 103466 | 13148 | 13134 | 12311 | 12831 | 12831 | 12984 | 12930 | 13297 | 118.26/27.37 c (26,0) c | Good | 18735 | 2310 | 2344 | 2349 | 2366 | 2293 | 2314 | 2364 | 2395 | 118.26/27.37 c (26,0) c | Purge | 84731 | 10838 | 10790 | 9962 | 10465 | 10538 | 10670 | 10566 | 10902 | 118.26/27.37 c (26,0) c | Promoted | 5588 | 604 | 753 | 782 | 590 | 703 | 717 | 738 | 701 | 118.26/27.37 c (26,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 118.26/27.37 c (26,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 118.26/27.37 c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 118.26/27.37 c (26,0) c | Unaries | | 47 | 9 | 24 | 8 | 10 | 31 | 15 | 19 | 118.26/27.37 c (26,0) c | Binaries | | 373 | 335 | 332 | 294 | 395 | 371 | 298 | 290 | 118.26/27.37 c (26,0) c | Glues | | 612 | 637 | 654 | 575 | 674 | 706 | 553 | 556 | 118.26/27.37 c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 118.26/27.37 c (26,0) c | Orig_Seen | 7 % | 87858 | 92166 | 93744 | 99411 | 97892 | 93374 | 90698 | 93827 | 118.26/27.37 c (26,0) c | Diff Orig seen| | - 2840 | 1468 | 3046 | 8713 | 7194 | 2676 | X | 3129 | 118.26/27.37 c (26,0) c | Hamming | 16 % | 13719 | 14201 | 13890 | 13569 | 12685 | 13641 | X | 14453 | 118.26/27.37 c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 118.26/27.37 c (26,0) 118.26/27.37 c (26,0) s SATISFIABLE 33.41/27.43 c (26,14) SatSolver.solve End 33.41/27.43 c (26,14) Heap : 1737 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 33.41/27.43 c (26,14) Show results Begin 33.41/27.47 c (26,14) gve[0][0] = 0 33.41/27.47 c (26,14) gve[0][1] = 5 33.41/27.47 c (26,14) gve[0][2] = 2 33.41/27.47 c (26,14) gve[0][3] = 4 33.41/27.47 c (26,14) gve[0][4] = 1 33.41/27.47 c (26,14) gve[0][5] = 6 33.41/27.47 c (26,14) gve[0][6] = 3 33.41/27.47 c (26,14) gve[1][0] = 0 33.41/27.47 c (26,14) gve[1][1] = 2 33.41/27.47 c (26,14) gve[1][2] = 6 33.41/27.47 c (26,14) gve[1][3] = 5 33.41/27.47 c (26,14) gve[1][4] = 7 33.41/27.47 c (26,14) gve[1][5] = 3 33.41/27.47 c (26,14) gve[1][6] = 4 33.41/27.47 c (26,14) gve[2][0] = 0 33.41/27.47 c (26,14) gve[2][1] = 2 33.41/27.47 c (26,14) gve[2][2] = 6 33.41/27.47 c (26,14) gve[2][3] = 1 33.41/27.47 c (26,14) gve[2][4] = 7 33.41/27.47 c (26,14) gve[2][5] = 4 33.41/27.47 c (26,14) gve[2][6] = 3 33.41/27.47 c (26,14) gve[3][0] = 0 33.41/27.47 c (26,14) gve[3][1] = 6 33.41/27.47 c (26,14) gve[3][2] = 4 33.41/27.47 c (26,14) gve[3][3] = 2 33.41/27.47 c (26,14) gve[3][4] = 7 33.41/27.47 c (26,14) gve[3][5] = 5 33.41/27.47 c (26,14) gve[3][6] = 3 33.41/27.47 c (26,14) gve[4][0] = 0 33.41/27.47 c (26,14) gve[4][1] = 5 33.41/27.47 c (26,14) gve[4][2] = 1 33.41/27.47 c (26,14) gve[4][3] = 6 33.41/27.47 c (26,14) gve[4][4] = 7 33.41/27.47 c (26,14) gve[4][5] = 4 33.41/27.47 c (26,14) gve[4][6] = 2 33.41/27.47 c (26,14) gve[5][0] = 1 33.41/27.47 c (26,14) gve[5][1] = 3 33.41/27.47 c (26,14) gve[5][2] = 5 33.41/27.47 c (26,14) gve[5][3] = 6 33.41/27.47 c (26,14) gve[5][4] = 7 33.41/27.47 c (26,14) gve[5][5] = 2 33.41/27.47 c (26,14) gve[5][6] = 4 33.41/27.47 c (26,14) gve[6][0] = 1 33.41/27.47 c (26,14) gve[6][1] = 4 33.41/27.47 c (26,14) gve[6][2] = 7 33.41/27.47 c (26,14) gve[6][3] = 3 33.41/27.47 c (26,14) gve[6][4] = 2 33.41/27.47 c (26,14) gve[6][5] = 6 33.41/27.47 c (26,14) gve[6][6] = 5 33.41/27.47 c (26,14) gve[7][0] = 1 33.41/27.47 c (26,14) gve[7][1] = 6 33.41/27.47 c (26,14) gve[7][2] = 4 33.41/27.47 c (26,14) gve[7][3] = 3 33.41/27.47 c (26,14) gve[7][4] = 2 33.41/27.47 c (26,14) gve[7][5] = 5 33.41/27.47 c (26,14) gve[7][6] = 0 33.41/27.47 c (26,14) gve[8][0] = 1 33.41/27.47 c (26,14) gve[8][1] = 6 33.41/27.47 c (26,14) gve[8][2] = 7 33.41/27.47 c (26,14) gve[8][3] = 3 33.41/27.47 c (26,14) gve[8][4] = 2 33.41/27.47 c (26,14) gve[8][5] = 0 33.41/27.47 c (26,14) gve[8][6] = 4 33.41/27.47 c (26,14) gve[9][0] = 2 33.41/27.47 c (26,14) gve[9][1] = 0 33.41/27.47 c (26,14) gve[9][2] = 7 33.41/27.47 c (26,14) gve[9][3] = 4 33.41/27.47 c (26,14) gve[9][4] = 5 33.41/27.47 c (26,14) gve[9][5] = 3 33.41/27.47 c (26,14) gve[9][6] = 6 33.41/27.47 c (26,14) gve[10][0] = 2 33.41/27.47 c (26,14) gve[10][1] = 0 33.41/27.47 c (26,14) gve[10][2] = 7 33.41/27.47 c (26,14) gve[10][3] = 6 33.41/27.47 c (26,14) gve[10][4] = 4 33.41/27.47 c (26,14) gve[10][5] = 1 33.41/27.47 c (26,14) gve[10][6] = 5 33.41/27.47 c (26,14) gve[11][0] = 2 33.41/27.47 c (26,14) gve[11][1] = 5 33.41/27.47 c (26,14) gve[11][2] = 7 33.41/27.47 c (26,14) gve[11][3] = 0 33.41/27.47 c (26,14) gve[11][4] = 3 33.41/27.47 c (26,14) gve[11][5] = 6 33.41/27.47 c (26,14) gve[11][6] = 4 33.41/27.47 c (26,14) gve[12][0] = 2 33.41/27.47 c (26,14) gve[12][1] = 3 33.41/27.47 c (26,14) gve[12][2] = 0 33.41/27.47 c (26,14) gve[12][3] = 4 33.41/27.47 c (26,14) gve[12][4] = 6 33.41/27.47 c (26,14) gve[12][5] = 7 33.41/27.47 c (26,14) gve[12][6] = 1 33.41/27.47 c (26,14) gve[13][0] = 2 33.41/27.47 c (26,14) gve[13][1] = 4 33.41/27.47 c (26,14) gve[13][2] = 6 33.41/27.47 c (26,14) gve[13][3] = 5 33.41/27.47 c (26,14) gve[13][4] = 3 33.41/27.47 c (26,14) gve[13][5] = 7 33.41/27.47 c (26,14) gve[13][6] = 0 33.41/27.47 c (26,14) gve[14][0] = 2 33.41/27.47 c (26,14) gve[14][1] = 6 33.41/27.47 c (26,14) gve[14][2] = 4 33.41/27.47 c (26,14) gve[14][3] = 1 33.41/27.47 c (26,14) gve[14][4] = 5 33.41/27.47 c (26,14) gve[14][5] = 7 33.41/27.47 c (26,14) gve[14][6] = 0 33.41/27.47 c (26,14) gve[15][0] = 3 33.41/27.47 c (26,14) gve[15][1] = 2 33.41/27.47 c (26,14) gve[15][2] = 0 33.41/27.47 c (26,14) gve[15][3] = 5 33.41/27.47 c (26,14) gve[15][4] = 4 33.41/27.47 c (26,14) gve[15][5] = 7 33.41/27.47 c (26,14) gve[15][6] = 6 33.41/27.47 c (26,14) gve[16][0] = 3 33.41/27.47 c (26,14) gve[16][1] = 1 33.41/27.47 c (26,14) gve[16][2] = 5 33.41/27.47 c (26,14) gve[16][3] = 2 33.41/27.47 c (26,14) gve[16][4] = 0 33.41/27.47 c (26,14) gve[16][5] = 6 33.41/27.47 c (26,14) gve[16][6] = 4 33.41/27.47 c (26,14) gve[17][0] = 3 33.41/27.47 c (26,14) gve[17][1] = 5 33.41/27.47 c (26,14) gve[17][2] = 6 33.41/27.47 c (26,14) gve[17][3] = 1 33.41/27.47 c (26,14) gve[17][4] = 4 33.41/27.47 c (26,14) gve[17][5] = 7 33.41/27.47 c (26,14) gve[17][6] = 2 33.41/27.47 c (26,14) gve[18][0] = 3 33.41/27.47 c (26,14) gve[18][1] = 4 33.41/27.47 c (26,14) gve[18][2] = 1 33.41/27.47 c (26,14) gve[18][3] = 2 33.41/27.47 c (26,14) gve[18][4] = 6 33.41/27.47 c (26,14) gve[18][5] = 5 33.41/27.47 c (26,14) gve[18][6] = 7 33.41/27.47 c (26,14) gve[19][0] = 3 33.41/27.47 c (26,14) gve[19][1] = 1 33.41/27.47 c (26,14) gve[19][2] = 0 33.41/27.47 c (26,14) gve[19][3] = 6 33.41/27.47 c (26,14) gve[19][4] = 4 33.41/27.47 c (26,14) gve[19][5] = 2 33.41/27.47 c (26,14) gve[19][6] = 7 33.41/27.47 c (26,14) gve[20][0] = 4 33.41/27.47 c (26,14) gve[20][1] = 6 33.41/27.47 c (26,14) gve[20][2] = 5 33.41/27.47 c (26,14) gve[20][3] = 0 33.41/27.47 c (26,14) gve[20][4] = 3 33.41/27.47 c (26,14) gve[20][5] = 2 33.41/27.47 c (26,14) gve[20][6] = 1 33.41/27.47 c (26,14) gve[21][0] = 4 33.41/27.47 c (26,14) gve[21][1] = 0 33.41/27.47 c (26,14) gve[21][2] = 5 33.41/27.47 c (26,14) gve[21][3] = 2 33.41/27.47 c (26,14) gve[21][4] = 3 33.41/27.47 c (26,14) gve[21][5] = 6 33.41/27.47 c (26,14) gve[21][6] = 7 33.41/27.47 c (26,14) gve[22][0] = 4 33.41/27.47 c (26,14) gve[22][1] = 2 33.41/27.47 c (26,14) gve[22][2] = 6 33.41/27.47 c (26,14) gve[22][3] = 5 33.41/27.47 c (26,14) gve[22][4] = 0 33.41/27.47 c (26,14) gve[22][5] = 1 33.41/27.47 c (26,14) gve[22][6] = 7 33.41/27.47 c (26,14) gve[23][0] = 4 33.41/27.47 c (26,14) gve[23][1] = 6 33.41/27.47 c (26,14) gve[23][2] = 2 33.41/27.47 c (26,14) gve[23][3] = 5 33.41/27.47 c (26,14) gve[23][4] = 0 33.41/27.47 c (26,14) gve[23][5] = 3 33.41/27.47 c (26,14) gve[23][6] = 7 33.41/27.47 c (26,14) gve[24][0] = 4 33.41/27.47 c (26,14) gve[24][1] = 3 33.41/27.47 c (26,14) gve[24][2] = 0 33.41/27.47 c (26,14) gve[24][3] = 7 33.41/27.47 c (26,14) gve[24][4] = 1 33.41/27.47 c (26,14) gve[24][5] = 2 33.41/27.47 c (26,14) gve[24][6] = 6 33.41/27.47 c (26,14) gve[25][0] = 4 33.41/27.47 c (26,14) gve[25][1] = 0 33.41/27.47 c (26,14) gve[25][2] = 2 33.41/27.47 c (26,14) gve[25][3] = 7 33.41/27.47 c (26,14) gve[25][4] = 5 33.41/27.47 c (26,14) gve[25][5] = 3 33.41/27.47 c (26,14) gve[25][6] = 6 33.41/27.47 c (26,14) gve[26][0] = 5 33.41/27.47 c (26,14) gve[26][1] = 2 33.41/27.47 c (26,14) gve[26][2] = 4 33.41/27.47 c (26,14) gve[26][3] = 7 33.41/27.47 c (26,14) gve[26][4] = 6 33.41/27.47 c (26,14) gve[26][5] = 1 33.41/27.47 c (26,14) gve[26][6] = 0 33.41/27.47 c (26,14) gve[27][0] = 5 33.41/27.47 c (26,14) gve[27][1] = 1 33.41/27.47 c (26,14) gve[27][2] = 2 33.41/27.47 c (26,14) gve[27][3] = 6 33.41/27.47 c (26,14) gve[27][4] = 0 33.41/27.47 c (26,14) gve[27][5] = 4 33.41/27.47 c (26,14) gve[27][6] = 3 33.41/27.47 c (26,14) gve[28][0] = 5 33.41/27.47 c (26,14) gve[28][1] = 2 33.41/27.47 c (26,14) gve[28][2] = 0 33.41/27.47 c (26,14) gve[28][3] = 7 33.41/27.47 c (26,14) gve[28][4] = 6 33.41/27.47 c (26,14) gve[28][5] = 4 33.41/27.47 c (26,14) gve[28][6] = 3 33.41/27.47 c (26,14) gve[29][0] = 5 33.41/27.47 c (26,14) gve[29][1] = 4 33.41/27.47 c (26,14) gve[29][2] = 2 33.41/27.47 c (26,14) gve[29][3] = 7 33.41/27.47 c (26,14) gve[29][4] = 3 33.41/27.47 c (26,14) gve[29][5] = 6 33.41/27.47 c (26,14) gve[29][6] = 1 33.41/27.47 c (26,14) gve[30][0] = 5 33.41/27.47 c (26,14) gve[30][1] = 7 33.41/27.47 c (26,14) gve[30][2] = 4 33.41/27.47 c (26,14) gve[30][3] = 3 33.41/27.47 c (26,14) gve[30][4] = 2 33.41/27.47 c (26,14) gve[30][5] = 1 33.41/27.47 c (26,14) gve[30][6] = 6 33.41/27.47 c (26,14) gve[31][0] = 6 33.41/27.47 c (26,14) gve[31][1] = 7 33.41/27.47 c (26,14) gve[31][2] = 4 33.41/27.47 c (26,14) gve[31][3] = 0 33.41/27.47 c (26,14) gve[31][4] = 2 33.41/27.47 c (26,14) gve[31][5] = 3 33.41/27.47 c (26,14) gve[31][6] = 1 33.41/27.47 c (26,14) gve[32][0] = 6 33.41/27.47 c (26,14) gve[32][1] = 7 33.41/27.47 c (26,14) gve[32][2] = 2 33.41/27.47 c (26,14) gve[32][3] = 3 33.41/27.47 c (26,14) gve[32][4] = 0 33.41/27.47 c (26,14) gve[32][5] = 4 33.41/27.47 c (26,14) gve[32][6] = 5 33.41/27.47 c (26,14) gve[33][0] = 6 33.41/27.47 c (26,14) gve[33][1] = 7 33.41/27.47 c (26,14) gve[33][2] = 3 33.41/27.47 c (26,14) gve[33][3] = 2 33.41/27.47 c (26,14) gve[33][4] = 4 33.41/27.47 c (26,14) gve[33][5] = 0 33.41/27.47 c (26,14) gve[33][6] = 5 33.41/27.47 c (26,14) gve[34][0] = 6 33.41/27.47 c (26,14) gve[34][1] = 7 33.41/27.47 c (26,14) gve[34][2] = 1 33.41/27.47 c (26,14) gve[34][3] = 4 33.41/27.47 c (26,14) gve[34][4] = 5 33.41/27.47 c (26,14) gve[34][5] = 0 33.41/27.47 c (26,14) gve[34][6] = 2 33.41/27.47 c (26,14) gve[35][0] = 6 33.41/27.47 c (26,14) gve[35][1] = 3 33.41/27.47 c (26,14) gve[35][2] = 5 33.41/27.47 c (26,14) gve[35][3] = 1 33.41/27.47 c (26,14) gve[35][4] = 4 33.41/27.47 c (26,14) gve[35][5] = 0 33.41/27.47 c (26,14) gve[35][6] = 2 33.41/27.47 c (26,14) gve[36][0] = 6 33.41/27.47 c (26,14) gve[36][1] = 4 33.41/27.47 c (26,14) gve[36][2] = 3 33.41/27.47 c (26,14) gve[36][3] = 2 33.41/27.47 c (26,14) gve[36][4] = 1 33.41/27.47 c (26,14) gve[36][5] = 5 33.41/27.47 c (26,14) gve[36][6] = 0 33.41/27.47 c (26,14) gve[37][0] = 7 33.41/27.47 c (26,14) gve[37][1] = 5 33.41/27.47 c (26,14) gve[37][2] = 1 33.41/27.47 c (26,14) gve[37][3] = 4 33.41/27.47 c (26,14) gve[37][4] = 6 33.41/27.47 c (26,14) gve[37][5] = 0 33.41/27.47 c (26,14) gve[37][6] = 2 33.41/27.47 c (26,14) gve[38][0] = 7 33.41/27.47 c (26,14) gve[38][1] = 0 33.41/27.47 c (26,14) gve[38][2] = 3 33.41/27.47 c (26,14) gve[38][3] = 6 33.41/27.47 c (26,14) gve[38][4] = 1 33.41/27.47 c (26,14) gve[38][5] = 2 33.41/27.47 c (26,14) gve[38][6] = 4 33.41/27.47 c (26,14) gve[39][0] = 7 33.41/27.47 c (26,14) gve[39][1] = 1 33.41/27.47 c (26,14) gve[39][2] = 3 33.41/27.47 c (26,14) gve[39][3] = 4 33.41/27.47 c (26,14) gve[39][4] = 6 33.41/27.47 c (26,14) gve[39][5] = 5 33.41/27.47 c (26,14) gve[39][6] = 2 33.41/27.47 c (26,14) gve[40][0] = 7 33.41/27.47 c (26,14) gve[40][1] = 3 33.41/27.47 c (26,14) gve[40][2] = 6 33.41/27.47 c (26,14) gve[40][3] = 0 33.41/27.47 c (26,14) gve[40][4] = 2 33.41/27.47 c (26,14) gve[40][5] = 4 33.41/27.47 c (26,14) gve[40][6] = 5 33.41/27.47 c (26,14) gve[41][0] = 7 33.41/27.47 c (26,14) gve[41][1] = 4 33.41/27.47 c (26,14) gve[41][2] = 3 33.41/27.47 c (26,14) gve[41][3] = 0 33.41/27.47 c (26,14) gve[41][4] = 5 33.41/27.47 c (26,14) gve[41][5] = 2 33.41/27.47 c (26,14) gve[41][6] = 6 33.41/27.47 c (26,14) gvr[0][0] = 0 33.41/27.47 c (26,14) gvr[0][1] = 1 33.41/27.47 c (26,14) gvr[0][2] = 2 33.41/27.47 c (26,14) gvr[0][3] = 3 33.41/27.47 c (26,14) gvr[0][4] = 4 33.41/27.47 c (26,14) gvr[0][5] = 5 33.41/27.47 c (26,14) gvr[0][6] = 6 33.41/27.47 c (26,14) gvr[1][0] = 0 33.41/27.47 c (26,14) gvr[1][1] = 4 33.41/27.47 c (26,14) gvr[1][2] = 3 33.41/27.47 c (26,14) gvr[1][3] = 6 33.41/27.47 c (26,14) gvr[1][4] = 5 33.41/27.47 c (26,14) gvr[1][5] = 1 33.41/27.47 c (26,14) gvr[1][6] = 2 33.41/27.47 c (26,14) gvr[2][0] = 0 33.41/27.47 c (26,14) gvr[2][1] = 3 33.41/27.47 c (26,14) gvr[2][2] = 4 33.41/27.47 c (26,14) gvr[2][3] = 6 33.41/27.47 c (26,14) gvr[2][4] = 2 33.41/27.47 c (26,14) gvr[2][5] = 5 33.41/27.47 c (26,14) gvr[2][6] = 1 33.41/27.47 c (26,14) gvr[3][0] = 0 33.41/27.47 c (26,14) gvr[3][1] = 6 33.41/27.47 c (26,14) gvr[3][2] = 2 33.41/27.47 c (26,14) gvr[3][3] = 1 33.41/27.47 c (26,14) gvr[3][4] = 3 33.41/27.47 c (26,14) gvr[3][5] = 5 33.41/27.47 c (26,14) gvr[3][6] = 4 33.41/27.47 c (26,14) gvr[4][0] = 0 33.41/27.47 c (26,14) gvr[4][1] = 1 33.41/27.47 c (26,14) gvr[4][2] = 4 33.41/27.47 c (26,14) gvr[4][3] = 5 33.41/27.47 c (26,14) gvr[4][4] = 3 33.41/27.47 c (26,14) gvr[4][5] = 6 33.41/27.47 c (26,14) gvr[4][6] = 2 33.41/27.47 c (26,14) gvr[5][0] = 0 33.41/27.47 c (26,14) gvr[5][1] = 2 33.41/27.47 c (26,14) gvr[5][2] = 6 33.41/27.47 c (26,14) gvr[5][3] = 5 33.41/27.47 c (26,14) gvr[5][4] = 4 33.41/27.47 c (26,14) gvr[5][5] = 1 33.41/27.47 c (26,14) gvr[5][6] = 3 33.41/27.47 c (26,14) gvr[6][0] = 1 33.41/27.47 c (26,14) gvr[6][1] = 3 33.41/27.47 c (26,14) gvr[6][2] = 0 33.41/27.47 c (26,14) gvr[6][3] = 2 33.41/27.47 c (26,14) gvr[6][4] = 6 33.41/27.47 c (26,14) gvr[6][5] = 5 33.41/27.47 c (26,14) gvr[6][6] = 4 33.41/27.47 c (26,14) gvr[7][0] = 1 33.41/27.47 c (26,14) gvr[7][1] = 6 33.41/27.47 c (26,14) gvr[7][2] = 3 33.41/27.47 c (26,14) gvr[7][3] = 2 33.41/27.47 c (26,14) gvr[7][4] = 0 33.41/27.47 c (26,14) gvr[7][5] = 4 33.41/27.47 c (26,14) gvr[7][6] = 5 33.41/27.47 c (26,14) gvr[8][0] = 1 33.41/27.47 c (26,14) gvr[8][1] = 4 33.41/27.47 c (26,14) gvr[8][2] = 5 33.41/27.47 c (26,14) gvr[8][3] = 0 33.41/27.47 c (26,14) gvr[8][4] = 6 33.41/27.47 c (26,14) gvr[8][5] = 3 33.41/27.47 c (26,14) gvr[8][6] = 2 33.41/27.47 c (26,14) gvr[9][0] = 1 33.41/27.47 c (26,14) gvr[9][1] = 4 33.41/27.47 c (26,14) gvr[9][2] = 3 33.41/27.47 c (26,14) gvr[9][3] = 0 33.41/27.47 c (26,14) gvr[9][4] = 5 33.41/27.47 c (26,14) gvr[9][5] = 6 33.41/27.47 c (26,14) gvr[9][6] = 2 33.41/27.47 c (26,14) gvr[10][0] = 1 33.41/27.47 c (26,14) gvr[10][1] = 0 33.41/27.47 c (26,14) gvr[10][2] = 4 33.41/27.47 c (26,14) gvr[10][3] = 2 33.41/27.47 c (26,14) gvr[10][4] = 5 33.41/27.47 c (26,14) gvr[10][5] = 3 33.41/27.47 c (26,14) gvr[10][6] = 6 33.41/27.47 c (26,14) gvr[11][0] = 1 33.41/27.47 c (26,14) gvr[11][1] = 2 33.41/27.47 c (26,14) gvr[11][2] = 0 33.41/27.48 c (26,14) gvr[11][3] = 3 33.41/27.48 c (26,14) gvr[11][4] = 6 33.41/27.48 c (26,14) gvr[11][5] = 4 33.41/27.48 c (26,14) gvr[11][6] = 5 33.41/27.48 c (26,14) gvr[12][0] = 2 33.41/27.48 c (26,14) gvr[12][1] = 4 33.41/27.48 c (26,14) gvr[12][2] = 5 33.41/27.48 c (26,14) gvr[12][3] = 3 33.41/27.48 c (26,14) gvr[12][4] = 1 33.41/27.48 c (26,14) gvr[12][5] = 6 33.41/27.48 c (26,14) gvr[12][6] = 0 33.41/27.48 c (26,14) gvr[13][0] = 2 33.41/27.48 c (26,14) gvr[13][1] = 0 33.41/27.48 c (26,14) gvr[13][2] = 4 33.41/27.48 c (26,14) gvr[13][3] = 6 33.41/27.48 c (26,14) gvr[13][4] = 1 33.41/27.48 c (26,14) gvr[13][5] = 3 33.41/27.48 c (26,14) gvr[13][6] = 5 33.41/27.48 c (26,14) gvr[14][0] = 2 33.41/27.48 c (26,14) gvr[14][1] = 3 33.41/27.48 c (26,14) gvr[14][2] = 4 33.41/27.48 c (26,14) gvr[14][3] = 5 33.41/27.48 c (26,14) gvr[14][4] = 1 33.41/27.48 c (26,14) gvr[14][5] = 0 33.41/27.48 c (26,14) gvr[14][6] = 6 33.41/27.48 c (26,14) gvr[15][0] = 2 33.41/27.48 c (26,14) gvr[15][1] = 4 33.41/27.48 c (26,14) gvr[15][2] = 6 33.41/27.48 c (26,14) gvr[15][3] = 1 33.41/27.48 c (26,14) gvr[15][4] = 3 33.41/27.48 c (26,14) gvr[15][5] = 5 33.41/27.48 c (26,14) gvr[15][6] = 0 33.41/27.48 c (26,14) gvr[16][0] = 2 33.41/27.48 c (26,14) gvr[16][1] = 6 33.41/27.48 c (26,14) gvr[16][2] = 5 33.41/27.48 c (26,14) gvr[16][3] = 1 33.41/27.48 c (26,14) gvr[16][4] = 3 33.41/27.48 c (26,14) gvr[16][5] = 0 33.41/27.48 c (26,14) gvr[16][6] = 4 33.41/27.48 c (26,14) gvr[17][0] = 2 33.41/27.48 c (26,14) gvr[17][1] = 5 33.41/27.48 c (26,14) gvr[17][2] = 6 33.41/27.48 c (26,14) gvr[17][3] = 1 33.41/27.48 c (26,14) gvr[17][4] = 4 33.41/27.48 c (26,14) gvr[17][5] = 3 33.41/27.48 c (26,14) gvr[17][6] = 0 33.41/27.48 c (26,14) gvr[18][0] = 3 33.41/27.48 c (26,14) gvr[18][1] = 0 33.41/27.48 c (26,14) gvr[18][2] = 6 33.41/27.48 c (26,14) gvr[18][3] = 5 33.41/27.48 c (26,14) gvr[18][4] = 2 33.41/27.48 c (26,14) gvr[18][5] = 1 33.41/27.48 c (26,14) gvr[18][6] = 4 33.41/27.48 c (26,14) gvr[19][0] = 3 33.41/27.48 c (26,14) gvr[19][1] = 2 33.41/27.48 c (26,14) gvr[19][2] = 6 33.41/27.48 c (26,14) gvr[19][3] = 5 33.41/27.48 c (26,14) gvr[19][4] = 1 33.41/27.48 c (26,14) gvr[19][5] = 4 33.41/27.48 c (26,14) gvr[19][6] = 0 33.41/27.48 c (26,14) gvr[20][0] = 3 33.41/27.48 c (26,14) gvr[20][1] = 1 33.41/27.48 c (26,14) gvr[20][2] = 0 33.41/27.48 c (26,14) gvr[20][3] = 6 33.41/27.48 c (26,14) gvr[20][4] = 5 33.41/27.48 c (26,14) gvr[20][5] = 4 33.41/27.48 c (26,14) gvr[20][6] = 2 33.41/27.48 c (26,14) gvr[21][0] = 3 33.41/27.48 c (26,14) gvr[21][1] = 6 33.41/27.48 c (26,14) gvr[21][2] = 1 33.41/27.48 c (26,14) gvr[21][3] = 5 33.41/27.48 c (26,14) gvr[21][4] = 2 33.41/27.48 c (26,14) gvr[21][5] = 4 33.41/27.48 c (26,14) gvr[21][6] = 0 33.41/27.48 c (26,14) gvr[22][0] = 3 33.41/27.48 c (26,14) gvr[22][1] = 4 33.41/27.48 c (26,14) gvr[22][2] = 5 33.41/27.48 c (26,14) gvr[22][3] = 6 33.41/27.48 c (26,14) gvr[22][4] = 2 33.41/27.48 c (26,14) gvr[22][5] = 0 33.41/27.48 c (26,14) gvr[22][6] = 1 33.41/27.48 c (26,14) gvr[23][0] = 3 33.41/27.48 c (26,14) gvr[23][1] = 2 33.41/27.48 c (26,14) gvr[23][2] = 4 33.41/27.48 c (26,14) gvr[23][3] = 1 33.41/27.48 c (26,14) gvr[23][4] = 5 33.41/27.48 c (26,14) gvr[23][5] = 0 33.41/27.48 c (26,14) gvr[23][6] = 6 33.41/27.48 c (26,14) gvr[24][0] = 4 33.41/27.48 c (26,14) gvr[24][1] = 3 33.41/27.48 c (26,14) gvr[24][2] = 5 33.41/27.48 c (26,14) gvr[24][3] = 2 33.41/27.48 c (26,14) gvr[24][4] = 1 33.41/27.48 c (26,14) gvr[24][5] = 6 33.41/27.48 c (26,14) gvr[24][6] = 0 33.41/27.48 c (26,14) gvr[25][0] = 4 33.41/27.48 c (26,14) gvr[25][1] = 6 33.41/27.48 c (26,14) gvr[25][2] = 2 33.41/27.48 c (26,14) gvr[25][3] = 0 33.41/27.48 c (26,14) gvr[25][4] = 3 33.41/27.48 c (26,14) gvr[25][5] = 5 33.41/27.48 c (26,14) gvr[25][6] = 1 33.41/27.48 c (26,14) gvr[26][0] = 4 33.41/27.48 c (26,14) gvr[26][1] = 0 33.41/27.48 c (26,14) gvr[26][2] = 5 33.41/27.48 c (26,14) gvr[26][3] = 3 33.41/27.48 c (26,14) gvr[26][4] = 2 33.41/27.48 c (26,14) gvr[26][5] = 6 33.41/27.48 c (26,14) gvr[26][6] = 1 33.41/27.48 c (26,14) gvr[27][0] = 4 33.41/27.48 c (26,14) gvr[27][1] = 2 33.41/27.48 c (26,14) gvr[27][2] = 3 33.41/27.48 c (26,14) gvr[27][3] = 0 33.41/27.48 c (26,14) gvr[27][4] = 1 33.41/27.48 c (26,14) gvr[27][5] = 6 33.41/27.48 c (26,14) gvr[27][6] = 5 33.41/27.48 c (26,14) gvr[28][0] = 4 33.41/27.48 c (26,14) gvr[28][1] = 6 33.41/27.48 c (26,14) gvr[28][2] = 0 33.41/27.48 c (26,14) gvr[28][3] = 2 33.41/27.48 c (26,14) gvr[28][4] = 5 33.41/27.48 c (26,14) gvr[28][5] = 3 33.41/27.48 c (26,14) gvr[28][6] = 1 33.41/27.48 c (26,14) gvr[29][0] = 4 33.41/27.48 c (26,14) gvr[29][1] = 1 33.41/27.48 c (26,14) gvr[29][2] = 2 33.41/27.48 c (26,14) gvr[29][3] = 3 33.41/27.48 c (26,14) gvr[29][4] = 6 33.41/27.48 c (26,14) gvr[29][5] = 0 33.41/27.48 c (26,14) gvr[29][6] = 5 33.41/27.48 c (26,14) gvr[30][0] = 5 33.41/27.48 c (26,14) gvr[30][1] = 0 33.41/27.48 c (26,14) gvr[30][2] = 3 33.41/27.48 c (26,14) gvr[30][3] = 2 33.41/27.48 c (26,14) gvr[30][4] = 4 33.41/27.48 c (26,14) gvr[30][5] = 1 33.41/27.48 c (26,14) gvr[30][6] = 6 33.41/27.48 c (26,14) gvr[31][0] = 5 33.41/27.48 c (26,14) gvr[31][1] = 3 33.41/27.48 c (26,14) gvr[31][2] = 2 33.41/27.48 c (26,14) gvr[31][3] = 0 33.41/27.48 c (26,14) gvr[31][4] = 6 33.41/27.48 c (26,14) gvr[31][5] = 1 33.41/27.48 c (26,14) gvr[31][6] = 4 33.41/27.48 c (26,14) gvr[32][0] = 5 33.41/27.48 c (26,14) gvr[32][1] = 1 33.41/27.48 c (26,14) gvr[32][2] = 0 33.41/27.48 c (26,14) gvr[32][3] = 6 33.41/27.48 c (26,14) gvr[32][4] = 4 33.41/27.48 c (26,14) gvr[32][5] = 3 33.41/27.48 c (26,14) gvr[32][6] = 2 33.41/27.48 c (26,14) gvr[33][0] = 5 33.41/27.48 c (26,14) gvr[33][1] = 1 33.41/27.48 c (26,14) gvr[33][2] = 2 33.41/27.48 c (26,14) gvr[33][3] = 3 33.41/27.48 c (26,14) gvr[33][4] = 4 33.41/27.48 c (26,14) gvr[33][5] = 0 33.41/27.48 c (26,14) gvr[33][6] = 6 33.41/27.48 c (26,14) gvr[34][0] = 5 33.41/27.48 c (26,14) gvr[34][1] = 0 33.41/27.48 c (26,14) gvr[34][2] = 3 33.41/27.48 c (26,14) gvr[34][3] = 1 33.41/27.48 c (26,14) gvr[34][4] = 6 33.41/27.48 c (26,14) gvr[34][5] = 2 33.41/27.48 c (26,14) gvr[34][6] = 4 33.41/27.48 c (26,14) gvr[35][0] = 5 33.41/27.48 c (26,14) gvr[35][1] = 2 33.41/27.48 c (26,14) gvr[35][2] = 6 33.41/27.48 c (26,14) gvr[35][3] = 0 33.41/27.48 c (26,14) gvr[35][4] = 3 33.41/27.48 c (26,14) gvr[35][5] = 4 33.41/27.48 c (26,14) gvr[35][6] = 1 33.41/27.48 c (26,14) gvr[36][0] = 6 33.41/27.48 c (26,14) gvr[36][1] = 3 33.41/27.48 c (26,14) gvr[36][2] = 0 33.41/27.48 c (26,14) gvr[36][3] = 4 33.41/27.48 c (26,14) gvr[36][4] = 2 33.41/27.48 c (26,14) gvr[36][5] = 1 33.41/27.48 c (26,14) gvr[36][6] = 5 33.41/27.48 c (26,14) gvr[37][0] = 6 33.41/27.48 c (26,14) gvr[37][1] = 5 33.41/27.48 c (26,14) gvr[37][2] = 1 33.41/27.48 c (26,14) gvr[37][3] = 4 33.41/27.48 c (26,14) gvr[37][4] = 0 33.41/27.48 c (26,14) gvr[37][5] = 2 33.41/27.48 c (26,14) gvr[37][6] = 3 33.41/27.48 c (26,14) gvr[38][0] = 6 33.41/27.48 c (26,14) gvr[38][1] = 5 33.41/27.48 c (26,14) gvr[38][2] = 1 33.41/27.48 c (26,14) gvr[38][3] = 4 33.41/27.48 c (26,14) gvr[38][4] = 0 33.41/27.48 c (26,14) gvr[38][5] = 2 33.41/27.48 c (26,14) gvr[38][6] = 3 33.41/27.48 c (26,14) gvr[39][0] = 6 33.41/27.48 c (26,14) gvr[39][1] = 5 33.41/27.48 c (26,14) gvr[39][2] = 1 33.41/27.48 c (26,14) gvr[39][3] = 4 33.41/27.48 c (26,14) gvr[39][4] = 0 33.41/27.48 c (26,14) gvr[39][5] = 2 33.41/27.48 c (26,14) gvr[39][6] = 3 33.41/27.48 c (26,14) gvr[40][0] = 6 33.41/27.48 c (26,14) gvr[40][1] = 5 33.41/27.48 c (26,14) gvr[40][2] = 1 33.41/27.48 c (26,14) gvr[40][3] = 4 33.41/27.48 c (26,14) gvr[40][4] = 0 33.41/27.48 c (26,14) gvr[40][5] = 2 33.41/27.48 c (26,14) gvr[40][6] = 3 33.41/27.48 c (26,14) gvr[41][0] = 6 33.41/27.48 c (26,14) gvr[41][1] = 5 33.41/27.48 c (26,14) gvr[41][2] = 1 33.41/27.48 c (26,14) gvr[41][3] = 4 33.41/27.48 c (26,14) gvr[41][4] = 0 33.41/27.48 c (26,14) gvr[41][5] = 2 33.41/27.48 c (26,14) gvr[41][6] = 3 33.41/27.48 c (26,14) ve[0][0] = 0 33.41/27.48 c (26,14) ve[0][1] = 26 33.41/27.48 c (26,14) ve[0][2] = 11 33.41/27.48 c (26,14) ve[0][3] = 25 33.41/27.48 c (26,14) ve[0][4] = 7 33.41/27.48 c (26,14) ve[0][5] = 33 33.41/27.48 c (26,14) ve[0][6] = 19 33.41/27.48 c (26,14) ve[1][0] = 1 33.41/27.48 c (26,14) ve[1][1] = 10 33.41/27.48 c (26,14) ve[1][2] = 36 33.41/27.48 c (26,14) ve[1][3] = 27 33.41/27.48 c (26,14) ve[1][4] = 37 33.41/27.48 c (26,14) ve[1][5] = 16 33.41/27.48 c (26,14) ve[1][6] = 24 33.41/27.48 c (26,14) ve[2][0] = 2 33.41/27.48 c (26,14) ve[2][1] = 13 33.41/27.48 c (26,14) ve[2][2] = 32 33.41/27.48 c (26,14) ve[2][3] = 8 33.41/27.48 c (26,14) ve[2][4] = 38 33.41/27.48 c (26,14) ve[2][5] = 22 33.41/27.48 c (26,14) ve[2][6] = 17 33.41/27.48 c (26,14) ve[3][0] = 3 33.41/27.48 c (26,14) ve[3][1] = 34 33.41/27.48 c (26,14) ve[3][2] = 20 33.41/27.48 c (26,14) ve[3][3] = 9 33.41/27.48 c (26,14) ve[3][4] = 39 33.41/27.48 c (26,14) ve[3][5] = 29 33.41/27.48 c (26,14) ve[3][6] = 15 33.41/27.48 c (26,14) ve[4][0] = 4 33.41/27.48 c (26,14) ve[4][1] = 30 33.41/27.48 c (26,14) ve[4][2] = 6 33.41/27.48 c (26,14) ve[4][3] = 31 33.41/27.48 c (26,14) ve[4][4] = 40 33.41/27.48 c (26,14) ve[4][5] = 23 33.41/27.48 c (26,14) ve[4][6] = 12 33.41/27.48 c (26,14) ve[5][0] = 5 33.41/27.48 c (26,14) ve[5][1] = 18 33.41/27.48 c (26,14) ve[5][2] = 28 33.41/27.48 c (26,14) ve[5][3] = 35 33.41/27.48 c (26,14) ve[5][4] = 41 33.41/27.48 c (26,14) ve[5][5] = 14 33.41/27.48 c (26,14) ve[5][6] = 21 33.41/27.48 c (26,14) ve[6][0] = 6 33.41/27.48 c (26,14) ve[6][1] = 20 33.41/27.48 c (26,14) ve[6][2] = 37 33.41/27.48 c (26,14) ve[6][3] = 16 33.41/27.48 c (26,14) ve[6][4] = 14 33.41/27.48 c (26,14) ve[6][5] = 31 33.41/27.48 c (26,14) ve[6][6] = 28 33.41/27.48 c (26,14) ve[7][0] = 7 33.41/27.48 c (26,14) ve[7][1] = 32 33.41/27.48 c (26,14) ve[7][2] = 21 33.41/27.48 c (26,14) ve[7][3] = 17 33.41/27.48 c (26,14) ve[7][4] = 12 33.41/27.48 c (26,14) ve[7][5] = 30 33.41/27.48 c (26,14) ve[7][6] = 2 33.41/27.48 c (26,14) ve[8][0] = 8 33.41/27.48 c (26,14) ve[8][1] = 33 33.41/27.48 c (26,14) ve[8][2] = 38 33.41/27.48 c (26,14) ve[8][3] = 15 33.41/27.48 c (26,14) ve[8][4] = 13 33.41/27.48 c (26,14) ve[8][5] = 1 33.41/27.48 c (26,14) ve[8][6] = 22 33.41/27.48 c (26,14) ve[9][0] = 9 33.41/27.48 c (26,14) ve[9][1] = 0 33.41/27.48 c (26,14) ve[9][2] = 39 33.41/27.48 c (26,14) ve[9][3] = 23 33.41/27.48 c (26,14) ve[9][4] = 27 33.41/27.48 c (26,14) ve[9][5] = 18 33.41/27.48 c (26,14) ve[9][6] = 35 33.41/27.48 c (26,14) ve[10][0] = 10 33.41/27.48 c (26,14) ve[10][1] = 4 33.41/27.48 c (26,14) ve[10][2] = 40 33.41/27.48 c (26,14) ve[10][3] = 34 33.41/27.48 c (26,14) ve[10][4] = 24 33.41/27.48 c (26,14) ve[10][5] = 5 33.41/27.48 c (26,14) ve[10][6] = 26 33.41/27.48 c (26,14) ve[11][0] = 11 33.41/27.48 c (26,14) ve[11][1] = 29 33.41/27.48 c (26,14) ve[11][2] = 41 33.41/27.48 c (26,14) ve[11][3] = 3 33.41/27.48 c (26,14) ve[11][4] = 19 33.41/27.48 c (26,14) ve[11][5] = 36 33.41/27.48 c (26,14) ve[11][6] = 25 33.41/27.48 c (26,14) ve[12][0] = 12 33.41/27.48 c (26,14) ve[12][1] = 19 33.41/27.48 c (26,14) ve[12][2] = 0 33.41/27.48 c (26,14) ve[12][3] = 24 33.41/27.48 c (26,14) ve[12][4] = 36 33.41/27.48 c (26,14) ve[12][5] = 37 33.41/27.48 c (26,14) ve[12][6] = 8 33.41/27.48 c (26,14) ve[13][0] = 13 33.41/27.48 c (26,14) ve[13][1] = 23 33.41/27.48 c (26,14) ve[13][2] = 33 33.41/27.48 c (26,14) ve[13][3] = 28 33.41/27.48 c (26,14) ve[13][4] = 18 33.41/27.48 c (26,14) ve[13][5] = 38 33.41/27.48 c (26,14) ve[13][6] = 4 33.41/27.48 c (26,14) ve[14][0] = 14 33.41/27.48 c (26,14) ve[14][1] = 35 33.41/27.48 c (26,14) ve[14][2] = 25 33.41/27.48 c (26,14) ve[14][3] = 7 33.41/27.48 c (26,14) ve[14][4] = 26 33.41/27.48 c (26,14) ve[14][5] = 39 33.41/27.48 c (26,14) ve[14][6] = 1 33.41/27.48 c (26,14) ve[15][0] = 15 33.41/27.48 c (26,14) ve[15][1] = 11 33.41/27.48 c (26,14) ve[15][2] = 3 33.41/27.48 c (26,14) ve[15][3] = 30 33.41/27.48 c (26,14) ve[15][4] = 22 33.41/27.48 c (26,14) ve[15][5] = 40 33.41/27.48 c (26,14) ve[15][6] = 32 33.41/27.48 c (26,14) ve[16][0] = 16 33.41/27.48 c (26,14) ve[16][1] = 5 33.41/27.48 c (26,14) ve[16][2] = 29 33.41/27.48 c (26,14) ve[16][3] = 10 33.41/27.48 c (26,14) ve[16][4] = 2 33.41/27.48 c (26,14) ve[16][5] = 34 33.41/27.48 c (26,14) ve[16][6] = 20 33.41/27.48 c (26,14) ve[17][0] = 17 33.41/27.48 c (26,14) ve[17][1] = 27 33.41/27.48 c (26,14) ve[17][2] = 31 33.41/27.48 c (26,14) ve[17][3] = 6 33.41/27.48 c (26,14) ve[17][4] = 21 33.41/27.48 c (26,14) ve[17][5] = 41 33.41/27.48 c (26,14) ve[17][6] = 9 33.41/27.48 c (26,14) ve[18][0] = 18 33.41/27.48 c (26,14) ve[18][1] = 24 33.41/27.48 c (26,14) ve[18][2] = 7 33.41/27.48 c (26,14) ve[18][3] = 12 33.41/27.48 c (26,14) ve[18][4] = 35 33.41/27.48 c (26,14) ve[18][5] = 28 33.41/27.48 c (26,14) ve[18][6] = 37 33.41/27.48 c (26,14) ve[19][0] = 19 33.41/27.48 c (26,14) ve[19][1] = 6 33.41/27.48 c (26,14) ve[19][2] = 1 33.41/27.48 c (26,14) ve[19][3] = 33 33.41/27.48 c (26,14) ve[19][4] = 25 33.41/27.48 c (26,14) ve[19][5] = 10 33.41/27.48 c (26,14) ve[19][6] = 38 33.41/27.48 c (26,14) ve[20][0] = 20 33.41/27.48 c (26,14) ve[20][1] = 31 33.41/27.48 c (26,14) ve[20][2] = 27 33.41/27.48 c (26,14) ve[20][3] = 0 33.41/27.48 c (26,14) ve[20][4] = 15 33.41/27.48 c (26,14) ve[20][5] = 13 33.41/27.48 c (26,14) ve[20][6] = 5 33.41/27.48 c (26,14) ve[21][0] = 21 33.41/27.48 c (26,14) ve[21][1] = 2 33.41/27.48 c (26,14) ve[21][2] = 30 33.41/27.48 c (26,14) ve[21][3] = 11 33.41/27.48 c (26,14) ve[21][4] = 16 33.41/27.48 c (26,14) ve[21][5] = 32 33.41/27.48 c (26,14) ve[21][6] = 39 33.41/27.48 c (26,14) ve[22][0] = 22 33.41/27.48 c (26,14) ve[22][1] = 14 33.41/27.48 c (26,14) ve[22][2] = 34 33.41/27.48 c (26,14) ve[22][3] = 26 33.41/27.48 c (26,14) ve[22][4] = 4 33.41/27.48 c (26,14) ve[22][5] = 8 33.41/27.48 c (26,14) ve[22][6] = 40 33.41/27.48 c (26,14) ve[23][0] = 23 33.41/27.48 c (26,14) ve[23][1] = 36 33.41/27.48 c (26,14) ve[23][2] = 9 33.41/27.48 c (26,14) ve[23][3] = 29 33.41/27.48 c (26,14) ve[23][4] = 3 33.41/27.48 c (26,14) ve[23][5] = 17 33.41/27.48 c (26,14) ve[23][6] = 41 33.41/27.48 c (26,14) ve[24][0] = 24 33.41/27.48 c (26,14) ve[24][1] = 15 33.41/27.48 c (26,14) ve[24][2] = 4 33.41/27.48 c (26,14) ve[24][3] = 37 33.41/27.48 c (26,14) ve[24][4] = 5 33.41/27.48 c (26,14) ve[24][5] = 11 33.41/27.48 c (26,14) ve[24][6] = 31 33.41/27.48 c (26,14) ve[25][0] = 25 33.41/27.48 c (26,14) ve[25][1] = 1 33.41/27.48 c (26,14) ve[25][2] = 10 33.41/27.48 c (26,14) ve[25][3] = 38 33.41/27.48 c (26,14) ve[25][4] = 30 33.41/27.48 c (26,14) ve[25][5] = 19 33.41/27.48 c (26,14) ve[25][6] = 34 33.41/27.48 c (26,14) ve[26][0] = 26 33.41/27.48 c (26,14) ve[26][1] = 12 33.41/27.48 c (26,14) ve[26][2] = 23 33.41/27.48 c (26,14) ve[26][3] = 39 33.41/27.48 c (26,14) ve[26][4] = 32 33.41/27.48 c (26,14) ve[26][5] = 7 33.41/27.48 c (26,14) ve[26][6] = 3 33.41/27.48 c (26,14) ve[27][0] = 27 33.41/27.48 c (26,14) ve[27][1] = 8 33.41/27.48 c (26,14) ve[27][2] = 13 33.41/27.48 c (26,14) ve[27][3] = 36 33.41/27.48 c (26,14) ve[27][4] = 0 33.41/27.48 c (26,14) ve[27][5] = 21 33.41/27.48 c (26,14) ve[27][6] = 16 33.41/27.48 c (26,14) ve[28][0] = 28 33.41/27.48 c (26,14) ve[28][1] = 9 33.41/27.48 c (26,14) ve[28][2] = 2 33.41/27.48 c (26,14) ve[28][3] = 40 33.41/27.48 c (26,14) ve[28][4] = 33 33.41/27.48 c (26,14) ve[28][5] = 20 33.41/27.48 c (26,14) ve[28][6] = 18 33.41/27.48 c (26,14) ve[29][0] = 29 33.41/27.48 c (26,14) ve[29][1] = 22 33.41/27.48 c (26,14) ve[29][2] = 14 33.41/27.48 c (26,14) ve[29][3] = 41 33.41/27.48 c (26,14) ve[29][4] = 17 33.41/27.48 c (26,14) ve[29][5] = 35 33.41/27.48 c (26,14) ve[29][6] = 6 33.41/27.48 c (26,14) ve[30][0] = 30 33.41/27.48 c (26,14) ve[30][1] = 37 33.41/27.48 c (26,14) ve[30][2] = 24 33.41/27.48 c (26,14) ve[30][3] = 18 33.41/27.48 c (26,14) ve[30][4] = 9 33.41/27.48 c (26,14) ve[30][5] = 6 33.41/27.48 c (26,14) ve[30][6] = 36 33.41/27.48 c (26,14) ve[31][0] = 31 33.41/27.48 c (26,14) ve[31][1] = 38 33.41/27.48 c (26,14) ve[31][2] = 22 33.41/27.48 c (26,14) ve[31][3] = 4 33.41/27.48 c (26,14) ve[31][4] = 10 33.41/27.48 c (26,14) ve[31][5] = 15 33.41/27.48 c (26,14) ve[31][6] = 7 33.41/27.48 c (26,14) ve[32][0] = 32 33.41/27.48 c (26,14) ve[32][1] = 39 33.41/27.48 c (26,14) ve[32][2] = 12 33.41/27.48 c (26,14) ve[32][3] = 19 33.41/27.48 c (26,14) ve[32][4] = 1 33.41/27.48 c (26,14) ve[32][5] = 25 33.41/27.48 c (26,14) ve[32][6] = 29 33.41/27.48 c (26,14) ve[33][0] = 33 33.41/27.48 c (26,14) ve[33][1] = 40 33.41/27.48 c (26,14) ve[33][2] = 16 33.41/27.48 c (26,14) ve[33][3] = 14 33.41/27.48 c (26,14) ve[33][4] = 20 33.41/27.48 c (26,14) ve[33][5] = 2 33.41/27.48 c (26,14) ve[33][6] = 27 33.41/27.48 c (26,14) ve[34][0] = 34 33.41/27.48 c (26,14) ve[34][1] = 41 33.41/27.48 c (26,14) ve[34][2] = 8 33.41/27.48 c (26,14) ve[34][3] = 21 33.41/27.48 c (26,14) ve[34][4] = 28 33.41/27.48 c (26,14) ve[34][5] = 3 33.41/27.48 c (26,14) ve[34][6] = 11 33.41/27.48 c (26,14) ve[35][0] = 35 33.41/27.48 c (26,14) ve[35][1] = 17 33.41/27.48 c (26,14) ve[35][2] = 26 33.41/27.48 c (26,14) ve[35][3] = 5 33.41/27.48 c (26,14) ve[35][4] = 23 33.41/27.48 c (26,14) ve[35][5] = 0 33.41/27.48 c (26,14) ve[35][6] = 13 33.41/27.48 c (26,14) ve[36][0] = 36 33.41/27.48 c (26,14) ve[36][1] = 21 33.41/27.48 c (26,14) ve[36][2] = 17 33.41/27.48 c (26,14) ve[36][3] = 13 33.41/27.48 c (26,14) ve[36][4] = 6 33.41/27.48 c (26,14) ve[36][5] = 26 33.41/27.48 c (26,14) ve[36][6] = 0 33.41/27.48 c (26,14) ve[37][0] = 37 33.41/27.48 c (26,14) ve[37][1] = 28 33.41/27.48 c (26,14) ve[37][2] = 5 33.41/27.48 c (26,14) ve[37][3] = 20 33.41/27.48 c (26,14) ve[37][4] = 34 33.41/27.48 c (26,14) ve[37][5] = 4 33.41/27.48 c (26,14) ve[37][6] = 10 33.41/27.48 c (26,14) ve[38][0] = 38 33.41/27.48 c (26,14) ve[38][1] = 3 33.41/27.48 c (26,14) ve[38][2] = 18 33.41/27.48 c (26,14) ve[38][3] = 32 33.41/27.48 c (26,14) ve[38][4] = 8 33.41/27.48 c (26,14) ve[38][5] = 9 33.41/27.48 c (26,14) ve[38][6] = 23 33.41/27.48 c (26,14) ve[39][0] = 39 33.41/27.48 c (26,14) ve[39][1] = 7 33.41/27.48 c (26,14) ve[39][2] = 15 33.41/27.48 c (26,14) ve[39][3] = 22 33.41/27.48 c (26,14) ve[39][4] = 31 33.41/27.48 c (26,14) ve[39][5] = 27 33.41/27.48 c (26,14) ve[39][6] = 14 33.41/27.48 c (26,14) ve[40][0] = 40 33.41/27.48 c (26,14) ve[40][1] = 16 33.41/27.48 c (26,14) ve[40][2] = 35 33.41/27.48 c (26,14) ve[40][3] = 2 33.41/27.48 c (26,14) ve[40][4] = 11 33.41/27.48 c (26,14) ve[40][5] = 24 33.41/27.48 c (26,14) ve[40][6] = 30 33.41/27.48 c (26,14) ve[41][0] = 41 33.41/27.48 c (26,14) ve[41][1] = 25 33.41/27.48 c (26,14) ve[41][2] = 19 33.41/27.48 c (26,14) ve[41][3] = 1 33.41/27.48 c (26,14) ve[41][4] = 29 33.41/27.48 c (26,14) ve[41][5] = 12 33.41/27.48 c (26,14) ve[41][6] = 33 33.41/27.48 c (26,14) vr[0][0] = 0 33.41/27.48 c (26,14) vr[0][1] = 9 33.41/27.48 c (26,14) vr[0][2] = 12 33.41/27.48 c (26,14) vr[0][3] = 20 33.41/27.48 c (26,14) vr[0][4] = 27 33.41/27.48 c (26,14) vr[0][5] = 35 33.41/27.48 c (26,14) vr[0][6] = 36 33.41/27.48 c (26,14) vr[1][0] = 1 33.41/27.48 c (26,14) vr[1][1] = 25 33.41/27.48 c (26,14) vr[1][2] = 19 33.41/27.48 c (26,14) vr[1][3] = 41 33.41/27.48 c (26,14) vr[1][4] = 32 33.41/27.48 c (26,14) vr[1][5] = 8 33.41/27.48 c (26,14) vr[1][6] = 14 33.41/27.48 c (26,14) vr[2][0] = 2 33.41/27.48 c (26,14) vr[2][1] = 21 33.41/27.48 c (26,14) vr[2][2] = 28 33.41/27.48 c (26,14) vr[2][3] = 40 33.41/27.48 c (26,14) vr[2][4] = 16 33.41/27.48 c (26,14) vr[2][5] = 33 33.41/27.48 c (26,14) vr[2][6] = 7 33.41/27.48 c (26,14) vr[3][0] = 3 33.41/27.48 c (26,14) vr[3][1] = 38 33.41/27.48 c (26,14) vr[3][2] = 15 33.41/27.48 c (26,14) vr[3][3] = 11 33.41/27.48 c (26,14) vr[3][4] = 23 33.41/27.48 c (26,14) vr[3][5] = 34 33.41/27.48 c (26,14) vr[3][6] = 26 33.41/27.48 c (26,14) vr[4][0] = 4 33.41/27.48 c (26,14) vr[4][1] = 10 33.41/27.48 c (26,14) vr[4][2] = 24 33.41/27.48 c (26,14) vr[4][3] = 31 33.41/27.48 c (26,14) vr[4][4] = 22 33.41/27.48 c (26,14) vr[4][5] = 37 33.41/27.48 c (26,14) vr[4][6] = 13 33.41/27.48 c (26,14) vr[5][0] = 5 33.41/27.48 c (26,14) vr[5][1] = 16 33.41/27.48 c (26,14) vr[5][2] = 37 33.41/27.48 c (26,14) vr[5][3] = 35 33.41/27.48 c (26,14) vr[5][4] = 24 33.41/27.48 c (26,14) vr[5][5] = 10 33.41/27.48 c (26,14) vr[5][6] = 20 33.41/27.48 c (26,14) vr[6][0] = 6 33.41/27.48 c (26,14) vr[6][1] = 19 33.41/27.48 c (26,14) vr[6][2] = 4 33.41/27.48 c (26,14) vr[6][3] = 17 33.41/27.48 c (26,14) vr[6][4] = 36 33.41/27.48 c (26,14) vr[6][5] = 30 33.41/27.48 c (26,14) vr[6][6] = 29 33.41/27.48 c (26,14) vr[7][0] = 7 33.41/27.48 c (26,14) vr[7][1] = 39 33.41/27.48 c (26,14) vr[7][2] = 18 33.41/27.48 c (26,14) vr[7][3] = 14 33.41/27.48 c (26,14) vr[7][4] = 0 33.41/27.48 c (26,14) vr[7][5] = 26 33.41/27.48 c (26,14) vr[7][6] = 31 33.41/27.48 c (26,14) vr[8][0] = 8 33.41/27.48 c (26,14) vr[8][1] = 27 33.41/27.48 c (26,14) vr[8][2] = 34 33.41/27.48 c (26,14) vr[8][3] = 2 33.41/27.48 c (26,14) vr[8][4] = 38 33.41/27.48 c (26,14) vr[8][5] = 22 33.41/27.48 c (26,14) vr[8][6] = 12 33.41/27.48 c (26,14) vr[9][0] = 9 33.41/27.48 c (26,14) vr[9][1] = 28 33.41/27.48 c (26,14) vr[9][2] = 23 33.41/27.48 c (26,14) vr[9][3] = 3 33.41/27.48 c (26,14) vr[9][4] = 30 33.41/27.48 c (26,14) vr[9][5] = 38 33.41/27.48 c (26,14) vr[9][6] = 17 33.41/27.48 c (26,14) vr[10][0] = 10 33.41/27.48 c (26,14) vr[10][1] = 1 33.41/27.48 c (26,14) vr[10][2] = 25 33.41/27.48 c (26,14) vr[10][3] = 16 33.41/27.48 c (26,14) vr[10][4] = 31 33.41/27.48 c (26,14) vr[10][5] = 19 33.41/27.48 c (26,14) vr[10][6] = 37 33.41/27.48 c (26,14) vr[11][0] = 11 33.41/27.48 c (26,14) vr[11][1] = 15 33.41/27.48 c (26,14) vr[11][2] = 0 33.41/27.48 c (26,14) vr[11][3] = 21 33.41/27.48 c (26,14) vr[11][4] = 40 33.41/27.48 c (26,14) vr[11][5] = 24 33.41/27.48 c (26,14) vr[11][6] = 34 33.41/27.48 c (26,14) vr[12][0] = 12 33.41/27.48 c (26,14) vr[12][1] = 26 33.41/27.48 c (26,14) vr[12][2] = 32 33.41/27.48 c (26,14) vr[12][3] = 18 33.41/27.48 c (26,14) vr[12][4] = 7 33.41/27.48 c (26,14) vr[12][5] = 41 33.41/27.48 c (26,14) vr[12][6] = 4 33.41/27.48 c (26,14) vr[13][0] = 13 33.41/27.48 c (26,14) vr[13][1] = 2 33.41/27.48 c (26,14) vr[13][2] = 27 33.41/27.48 c (26,14) vr[13][3] = 36 33.41/27.48 c (26,14) vr[13][4] = 8 33.41/27.48 c (26,14) vr[13][5] = 20 33.41/27.48 c (26,14) vr[13][6] = 35 33.41/27.48 c (26,14) vr[14][0] = 14 33.41/27.48 c (26,14) vr[14][1] = 22 33.41/27.48 c (26,14) vr[14][2] = 29 33.41/27.48 c (26,14) vr[14][3] = 33 33.41/27.48 c (26,14) vr[14][4] = 6 33.41/27.48 c (26,14) vr[14][5] = 5 33.41/27.48 c (26,14) vr[14][6] = 39 33.41/27.48 c (26,14) vr[15][0] = 15 33.41/27.48 c (26,14) vr[15][1] = 24 33.41/27.48 c (26,14) vr[15][2] = 39 33.41/27.48 c (26,14) vr[15][3] = 8 33.41/27.48 c (26,14) vr[15][4] = 20 33.41/27.48 c (26,14) vr[15][5] = 31 33.41/27.48 c (26,14) vr[15][6] = 3 33.41/27.48 c (26,14) vr[16][0] = 16 33.41/27.48 c (26,14) vr[16][1] = 40 33.41/27.48 c (26,14) vr[16][2] = 33 33.41/27.48 c (26,14) vr[16][3] = 6 33.41/27.48 c (26,14) vr[16][4] = 21 33.41/27.48 c (26,14) vr[16][5] = 1 33.41/27.48 c (26,14) vr[16][6] = 27 33.41/27.48 c (26,14) vr[17][0] = 17 33.41/27.48 c (26,14) vr[17][1] = 35 33.41/27.48 c (26,14) vr[17][2] = 36 33.41/27.48 c (26,14) vr[17][3] = 7 33.41/27.48 c (26,14) vr[17][4] = 29 33.41/27.48 c (26,14) vr[17][5] = 23 33.41/27.48 c (26,14) vr[17][6] = 2 33.41/27.48 c (26,14) vr[18][0] = 18 33.41/27.48 c (26,14) vr[18][1] = 5 33.41/27.48 c (26,14) vr[18][2] = 38 33.41/27.48 c (26,14) vr[18][3] = 30 33.41/27.48 c (26,14) vr[18][4] = 13 33.41/27.48 c (26,14) vr[18][5] = 9 33.41/27.48 c (26,14) vr[18][6] = 28 33.41/27.48 c (26,14) vr[19][0] = 19 33.41/27.48 c (26,14) vr[19][1] = 12 33.41/27.48 c (26,14) vr[19][2] = 41 33.41/27.48 c (26,14) vr[19][3] = 32 33.41/27.48 c (26,14) vr[19][4] = 11 33.41/27.48 c (26,14) vr[19][5] = 25 33.41/27.48 c (26,14) vr[19][6] = 0 33.41/27.48 c (26,14) vr[20][0] = 20 33.41/27.48 c (26,14) vr[20][1] = 6 33.41/27.48 c (26,14) vr[20][2] = 3 33.41/27.48 c (26,14) vr[20][3] = 37 33.41/27.48 c (26,14) vr[20][4] = 33 33.41/27.48 c (26,14) vr[20][5] = 28 33.41/27.48 c (26,14) vr[20][6] = 16 33.41/27.48 c (26,14) vr[21][0] = 21 33.41/27.48 c (26,14) vr[21][1] = 36 33.41/27.48 c (26,14) vr[21][2] = 7 33.41/27.48 c (26,14) vr[21][3] = 34 33.41/27.48 c (26,14) vr[21][4] = 17 33.41/27.48 c (26,14) vr[21][5] = 27 33.41/27.48 c (26,14) vr[21][6] = 5 33.41/27.48 c (26,14) vr[22][0] = 22 33.41/27.48 c (26,14) vr[22][1] = 29 33.41/27.48 c (26,14) vr[22][2] = 31 33.41/27.48 c (26,14) vr[22][3] = 39 33.41/27.48 c (26,14) vr[22][4] = 15 33.41/27.48 c (26,14) vr[22][5] = 2 33.41/27.48 c (26,14) vr[22][6] = 8 33.41/27.48 c (26,14) vr[23][0] = 23 33.41/27.48 c (26,14) vr[23][1] = 13 33.41/27.48 c (26,14) vr[23][2] = 26 33.41/27.48 c (26,14) vr[23][3] = 9 33.41/27.48 c (26,14) vr[23][4] = 35 33.41/27.48 c (26,14) vr[23][5] = 4 33.41/27.48 c (26,14) vr[23][6] = 38 33.41/27.48 c (26,14) vr[24][0] = 24 33.41/27.48 c (26,14) vr[24][1] = 18 33.41/27.48 c (26,14) vr[24][2] = 30 33.41/27.48 c (26,14) vr[24][3] = 12 33.41/27.48 c (26,14) vr[24][4] = 10 33.41/27.48 c (26,14) vr[24][5] = 40 33.41/27.48 c (26,14) vr[24][6] = 1 33.41/27.48 c (26,14) vr[25][0] = 25 33.41/27.48 c (26,14) vr[25][1] = 41 33.41/27.48 c (26,14) vr[25][2] = 14 33.41/27.48 c (26,14) vr[25][3] = 0 33.41/27.48 c (26,14) vr[25][4] = 19 33.41/27.48 c (26,14) vr[25][5] = 32 33.41/27.48 c (26,14) vr[25][6] = 11 33.41/27.48 c (26,14) vr[26][0] = 26 33.41/27.48 c (26,14) vr[26][1] = 0 33.41/27.48 c (26,14) vr[26][2] = 35 33.41/27.48 c (26,14) vr[26][3] = 22 33.41/27.48 c (26,14) vr[26][4] = 14 33.41/27.48 c (26,14) vr[26][5] = 36 33.41/27.48 c (26,14) vr[26][6] = 10 33.41/27.48 c (26,14) vr[27][0] = 27 33.41/27.48 c (26,14) vr[27][1] = 17 33.41/27.48 c (26,14) vr[27][2] = 20 33.41/27.48 c (26,14) vr[27][3] = 1 33.41/27.48 c (26,14) vr[27][4] = 9 33.41/27.48 c (26,14) vr[27][5] = 39 33.41/27.48 c (26,14) vr[27][6] = 33 33.41/27.48 c (26,14) vr[28][0] = 28 33.41/27.48 c (26,14) vr[28][1] = 37 33.41/27.48 c (26,14) vr[28][2] = 5 33.41/27.48 c (26,14) vr[28][3] = 13 33.41/27.48 c (26,14) vr[28][4] = 34 33.41/27.48 c (26,14) vr[28][5] = 18 33.41/27.48 c (26,14) vr[28][6] = 6 33.41/27.48 c (26,14) vr[29][0] = 29 33.41/27.48 c (26,14) vr[29][1] = 11 33.41/27.48 c (26,14) vr[29][2] = 16 33.41/27.48 c (26,14) vr[29][3] = 23 33.41/27.48 c (26,14) vr[29][4] = 41 33.41/27.48 c (26,14) vr[29][5] = 3 33.41/27.48 c (26,14) vr[29][6] = 32 33.41/27.48 c (26,14) vr[30][0] = 30 33.41/27.48 c (26,14) vr[30][1] = 4 33.41/27.48 c (26,14) vr[30][2] = 21 33.41/27.48 c (26,14) vr[30][3] = 15 33.41/27.48 c (26,14) vr[30][4] = 25 33.41/27.48 c (26,14) vr[30][5] = 7 33.41/27.48 c (26,14) vr[30][6] = 40 33.41/27.48 c (26,14) vr[31][0] = 31 33.41/27.48 c (26,14) vr[31][1] = 20 33.41/27.48 c (26,14) vr[31][2] = 17 33.41/27.48 c (26,14) vr[31][3] = 4 33.41/27.48 c (26,14) vr[31][4] = 39 33.41/27.48 c (26,14) vr[31][5] = 6 33.41/27.48 c (26,14) vr[31][6] = 24 33.41/27.48 c (26,14) vr[32][0] = 32 33.41/27.48 c (26,14) vr[32][1] = 7 33.41/27.48 c (26,14) vr[32][2] = 2 33.41/27.48 c (26,14) vr[32][3] = 38 33.41/27.48 c (26,14) vr[32][4] = 26 33.41/27.48 c (26,14) vr[32][5] = 21 33.41/27.48 c (26,14) vr[32][6] = 15 33.41/27.48 c (26,14) vr[33][0] = 33 33.41/27.48 c (26,14) vr[33][1] = 8 33.41/27.48 c (26,14) vr[33][2] = 13 33.41/27.48 c (26,14) vr[33][3] = 19 33.41/27.48 c (26,14) vr[33][4] = 28 33.41/27.48 c (26,14) vr[33][5] = 0 33.41/27.48 c (26,14) vr[33][6] = 41 33.41/27.48 c (26,14) vr[34][0] = 34 33.41/27.48 c (26,14) vr[34][1] = 3 33.41/27.48 c (26,14) vr[34][2] = 22 33.41/27.48 c (26,14) vr[34][3] = 10 33.41/27.48 c (26,14) vr[34][4] = 37 33.41/27.48 c (26,14) vr[34][5] = 16 33.41/27.48 c (26,14) vr[34][6] = 25 33.41/27.48 c (26,14) vr[35][0] = 35 33.41/27.48 c (26,14) vr[35][1] = 14 33.41/27.48 c (26,14) vr[35][2] = 40 33.41/27.48 c (26,14) vr[35][3] = 5 33.41/27.48 c (26,14) vr[35][4] = 18 33.41/27.48 c (26,14) vr[35][5] = 29 33.41/27.48 c (26,14) vr[35][6] = 9 33.41/27.48 c (26,14) vr[36][0] = 36 33.41/27.48 c (26,14) vr[36][1] = 23 33.41/27.48 c (26,14) vr[36][2] = 1 33.41/27.48 c (26,14) vr[36][3] = 27 33.41/27.48 c (26,14) vr[36][4] = 12 33.41/27.48 c (26,14) vr[36][5] = 11 33.41/27.48 c (26,14) vr[36][6] = 30 33.41/27.48 c (26,14) vr[37][0] = 37 33.41/27.48 c (26,14) vr[37][1] = 30 33.41/27.48 c (26,14) vr[37][2] = 6 33.41/27.48 c (26,14) vr[37][3] = 24 33.41/27.48 c (26,14) vr[37][4] = 1 33.41/27.48 c (26,14) vr[37][5] = 12 33.41/27.48 c (26,14) vr[37][6] = 18 33.41/27.48 c (26,14) vr[38][0] = 38 33.41/27.48 c (26,14) vr[38][1] = 31 33.41/27.48 c (26,14) vr[38][2] = 8 33.41/27.48 c (26,14) vr[38][3] = 25 33.41/27.48 c (26,14) vr[38][4] = 2 33.41/27.48 c (26,14) vr[38][5] = 13 33.41/27.48 c (26,14) vr[38][6] = 19 33.41/27.48 c (26,14) vr[39][0] = 39 33.41/27.48 c (26,14) vr[39][1] = 32 33.41/27.48 c (26,14) vr[39][2] = 9 33.41/27.48 c (26,14) vr[39][3] = 26 33.41/27.48 c (26,14) vr[39][4] = 3 33.41/27.48 c (26,14) vr[39][5] = 14 33.41/27.48 c (26,14) vr[39][6] = 21 33.41/27.48 c (26,14) vr[40][0] = 40 33.41/27.48 c (26,14) vr[40][1] = 33 33.41/27.48 c (26,14) vr[40][2] = 10 33.41/27.48 c (26,14) vr[40][3] = 28 33.41/27.48 c (26,14) vr[40][4] = 4 33.41/27.48 c (26,14) vr[40][5] = 15 33.41/27.48 c (26,14) vr[40][6] = 22 33.41/27.48 c (26,14) vr[41][0] = 41 33.41/27.48 c (26,14) vr[41][1] = 34 33.41/27.48 c (26,14) vr[41][2] = 11 33.41/27.48 c (26,14) vr[41][3] = 29 33.41/27.48 c (26,14) vr[41][4] = 5 33.41/27.48 c (26,14) vr[41][5] = 17 33.41/27.48 c (26,14) vr[41][6] = 23 33.41/27.48 s SATISFIABLE 33.41/27.49 v <instantiation> 33.41/27.49 v <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[0][6] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[1][5] vr[1][6] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[2][6] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[3][6] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[4][6] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[5][6] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[6][5] vr[6][6] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[7][6] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[8][6] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[9][6] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[10][5] vr[10][6] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[11][5] vr[11][6] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[12][5] vr[12][6] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5] vr[13][6] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[14][5] vr[14][6] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[15][6] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[16][5] vr[16][6] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[17][6] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[18][5] vr[18][6] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[19][6] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[20][5] vr[20][6] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[21][6] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[22][5] vr[22][6] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[23][6] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[24][5] vr[24][6] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[25][5] vr[25][6] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[26][5] vr[26][6] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5] vr[27][6] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[28][5] vr[28][6] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[29][6] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[30][5] vr[30][6] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[31][6] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[32][5] vr[32][6] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[33][6] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[34][5] vr[34][6] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] vr[35][6] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[36][5] vr[36][6] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[37][5] vr[37][6] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[38][5] vr[38][6] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[39][5] vr[39][6] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[40][5] vr[40][6] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[41][5] vr[41][6] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[0][5] ve[0][6] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[1][5] ve[1][6] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[2][5] ve[2][6] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5] ve[3][6] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[4][5] ve[4][6] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[5][6] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[6][5] ve[6][6] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[7][6] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5] ve[8][6] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[9][6] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[10][6] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[11][6] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[12][6] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[13][5] ve[13][6] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[14][6] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5] ve[15][6] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[16][6] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[17][6] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[18][6] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[19][6] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[20][5] ve[20][6] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[21][6] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5] ve[22][6] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[23][6] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[24][6] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[25][6] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[26][6] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[27][5] ve[27][6] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[28][6] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5] ve[29][6] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[30][6] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[31][6] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[32][6] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[33][6] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[34][5] ve[34][6] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] ve[35][6] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[36][5] ve[36][6] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[37][5] ve[37][6] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[38][5] ve[38][6] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[39][5] ve[39][6] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[40][5] ve[40][6] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[41][5] ve[41][6] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5] gvr[0][6] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[1][6] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[2][6] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[3][6] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[4][6] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[5][5] gvr[5][6] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[6][6] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5] gvr[7][6] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[8][6] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[9][6] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5] gvr[10][6] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[11][6] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[12][5] gvr[12][6] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[13][6] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[14][6] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[15][6] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[16][6] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[17][5] gvr[17][6] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[18][6] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[19][5] gvr[19][6] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[20][6] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[21][6] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5] gvr[22][6] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[23][6] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[24][5] gvr[24][6] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[25][6] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[26][6] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[27][6] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[28][6] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[29][5] gvr[29][6] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[30][6] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[31][5] gvr[31][6] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[32][6] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[33][6] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5] gvr[34][6] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gvr[35][6] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[36][5] gvr[36][6] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[37][5] gvr[37][6] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[38][5] gvr[38][6] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[39][5] gvr[39][6] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[40][5] gvr[40][6] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[41][5] gvr[41][6] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[0][6] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[1][5] gve[1][6] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[2][5] gve[2][6] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[3][5] gve[3][6] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5] gve[4][6] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[5][5] gve[5][6] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[6][6] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[7][5] gve[7][6] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[8][6] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[9][5] gve[9][6] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[10][6] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[11][5] gve[11][6] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[12][6] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[13][5] gve[13][6] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5] gve[14][6] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[15][5] gve[15][6] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[16][5] gve[16][6] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[17][5] gve[17][6] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[18][6] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[19][5] gve[19][6] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[20][6] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[21][5] gve[21][6] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[22][6] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[23][5] gve[23][6] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[24][6] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[25][5] gve[25][6] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5] gve[26][6] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[27][5] gve[27][6] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[28][5] gve[28][6] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[29][5] gve[29][6] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[30][6] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[31][5] gve[31][6] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[32][6] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[33][5] gve[33][6] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[34][6] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[35][5] gve[35][6] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[36][5] gve[36][6] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[37][5] gve[37][6] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[38][5] gve[38][6] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[39][5] gve[39][6] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[40][5] gve[40][6] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[41][5] gve[41][6]</list> 33.41/27.49 v <values>0 9 12 20 27 35 36 1 25 19 41 32 8 14 2 21 28 40 16 33 7 3 38 15 11 23 34 26 4 10 24 31 22 37 13 5 16 37 35 24 10 20 6 19 4 17 36 30 29 7 39 18 14 0 26 31 8 27 34 2 38 22 12 9 28 23 3 30 38 17 10 1 25 16 31 19 37 11 15 0 21 40 24 34 12 26 32 18 7 41 4 13 2 27 36 8 20 35 14 22 29 33 6 5 39 15 24 39 8 20 31 3 16 40 33 6 21 1 27 17 35 36 7 29 23 2 18 5 38 30 13 9 28 19 12 41 32 11 25 0 20 6 3 37 33 28 16 21 36 7 34 17 27 5 22 29 31 39 15 2 8 23 13 26 9 35 4 38 24 18 30 12 10 40 1 25 41 14 0 19 32 11 26 0 35 22 14 36 10 27 17 20 1 9 39 33 28 37 5 13 34 18 6 29 11 16 23 41 3 32 30 4 21 15 25 7 40 31 20 17 4 39 6 24 32 7 2 38 26 21 15 33 8 13 19 28 0 41 34 3 22 10 37 16 25 35 14 40 5 18 29 9 36 23 1 27 12 11 30 37 30 6 24 1 12 18 38 31 8 25 2 13 19 39 32 9 26 3 14 21 40 33 10 28 4 15 22 41 34 11 29 5 17 23 0 26 11 25 7 33 19 1 10 36 27 37 16 24 2 13 32 8 38 22 17 3 34 20 9 39 29 15 4 30 6 31 40 23 12 5 18 28 35 41 14 21 6 20 37 16 14 31 28 7 32 21 17 12 30 2 8 33 38 15 13 1 22 9 0 39 23 27 18 35 10 4 40 34 24 5 26 11 29 41 3 19 36 25 12 19 0 24 36 37 8 13 23 33 28 18 38 4 14 35 25 7 26 39 1 15 11 3 30 22 40 32 16 5 29 10 2 34 20 17 27 31 6 21 41 9 18 24 7 12 35 28 37 19 6 1 33 25 10 38 20 31 27 0 15 13 5 21 2 30 11 16 32 39 22 14 34 26 4 8 40 23 36 9 29 3 17 41 24 15 4 37 5 11 31 25 1 10 38 30 19 34 26 12 23 39 32 7 3 27 8 13 36 0 21 16 28 9 2 40 33 20 18 29 22 14 41 17 35 6 30 37 24 18 9 6 36 31 38 22 4 10 15 7 32 39 12 19 1 25 29 33 40 16 14 20 2 27 34 41 8 21 28 3 11 35 17 26 5 23 0 13 36 21 17 13 6 26 0 37 28 5 20 34 4 10 38 3 18 32 8 9 23 39 7 15 22 31 27 14 40 16 35 2 11 24 30 41 25 19 1 29 12 33 0 1 2 3 4 5 6 0 4 3 6 5 1 2 0 3 4 6 2 5 1 0 6 2 1 3 5 4 0 1 4 5 3 6 2 0 2 6 5 4 1 3 1 3 0 2 6 5 4 1 6 3 2 0 4 5 1 4 5 0 6 3 2 1 4 3 0 5 6 2 1 0 4 2 5 3 6 1 2 0 3 6 4 5 2 4 5 3 1 6 0 2 0 4 6 1 3 5 2 3 4 5 1 0 6 2 4 6 1 3 5 0 2 6 5 1 3 0 4 2 5 6 1 4 3 0 3 0 6 5 2 1 4 3 2 6 5 1 4 0 3 1 0 6 5 4 2 3 6 1 5 2 4 0 3 4 5 6 2 0 1 3 2 4 1 5 0 6 4 3 5 2 1 6 0 4 6 2 0 3 5 1 4 0 5 3 2 6 1 4 2 3 0 1 6 5 4 6 0 2 5 3 1 4 1 2 3 6 0 5 5 0 3 2 4 1 6 5 3 2 0 6 1 4 5 1 0 6 4 3 2 5 1 2 3 4 0 6 5 0 3 1 6 2 4 5 2 6 0 3 4 1 6 3 0 4 2 1 5 6 5 1 4 0 2 3 6 5 1 4 0 2 3 6 5 1 4 0 2 3 6 5 1 4 0 2 3 6 5 1 4 0 2 3 0 5 2 4 1 6 3 0 2 6 5 7 3 4 0 2 6 1 7 4 3 0 6 4 2 7 5 3 0 5 1 6 7 4 2 1 3 5 6 7 2 4 1 4 7 3 2 6 5 1 6 4 3 2 5 0 1 6 7 3 2 0 4 2 0 7 4 5 3 6 2 0 7 6 4 1 5 2 5 7 0 3 6 4 2 3 0 4 6 7 1 2 4 6 5 3 7 0 2 6 4 1 5 7 0 3 2 0 5 4 7 6 3 1 5 2 0 6 4 3 5 6 1 4 7 2 3 4 1 2 6 5 7 3 1 0 6 4 2 7 4 6 5 0 3 2 1 4 0 5 2 3 6 7 4 2 6 5 0 1 7 4 6 2 5 0 3 7 4 3 0 7 1 2 6 4 0 2 7 5 3 6 5 2 4 7 6 1 0 5 1 2 6 0 4 3 5 2 0 7 6 4 3 5 4 2 7 3 6 1 5 7 4 3 2 1 6 6 7 4 0 2 3 1 6 7 2 3 0 4 5 6 7 3 2 4 0 5 6 7 1 4 5 0 2 6 3 5 1 4 0 2 6 4 3 2 1 5 0 7 5 1 4 6 0 2 7 0 3 6 1 2 4 7 1 3 4 6 5 2 7 3 6 0 2 4 5 7 4 3 0 5 2 6</values> 33.41/27.49 v </instantiation> 33.41/27.49 c (26,14) Show results End 33.41/27.49 c (26,14) Heap : 1737 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 33.41/27.49 c (26,14) 0,0,8,8,9,9,13,26,26,STOP-AFTER(ALL) 33.41/27.49 c END-Prog: Fri Jul 27 04:19:00 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 (3992 MiB free) memory of node 1: 16384 MiB (8024 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297101-1532657912/watcher-4297101-1532657912 -o /tmp/evaluation-result-4297101-1532657912/solver-4297101-1532657912 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532655391-10321 --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-4297101-1532657912.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=10507, runsolver pid=10504 Current StackSize limit: 8192 KiB [startup+0.100122 s]* /proc/loadavg: 8.42 8.64 8.73 4/198 10527 /proc/meminfo: memFree=12205340/32770624 swapFree=67108860/67108860 [pid=10507] ppid=10504 vsize=27312552 memory=108664 CPUtime=0.1 cores=0-7 /proc/10507/stat : 10507 (java) S 10504 10507 10294 0 -1 1077944320 6168 0 0 0 8 2 0 0 20 0 20 0 83354380 27968053248 27166 33554432000 4194304 4196468 140729653862080 140729653844624 140649078554359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 /proc/10507/statm: 6828138 27166 2752 1 0 6790598 0 [pid=10507/tid=10509] ppid=10504 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/10507/task/10509/stat : 10509 (java) R 10504 10507 10294 0 -1 4202560 4291 0 0 0 7 2 0 0 20 0 20 0 83354380 27968053248 27166 33554432000 4194304 4196468 140729653862080 140649050386560 140649062634846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10510] ppid=10504 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10507/task/10510/stat : 10510 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 27166 33554432000 4194304 4196468 140729653862080 140649082796816 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10511] ppid=10504 vsize=27312552 memory=140254008551040 CPUtime=0 cores=0-7 /proc/10507/task/10511/stat : 10511 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 27166 33554432000 4194304 4196468 140729653862080 140648500640656 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10512] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10512/stat : 10512 (java) S 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 27166 33554432000 4194304 4196468 140729653862080 140648499588112 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10513] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10513/stat : 10513 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 27166 33554432000 4194304 4196468 140729653862080 140648498535568 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10514] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10514/stat : 10514 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 27166 33554432000 4194304 4196468 140729653862080 140648497482000 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10515] ppid=10504 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/10507/task/10515/stat : 10515 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 27166 33554432000 4194304 4196468 140729653862080 140648496429456 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10516] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10516/stat : 10516 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 27166 33554432000 4194304 4196468 140729653862080 140648495376912 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10517] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10517/stat : 10517 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 27166 33554432000 4194304 4196468 140729653862080 140648494324368 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10518] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10518/stat : 10518 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354384 27968053248 27166 33554432000 4194304 4196468 140729653862080 140647332723184 140649078565506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10519] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10519/stat : 10519 (java) S 10504 10507 10294 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83354384 27968053248 27166 33554432000 4194304 4196468 140729653862080 140647025599904 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10520] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10520/stat : 10520 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354385 27968053248 27166 33554432000 4194304 4196468 140729653862080 140646757164528 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10521] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10521/stat : 10521 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 27166 33554432000 4194304 4196468 140729653862080 140646382656208 140649078572955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10522] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10522/stat : 10522 (java) S 10504 10507 10294 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 27166 33554432000 4194304 4196468 140729653862080 140647331670000 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10523] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10523/stat : 10523 (java) S 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 27166 33554432000 4194304 4196468 140729653862080 140647330617456 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10524] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10524/stat : 10524 (java) R 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 27166 33554432000 4194304 4196468 140729653862080 140647329564912 140649078565506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10525] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10525/stat : 10525 (java) S 10504 10507 10294 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 27166 33554432000 4194304 4196468 140729653862080 140647328512368 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10526] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10526/stat : 10526 (java) S 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 27166 33554432000 4194304 4196468 140729653862080 140645884750560 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10527] ppid=10504 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/10507/task/10527/stat : 10527 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 27166 33554432000 4194304 4196468 140729653862080 140647327460272 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 108664 KiB [startup+0.210281 s]* /proc/loadavg: 8.42 8.64 8.73 2/198 10527 /proc/meminfo: memFree=12189216/32770624 swapFree=67108860/67108860 [pid=10507] ppid=10504 vsize=27312552 memory=123320 CPUtime=0.24 cores=0-7 /proc/10507/stat : 10507 (java) S 10504 10507 10294 0 -1 1077944320 10076 0 0 0 21 3 0 0 20 0 20 0 83354380 27968053248 30830 33554432000 4194304 4196468 140729653862080 140729653844624 140649078554359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 /proc/10507/statm: 6828138 30830 2909 1 0 6790598 0 [pid=10507/tid=10509] ppid=10504 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/10507/task/10509/stat : 10509 (java) R 10504 10507 10294 0 -1 4202560 7970 0 0 0 17 2 0 0 20 0 20 0 83354380 27968053248 30830 33554432000 4194304 4196468 140729653862080 140649050345024 140649062634846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10510] ppid=10504 vsize=27312552 memory=12881 CPUtime=0 cores=0-7 /proc/10507/task/10510/stat : 10510 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 30830 33554432000 4194304 4196468 140729653862080 140649082796816 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10511] ppid=10504 vsize=27312552 memory=140254008561517 CPUtime=0 cores=0-7 /proc/10507/task/10511/stat : 10511 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 30830 33554432000 4194304 4196468 140729653862080 140648500640656 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10512] ppid=10504 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/10507/task/10512/stat : 10512 (java) S 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 30830 33554432000 4194304 4196468 140729653862080 140648499588112 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10513] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10513/stat : 10513 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 30830 33554432000 4194304 4196468 140729653862080 140648498535568 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10514] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10514/stat : 10514 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 30830 33554432000 4194304 4196468 140729653862080 140648497482000 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10515] ppid=10504 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/10507/task/10515/stat : 10515 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 30830 33554432000 4194304 4196468 140729653862080 140648496429456 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10516] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10516/stat : 10516 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 30830 33554432000 4194304 4196468 140729653862080 140648495376912 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10517] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10517/stat : 10517 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 30830 33554432000 4194304 4196468 140729653862080 140648494324368 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10518] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10518/stat : 10518 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354384 27968053248 30830 33554432000 4194304 4196468 140729653862080 140647332723184 140649078565506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10519] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10519/stat : 10519 (java) S 10504 10507 10294 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83354384 27968053248 30830 33554432000 4194304 4196468 140729653862080 140647025599904 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10520] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10520/stat : 10520 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354385 27968053248 30830 33554432000 4194304 4196468 140729653862080 140646757164528 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10521] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10521/stat : 10521 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 30830 33554432000 4194304 4196468 140729653862080 140646382656208 140649078572955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10522] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10522/stat : 10522 (java) S 10504 10507 10294 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 30830 33554432000 4194304 4196468 140729653862080 140647331670000 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10523] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10523/stat : 10523 (java) S 10504 10507 10294 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 30830 33554432000 4194304 4196468 140729653862080 140647330617456 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10524] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10524/stat : 10524 (java) S 10504 10507 10294 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 30830 33554432000 4194304 4196468 140729653862080 140647329564912 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10525] ppid=10504 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/10507/task/10525/stat : 10525 (java) S 10504 10507 10294 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 20 0 83354387 27968053248 30830 33554432000 4194304 4196468 140729653862080 140647328512368 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10526] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10526/stat : 10526 (java) S 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 30830 33554432000 4194304 4196468 140729653862080 140645884750560 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10527] ppid=10504 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/10507/task/10527/stat : 10527 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 30830 33554432000 4194304 4196468 140729653862080 140647327460272 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 123320 KiB [startup+0.310099 s]* /proc/loadavg: 8.42 8.64 8.73 2/198 10527 /proc/meminfo: memFree=12184936/32770624 swapFree=67108860/67108860 [pid=10507] ppid=10504 vsize=27312552 memory=127216 CPUtime=0.42 cores=0-7 /proc/10507/stat : 10507 (java) S 10504 10507 10294 0 -1 1077944320 10714 0 0 0 38 4 0 0 20 0 20 0 83354380 27968053248 31804 33554432000 4194304 4196468 140729653862080 140729653844624 140649078554359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 /proc/10507/statm: 6828138 31804 2952 1 0 6790598 0 [pid=10507/tid=10509] ppid=10504 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/10507/task/10509/stat : 10509 (java) R 10504 10507 10294 0 -1 4202560 8412 0 0 0 26 3 0 0 20 0 20 0 83354380 27968053248 31804 33554432000 4194304 4196468 140729653862080 140649050345808 140649064247771 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10510] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10510/stat : 10510 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 31804 33554432000 4194304 4196468 140729653862080 140649082796816 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10511] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10511/stat : 10511 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 31804 33554432000 4194304 4196468 140729653862080 140648500640656 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10512] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10512/stat : 10512 (java) S 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 31804 33554432000 4194304 4196468 140729653862080 140648499588112 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10513] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10513/stat : 10513 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 31804 33554432000 4194304 4196468 140729653862080 140648498535568 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10514] ppid=10504 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/10507/task/10514/stat : 10514 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 31804 33554432000 4194304 4196468 140729653862080 140648497482000 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10515] ppid=10504 vsize=27312552 memory=140253901976495 CPUtime=0 cores=0-7 /proc/10507/task/10515/stat : 10515 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 31804 33554432000 4194304 4196468 140729653862080 140648496429456 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10516] ppid=10504 vsize=27312552 memory=140253901978800 CPUtime=0 cores=0-7 /proc/10507/task/10516/stat : 10516 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 31804 33554432000 4194304 4196468 140729653862080 140648495376912 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10517] ppid=10504 vsize=27312552 memory=140253901981104 CPUtime=0 cores=0-7 /proc/10507/task/10517/stat : 10517 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27968053248 31804 33554432000 4194304 4196468 140729653862080 140648494324368 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10518] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10518/stat : 10518 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354384 27968053248 31804 33554432000 4194304 4196468 140729653862080 140647332723184 140649078565506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10519] ppid=10504 vsize=27312552 memory=280507803969168 CPUtime=0 cores=0-7 /proc/10507/task/10519/stat : 10519 (java) S 10504 10507 10294 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83354384 27968053248 31804 33554432000 4194304 4196468 140729653862080 140647025599904 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10520] ppid=10504 vsize=27312552 memory=280507803976080 CPUtime=0 cores=0-7 /proc/10507/task/10520/stat : 10520 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354385 27968053248 31804 33554432000 4194304 4196468 140729653862080 140646757164528 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10521] ppid=10504 vsize=27312552 memory=280507803917360 CPUtime=0 cores=0-7 /proc/10507/task/10521/stat : 10521 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 31804 33554432000 4194304 4196468 140729653862080 140646382656208 140649078572955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10522] ppid=10504 vsize=27312552 memory=280507803989904 CPUtime=0 cores=0-7 /proc/10507/task/10522/stat : 10522 (java) S 10504 10507 10294 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 31804 33554432000 4194304 4196468 140729653862080 140647331670000 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10523] ppid=10504 vsize=27312552 memory=280507803996816 CPUtime=0.01 cores=0-7 /proc/10507/task/10523/stat : 10523 (java) S 10504 10507 10294 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 20 0 83354387 27968053248 31804 33554432000 4194304 4196468 140729653862080 140647330617456 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10524] ppid=10504 vsize=27312552 memory=280507803994512 CPUtime=0.01 cores=0-7 /proc/10507/task/10524/stat : 10524 (java) S 10504 10507 10294 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 83354387 27968053248 31804 33554432000 4194304 4196468 140729653862080 140647329564912 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10525] ppid=10504 vsize=27312552 memory=280507804011120 CPUtime=0.07 cores=0-7 /proc/10507/task/10525/stat : 10525 (java) S 10504 10507 10294 0 -1 1077944384 341 0 0 0 7 0 0 0 20 0 20 0 83354387 27968053248 31804 33554432000 4194304 4196468 140729653862080 140647328512368 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10526] ppid=10504 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10526/stat : 10526 (java) S 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 31804 33554432000 4194304 4196468 140729653862080 140645884750560 140649078564565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10527] ppid=10504 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/10507/task/10527/stat : 10527 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354387 27968053248 31804 33554432000 4194304 4196468 140729653862080 140647327460272 140649078565506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 127216 KiB [startup+0.700885 s] /proc/loadavg: 8.42 8.64 8.73 2/198 10527 /proc/meminfo: memFree=12160876/32770624 swapFree=67108860/67108860 [pid=10507] ppid=10504 vsize=27318824 memory=164560 CPUtime=1.01 cores=0-7 /proc/10507/stat : 10507 (java) S 10504 10507 10294 0 -1 1077944320 17694 0 0 0 94 7 0 0 20 0 20 0 83354380 27974475776 41140 33554432000 4194304 4196468 140729653862080 140729653844624 140649078554359 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 /proc/10507/statm: 6829706 41140 3101 1 0 6791110 0 [pid=10507/tid=10509] ppid=10504 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7 /proc/10507/task/10509/stat : 10509 (java) R 10504 10507 10294 0 -1 4202560 14924 0 0 0 62 5 0 0 20 0 20 0 83354380 27974475776 41140 33554432000 4194304 4196468 140729653862080 140649050391744 140649078576285 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10510] ppid=10504 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10510/stat : 10510 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27974475776 41140 33554432000 4194304 4196468 140729653862080 140649082796816 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10511] ppid=10504 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10511/stat : 10511 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354382 27974475776 41140 33554432000 4194304 4196468 140729653862080 140648500640656 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10512] ppid=10504 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/10507/task/10512/stat : 10512 (java) S 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83354382 27974475776 41140 33554432000 4194304 4196468 140729653862080 140648499588112 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10513] ppid=10504 vsize=27318824 memory=1200 CPUtime=0 cores=0-7 /proc/10507/task/10513/stat : 10513 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27974475776 41140 33554432000 4194304 4196468 140729653862080 140648498535568 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10514] ppid=10504 vsize=27318824 memory=10608 CPUtime=0 cores=0-7 /proc/10507/task/10514/stat : 10514 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354382 27974475776 41140 33554432000 4194304 4196468 140729653862080 140648497482000 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10515] ppid=10504 vsize=27318824 memory=4616 CPUtime=0 cores=0-7 /proc/10507/task/10515/stat : 10515 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27974475776 41140 33554432000 4194304 4196468 140729653862080 140648496429456 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10516] ppid=10504 vsize=27318824 memory=1428 CPUtime=0 cores=0-7 /proc/10507/task/10516/stat : 10516 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83354382 27974475776 41140 33554432000 4194304 4196468 140729653862080 140648495376912 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10517] ppid=10504 vsize=27318824 memory=15876 CPUtime=0 cores=0-7 /proc/10507/task/10517/stat : 10517 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83354382 27974475776 41140 33554432000 4194304 4196468 140729653862080 140648494324368 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10518] ppid=10504 vsize=27318824 memory=16436 CPUtime=0 cores=0-7 /proc/10507/task/10518/stat : 10518 (java) S 10504 10507 10294 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83354384 27974475776 41140 33554432000 4194304 4196468 140729653862080 140647332723184 140649078565506 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 ################ # More data... # ################ [pid=10528/tid=10540] ppid=10507 vsize=1341584 memory=0 CPUtime=10.28 cores=0-7 /proc/10528/task/10540/stat : 10540 (glucose-syrup) R 10507 10507 10294 0 -1 4202560 50059 0 0 0 1012 16 0 0 20 0 9 0 83356068 1373782016 201961 33554432000 4194304 4373367 140727658692048 140235801107320 4271897 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 12083200 140727658697647 140727658697900 140727658697900 140727658700743 0 [pid=10528/tid=10541] ppid=10507 vsize=1341584 memory=0 CPUtime=10.27 cores=0-7 /proc/10528/task/10541/stat : 10541 (glucose-syrup) R 10507 10507 10294 0 -1 4202560 48194 0 0 0 1013 14 0 0 20 0 9 0 83356068 1373782016 201961 33554432000 4194304 4373367 140727658692048 140235792714896 4258831 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 12083200 140727658697647 140727658697900 140727658697900 140727658700743 0 [pid=10507/tid=10509] ppid=10504 vsize=27984808 memory=140253902921713 CPUtime=14.56 cores=0-7 /proc/10507/task/10509/stat : 10509 (java) S 10504 10507 10294 0 -1 1077944384 20820 0 0 0 1362 94 0 0 20 0 24 0 83354380 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140649050393600 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10510] ppid=10504 vsize=27984808 memory=280507803766128 CPUtime=0.13 cores=0-7 /proc/10507/task/10510/stat : 10510 (java) S 10504 10507 10294 0 -1 1077944384 119 0 0 0 9 4 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140649082796816 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10511] ppid=10504 vsize=27984808 memory=280507803762928 CPUtime=0.14 cores=0-7 /proc/10507/task/10511/stat : 10511 (java) S 10504 10507 10294 0 -1 1077944384 229 0 0 0 7 7 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648500640656 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10512] ppid=10504 vsize=27984808 memory=9992 CPUtime=0.13 cores=0-7 /proc/10507/task/10512/stat : 10512 (java) S 10504 10507 10294 0 -1 1077944384 101 0 0 0 8 5 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648499588112 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10513] ppid=10504 vsize=27984808 memory=1228 CPUtime=0.13 cores=0-7 /proc/10507/task/10513/stat : 10513 (java) S 10504 10507 10294 0 -1 1077944384 77 0 0 0 9 4 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648498535568 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10514] ppid=10504 vsize=27984808 memory=1952 CPUtime=0.13 cores=0-7 /proc/10507/task/10514/stat : 10514 (java) S 10504 10507 10294 0 -1 1077944384 84 0 0 0 8 5 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648497482000 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10515] ppid=10504 vsize=27984808 memory=1200 CPUtime=0.13 cores=0-7 /proc/10507/task/10515/stat : 10515 (java) S 10504 10507 10294 0 -1 1077944384 75 0 0 0 8 5 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648496429456 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10516] ppid=10504 vsize=27984808 memory=10608 CPUtime=0.13 cores=0-7 /proc/10507/task/10516/stat : 10516 (java) S 10504 10507 10294 0 -1 1077944384 162 0 0 0 9 4 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648495376912 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10517] ppid=10504 vsize=27984808 memory=4616 CPUtime=0.13 cores=0-7 /proc/10507/task/10517/stat : 10517 (java) S 10504 10507 10294 0 -1 1077944384 96 0 0 0 8 5 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648494324368 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10518] ppid=10504 vsize=27984808 memory=1428 CPUtime=0.01 cores=0-7 /proc/10507/task/10518/stat : 10518 (java) S 10504 10507 10294 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 24 0 83354384 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647332723184 140649078565506 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10519] ppid=10504 vsize=27984808 memory=15876 CPUtime=0 cores=0-7 /proc/10507/task/10519/stat : 10519 (java) S 10504 10507 10294 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 83354384 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647025599904 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10520] ppid=10504 vsize=27984808 memory=16436 CPUtime=0 cores=0-7 /proc/10507/task/10520/stat : 10520 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83354385 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140646757164528 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10521] ppid=10504 vsize=27984808 memory=14256 CPUtime=0 cores=0-7 /proc/10507/task/10521/stat : 10521 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140646382656208 140649078572955 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10522] ppid=10504 vsize=27984808 memory=4048 CPUtime=5.01 cores=0-7 /proc/10507/task/10522/stat : 10522 (java) S 10504 10507 10294 0 -1 1077944384 5486 0 0 0 498 3 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647331670000 140649078565506 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10523] ppid=10504 vsize=27984808 memory=1796 CPUtime=5.08 cores=0-7 /proc/10507/task/10523/stat : 10523 (java) S 10504 10507 10294 0 -1 1077944384 4418 0 0 0 506 2 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647330617456 140649078565506 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10524] ppid=10504 vsize=27984808 memory=1796 CPUtime=5.45 cores=0-7 /proc/10507/task/10524/stat : 10524 (java) S 10504 10507 10294 0 -1 1077944384 3608 0 0 0 544 1 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647329564912 140649078565506 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10525] ppid=10504 vsize=27984808 memory=916 CPUtime=1.97 cores=0-7 /proc/10507/task/10525/stat : 10525 (java) S 10504 10507 10294 0 -1 1077944384 5608 0 0 0 195 2 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647328512368 140649078565506 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10526] ppid=10504 vsize=27984808 memory=4136 CPUtime=0 cores=0-7 /proc/10507/task/10526/stat : 10526 (java) S 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140645884750560 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10527] ppid=10504 vsize=27984808 memory=1412 CPUtime=0 cores=0-7 /proc/10507/task/10527/stat : 10527 (java) S 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647327460272 140649078565506 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10529] ppid=10504 vsize=27984808 memory=7324 CPUtime=0 cores=0-7 /proc/10507/task/10529/stat : 10529 (java) S 10504 10507 10294 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83355853 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648904967872 140649078578969 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10531] ppid=10504 vsize=27984808 memory=6055844 CPUtime=0 cores=0-7 /proc/10507/task/10531/stat : 10531 (java) S 10504 10507 10294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 83355853 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140645213650096 140649078576285 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10532] ppid=10504 vsize=27984808 memory=807360 CPUtime=0 cores=0-7 /proc/10507/task/10532/stat : 10532 (java) S 10504 10507 10294 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 83355853 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140645482085680 140649078576285 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10533] ppid=10504 vsize=27984808 memory=-5155628015961271685 CPUtime=0 cores=0-7 /proc/10507/task/10533/stat : 10533 (java) S 10504 10507 10294 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 83355855 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140644945222816 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 Current children cumulated CPU time: 117.46 s Current children cumulated vsize: 29326392 KiB Current children cumulated memory: 6863688 KiB [startup+27.4013 s] /proc/loadavg: 7.02 8.28 8.60 9/211 10541 /proc/meminfo: memFree=5412440/32770624 swapFree=67108860/67108860 [pid=10507] ppid=10504 vsize=27984808 memory=6055844 CPUtime=33.41 cores=0-7 /proc/10507/stat : 10507 (java) S 10504 10507 10294 0 -1 1077944320 42298 0 0 0 3192 149 0 0 20 0 24 0 83354380 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140729653844624 140649078554359 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 /proc/10507/statm: 6996202 1513961 3247 1 0 6957058 0 [pid=10507/tid=10509] ppid=10504 vsize=27984808 memory=6944656592455097440 CPUtime=14.56 cores=0-7 /proc/10507/task/10509/stat : 10509 (java) S 10504 10507 10294 0 -1 1077944384 20820 0 0 0 1362 94 0 0 20 0 24 0 83354380 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140649050393600 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10510] ppid=10504 vsize=27984808 memory=6656426216303648864 CPUtime=0.13 cores=0-7 /proc/10507/task/10510/stat : 10510 (java) S 10504 10507 10294 0 -1 1077944384 119 0 0 0 9 4 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140649082796816 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10511] ppid=10504 vsize=27984808 memory=6656426216303648864 CPUtime=0.14 cores=0-7 /proc/10507/task/10511/stat : 10511 (java) S 10504 10507 10294 0 -1 1077944384 229 0 0 0 7 7 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648500640656 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10512] ppid=10504 vsize=27984808 memory=6944656592455360604 CPUtime=0.13 cores=0-7 /proc/10507/task/10512/stat : 10512 (java) S 10504 10507 10294 0 -1 1077944384 101 0 0 0 8 5 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648499588112 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10513] ppid=10504 vsize=27984808 memory=6944656575208382560 CPUtime=0.13 cores=0-7 /proc/10507/task/10513/stat : 10513 (java) S 10504 10507 10294 0 -1 1077944384 77 0 0 0 9 4 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648498535568 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10514] ppid=10504 vsize=27984808 memory=6656426216303648864 CPUtime=0.13 cores=0-7 /proc/10507/task/10514/stat : 10514 (java) S 10504 10507 10294 0 -1 1077944384 84 0 0 0 8 5 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648497482000 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10515] ppid=10504 vsize=27984808 memory=6944656592455097440 CPUtime=0.13 cores=0-7 /proc/10507/task/10515/stat : 10515 (java) S 10504 10507 10294 0 -1 1077944384 75 0 0 0 8 5 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648496429456 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10516] ppid=10504 vsize=27984808 memory=6655300316396806240 CPUtime=0.13 cores=0-7 /proc/10507/task/10516/stat : 10516 (java) S 10504 10507 10294 0 -1 1077944384 162 0 0 0 9 4 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648495376912 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10517] ppid=10504 vsize=27984808 memory=90469191144005 CPUtime=0.13 cores=0-7 /proc/10507/task/10517/stat : 10517 (java) S 10504 10507 10294 0 -1 1077944384 96 0 0 0 8 5 0 0 20 0 24 0 83354382 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648494324368 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10518] ppid=10504 vsize=27984808 memory=5792262646365438048 CPUtime=0.01 cores=0-7 /proc/10507/task/10518/stat : 10518 (java) S 10504 10507 10294 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 24 0 83354384 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647332723184 140649078565506 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10519] ppid=10504 vsize=27984808 memory=7597685182856913236 CPUtime=0 cores=0-7 /proc/10507/task/10519/stat : 10519 (java) S 10504 10507 10294 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 83354384 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647025599904 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10520] ppid=10504 vsize=27984808 memory=7165352523811337273 CPUtime=0 cores=0-7 /proc/10507/task/10520/stat : 10520 (java) S 10504 10507 10294 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83354385 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140646757164528 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10521] ppid=10504 vsize=27984808 memory=7373043846203401825 CPUtime=0 cores=0-7 /proc/10507/task/10521/stat : 10521 (java) S 10504 10507 10294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140646382656208 140649078572955 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10522] ppid=10504 vsize=27984808 memory=6082203021870852439 CPUtime=5.04 cores=0-7 /proc/10507/task/10522/stat : 10522 (java) S 10504 10507 10294 0 -1 1077944384 5486 0 0 0 501 3 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647331670000 140649078565506 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10523] ppid=10504 vsize=27984808 memory=6082203013213808983 CPUtime=5.1 cores=0-7 /proc/10507/task/10523/stat : 10523 (java) S 10504 10507 10294 0 -1 1077944384 4418 0 0 0 508 2 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647330617456 140649078565506 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10524] ppid=10504 vsize=27984808 memory=6082203026182597719 CPUtime=5.46 cores=0-7 /proc/10507/task/10524/stat : 10524 (java) R 10504 10507 10294 0 -1 4202560 3608 0 0 0 545 1 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647329564912 140649062948189 0 4 0 25189583 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10525] ppid=10504 vsize=27984808 memory=7230638415855315543 CPUtime=1.98 cores=0-7 /proc/10507/task/10525/stat : 10525 (java) S 10504 10507 10294 0 -1 1077944384 5610 0 0 0 196 2 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647328512368 140649078565506 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10526] ppid=10504 vsize=27984808 memory=7230638415855315031 CPUtime=0 cores=0-7 /proc/10507/task/10526/stat : 10526 (java) S 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140645884750560 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10527] ppid=10504 vsize=27984808 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/10507/task/10527/stat : 10527 (java) S 10504 10507 10294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83354387 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140647327460272 140649078565506 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10529] ppid=10504 vsize=27984808 memory=7589498103293896550 CPUtime=0 cores=0-7 /proc/10507/task/10529/stat : 10529 (java) S 10504 10507 10294 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83355853 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140648904967872 140649078578969 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10531] ppid=10504 vsize=27984808 memory=6940720392552999511 CPUtime=0.03 cores=0-7 /proc/10507/task/10531/stat : 10531 (java) R 10504 10507 10294 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 24 0 83355853 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140645213649984 140648581597135 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10532] ppid=10504 vsize=27984808 memory=302022848351043610 CPUtime=0 cores=0-7 /proc/10507/task/10532/stat : 10532 (java) S 10504 10507 10294 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 83355853 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140645482085680 140649078576285 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10533] ppid=10504 vsize=27984808 memory=302022895662793015 CPUtime=0 cores=0-7 /proc/10507/task/10533/stat : 10533 (java) S 10504 10507 10294 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 83355855 28656443392 1513961 33554432000 4194304 4196468 140729653862080 140644945222816 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 Current children cumulated CPU time: 33.41 s Current children cumulated vsize: 27984808 KiB Current children cumulated memory: 6055844 KiB [startup+27.5011 s] /proc/loadavg: 7.02 8.28 8.60 9/211 10541 /proc/meminfo: memFree=5412440/32770624 swapFree=67108860/67108860 [pid=10507] ppid=10504 vsize=27722656 memory=6054212 CPUtime=119.28 cores=0-7 /proc/10507/stat : 10507 (java) S 10504 10507 10294 0 -1 1077944320 42520 643712 0 0 3226 150 8419 133 20 0 21 0 83354380 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140729653844624 140649078554359 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 /proc/10507/statm: 6930664 1513553 3248 1 0 6891520 0 [pid=10507/tid=10509] ppid=10504 vsize=27722656 memory=807864 CPUtime=100.14 cores=0-7 /proc/10507/task/10509/stat : 10509 (java) S 10504 10507 10294 0 -1 1077944384 20879 643712 0 0 1367 95 8419 133 20 0 21 0 83354380 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140649050397840 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10510] ppid=10504 vsize=27722656 memory=6055844 CPUtime=85.65 cores=0-7 /proc/10507/task/10510/stat : 10510 (java) S 10504 10507 10294 0 -1 1077944384 119 643712 0 0 9 4 8419 133 20 0 21 0 83354382 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140649082796816 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10511] ppid=10504 vsize=27722656 memory=-5155628015961271685 CPUtime=85.66 cores=0-7 /proc/10507/task/10511/stat : 10511 (java) S 10504 10507 10294 0 -1 1077944384 229 643712 0 0 7 7 8419 133 20 0 21 0 83354382 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140648500640656 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10512] ppid=10504 vsize=27722656 memory=1428 CPUtime=85.65 cores=0-7 /proc/10507/task/10512/stat : 10512 (java) S 10504 10507 10294 0 -1 1077944384 101 643712 0 0 8 5 8419 133 20 0 21 0 83354382 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140648499588112 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10513] ppid=10504 vsize=27722656 memory=6055844 CPUtime=85.65 cores=0-7 /proc/10507/task/10513/stat : 10513 (java) S 10504 10507 10294 0 -1 1077944384 77 643712 0 0 9 4 8419 133 20 0 21 0 83354382 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140648498535568 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10514] ppid=10504 vsize=27722656 memory=806448 CPUtime=85.65 cores=0-7 /proc/10507/task/10514/stat : 10514 (java) S 10504 10507 10294 0 -1 1077944384 84 643712 0 0 8 5 8419 133 20 0 21 0 83354382 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140648497482000 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10515] ppid=10504 vsize=27722656 memory=280507804385344 CPUtime=85.65 cores=0-7 /proc/10507/task/10515/stat : 10515 (java) S 10504 10507 10294 0 -1 1077944384 75 643712 0 0 8 5 8419 133 20 0 21 0 83354382 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140648496429456 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10516] ppid=10504 vsize=27722656 memory=28062102286 CPUtime=85.65 cores=0-7 /proc/10507/task/10516/stat : 10516 (java) S 10504 10507 10294 0 -1 1077944384 162 643712 0 0 9 4 8419 133 20 0 21 0 83354382 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140648495376912 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10517] ppid=10504 vsize=27722656 memory=140258303518335 CPUtime=85.65 cores=0-7 /proc/10507/task/10517/stat : 10517 (java) S 10504 10507 10294 0 -1 1077944384 96 643712 0 0 8 5 8419 133 20 0 21 0 83354382 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140648494324368 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10518] ppid=10504 vsize=27722656 memory=280507804740328 CPUtime=85.53 cores=0-7 /proc/10507/task/10518/stat : 10518 (java) S 10504 10507 10294 0 -1 1077944384 23 643712 0 0 1 0 8419 133 20 0 21 0 83354384 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140647332723392 140649078565506 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10519] ppid=10504 vsize=27722656 memory=280507805715024 CPUtime=85.52 cores=0-7 /proc/10507/task/10519/stat : 10519 (java) S 10504 10507 10294 0 -1 1077944384 14 643712 0 0 0 0 8419 133 20 0 21 0 83354384 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140647025599904 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10520] ppid=10504 vsize=27722656 memory=3283588 CPUtime=85.52 cores=0-7 /proc/10507/task/10520/stat : 10520 (java) S 10504 10507 10294 0 -1 1077944384 2 643712 0 0 0 0 8419 133 20 0 21 0 83354385 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140646757164528 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10521] ppid=10504 vsize=27722656 memory=1700 CPUtime=85.52 cores=0-7 /proc/10507/task/10521/stat : 10521 (java) S 10504 10507 10294 0 -1 1077944384 21 643712 0 0 0 0 8419 133 20 0 21 0 83354387 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140646382654976 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10522] ppid=10504 vsize=27722656 memory=288230574492221466 CPUtime=90.62 cores=0-7 /proc/10507/task/10522/stat : 10522 (java) S 10504 10507 10294 0 -1 1077944384 5493 643712 0 0 507 3 8419 133 20 0 21 0 83354387 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140647331655056 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10523] ppid=10504 vsize=27722656 memory=280507804477472 CPUtime=90.71 cores=0-7 /proc/10507/task/10523/stat : 10523 (java) S 10504 10507 10294 0 -1 1077944384 4523 643712 0 0 517 2 8419 133 20 0 21 0 83354387 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140647330602416 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10524] ppid=10504 vsize=27722656 memory=47302219663850 CPUtime=91.05 cores=0-7 /proc/10507/task/10524/stat : 10524 (java) S 10504 10507 10294 0 -1 1077944384 3609 643712 0 0 552 1 8419 133 20 0 21 0 83354387 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140647329549904 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10525] ppid=10504 vsize=27722656 memory=47302219663850 CPUtime=87.54 cores=0-7 /proc/10507/task/10525/stat : 10525 (java) S 10504 10507 10294 0 -1 1077944384 5615 643712 0 0 200 2 8419 133 20 0 21 0 83354387 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140647328512368 140649078565506 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10526] ppid=10504 vsize=27722656 memory=4128 CPUtime=85.52 cores=0-7 /proc/10507/task/10526/stat : 10526 (java) S 10504 10507 10294 0 -1 1077944384 3 643712 0 0 0 0 8419 133 20 0 21 0 83354387 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140645884750560 140649078564565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10529] ppid=10504 vsize=27722656 memory=1292 CPUtime=85.52 cores=0-7 /proc/10507/task/10529/stat : 10529 (java) S 10504 10507 10294 0 -1 1077944384 27 643712 0 0 0 0 8419 133 20 0 21 0 83355853 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140648904967056 140649078565506 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 [pid=10507/tid=10533] ppid=10504 vsize=27722656 memory=2344 CPUtime=85.52 cores=0-7 /proc/10507/task/10533/stat : 10533 (java) S 10504 10507 10294 0 -1 1077944384 14 643712 0 0 0 0 8419 133 20 0 21 0 83355855 28387999744 1513553 33554432000 4194304 4196468 140729653862080 140644945224624 140649078565506 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24776704 140729653867481 140729653867781 140729653867781 140729653870543 0 Current children cumulated CPU time: 119.28 s Current children cumulated vsize: 27722656 KiB Current children cumulated memory: 6054212 KiB Child status: 0 Real time (s): 27.5331 CPU time (s): 119.332 CPU user time (s): 116.46 CPU system time (s): 2.87131 CPU usage (%): 433.412 Max. virtual memory (cumulated for all children) (KiB): 29326524 Max. memory (cumulated for all children) (KiB): 6863708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 116.46 system time used= 2.87131 maximum resident set size= 6058560 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 686236 page faults= 0 swaps= 0 block input operations= 0 block output operations= 47464 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45187 involuntary context switches= 886 # summary of solver processes directly reported to runsolver: # pid: 10507 # total CPU time (s): 119.332 # total CPU user time (s): 116.46 # total CPU system time (s): 2.87131 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.248877 second user time and 0.355824 second system time The end
Begin job on node139 at 2018-07-27 04:18:32 IDJOB=4297101 IDBENCH=141393 IDSOLVER=2758 FILE ID=node139/4297101-1532657912 RUNJOBID= node139-1532655391-10321 PBS_JOBID= 21022223 Free space on /tmp= 38720 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06d_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-4297101-1532657912/watcher-4297101-1532657912 -o /tmp/evaluation-result-4297101-1532657912/solver-4297101-1532657912 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532655391-10321 --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-4297101-1532657912.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 71f002b78114a95e8a0fa642f39b0e56 RANDOM SEED=1226274844 node139.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.80 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.80 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.80 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.80 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: 12305696 kB MemAvailable: 31931060 kB Buffers: 248292 kB Cached: 19332360 kB SwapCached: 0 kB Active: 3056256 kB Inactive: 16575872 kB Active(anon): 5688 kB Inactive(anon): 73540 kB Active(file): 3050568 kB Inactive(file): 16502332 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8164 kB Writeback: 0 kB AnonPages: 58776 kB Mapped: 41712 kB Shmem: 25228 kB Slab: 528460 kB SReclaimable: 500924 kB SUnreclaim: 27536 kB KernelStack: 3360 kB PageTables: 4756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324188 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 38708 MiB End job on node139 at 2018-07-27 04:19:00