| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-07) | SAT | 49.2692 | 23.2552 |
| Name | CarSequencing/ CarSequencing-65-02_c18.xml |
| MD5SUM | 5b8cef4a239c531d2bd2d2ec1c21b605 |
| 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 | 8.08259 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1377 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 22 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":22,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 56 |
| Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":32,"count":19}, {"degree":33,"count":19}, {"degree":34,"count":19}, {"degree":35,"count":19}, {"degree":36,"count":64}, {"degree":37,"count":14}, {"degree":38,"count":144}, {"degree":39,"count":13}, {"degree":40,"count":102}, {"degree":41,"count":9}, {"degree":42,"count":24}, {"degree":43,"count":3}, {"degree":44,"count":3}, {"degree":45,"count":3}, {"degree":46,"count":3}, {"degree":47,"count":3}, {"degree":48,"count":3}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":3}, {"degree":52,"count":3}, {"degree":53,"count":3}, {"degree":54,"count":4}, {"degree":55,"count":4}, {"degree":56,"count":45}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 200 |
| Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":25,"count":1},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":47,"count":1},{"arity":50,"count":2},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},{"arity":80,"count":3},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
| Number of extensional constraints | 200 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1176},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.66/0.53 0.66/0.53 scop order+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.56 c BEGIN-Prog: Fri Jul 27 06:17:38 CEST 2018 0.66/0.56 c PID: 10503 0.66/0.56 c IP: 172.20.3.133 0.66/0.56 c HOST: node133.alineos.net 0.66/0.57 c (0,0) Parsing Begin 2.96/1.39 c (0,0) Parsing End 3.31/1.40 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1377 ctr, max domain size 22 3.31/1.40 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.31/1.40 c (0,0) Constraint Name Generate Begin 3.31/1.42 c (0,0) Ctr:HOME/instance-4296900-1532665058.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum 3.31/1.42 c (0,0) Constraint Name Generate End 3.31/1.43 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.31/1.43 c (0,0) CSP to CSPinCNF Begin 11.71/4.34 c (3,3) translated 138 (10%) constraints 12.24/4.83 c (4,4) translated 276 (20%) constraints 12.24/4.85 c (4,4) translated 414 (30%) constraints 12.24/4.87 c (4,4) translated 551 (40%) constraints 12.24/4.90 c (4,4) translated 689 (50%) constraints 12.64/4.93 c (4,4) translated 827 (60%) constraints 12.64/4.94 c (4,4) translated 964 (70%) constraints 12.64/4.96 c (4,4) translated 1102 (80%) constraints 14.05/5.72 c (5,5) translated 1240 (90%) constraints 15.51/7.19 c (6,6) translated 1377 (100%) constraints 16.90/7.72 c (7,7) STATISTICS1:HOME/instance-4296900-1532665058.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,15400,52998,9223372036854775807,22,23,200,9223372036854775807:217;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:2;70368744177664:1;17592186044416:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,22:17200;2:146563,23:200;3:27200;2:24400;1:1198,200:49;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:2;128:2;125:4;122:2;120:2;119:2;116:2;115:2;113:2;110:4;107:2;105:2;104:2;101:2;100:2;98:2;95:4;92:1;90:2;89:1;86:1;85:2;83:1;80:3;77:1;75:2;74:1;71:1;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:2;47:1;45:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:134800;0:200,17689:49;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:2;7225:2;6889:4;6561:2;6400:2;6241:2;5929:2;5776:2;5625:2;5329:4;5041:2;4900:2;4761:2;4489:2;4356:2;4225:2;3969:4;3721:1;3600:2;3481:1;3249:1;3136:2;3025:1;2809:3;2601:1;2500:2;2401:1;2209:1;2116:2;2025:1;1849:3 16.90/7.72 c (7,7) =========================================== 16.90/7.72 c (7,7) Order 16.90/7.72 c (7,7) =========================================== 19.26/8.45 c (7,7) translated 5300 (10%) constraints 19.98/8.66 c (8,8) translated 10600 (20%) constraints 20.28/8.75 c (8,8) translated 15900 (30%) constraints 20.38/8.83 c (8,8) translated 21200 (40%) constraints 20.48/8.92 c (8,8) translated 26499 (50%) constraints 20.48/9.00 c (8,8) translated 31799 (60%) constraints 20.59/9.09 c (8,8) translated 37099 (70%) constraints 20.69/9.17 c (8,8) translated 42399 (80%) constraints 20.78/9.25 c (8,8) translated 47699 (90%) constraints 25.54/11.14 c (10,10) translated 52998 (100%) constraints 25.54/11.15 c (10,10) CSP to CSPinCNF End 25.54/11.16 c (10,10) CSP: 3587 int (3387 aux), 19654 bool (18654 aux), 70564 ctr, max domain size 68 25.54/11.16 c (10,10) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 25.54/11.16 c (10,10) CSPinCNF Propagation Begin 27.34/11.65 c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed 27.34/11.65 c (11,11) CSPinCNF Propagation End 27.34/11.66 c (11,11) CSP: 3587 int (3387 aux), 19654 bool (18654 aux), 70164 ctr, max domain size 68 27.34/11.66 c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 27.34/11.66 c (11,11) Simplify CSPinCNF Begin 28.00/11.83 c (11,11) Simplify CSPinCNF End 28.00/11.84 c (11,11) CSP: 3587 int (3387 aux), 19654 bool (18654 aux), 70164 ctr, max domain size 68 28.00/11.84 c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 28.00/11.84 c (11,11) Calculate Precise Domain Begin 28.00/11.89 c (11,11) 0 values are removed by re-calculation 28.00/11.89 c (11,11) Calculate Precise Domain End 28.00/11.89 c (11,11) CSP: 3587 int (3387 aux), 19654 bool (18654 aux), 70164 ctr, max domain size 68 28.00/11.89 c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 28.00/11.89 c (11,11) CSPinCNF to SatSolver Begin 32.28/13.90 c (13,13) 7017 (10 %) CSP clauses are encoded (84043 SAT variables, 512466 SAT clauses) 32.28/13.96 c (13,13) 14033 (20 %) CSP clauses are encoded (84043 SAT variables, 519482 SAT clauses) 32.57/14.03 c (13,13) 21050 (30 %) CSP clauses are encoded (84043 SAT variables, 526499 SAT clauses) 32.57/14.08 c (13,13) 28066 (40 %) CSP clauses are encoded (84043 SAT variables, 533515 SAT clauses) 32.78/14.11 c (13,13) 35082 (50 %) CSP clauses are encoded (84043 SAT variables, 540531 SAT clauses) 32.78/14.15 c (13,13) 42099 (60 %) CSP clauses are encoded (84043 SAT variables, 547548 SAT clauses) 32.78/14.18 c (13,13) 49115 (70 %) CSP clauses are encoded (84043 SAT variables, 554564 SAT clauses) 32.88/14.22 c (13,13) 56132 (80 %) CSP clauses are encoded (84043 SAT variables, 561581 SAT clauses) 32.88/14.27 c (13,13) 63148 (90 %) CSP clauses are encoded (84043 SAT variables, 571945 SAT clauses) 36.79/17.96 c (17,17) 70164 (100 %) CSP clauses are encoded (84043 SAT variables, 2017645 SAT clauses) 36.79/17.96 c (17,17) CSPinCNF to SatSolver End 36.79/17.96 c (17,17) Heap : 4960 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 37.60/18.28 c (17,17) STATISTICS2:HOME/instance-4296900-1532665058.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,23241,70164,4556,68,22,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:5;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:3;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:3;1980:2;1936:2;1892:2;1806:4;1722:2;1681:2;1640:2;1560:2;1521:2;1482:2;1406:4;1332:2;1296:2;1260:2;1190:20;1156:19;1122:18;1089:21;1056:18;1024:202;992:13;961:19;930:13;900:15;870:15;841:15;812:17;784:13;756:17;729:15;702:13;676:19;650:13;625:23;600:15;576:15;552:17;529:12;512:601;506:13;484:10;462:9;441:14;420:9;400:10;380:11;361:10;342:13;324:34;306:96;289:66;272:63;256:1670;240:61;225:63;210:63;196:62;182:67;169:61;162:4;156:64;153:8;144:57;132:43;128:1017;126:4;121:50;119:8;110:43;108:4;102:8;100:45;96:221;90:471;85:8;81:445;72:269;68:16;64:1013;56:254;54:24;51:48;49:262;36:32;34:48;25:229;16:850;9:48;4:444;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:26;54:40;53:30;52:24;51:34;50:24;49:30;48:28;47:26;46:32;45:36;44:20;43:20;42:16;41:24;40:16;39:20;38:20;37:16;36:24;35:52;34:156;33:168;32:124;31:134;30:122;29:126;28:126;27:122;26:134;25:158;24:126;23:114;22:25286;21:98;20:86;19:90;18:934;17:872;16:522;15:502;14:508;13:508;12:884;11:374;10:1202;9:3240;8:2034;7:1560;6:36;5:920;4:72;3:216;2:163979,22:200;3:26800;2:33200;1:9964,11:187;10:601;9:1602;8:1017;7:762;5:1055;3:4541;2:199;1:151200, 37.60/18.28 c (17,17) SatSolver.solve Begin 37.60/18.28 c (17,17) 84043 bool, 2018800 clause 37.60/18.28 c (17,17) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296900-1532665058.xml-scop-10503.cnf HOME/instance-4296900-1532665058.xml-scop-10503.cnf.out 48.21/23.08 c (22,0) c 48.21/23.08 c (22,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 48.21/23.08 c (22,0) c 48.21/23.08 c (22,0) c WARNING: for repeatability, setting FPU to use double precision 48.21/23.08 c (22,0) c 8 solvers engines and 1 companion as a blackboard created. 48.21/23.08 c (22,0) c ========================================[ Problem Statistics ]=========================================== 48.21/23.08 c (22,0) c | | 48.21/23.08 c (22,0) c | Number of variables: 84043 | 48.21/23.08 c (22,0) c | Number of clauses: 2018584 | 48.21/23.08 c (22,0) c | Parse time: 0.68 s | 48.21/23.08 c (22,0) c | | 48.21/23.08 c (22,0) c | Eliminated clauses: 0.36 Mb | 48.21/23.08 c (22,0) c | Simplification time: 2.71 s | 48.21/23.08 c (22,0) c | | 48.21/23.08 c (22,0) c | Generating clones | 48.21/23.08 c (22,0) c | all clones generated. Memory = 781.20Mb. | 48.21/23.08 c (22,0) c ========================================================================================================| 48.21/23.08 c (22,0) c last restart ## conflicts : 78 2246 48.21/23.08 c (22,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer). 48.21/23.08 c (22,0) c Total Memory so far : 1374.65Mb 48.21/23.08 c (22,0) c 48.21/23.08 c (22,0) c real time : 4.78227 s 48.21/23.08 c (22,0) c cpu time : 10.5019 s 48.21/23.08 c (22,0) c 48.21/23.08 c (22,0) c 48.21/23.08 c (22,0) c 48.21/23.08 c (22,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 48.21/23.08 c (22,0) c 48.21/23.08 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 48.21/23.08 c (22,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 48.21/23.08 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 48.21/23.08 c (22,0) c | Conflicts | 38247 | 6929 | 6714 | 6081 | 2542 | 2377 | 3776 | 3816 | 6012 | 48.21/23.08 c (22,0) c | Decisions | 114606 | 8976 | 14359 | 13459 | 20121 | 16472 | 13635 | 14206 | 13378 | 48.21/23.08 c (22,0) c | Propagations | 21935434 | 2884389 | 3071195 | 2856806 | 2524293 | 2197628 | 2774213 | 2793690 | 2833220 | 48.21/23.08 c (22,0) c | Avg_Trail | | 9767 | 13946 | 14014 | 16777 | 24539 | 16798 | 17318 | 14023 | 48.21/23.08 c (22,0) c | Avg_DL | | 145 | 76 | 79 | 154 | 239 | 125 | 133 | 79 | 48.21/23.08 c (22,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 48.21/23.08 c (22,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 48.21/23.08 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 48.21/23.08 c (22,0) c | Exported | 2609 | 802 | 729 | 493 | 58 | 35 | 13 | 14 | 465 | 48.21/23.08 c (22,0) c | Imported | 8821 | 0 | 49 | 56 | 2363 | 1582 | 2563 | 2152 | 56 | 48.21/23.08 c (22,0) c | Good | 303 | 0 | 12 | 18 | 46 | 45 | 85 | 79 | 18 | 48.21/23.08 c (22,0) c | Purge | 8518 | 0 | 37 | 38 | 2317 | 1537 | 2478 | 2073 | 38 | 48.21/23.08 c (22,0) c | Promoted | 6 | 0 | 2 | 2 | 0 | 0 | 0 | 0 | 2 | 48.21/23.08 c (22,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 48.21/23.08 c (22,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 48.21/23.08 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 48.21/23.08 c (22,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 48.21/23.08 c (22,0) c | Binaries | | 0 | 1 | 1 | 48 | 32 | 5 | 6 | 1 | 48.21/23.08 c (22,0) c | Glues | | 0 | 8 | 8 | 58 | 35 | 13 | 14 | 8 | 48.21/23.08 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 48.21/23.08 c (22,0) c | Orig_Seen | 0 % | 2213 | 3944 | 3930 | 8300 | 6612 | 6980 | 7127 | 3930 | 48.21/23.08 c (22,0) c | Diff Orig seen| | - 4399 | - 2668 | - 2682 | 1688 | X | 368 | 515 | - 2682 | 48.21/23.08 c (22,0) c | Hamming | 10 % | 9115 | 7647 | 7578 | 9030 | X | 9036 | 9009 | 7582 | 48.21/23.08 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 48.21/23.08 c (22,0) 48.21/23.08 c (22,0) s SATISFIABLE 38.00/23.15 c (22,17) SatSolver.solve End 38.00/23.15 c (22,17) Heap : 5328 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 38.00/23.15 c (22,17) Show results Begin 38.00/23.18 c (22,17) cls[0] = 10 38.00/23.18 c (22,17) cls[1] = 10 38.00/23.18 c (22,17) cls[2] = 8 38.00/23.18 c (22,17) cls[3] = 17 38.00/23.18 c (22,17) cls[4] = 17 38.00/23.18 c (22,17) cls[5] = 13 38.00/23.18 c (22,17) cls[6] = 17 38.00/23.18 c (22,17) cls[7] = 10 38.00/23.18 c (22,17) cls[8] = 4 38.00/23.18 c (22,17) cls[9] = 9 38.00/23.18 c (22,17) cls[10] = 10 38.00/23.18 c (22,17) cls[11] = 17 38.00/23.18 c (22,17) cls[12] = 9 38.00/23.18 c (22,17) cls[13] = 10 38.00/23.18 c (22,17) cls[14] = 2 38.00/23.18 c (22,17) cls[15] = 9 38.00/23.18 c (22,17) cls[16] = 4 38.00/23.18 c (22,17) cls[17] = 17 38.00/23.18 c (22,17) cls[18] = 20 38.00/23.18 c (22,17) cls[19] = 10 38.00/23.18 c (22,17) cls[20] = 9 38.00/23.18 c (22,17) cls[21] = 4 38.00/23.18 c (22,17) cls[22] = 10 38.00/23.18 c (22,17) cls[23] = 3 38.00/23.18 c (22,17) cls[24] = 17 38.00/23.18 c (22,17) cls[25] = 20 38.00/23.18 c (22,17) cls[26] = 15 38.00/23.18 c (22,17) cls[27] = 17 38.00/23.18 c (22,17) cls[28] = 10 38.00/23.18 c (22,17) cls[29] = 9 38.00/23.18 c (22,17) cls[30] = 17 38.00/23.18 c (22,17) cls[31] = 10 38.00/23.18 c (22,17) cls[32] = 9 38.00/23.18 c (22,17) cls[33] = 1 38.00/23.18 c (22,17) cls[34] = 17 38.00/23.18 c (22,17) cls[35] = 17 38.00/23.18 c (22,17) cls[36] = 21 38.00/23.18 c (22,17) cls[37] = 17 38.00/23.18 c (22,17) cls[38] = 0 38.00/23.18 c (22,17) cls[39] = 17 38.00/23.18 c (22,17) cls[40] = 4 38.00/23.18 c (22,17) cls[41] = 3 38.00/23.18 c (22,17) cls[42] = 10 38.00/23.18 c (22,17) cls[43] = 17 38.00/23.18 c (22,17) cls[44] = 17 38.00/23.18 c (22,17) cls[45] = 4 38.00/23.18 c (22,17) cls[46] = 10 38.00/23.18 c (22,17) cls[47] = 12 38.00/23.18 c (22,17) cls[48] = 2 38.00/23.18 c (22,17) cls[49] = 17 38.00/23.18 c (22,17) cls[50] = 9 38.00/23.18 c (22,17) cls[51] = 4 38.00/23.18 c (22,17) cls[52] = 20 38.00/23.18 c (22,17) cls[53] = 9 38.00/23.18 c (22,17) cls[54] = 17 38.00/23.18 c (22,17) cls[55] = 10 38.00/23.18 c (22,17) cls[56] = 10 38.00/23.18 c (22,17) cls[57] = 13 38.00/23.18 c (22,17) cls[58] = 4 38.00/23.18 c (22,17) cls[59] = 17 38.00/23.18 c (22,17) cls[60] = 10 38.00/23.18 c (22,17) cls[61] = 20 38.00/23.18 c (22,17) cls[62] = 17 38.00/23.18 c (22,17) cls[63] = 9 38.00/23.18 c (22,17) cls[64] = 10 38.00/23.18 c (22,17) cls[65] = 10 38.00/23.18 c (22,17) cls[66] = 4 38.00/23.18 c (22,17) cls[67] = 17 38.00/23.18 c (22,17) cls[68] = 9 38.00/23.18 c (22,17) cls[69] = 10 38.00/23.18 c (22,17) cls[70] = 17 38.00/23.18 c (22,17) cls[71] = 11 38.00/23.18 c (22,17) cls[72] = 10 38.00/23.18 c (22,17) cls[73] = 17 38.00/23.18 c (22,17) cls[74] = 6 38.00/23.18 c (22,17) cls[75] = 9 38.00/23.18 c (22,17) cls[76] = 19 38.00/23.18 c (22,17) cls[77] = 17 38.00/23.18 c (22,17) cls[78] = 12 38.00/23.18 c (22,17) cls[79] = 20 38.00/23.18 c (22,17) cls[80] = 17 38.00/23.18 c (22,17) cls[81] = 11 38.00/23.18 c (22,17) cls[82] = 10 38.00/23.18 c (22,17) cls[83] = 17 38.00/23.18 c (22,17) cls[84] = 17 38.00/23.18 c (22,17) cls[85] = 10 38.00/23.18 c (22,17) cls[86] = 9 38.00/23.18 c (22,17) cls[87] = 2 38.00/23.18 c (22,17) cls[88] = 4 38.00/23.18 c (22,17) cls[89] = 9 38.00/23.18 c (22,17) cls[90] = 10 38.00/23.18 c (22,17) cls[91] = 10 38.00/23.18 c (22,17) cls[92] = 17 38.00/23.18 c (22,17) cls[93] = 13 38.00/23.18 c (22,17) cls[94] = 4 38.00/23.18 c (22,17) cls[95] = 10 38.00/23.18 c (22,17) cls[96] = 17 38.00/23.18 c (22,17) cls[97] = 17 38.00/23.18 c (22,17) cls[98] = 0 38.00/23.18 c (22,17) cls[99] = 17 38.00/23.18 c (22,17) cls[100] = 4 38.00/23.18 c (22,17) cls[101] = 3 38.00/23.18 c (22,17) cls[102] = 17 38.00/23.18 c (22,17) cls[103] = 10 38.00/23.18 c (22,17) cls[104] = 9 38.00/23.18 c (22,17) cls[105] = 4 38.00/23.18 c (22,17) cls[106] = 10 38.00/23.18 c (22,17) cls[107] = 17 38.00/23.18 c (22,17) cls[108] = 17 38.00/23.18 c (22,17) cls[109] = 10 38.00/23.18 c (22,17) cls[110] = 9 38.00/23.18 c (22,17) cls[111] = 14 38.00/23.18 c (22,17) cls[112] = 17 38.00/23.18 c (22,17) cls[113] = 17 38.00/23.18 c (22,17) cls[114] = 9 38.00/23.18 c (22,17) cls[115] = 10 38.00/23.18 c (22,17) cls[116] = 5 38.00/23.18 c (22,17) cls[117] = 9 38.00/23.18 c (22,17) cls[118] = 10 38.00/23.18 c (22,17) cls[119] = 20 38.00/23.18 c (22,17) cls[120] = 10 38.00/23.18 c (22,17) cls[121] = 9 38.00/23.18 c (22,17) cls[122] = 2 38.00/23.19 c (22,17) cls[123] = 16 38.00/23.19 c (22,17) cls[124] = 17 38.00/23.19 c (22,17) cls[125] = 9 38.00/23.19 c (22,17) cls[126] = 21 38.00/23.19 c (22,17) cls[127] = 17 38.00/23.19 c (22,17) cls[128] = 4 38.00/23.19 c (22,17) cls[129] = 12 38.00/23.19 c (22,17) cls[130] = 17 38.00/23.19 c (22,17) cls[131] = 17 38.00/23.19 c (22,17) cls[132] = 10 38.00/23.19 c (22,17) cls[133] = 4 38.00/23.19 c (22,17) cls[134] = 10 38.00/23.19 c (22,17) cls[135] = 9 38.00/23.19 c (22,17) cls[136] = 17 38.00/23.19 c (22,17) cls[137] = 17 38.00/23.19 c (22,17) cls[138] = 10 38.00/23.19 c (22,17) cls[139] = 4 38.00/23.19 c (22,17) cls[140] = 9 38.00/23.19 c (22,17) cls[141] = 17 38.00/23.19 c (22,17) cls[142] = 10 38.00/23.19 c (22,17) cls[143] = 9 38.00/23.19 c (22,17) cls[144] = 4 38.00/23.19 c (22,17) cls[145] = 17 38.00/23.19 c (22,17) cls[146] = 2 38.00/23.19 c (22,17) cls[147] = 12 38.00/23.19 c (22,17) cls[148] = 7 38.00/23.19 c (22,17) cls[149] = 4 38.00/23.19 c (22,17) cls[150] = 18 38.00/23.19 c (22,17) cls[151] = 20 38.00/23.19 c (22,17) cls[152] = 17 38.00/23.19 c (22,17) cls[153] = 13 38.00/23.19 c (22,17) cls[154] = 4 38.00/23.19 c (22,17) cls[155] = 10 38.00/23.19 c (22,17) cls[156] = 17 38.00/23.19 c (22,17) cls[157] = 10 38.00/23.19 c (22,17) cls[158] = 9 38.00/23.19 c (22,17) cls[159] = 1 38.00/23.19 c (22,17) cls[160] = 10 38.00/23.19 c (22,17) cls[161] = 9 38.00/23.19 c (22,17) cls[162] = 10 38.00/23.19 c (22,17) cls[163] = 17 38.00/23.19 c (22,17) cls[164] = 4 38.00/23.19 c (22,17) cls[165] = 9 38.00/23.19 c (22,17) cls[166] = 10 38.00/23.19 c (22,17) cls[167] = 10 38.00/23.19 c (22,17) cls[168] = 9 38.00/23.19 c (22,17) cls[169] = 4 38.00/23.19 c (22,17) cls[170] = 17 38.00/23.19 c (22,17) cls[171] = 9 38.00/23.19 c (22,17) cls[172] = 7 38.00/23.19 c (22,17) cls[173] = 10 38.00/23.19 c (22,17) cls[174] = 5 38.00/23.19 c (22,17) cls[175] = 17 38.00/23.19 c (22,17) cls[176] = 20 38.00/23.19 c (22,17) cls[177] = 9 38.00/23.19 c (22,17) cls[178] = 10 38.00/23.19 c (22,17) cls[179] = 4 38.00/23.19 c (22,17) cls[180] = 13 38.00/23.19 c (22,17) cls[181] = 17 38.00/23.19 c (22,17) cls[182] = 6 38.00/23.19 c (22,17) cls[183] = 9 38.00/23.19 c (22,17) cls[184] = 4 38.00/23.19 c (22,17) cls[185] = 17 38.00/23.19 c (22,17) cls[186] = 10 38.00/23.19 c (22,17) cls[187] = 9 38.00/23.19 c (22,17) cls[188] = 10 38.00/23.19 c (22,17) cls[189] = 1 38.00/23.19 c (22,17) cls[190] = 17 38.00/23.19 c (22,17) cls[191] = 17 38.00/23.19 c (22,17) cls[192] = 9 38.00/23.19 c (22,17) cls[193] = 17 38.00/23.19 c (22,17) cls[194] = 4 38.00/23.19 c (22,17) cls[195] = 9 38.00/23.19 c (22,17) cls[196] = 10 38.00/23.19 c (22,17) cls[197] = 17 38.00/23.19 c (22,17) cls[198] = 13 38.00/23.19 c (22,17) cls[199] = 4 38.00/23.19 c (22,17) opt[0][0] = 0 38.00/23.19 c (22,17) opt[0][1] = 0 38.00/23.19 c (22,17) opt[0][2] = 0 38.00/23.19 c (22,17) opt[0][3] = 1 38.00/23.19 c (22,17) opt[0][4] = 0 38.00/23.19 c (22,17) opt[1][0] = 0 38.00/23.19 c (22,17) opt[1][1] = 0 38.00/23.19 c (22,17) opt[1][2] = 0 38.00/23.19 c (22,17) opt[1][3] = 1 38.00/23.19 c (22,17) opt[1][4] = 0 38.00/23.19 c (22,17) opt[2][0] = 1 38.00/23.19 c (22,17) opt[2][1] = 0 38.00/23.19 c (22,17) opt[2][2] = 1 38.00/23.19 c (22,17) opt[2][3] = 0 38.00/23.19 c (22,17) opt[2][4] = 1 38.00/23.19 c (22,17) opt[3][0] = 0 38.00/23.19 c (22,17) opt[3][1] = 1 38.00/23.19 c (22,17) opt[3][2] = 0 38.00/23.19 c (22,17) opt[3][3] = 0 38.00/23.19 c (22,17) opt[3][4] = 0 38.00/23.19 c (22,17) opt[4][0] = 0 38.00/23.19 c (22,17) opt[4][1] = 1 38.00/23.19 c (22,17) opt[4][2] = 0 38.00/23.19 c (22,17) opt[4][3] = 0 38.00/23.19 c (22,17) opt[4][4] = 0 38.00/23.19 c (22,17) opt[5][0] = 1 38.00/23.19 c (22,17) opt[5][1] = 0 38.00/23.19 c (22,17) opt[5][2] = 1 38.00/23.19 c (22,17) opt[5][3] = 0 38.00/23.19 c (22,17) opt[5][4] = 0 38.00/23.19 c (22,17) opt[6][0] = 0 38.00/23.19 c (22,17) opt[6][1] = 1 38.00/23.19 c (22,17) opt[6][2] = 0 38.00/23.19 c (22,17) opt[6][3] = 0 38.00/23.19 c (22,17) opt[6][4] = 0 38.00/23.19 c (22,17) opt[7][0] = 0 38.00/23.19 c (22,17) opt[7][1] = 0 38.00/23.19 c (22,17) opt[7][2] = 0 38.00/23.19 c (22,17) opt[7][3] = 1 38.00/23.19 c (22,17) opt[7][4] = 0 38.00/23.19 c (22,17) opt[8][0] = 0 38.00/23.19 c (22,17) opt[8][1] = 0 38.00/23.19 c (22,17) opt[8][2] = 0 38.00/23.19 c (22,17) opt[8][3] = 0 38.00/23.19 c (22,17) opt[8][4] = 1 38.00/23.19 c (22,17) opt[9][0] = 0 38.00/23.19 c (22,17) opt[9][1] = 0 38.00/23.19 c (22,17) opt[9][2] = 1 38.00/23.19 c (22,17) opt[9][3] = 0 38.00/23.19 c (22,17) opt[9][4] = 0 38.00/23.19 c (22,17) opt[10][0] = 0 38.00/23.19 c (22,17) opt[10][1] = 0 38.00/23.19 c (22,17) opt[10][2] = 0 38.00/23.19 c (22,17) opt[10][3] = 1 38.00/23.19 c (22,17) opt[10][4] = 0 38.00/23.19 c (22,17) opt[11][0] = 0 38.00/23.19 c (22,17) opt[11][1] = 1 38.00/23.19 c (22,17) opt[11][2] = 0 38.00/23.19 c (22,17) opt[11][3] = 0 38.00/23.19 c (22,17) opt[11][4] = 0 38.00/23.19 c (22,17) opt[12][0] = 0 38.00/23.19 c (22,17) opt[12][1] = 0 38.00/23.19 c (22,17) opt[12][2] = 1 38.00/23.19 c (22,17) opt[12][3] = 0 38.00/23.19 c (22,17) opt[12][4] = 0 38.00/23.19 c (22,17) opt[13][0] = 0 38.00/23.19 c (22,17) opt[13][1] = 0 38.00/23.19 c (22,17) opt[13][2] = 0 38.00/23.19 c (22,17) opt[13][3] = 1 38.00/23.19 c (22,17) opt[13][4] = 0 38.00/23.19 c (22,17) opt[14][0] = 1 38.00/23.19 c (22,17) opt[14][1] = 1 38.00/23.19 c (22,17) opt[14][2] = 0 38.00/23.19 c (22,17) opt[14][3] = 0 38.00/23.19 c (22,17) opt[14][4] = 0 38.00/23.19 c (22,17) opt[15][0] = 0 38.00/23.19 c (22,17) opt[15][1] = 0 38.00/23.19 c (22,17) opt[15][2] = 1 38.00/23.19 c (22,17) opt[15][3] = 0 38.00/23.19 c (22,17) opt[15][4] = 0 38.00/23.19 c (22,17) opt[16][0] = 0 38.00/23.19 c (22,17) opt[16][1] = 0 38.00/23.19 c (22,17) opt[16][2] = 0 38.00/23.19 c (22,17) opt[16][3] = 0 38.00/23.19 c (22,17) opt[16][4] = 1 38.00/23.19 c (22,17) opt[17][0] = 0 38.00/23.19 c (22,17) opt[17][1] = 1 38.00/23.19 c (22,17) opt[17][2] = 0 38.00/23.19 c (22,17) opt[17][3] = 0 38.00/23.19 c (22,17) opt[17][4] = 0 38.00/23.19 c (22,17) opt[18][0] = 1 38.00/23.19 c (22,17) opt[18][1] = 0 38.00/23.19 c (22,17) opt[18][2] = 0 38.00/23.19 c (22,17) opt[18][3] = 0 38.00/23.19 c (22,17) opt[18][4] = 0 38.00/23.19 c (22,17) opt[19][0] = 0 38.00/23.19 c (22,17) opt[19][1] = 0 38.00/23.19 c (22,17) opt[19][2] = 0 38.00/23.19 c (22,17) opt[19][3] = 1 38.00/23.19 c (22,17) opt[19][4] = 0 38.00/23.19 c (22,17) opt[20][0] = 0 38.00/23.19 c (22,17) opt[20][1] = 0 38.00/23.19 c (22,17) opt[20][2] = 1 38.00/23.19 c (22,17) opt[20][3] = 0 38.00/23.19 c (22,17) opt[20][4] = 0 38.00/23.19 c (22,17) opt[21][0] = 0 38.00/23.19 c (22,17) opt[21][1] = 0 38.00/23.19 c (22,17) opt[21][2] = 0 38.00/23.19 c (22,17) opt[21][3] = 0 38.00/23.19 c (22,17) opt[21][4] = 1 38.00/23.19 c (22,17) opt[22][0] = 0 38.00/23.19 c (22,17) opt[22][1] = 0 38.00/23.19 c (22,17) opt[22][2] = 0 38.00/23.19 c (22,17) opt[22][3] = 1 38.00/23.19 c (22,17) opt[22][4] = 0 38.00/23.19 c (22,17) opt[23][0] = 1 38.00/23.19 c (22,17) opt[23][1] = 1 38.00/23.19 c (22,17) opt[23][2] = 1 38.00/23.19 c (22,17) opt[23][3] = 0 38.00/23.19 c (22,17) opt[23][4] = 0 38.00/23.19 c (22,17) opt[24][0] = 0 38.00/23.19 c (22,17) opt[24][1] = 1 38.00/23.19 c (22,17) opt[24][2] = 0 38.00/23.19 c (22,17) opt[24][3] = 0 38.00/23.19 c (22,17) opt[24][4] = 0 38.00/23.19 c (22,17) opt[25][0] = 1 38.00/23.19 c (22,17) opt[25][1] = 0 38.00/23.19 c (22,17) opt[25][2] = 0 38.00/23.19 c (22,17) opt[25][3] = 0 38.00/23.19 c (22,17) opt[25][4] = 0 38.00/23.19 c (22,17) opt[26][0] = 0 38.00/23.19 c (22,17) opt[26][1] = 0 38.00/23.19 c (22,17) opt[26][2] = 1 38.00/23.19 c (22,17) opt[26][3] = 1 38.00/23.19 c (22,17) opt[26][4] = 1 38.00/23.19 c (22,17) opt[27][0] = 0 38.00/23.19 c (22,17) opt[27][1] = 1 38.00/23.19 c (22,17) opt[27][2] = 0 38.00/23.19 c (22,17) opt[27][3] = 0 38.00/23.19 c (22,17) opt[27][4] = 0 38.00/23.19 c (22,17) opt[28][0] = 0 38.00/23.19 c (22,17) opt[28][1] = 0 38.00/23.19 c (22,17) opt[28][2] = 0 38.00/23.19 c (22,17) opt[28][3] = 1 38.00/23.19 c (22,17) opt[28][4] = 0 38.00/23.19 c (22,17) opt[29][0] = 0 38.00/23.19 c (22,17) opt[29][1] = 0 38.00/23.19 c (22,17) opt[29][2] = 1 38.00/23.19 c (22,17) opt[29][3] = 0 38.00/23.19 c (22,17) opt[29][4] = 0 38.00/23.19 c (22,17) opt[30][0] = 0 38.00/23.19 c (22,17) opt[30][1] = 1 38.00/23.19 c (22,17) opt[30][2] = 0 38.00/23.19 c (22,17) opt[30][3] = 0 38.00/23.19 c (22,17) opt[30][4] = 0 38.00/23.19 c (22,17) opt[31][0] = 0 38.00/23.19 c (22,17) opt[31][1] = 0 38.00/23.19 c (22,17) opt[31][2] = 0 38.00/23.19 c (22,17) opt[31][3] = 1 38.00/23.19 c (22,17) opt[31][4] = 0 38.00/23.19 c (22,17) opt[32][0] = 0 38.00/23.19 c (22,17) opt[32][1] = 0 38.00/23.19 c (22,17) opt[32][2] = 1 38.00/23.19 c (22,17) opt[32][3] = 0 38.00/23.19 c (22,17) opt[32][4] = 0 38.00/23.19 c (22,17) opt[33][0] = 1 38.00/23.19 c (22,17) opt[33][1] = 0 38.00/23.19 c (22,17) opt[33][2] = 0 38.00/23.19 c (22,17) opt[33][3] = 0 38.00/23.19 c (22,17) opt[33][4] = 1 38.00/23.19 c (22,17) opt[34][0] = 0 38.00/23.19 c (22,17) opt[34][1] = 1 38.00/23.19 c (22,17) opt[34][2] = 0 38.00/23.19 c (22,17) opt[34][3] = 0 38.00/23.19 c (22,17) opt[34][4] = 0 38.00/23.19 c (22,17) opt[35][0] = 0 38.00/23.19 c (22,17) opt[35][1] = 1 38.00/23.19 c (22,17) opt[35][2] = 0 38.00/23.19 c (22,17) opt[35][3] = 0 38.00/23.19 c (22,17) opt[35][4] = 0 38.00/23.19 c (22,17) opt[36][0] = 1 38.00/23.19 c (22,17) opt[36][1] = 0 38.00/23.19 c (22,17) opt[36][2] = 0 38.00/23.19 c (22,17) opt[36][3] = 1 38.00/23.19 c (22,17) opt[36][4] = 0 38.00/23.19 c (22,17) opt[37][0] = 0 38.00/23.19 c (22,17) opt[37][1] = 1 38.00/23.19 c (22,17) opt[37][2] = 0 38.00/23.19 c (22,17) opt[37][3] = 0 38.00/23.19 c (22,17) opt[37][4] = 0 38.00/23.19 c (22,17) opt[38][0] = 1 38.00/23.19 c (22,17) opt[38][1] = 0 38.00/23.19 c (22,17) opt[38][2] = 1 38.00/23.19 c (22,17) opt[38][3] = 1 38.00/23.19 c (22,17) opt[38][4] = 0 38.00/23.19 c (22,17) opt[39][0] = 0 38.00/23.19 c (22,17) opt[39][1] = 1 38.00/23.19 c (22,17) opt[39][2] = 0 38.00/23.19 c (22,17) opt[39][3] = 0 38.00/23.19 c (22,17) opt[39][4] = 0 38.00/23.19 c (22,17) opt[40][0] = 0 38.00/23.19 c (22,17) opt[40][1] = 0 38.00/23.19 c (22,17) opt[40][2] = 0 38.00/23.19 c (22,17) opt[40][3] = 0 38.00/23.19 c (22,17) opt[40][4] = 1 38.00/23.19 c (22,17) opt[41][0] = 1 38.00/23.19 c (22,17) opt[41][1] = 1 38.00/23.19 c (22,17) opt[41][2] = 1 38.00/23.19 c (22,17) opt[41][3] = 0 38.00/23.19 c (22,17) opt[41][4] = 0 38.00/23.19 c (22,17) opt[42][0] = 0 38.00/23.19 c (22,17) opt[42][1] = 0 38.00/23.19 c (22,17) opt[42][2] = 0 38.00/23.19 c (22,17) opt[42][3] = 1 38.00/23.19 c (22,17) opt[42][4] = 0 38.00/23.19 c (22,17) opt[43][0] = 0 38.00/23.19 c (22,17) opt[43][1] = 1 38.00/23.19 c (22,17) opt[43][2] = 0 38.00/23.19 c (22,17) opt[43][3] = 0 38.00/23.19 c (22,17) opt[43][4] = 0 38.00/23.19 c (22,17) opt[44][0] = 0 38.00/23.19 c (22,17) opt[44][1] = 1 38.00/23.19 c (22,17) opt[44][2] = 0 38.00/23.19 c (22,17) opt[44][3] = 0 38.00/23.19 c (22,17) opt[44][4] = 0 38.00/23.19 c (22,17) opt[45][0] = 0 38.00/23.19 c (22,17) opt[45][1] = 0 38.00/23.19 c (22,17) opt[45][2] = 0 38.00/23.19 c (22,17) opt[45][3] = 0 38.00/23.19 c (22,17) opt[45][4] = 1 38.00/23.19 c (22,17) opt[46][0] = 0 38.00/23.19 c (22,17) opt[46][1] = 0 38.00/23.19 c (22,17) opt[46][2] = 0 38.00/23.19 c (22,17) opt[46][3] = 1 38.00/23.19 c (22,17) opt[46][4] = 0 38.00/23.19 c (22,17) opt[47][0] = 0 38.00/23.19 c (22,17) opt[47][1] = 0 38.00/23.19 c (22,17) opt[47][2] = 1 38.00/23.19 c (22,17) opt[47][3] = 1 38.00/23.19 c (22,17) opt[47][4] = 0 38.00/23.19 c (22,17) opt[48][0] = 1 38.00/23.19 c (22,17) opt[48][1] = 1 38.00/23.19 c (22,17) opt[48][2] = 0 38.00/23.19 c (22,17) opt[48][3] = 0 38.00/23.19 c (22,17) opt[48][4] = 0 38.00/23.19 c (22,17) opt[49][0] = 0 38.00/23.19 c (22,17) opt[49][1] = 1 38.00/23.19 c (22,17) opt[49][2] = 0 38.00/23.19 c (22,17) opt[49][3] = 0 38.00/23.19 c (22,17) opt[49][4] = 0 38.00/23.19 c (22,17) opt[50][0] = 0 38.00/23.19 c (22,17) opt[50][1] = 0 38.00/23.19 c (22,17) opt[50][2] = 1 38.00/23.19 c (22,17) opt[50][3] = 0 38.00/23.19 c (22,17) opt[50][4] = 0 38.00/23.19 c (22,17) opt[51][0] = 0 38.00/23.19 c (22,17) opt[51][1] = 0 38.00/23.19 c (22,17) opt[51][2] = 0 38.00/23.19 c (22,17) opt[51][3] = 0 38.00/23.19 c (22,17) opt[51][4] = 1 38.00/23.19 c (22,17) opt[52][0] = 1 38.00/23.19 c (22,17) opt[52][1] = 0 38.00/23.19 c (22,17) opt[52][2] = 0 38.00/23.19 c (22,17) opt[52][3] = 0 38.00/23.19 c (22,17) opt[52][4] = 0 38.00/23.19 c (22,17) opt[53][0] = 0 38.00/23.19 c (22,17) opt[53][1] = 0 38.00/23.19 c (22,17) opt[53][2] = 1 38.00/23.19 c (22,17) opt[53][3] = 0 38.00/23.19 c (22,17) opt[53][4] = 0 38.00/23.19 c (22,17) opt[54][0] = 0 38.00/23.19 c (22,17) opt[54][1] = 1 38.00/23.19 c (22,17) opt[54][2] = 0 38.00/23.19 c (22,17) opt[54][3] = 0 38.00/23.19 c (22,17) opt[54][4] = 0 38.00/23.19 c (22,17) opt[55][0] = 0 38.00/23.19 c (22,17) opt[55][1] = 0 38.00/23.19 c (22,17) opt[55][2] = 0 38.00/23.19 c (22,17) opt[55][3] = 1 38.00/23.19 c (22,17) opt[55][4] = 0 38.00/23.19 c (22,17) opt[56][0] = 0 38.00/23.19 c (22,17) opt[56][1] = 0 38.00/23.19 c (22,17) opt[56][2] = 0 38.00/23.19 c (22,17) opt[56][3] = 1 38.00/23.19 c (22,17) opt[56][4] = 0 38.00/23.19 c (22,17) opt[57][0] = 1 38.00/23.19 c (22,17) opt[57][1] = 0 38.00/23.19 c (22,17) opt[57][2] = 1 38.00/23.19 c (22,17) opt[57][3] = 0 38.00/23.19 c (22,17) opt[57][4] = 0 38.00/23.19 c (22,17) opt[58][0] = 0 38.00/23.19 c (22,17) opt[58][1] = 0 38.00/23.19 c (22,17) opt[58][2] = 0 38.00/23.19 c (22,17) opt[58][3] = 0 38.00/23.19 c (22,17) opt[58][4] = 1 38.00/23.19 c (22,17) opt[59][0] = 0 38.00/23.19 c (22,17) opt[59][1] = 1 38.00/23.19 c (22,17) opt[59][2] = 0 38.00/23.19 c (22,17) opt[59][3] = 0 38.00/23.19 c (22,17) opt[59][4] = 0 38.00/23.19 c (22,17) opt[60][0] = 0 38.00/23.19 c (22,17) opt[60][1] = 0 38.00/23.19 c (22,17) opt[60][2] = 0 38.00/23.19 c (22,17) opt[60][3] = 1 38.00/23.19 c (22,17) opt[60][4] = 0 38.00/23.19 c (22,17) opt[61][0] = 1 38.00/23.19 c (22,17) opt[61][1] = 0 38.00/23.19 c (22,17) opt[61][2] = 0 38.00/23.19 c (22,17) opt[61][3] = 0 38.00/23.19 c (22,17) opt[61][4] = 0 38.00/23.19 c (22,17) opt[62][0] = 0 38.00/23.19 c (22,17) opt[62][1] = 1 38.00/23.19 c (22,17) opt[62][2] = 0 38.00/23.19 c (22,17) opt[62][3] = 0 38.00/23.19 c (22,17) opt[62][4] = 0 38.00/23.19 c (22,17) opt[63][0] = 0 38.00/23.19 c (22,17) opt[63][1] = 0 38.00/23.19 c (22,17) opt[63][2] = 1 38.00/23.19 c (22,17) opt[63][3] = 0 38.00/23.19 c (22,17) opt[63][4] = 0 38.00/23.19 c (22,17) opt[64][0] = 0 38.00/23.19 c (22,17) opt[64][1] = 0 38.00/23.19 c (22,17) opt[64][2] = 0 38.00/23.19 c (22,17) opt[64][3] = 1 38.00/23.19 c (22,17) opt[64][4] = 0 38.00/23.19 c (22,17) opt[65][0] = 0 38.00/23.19 c (22,17) opt[65][1] = 0 38.00/23.19 c (22,17) opt[65][2] = 0 38.00/23.19 c (22,17) opt[65][3] = 1 38.00/23.19 c (22,17) opt[65][4] = 0 38.00/23.19 c (22,17) opt[66][0] = 0 38.00/23.19 c (22,17) opt[66][1] = 0 38.00/23.19 c (22,17) opt[66][2] = 0 38.00/23.19 c (22,17) opt[66][3] = 0 38.00/23.19 c (22,17) opt[66][4] = 1 38.00/23.19 c (22,17) opt[67][0] = 0 38.00/23.19 c (22,17) opt[67][1] = 1 38.00/23.19 c (22,17) opt[67][2] = 0 38.00/23.19 c (22,17) opt[67][3] = 0 38.00/23.19 c (22,17) opt[67][4] = 0 38.00/23.19 c (22,17) opt[68][0] = 0 38.00/23.19 c (22,17) opt[68][1] = 0 38.00/23.19 c (22,17) opt[68][2] = 1 38.00/23.19 c (22,17) opt[68][3] = 0 38.00/23.19 c (22,17) opt[68][4] = 0 38.00/23.19 c (22,17) opt[69][0] = 0 38.00/23.19 c (22,17) opt[69][1] = 0 38.00/23.19 c (22,17) opt[69][2] = 0 38.00/23.19 c (22,17) opt[69][3] = 1 38.00/23.19 c (22,17) opt[69][4] = 0 38.00/23.19 c (22,17) opt[70][0] = 0 38.00/23.19 c (22,17) opt[70][1] = 1 38.00/23.19 c (22,17) opt[70][2] = 0 38.00/23.19 c (22,17) opt[70][3] = 0 38.00/23.19 c (22,17) opt[70][4] = 0 38.00/23.19 c (22,17) opt[71][0] = 0 38.00/23.19 c (22,17) opt[71][1] = 1 38.00/23.19 c (22,17) opt[71][2] = 1 38.00/23.19 c (22,17) opt[71][3] = 0 38.00/23.19 c (22,17) opt[71][4] = 1 38.00/23.19 c (22,17) opt[72][0] = 0 38.00/23.19 c (22,17) opt[72][1] = 0 38.00/23.19 c (22,17) opt[72][2] = 0 38.00/23.19 c (22,17) opt[72][3] = 1 38.00/23.19 c (22,17) opt[72][4] = 0 38.00/23.19 c (22,17) opt[73][0] = 0 38.00/23.19 c (22,17) opt[73][1] = 1 38.00/23.19 c (22,17) opt[73][2] = 0 38.00/23.19 c (22,17) opt[73][3] = 0 38.00/23.19 c (22,17) opt[73][4] = 0 38.00/23.19 c (22,17) opt[74][0] = 1 38.00/23.19 c (22,17) opt[74][1] = 1 38.00/23.19 c (22,17) opt[74][2] = 0 38.00/23.19 c (22,17) opt[74][3] = 1 38.00/23.19 c (22,17) opt[74][4] = 0 38.00/23.19 c (22,17) opt[75][0] = 0 38.00/23.19 c (22,17) opt[75][1] = 0 38.00/23.19 c (22,17) opt[75][2] = 1 38.00/23.19 c (22,17) opt[75][3] = 0 38.00/23.19 c (22,17) opt[75][4] = 0 38.00/23.19 c (22,17) opt[76][0] = 0 38.00/23.19 c (22,17) opt[76][1] = 1 38.00/23.19 c (22,17) opt[76][2] = 0 38.00/23.19 c (22,17) opt[76][3] = 0 38.00/23.19 c (22,17) opt[76][4] = 1 38.00/23.19 c (22,17) opt[77][0] = 0 38.00/23.19 c (22,17) opt[77][1] = 1 38.00/23.19 c (22,17) opt[77][2] = 0 38.00/23.19 c (22,17) opt[77][3] = 0 38.00/23.19 c (22,17) opt[77][4] = 0 38.00/23.19 c (22,17) opt[78][0] = 0 38.00/23.19 c (22,17) opt[78][1] = 0 38.00/23.19 c (22,17) opt[78][2] = 1 38.00/23.19 c (22,17) opt[78][3] = 1 38.00/23.19 c (22,17) opt[78][4] = 0 38.00/23.19 c (22,17) opt[79][0] = 1 38.00/23.19 c (22,17) opt[79][1] = 0 38.00/23.19 c (22,17) opt[79][2] = 0 38.00/23.19 c (22,17) opt[79][3] = 0 38.00/23.19 c (22,17) opt[79][4] = 0 38.00/23.19 c (22,17) opt[80][0] = 0 38.00/23.19 c (22,17) opt[80][1] = 1 38.00/23.19 c (22,17) opt[80][2] = 0 38.00/23.19 c (22,17) opt[80][3] = 0 38.00/23.19 c (22,17) opt[80][4] = 0 38.00/23.19 c (22,17) opt[81][0] = 0 38.00/23.19 c (22,17) opt[81][1] = 1 38.00/23.19 c (22,17) opt[81][2] = 1 38.00/23.19 c (22,17) opt[81][3] = 0 38.00/23.19 c (22,17) opt[81][4] = 1 38.00/23.19 c (22,17) opt[82][0] = 0 38.00/23.19 c (22,17) opt[82][1] = 0 38.00/23.19 c (22,17) opt[82][2] = 0 38.00/23.19 c (22,17) opt[82][3] = 1 38.00/23.19 c (22,17) opt[82][4] = 0 38.00/23.19 c (22,17) opt[83][0] = 0 38.00/23.19 c (22,17) opt[83][1] = 1 38.00/23.19 c (22,17) opt[83][2] = 0 38.00/23.19 c (22,17) opt[83][3] = 0 38.00/23.19 c (22,17) opt[83][4] = 0 38.00/23.19 c (22,17) opt[84][0] = 0 38.00/23.19 c (22,17) opt[84][1] = 1 38.00/23.19 c (22,17) opt[84][2] = 0 38.00/23.19 c (22,17) opt[84][3] = 0 38.00/23.19 c (22,17) opt[84][4] = 0 38.00/23.19 c (22,17) opt[85][0] = 0 38.00/23.19 c (22,17) opt[85][1] = 0 38.00/23.19 c (22,17) opt[85][2] = 0 38.00/23.19 c (22,17) opt[85][3] = 1 38.00/23.19 c (22,17) opt[85][4] = 0 38.00/23.19 c (22,17) opt[86][0] = 0 38.00/23.19 c (22,17) opt[86][1] = 0 38.00/23.19 c (22,17) opt[86][2] = 1 38.00/23.19 c (22,17) opt[86][3] = 0 38.00/23.19 c (22,17) opt[86][4] = 0 38.00/23.19 c (22,17) opt[87][0] = 1 38.00/23.19 c (22,17) opt[87][1] = 1 38.00/23.19 c (22,17) opt[87][2] = 0 38.00/23.19 c (22,17) opt[87][3] = 0 38.00/23.19 c (22,17) opt[87][4] = 0 38.00/23.19 c (22,17) opt[88][0] = 0 38.00/23.19 c (22,17) opt[88][1] = 0 38.00/23.19 c (22,17) opt[88][2] = 0 38.00/23.19 c (22,17) opt[88][3] = 0 38.00/23.19 c (22,17) opt[88][4] = 1 38.00/23.19 c (22,17) opt[89][0] = 0 38.00/23.19 c (22,17) opt[89][1] = 0 38.00/23.19 c (22,17) opt[89][2] = 1 38.00/23.19 c (22,17) opt[89][3] = 0 38.00/23.19 c (22,17) opt[89][4] = 0 38.00/23.19 c (22,17) opt[90][0] = 0 38.00/23.19 c (22,17) opt[90][1] = 0 38.00/23.19 c (22,17) opt[90][2] = 0 38.00/23.19 c (22,17) opt[90][3] = 1 38.00/23.19 c (22,17) opt[90][4] = 0 38.00/23.19 c (22,17) opt[91][0] = 0 38.00/23.19 c (22,17) opt[91][1] = 0 38.00/23.19 c (22,17) opt[91][2] = 0 38.00/23.19 c (22,17) opt[91][3] = 1 38.00/23.19 c (22,17) opt[91][4] = 0 38.00/23.19 c (22,17) opt[92][0] = 0 38.00/23.19 c (22,17) opt[92][1] = 1 38.00/23.19 c (22,17) opt[92][2] = 0 38.00/23.19 c (22,17) opt[92][3] = 0 38.00/23.19 c (22,17) opt[92][4] = 0 38.00/23.19 c (22,17) opt[93][0] = 1 38.00/23.19 c (22,17) opt[93][1] = 0 38.00/23.19 c (22,17) opt[93][2] = 1 38.00/23.19 c (22,17) opt[93][3] = 0 38.00/23.19 c (22,17) opt[93][4] = 0 38.00/23.19 c (22,17) opt[94][0] = 0 38.00/23.19 c (22,17) opt[94][1] = 0 38.00/23.19 c (22,17) opt[94][2] = 0 38.00/23.19 c (22,17) opt[94][3] = 0 38.00/23.19 c (22,17) opt[94][4] = 1 38.00/23.19 c (22,17) opt[95][0] = 0 38.00/23.19 c (22,17) opt[95][1] = 0 38.00/23.19 c (22,17) opt[95][2] = 0 38.00/23.19 c (22,17) opt[95][3] = 1 38.00/23.19 c (22,17) opt[95][4] = 0 38.00/23.19 c (22,17) opt[96][0] = 0 38.00/23.19 c (22,17) opt[96][1] = 1 38.00/23.19 c (22,17) opt[96][2] = 0 38.00/23.19 c (22,17) opt[96][3] = 0 38.00/23.19 c (22,17) opt[96][4] = 0 38.00/23.19 c (22,17) opt[97][0] = 0 38.00/23.19 c (22,17) opt[97][1] = 1 38.00/23.19 c (22,17) opt[97][2] = 0 38.00/23.19 c (22,17) opt[97][3] = 0 38.00/23.19 c (22,17) opt[97][4] = 0 38.00/23.19 c (22,17) opt[98][0] = 1 38.00/23.19 c (22,17) opt[98][1] = 0 38.00/23.19 c (22,17) opt[98][2] = 1 38.00/23.19 c (22,17) opt[98][3] = 1 38.00/23.19 c (22,17) opt[98][4] = 0 38.00/23.19 c (22,17) opt[99][0] = 0 38.00/23.19 c (22,17) opt[99][1] = 1 38.00/23.19 c (22,17) opt[99][2] = 0 38.00/23.19 c (22,17) opt[99][3] = 0 38.00/23.19 c (22,17) opt[99][4] = 0 38.00/23.19 c (22,17) opt[100][0] = 0 38.00/23.19 c (22,17) opt[100][1] = 0 38.00/23.19 c (22,17) opt[100][2] = 0 38.00/23.19 c (22,17) opt[100][3] = 0 38.00/23.19 c (22,17) opt[100][4] = 1 38.00/23.19 c (22,17) opt[101][0] = 1 38.00/23.19 c (22,17) opt[101][1] = 1 38.00/23.19 c (22,17) opt[101][2] = 1 38.00/23.19 c (22,17) opt[101][3] = 0 38.00/23.19 c (22,17) opt[101][4] = 0 38.00/23.19 c (22,17) opt[102][0] = 0 38.00/23.19 c (22,17) opt[102][1] = 1 38.00/23.19 c (22,17) opt[102][2] = 0 38.00/23.19 c (22,17) opt[102][3] = 0 38.00/23.19 c (22,17) opt[102][4] = 0 38.00/23.19 c (22,17) opt[103][0] = 0 38.00/23.19 c (22,17) opt[103][1] = 0 38.00/23.19 c (22,17) opt[103][2] = 0 38.00/23.19 c (22,17) opt[103][3] = 1 38.00/23.19 c (22,17) opt[103][4] = 0 38.00/23.19 c (22,17) opt[104][0] = 0 38.00/23.19 c (22,17) opt[104][1] = 0 38.00/23.19 c (22,17) opt[104][2] = 1 38.00/23.19 c (22,17) opt[104][3] = 0 38.00/23.19 c (22,17) opt[104][4] = 0 38.00/23.19 c (22,17) opt[105][0] = 0 38.00/23.19 c (22,17) opt[105][1] = 0 38.00/23.19 c (22,17) opt[105][2] = 0 38.00/23.19 c (22,17) opt[105][3] = 0 38.00/23.19 c (22,17) opt[105][4] = 1 38.00/23.19 c (22,17) opt[106][0] = 0 38.00/23.19 c (22,17) opt[106][1] = 0 38.00/23.19 c (22,17) opt[106][2] = 0 38.00/23.19 c (22,17) opt[106][3] = 1 38.00/23.19 c (22,17) opt[106][4] = 0 38.00/23.19 c (22,17) opt[107][0] = 0 38.00/23.19 c (22,17) opt[107][1] = 1 38.00/23.19 c (22,17) opt[107][2] = 0 38.00/23.19 c (22,17) opt[107][3] = 0 38.00/23.20 c (22,17) opt[107][4] = 0 38.00/23.20 c (22,17) opt[108][0] = 0 38.00/23.20 c (22,17) opt[108][1] = 1 38.00/23.20 c (22,17) opt[108][2] = 0 38.00/23.20 c (22,17) opt[108][3] = 0 38.00/23.20 c (22,17) opt[108][4] = 0 38.00/23.20 c (22,17) opt[109][0] = 0 38.00/23.20 c (22,17) opt[109][1] = 0 38.00/23.20 c (22,17) opt[109][2] = 0 38.00/23.20 c (22,17) opt[109][3] = 1 38.00/23.20 c (22,17) opt[109][4] = 0 38.00/23.20 c (22,17) opt[110][0] = 0 38.00/23.20 c (22,17) opt[110][1] = 0 38.00/23.20 c (22,17) opt[110][2] = 1 38.00/23.20 c (22,17) opt[110][3] = 0 38.00/23.20 c (22,17) opt[110][4] = 0 38.00/23.20 c (22,17) opt[111][0] = 1 38.00/23.20 c (22,17) opt[111][1] = 0 38.00/23.20 c (22,17) opt[111][2] = 0 38.00/23.20 c (22,17) opt[111][3] = 1 38.00/23.20 c (22,17) opt[111][4] = 1 38.00/23.20 c (22,17) opt[112][0] = 0 38.00/23.20 c (22,17) opt[112][1] = 1 38.00/23.20 c (22,17) opt[112][2] = 0 38.00/23.20 c (22,17) opt[112][3] = 0 38.00/23.20 c (22,17) opt[112][4] = 0 38.00/23.20 c (22,17) opt[113][0] = 0 38.00/23.20 c (22,17) opt[113][1] = 1 38.00/23.20 c (22,17) opt[113][2] = 0 38.00/23.20 c (22,17) opt[113][3] = 0 38.00/23.20 c (22,17) opt[113][4] = 0 38.00/23.20 c (22,17) opt[114][0] = 0 38.00/23.20 c (22,17) opt[114][1] = 0 38.00/23.20 c (22,17) opt[114][2] = 1 38.00/23.20 c (22,17) opt[114][3] = 0 38.00/23.20 c (22,17) opt[114][4] = 0 38.00/23.20 c (22,17) opt[115][0] = 0 38.00/23.20 c (22,17) opt[115][1] = 0 38.00/23.20 c (22,17) opt[115][2] = 0 38.00/23.20 c (22,17) opt[115][3] = 1 38.00/23.20 c (22,17) opt[115][4] = 0 38.00/23.20 c (22,17) opt[116][0] = 1 38.00/23.20 c (22,17) opt[116][1] = 1 38.00/23.20 c (22,17) opt[116][2] = 0 38.00/23.20 c (22,17) opt[116][3] = 0 38.00/23.20 c (22,17) opt[116][4] = 1 38.00/23.20 c (22,17) opt[117][0] = 0 38.00/23.20 c (22,17) opt[117][1] = 0 38.00/23.20 c (22,17) opt[117][2] = 1 38.00/23.20 c (22,17) opt[117][3] = 0 38.00/23.20 c (22,17) opt[117][4] = 0 38.00/23.20 c (22,17) opt[118][0] = 0 38.00/23.20 c (22,17) opt[118][1] = 0 38.00/23.20 c (22,17) opt[118][2] = 0 38.00/23.20 c (22,17) opt[118][3] = 1 38.00/23.20 c (22,17) opt[118][4] = 0 38.00/23.20 c (22,17) opt[119][0] = 1 38.00/23.20 c (22,17) opt[119][1] = 0 38.00/23.20 c (22,17) opt[119][2] = 0 38.00/23.20 c (22,17) opt[119][3] = 0 38.00/23.20 c (22,17) opt[119][4] = 0 38.00/23.20 c (22,17) opt[120][0] = 0 38.00/23.20 c (22,17) opt[120][1] = 0 38.00/23.20 c (22,17) opt[120][2] = 0 38.00/23.20 c (22,17) opt[120][3] = 1 38.00/23.20 c (22,17) opt[120][4] = 0 38.00/23.20 c (22,17) opt[121][0] = 0 38.00/23.20 c (22,17) opt[121][1] = 0 38.00/23.20 c (22,17) opt[121][2] = 1 38.00/23.20 c (22,17) opt[121][3] = 0 38.00/23.20 c (22,17) opt[121][4] = 0 38.00/23.20 c (22,17) opt[122][0] = 1 38.00/23.20 c (22,17) opt[122][1] = 1 38.00/23.20 c (22,17) opt[122][2] = 0 38.00/23.20 c (22,17) opt[122][3] = 0 38.00/23.20 c (22,17) opt[122][4] = 0 38.00/23.20 c (22,17) opt[123][0] = 0 38.00/23.20 c (22,17) opt[123][1] = 0 38.00/23.20 c (22,17) opt[123][2] = 0 38.00/23.20 c (22,17) opt[123][3] = 1 38.00/23.20 c (22,17) opt[123][4] = 1 38.00/23.20 c (22,17) opt[124][0] = 0 38.00/23.20 c (22,17) opt[124][1] = 1 38.00/23.20 c (22,17) opt[124][2] = 0 38.00/23.20 c (22,17) opt[124][3] = 0 38.00/23.20 c (22,17) opt[124][4] = 0 38.00/23.20 c (22,17) opt[125][0] = 0 38.00/23.20 c (22,17) opt[125][1] = 0 38.00/23.20 c (22,17) opt[125][2] = 1 38.00/23.20 c (22,17) opt[125][3] = 0 38.00/23.20 c (22,17) opt[125][4] = 0 38.00/23.20 c (22,17) opt[126][0] = 1 38.00/23.20 c (22,17) opt[126][1] = 0 38.00/23.20 c (22,17) opt[126][2] = 0 38.00/23.20 c (22,17) opt[126][3] = 1 38.00/23.20 c (22,17) opt[126][4] = 0 38.00/23.20 c (22,17) opt[127][0] = 0 38.00/23.20 c (22,17) opt[127][1] = 1 38.00/23.20 c (22,17) opt[127][2] = 0 38.00/23.20 c (22,17) opt[127][3] = 0 38.00/23.20 c (22,17) opt[127][4] = 0 38.00/23.20 c (22,17) opt[128][0] = 0 38.00/23.20 c (22,17) opt[128][1] = 0 38.00/23.20 c (22,17) opt[128][2] = 0 38.00/23.20 c (22,17) opt[128][3] = 0 38.00/23.20 c (22,17) opt[128][4] = 1 38.00/23.20 c (22,17) opt[129][0] = 0 38.00/23.20 c (22,17) opt[129][1] = 0 38.00/23.20 c (22,17) opt[129][2] = 1 38.00/23.20 c (22,17) opt[129][3] = 1 38.00/23.20 c (22,17) opt[129][4] = 0 38.00/23.20 c (22,17) opt[130][0] = 0 38.00/23.20 c (22,17) opt[130][1] = 1 38.00/23.20 c (22,17) opt[130][2] = 0 38.00/23.20 c (22,17) opt[130][3] = 0 38.00/23.20 c (22,17) opt[130][4] = 0 38.00/23.20 c (22,17) opt[131][0] = 0 38.00/23.20 c (22,17) opt[131][1] = 1 38.00/23.20 c (22,17) opt[131][2] = 0 38.00/23.20 c (22,17) opt[131][3] = 0 38.00/23.20 c (22,17) opt[131][4] = 0 38.00/23.20 c (22,17) opt[132][0] = 0 38.00/23.20 c (22,17) opt[132][1] = 0 38.00/23.20 c (22,17) opt[132][2] = 0 38.00/23.20 c (22,17) opt[132][3] = 1 38.00/23.20 c (22,17) opt[132][4] = 0 38.00/23.20 c (22,17) opt[133][0] = 0 38.00/23.20 c (22,17) opt[133][1] = 0 38.00/23.20 c (22,17) opt[133][2] = 0 38.00/23.20 c (22,17) opt[133][3] = 0 38.00/23.20 c (22,17) opt[133][4] = 1 38.00/23.20 c (22,17) opt[134][0] = 0 38.00/23.20 c (22,17) opt[134][1] = 0 38.00/23.20 c (22,17) opt[134][2] = 0 38.00/23.20 c (22,17) opt[134][3] = 1 38.00/23.20 c (22,17) opt[134][4] = 0 38.00/23.20 c (22,17) opt[135][0] = 0 38.00/23.20 c (22,17) opt[135][1] = 0 38.00/23.20 c (22,17) opt[135][2] = 1 38.00/23.20 c (22,17) opt[135][3] = 0 38.00/23.20 c (22,17) opt[135][4] = 0 38.00/23.20 c (22,17) opt[136][0] = 0 38.00/23.20 c (22,17) opt[136][1] = 1 38.00/23.20 c (22,17) opt[136][2] = 0 38.00/23.20 c (22,17) opt[136][3] = 0 38.00/23.20 c (22,17) opt[136][4] = 0 38.00/23.20 c (22,17) opt[137][0] = 0 38.00/23.20 c (22,17) opt[137][1] = 1 38.00/23.20 c (22,17) opt[137][2] = 0 38.00/23.20 c (22,17) opt[137][3] = 0 38.00/23.20 c (22,17) opt[137][4] = 0 38.00/23.20 c (22,17) opt[138][0] = 0 38.00/23.20 c (22,17) opt[138][1] = 0 38.00/23.20 c (22,17) opt[138][2] = 0 38.00/23.20 c (22,17) opt[138][3] = 1 38.00/23.20 c (22,17) opt[138][4] = 0 38.00/23.20 c (22,17) opt[139][0] = 0 38.00/23.20 c (22,17) opt[139][1] = 0 38.00/23.20 c (22,17) opt[139][2] = 0 38.00/23.20 c (22,17) opt[139][3] = 0 38.00/23.20 c (22,17) opt[139][4] = 1 38.00/23.20 c (22,17) opt[140][0] = 0 38.00/23.20 c (22,17) opt[140][1] = 0 38.00/23.20 c (22,17) opt[140][2] = 1 38.00/23.20 c (22,17) opt[140][3] = 0 38.00/23.20 c (22,17) opt[140][4] = 0 38.00/23.20 c (22,17) opt[141][0] = 0 38.00/23.20 c (22,17) opt[141][1] = 1 38.00/23.20 c (22,17) opt[141][2] = 0 38.00/23.20 c (22,17) opt[141][3] = 0 38.00/23.20 c (22,17) opt[141][4] = 0 38.00/23.20 c (22,17) opt[142][0] = 0 38.00/23.20 c (22,17) opt[142][1] = 0 38.00/23.20 c (22,17) opt[142][2] = 0 38.00/23.20 c (22,17) opt[142][3] = 1 38.00/23.20 c (22,17) opt[142][4] = 0 38.00/23.20 c (22,17) opt[143][0] = 0 38.00/23.20 c (22,17) opt[143][1] = 0 38.00/23.20 c (22,17) opt[143][2] = 1 38.00/23.20 c (22,17) opt[143][3] = 0 38.00/23.20 c (22,17) opt[143][4] = 0 38.00/23.20 c (22,17) opt[144][0] = 0 38.00/23.20 c (22,17) opt[144][1] = 0 38.00/23.20 c (22,17) opt[144][2] = 0 38.00/23.20 c (22,17) opt[144][3] = 0 38.00/23.20 c (22,17) opt[144][4] = 1 38.00/23.20 c (22,17) opt[145][0] = 0 38.00/23.20 c (22,17) opt[145][1] = 1 38.00/23.20 c (22,17) opt[145][2] = 0 38.00/23.20 c (22,17) opt[145][3] = 0 38.00/23.20 c (22,17) opt[145][4] = 0 38.00/23.20 c (22,17) opt[146][0] = 1 38.00/23.20 c (22,17) opt[146][1] = 1 38.00/23.20 c (22,17) opt[146][2] = 0 38.00/23.20 c (22,17) opt[146][3] = 0 38.00/23.20 c (22,17) opt[146][4] = 0 38.00/23.20 c (22,17) opt[147][0] = 0 38.00/23.20 c (22,17) opt[147][1] = 0 38.00/23.20 c (22,17) opt[147][2] = 1 38.00/23.20 c (22,17) opt[147][3] = 1 38.00/23.20 c (22,17) opt[147][4] = 0 38.00/23.20 c (22,17) opt[148][0] = 0 38.00/23.20 c (22,17) opt[148][1] = 1 38.00/23.20 c (22,17) opt[148][2] = 0 38.00/23.20 c (22,17) opt[148][3] = 1 38.00/23.20 c (22,17) opt[148][4] = 0 38.00/23.20 c (22,17) opt[149][0] = 0 38.00/23.20 c (22,17) opt[149][1] = 0 38.00/23.20 c (22,17) opt[149][2] = 0 38.00/23.20 c (22,17) opt[149][3] = 0 38.00/23.20 c (22,17) opt[149][4] = 1 38.00/23.20 c (22,17) opt[150][0] = 0 38.00/23.20 c (22,17) opt[150][1] = 1 38.00/23.20 c (22,17) opt[150][2] = 1 38.00/23.20 c (22,17) opt[150][3] = 0 38.00/23.20 c (22,17) opt[150][4] = 0 38.00/23.20 c (22,17) opt[151][0] = 1 38.00/23.20 c (22,17) opt[151][1] = 0 38.00/23.20 c (22,17) opt[151][2] = 0 38.00/23.20 c (22,17) opt[151][3] = 0 38.00/23.20 c (22,17) opt[151][4] = 0 38.00/23.20 c (22,17) opt[152][0] = 0 38.00/23.20 c (22,17) opt[152][1] = 1 38.00/23.20 c (22,17) opt[152][2] = 0 38.00/23.20 c (22,17) opt[152][3] = 0 38.00/23.20 c (22,17) opt[152][4] = 0 38.00/23.20 c (22,17) opt[153][0] = 1 38.00/23.20 c (22,17) opt[153][1] = 0 38.00/23.20 c (22,17) opt[153][2] = 1 38.00/23.20 c (22,17) opt[153][3] = 0 38.00/23.20 c (22,17) opt[153][4] = 0 38.00/23.20 c (22,17) opt[154][0] = 0 38.00/23.20 c (22,17) opt[154][1] = 0 38.00/23.20 c (22,17) opt[154][2] = 0 38.00/23.20 c (22,17) opt[154][3] = 0 38.00/23.20 c (22,17) opt[154][4] = 1 38.00/23.20 c (22,17) opt[155][0] = 0 38.00/23.20 c (22,17) opt[155][1] = 0 38.00/23.20 c (22,17) opt[155][2] = 0 38.00/23.20 c (22,17) opt[155][3] = 1 38.00/23.20 c (22,17) opt[155][4] = 0 38.00/23.20 c (22,17) opt[156][0] = 0 38.00/23.20 c (22,17) opt[156][1] = 1 38.00/23.20 c (22,17) opt[156][2] = 0 38.00/23.20 c (22,17) opt[156][3] = 0 38.00/23.20 c (22,17) opt[156][4] = 0 38.00/23.20 c (22,17) opt[157][0] = 0 38.00/23.20 c (22,17) opt[157][1] = 0 38.00/23.20 c (22,17) opt[157][2] = 0 38.00/23.20 c (22,17) opt[157][3] = 1 38.00/23.20 c (22,17) opt[157][4] = 0 38.00/23.20 c (22,17) opt[158][0] = 0 38.00/23.20 c (22,17) opt[158][1] = 0 38.00/23.20 c (22,17) opt[158][2] = 1 38.00/23.20 c (22,17) opt[158][3] = 0 38.00/23.20 c (22,17) opt[158][4] = 0 38.00/23.20 c (22,17) opt[159][0] = 1 49.20/23.20 c (22,17) opt[159][1] = 0 49.20/23.20 c (22,17) opt[159][2] = 0 49.20/23.20 c (22,17) opt[159][3] = 0 49.20/23.20 c (22,17) opt[159][4] = 1 49.20/23.20 c (22,17) opt[160][0] = 0 49.20/23.20 c (22,17) opt[160][1] = 0 49.20/23.20 c (22,17) opt[160][2] = 0 49.20/23.20 c (22,17) opt[160][3] = 1 49.20/23.20 c (22,17) opt[160][4] = 0 49.20/23.20 c (22,17) opt[161][0] = 0 49.20/23.20 c (22,17) opt[161][1] = 0 49.20/23.20 c (22,17) opt[161][2] = 1 49.20/23.20 c (22,17) opt[161][3] = 0 49.20/23.20 c (22,17) opt[161][4] = 0 49.20/23.20 c (22,17) opt[162][0] = 0 49.20/23.20 c (22,17) opt[162][1] = 0 49.20/23.20 c (22,17) opt[162][2] = 0 49.20/23.20 c (22,17) opt[162][3] = 1 49.20/23.20 c (22,17) opt[162][4] = 0 49.20/23.20 c (22,17) opt[163][0] = 0 49.20/23.20 c (22,17) opt[163][1] = 1 49.20/23.20 c (22,17) opt[163][2] = 0 49.20/23.20 c (22,17) opt[163][3] = 0 49.20/23.20 c (22,17) opt[163][4] = 0 49.20/23.20 c (22,17) opt[164][0] = 0 49.20/23.20 c (22,17) opt[164][1] = 0 49.20/23.20 c (22,17) opt[164][2] = 0 49.20/23.20 c (22,17) opt[164][3] = 0 49.20/23.20 c (22,17) opt[164][4] = 1 49.20/23.20 c (22,17) opt[165][0] = 0 49.20/23.20 c (22,17) opt[165][1] = 0 49.20/23.20 c (22,17) opt[165][2] = 1 49.20/23.20 c (22,17) opt[165][3] = 0 49.20/23.20 c (22,17) opt[165][4] = 0 49.20/23.20 c (22,17) opt[166][0] = 0 49.20/23.20 c (22,17) opt[166][1] = 0 49.20/23.20 c (22,17) opt[166][2] = 0 49.20/23.20 c (22,17) opt[166][3] = 1 49.20/23.20 c (22,17) opt[166][4] = 0 49.20/23.20 c (22,17) opt[167][0] = 0 49.20/23.20 c (22,17) opt[167][1] = 0 49.20/23.20 c (22,17) opt[167][2] = 0 49.20/23.20 c (22,17) opt[167][3] = 1 49.20/23.20 c (22,17) opt[167][4] = 0 49.20/23.20 c (22,17) opt[168][0] = 0 49.20/23.20 c (22,17) opt[168][1] = 0 49.20/23.20 c (22,17) opt[168][2] = 1 49.20/23.20 c (22,17) opt[168][3] = 0 49.20/23.20 c (22,17) opt[168][4] = 0 49.20/23.20 c (22,17) opt[169][0] = 0 49.20/23.20 c (22,17) opt[169][1] = 0 49.20/23.20 c (22,17) opt[169][2] = 0 49.20/23.20 c (22,17) opt[169][3] = 0 49.20/23.20 c (22,17) opt[169][4] = 1 49.20/23.20 c (22,17) opt[170][0] = 0 49.20/23.20 c (22,17) opt[170][1] = 1 49.20/23.20 c (22,17) opt[170][2] = 0 49.20/23.20 c (22,17) opt[170][3] = 0 49.20/23.20 c (22,17) opt[170][4] = 0 49.20/23.20 c (22,17) opt[171][0] = 0 49.20/23.20 c (22,17) opt[171][1] = 0 49.20/23.20 c (22,17) opt[171][2] = 1 49.20/23.20 c (22,17) opt[171][3] = 0 49.20/23.20 c (22,17) opt[171][4] = 0 49.20/23.20 c (22,17) opt[172][0] = 0 49.20/23.20 c (22,17) opt[172][1] = 1 49.20/23.20 c (22,17) opt[172][2] = 0 49.20/23.20 c (22,17) opt[172][3] = 1 49.20/23.20 c (22,17) opt[172][4] = 0 49.20/23.20 c (22,17) opt[173][0] = 0 49.20/23.20 c (22,17) opt[173][1] = 0 49.20/23.20 c (22,17) opt[173][2] = 0 49.20/23.20 c (22,17) opt[173][3] = 1 49.20/23.20 c (22,17) opt[173][4] = 0 49.20/23.20 c (22,17) opt[174][0] = 1 49.20/23.20 c (22,17) opt[174][1] = 1 49.20/23.20 c (22,17) opt[174][2] = 0 49.20/23.20 c (22,17) opt[174][3] = 0 49.20/23.20 c (22,17) opt[174][4] = 1 49.20/23.20 c (22,17) opt[175][0] = 0 49.20/23.20 c (22,17) opt[175][1] = 1 49.20/23.20 c (22,17) opt[175][2] = 0 49.20/23.20 c (22,17) opt[175][3] = 0 49.20/23.20 c (22,17) opt[175][4] = 0 49.20/23.20 c (22,17) opt[176][0] = 1 49.20/23.20 c (22,17) opt[176][1] = 0 49.20/23.20 c (22,17) opt[176][2] = 0 49.20/23.20 c (22,17) opt[176][3] = 0 49.20/23.20 c (22,17) opt[176][4] = 0 49.20/23.20 c (22,17) opt[177][0] = 0 49.20/23.20 c (22,17) opt[177][1] = 0 49.20/23.20 c (22,17) opt[177][2] = 1 49.20/23.20 c (22,17) opt[177][3] = 0 49.20/23.20 c (22,17) opt[177][4] = 0 49.20/23.20 c (22,17) opt[178][0] = 0 49.20/23.20 c (22,17) opt[178][1] = 0 49.20/23.20 c (22,17) opt[178][2] = 0 49.20/23.20 c (22,17) opt[178][3] = 1 49.20/23.20 c (22,17) opt[178][4] = 0 49.20/23.20 c (22,17) opt[179][0] = 0 49.20/23.20 c (22,17) opt[179][1] = 0 49.20/23.20 c (22,17) opt[179][2] = 0 49.20/23.20 c (22,17) opt[179][3] = 0 49.20/23.20 c (22,17) opt[179][4] = 1 49.20/23.20 c (22,17) opt[180][0] = 1 49.20/23.20 c (22,17) opt[180][1] = 0 49.20/23.20 c (22,17) opt[180][2] = 1 49.20/23.20 c (22,17) opt[180][3] = 0 49.20/23.20 c (22,17) opt[180][4] = 0 49.20/23.20 c (22,17) opt[181][0] = 0 49.20/23.20 c (22,17) opt[181][1] = 1 49.20/23.20 c (22,17) opt[181][2] = 0 49.20/23.20 c (22,17) opt[181][3] = 0 49.20/23.20 c (22,17) opt[181][4] = 0 49.20/23.20 c (22,17) opt[182][0] = 1 49.20/23.20 c (22,17) opt[182][1] = 1 49.20/23.20 c (22,17) opt[182][2] = 0 49.20/23.20 c (22,17) opt[182][3] = 1 49.20/23.20 c (22,17) opt[182][4] = 0 49.20/23.20 c (22,17) opt[183][0] = 0 49.20/23.20 c (22,17) opt[183][1] = 0 49.20/23.20 c (22,17) opt[183][2] = 1 49.20/23.20 c (22,17) opt[183][3] = 0 49.20/23.20 c (22,17) opt[183][4] = 0 49.20/23.20 c (22,17) opt[184][0] = 0 49.20/23.20 c (22,17) opt[184][1] = 0 49.20/23.20 c (22,17) opt[184][2] = 0 49.20/23.20 c (22,17) opt[184][3] = 0 49.20/23.20 c (22,17) opt[184][4] = 1 49.20/23.20 c (22,17) opt[185][0] = 0 49.20/23.20 c (22,17) opt[185][1] = 1 49.20/23.20 c (22,17) opt[185][2] = 0 49.20/23.20 c (22,17) opt[185][3] = 0 49.20/23.20 c (22,17) opt[185][4] = 0 49.20/23.20 c (22,17) opt[186][0] = 0 49.20/23.20 c (22,17) opt[186][1] = 0 49.20/23.20 c (22,17) opt[186][2] = 0 49.20/23.20 c (22,17) opt[186][3] = 1 49.20/23.20 c (22,17) opt[186][4] = 0 49.20/23.20 c (22,17) opt[187][0] = 0 49.20/23.20 c (22,17) opt[187][1] = 0 49.20/23.20 c (22,17) opt[187][2] = 1 49.20/23.20 c (22,17) opt[187][3] = 0 49.20/23.20 c (22,17) opt[187][4] = 0 49.20/23.20 c (22,17) opt[188][0] = 0 49.20/23.20 c (22,17) opt[188][1] = 0 49.20/23.20 c (22,17) opt[188][2] = 0 49.20/23.20 c (22,17) opt[188][3] = 1 49.20/23.20 c (22,17) opt[188][4] = 0 49.20/23.20 c (22,17) opt[189][0] = 1 49.20/23.20 c (22,17) opt[189][1] = 0 49.20/23.20 c (22,17) opt[189][2] = 0 49.20/23.20 c (22,17) opt[189][3] = 0 49.20/23.20 c (22,17) opt[189][4] = 1 49.20/23.20 c (22,17) opt[190][0] = 0 49.20/23.20 c (22,17) opt[190][1] = 1 49.20/23.20 c (22,17) opt[190][2] = 0 49.20/23.20 c (22,17) opt[190][3] = 0 49.20/23.20 c (22,17) opt[190][4] = 0 49.20/23.20 c (22,17) opt[191][0] = 0 49.20/23.20 c (22,17) opt[191][1] = 1 49.20/23.20 c (22,17) opt[191][2] = 0 49.20/23.20 c (22,17) opt[191][3] = 0 49.20/23.20 c (22,17) opt[191][4] = 0 49.20/23.20 c (22,17) opt[192][0] = 0 49.20/23.20 c (22,17) opt[192][1] = 0 49.20/23.20 c (22,17) opt[192][2] = 1 49.20/23.20 c (22,17) opt[192][3] = 0 49.20/23.20 c (22,17) opt[192][4] = 0 49.20/23.20 c (22,17) opt[193][0] = 0 49.20/23.20 c (22,17) opt[193][1] = 1 49.20/23.20 c (22,17) opt[193][2] = 0 49.20/23.20 c (22,17) opt[193][3] = 0 49.20/23.20 c (22,17) opt[193][4] = 0 49.20/23.20 c (22,17) opt[194][0] = 0 49.20/23.20 c (22,17) opt[194][1] = 0 49.20/23.20 c (22,17) opt[194][2] = 0 49.20/23.20 c (22,17) opt[194][3] = 0 49.20/23.20 c (22,17) opt[194][4] = 1 49.20/23.20 c (22,17) opt[195][0] = 0 49.20/23.20 c (22,17) opt[195][1] = 0 49.20/23.20 c (22,17) opt[195][2] = 1 49.20/23.20 c (22,17) opt[195][3] = 0 49.20/23.20 c (22,17) opt[195][4] = 0 49.20/23.20 c (22,17) opt[196][0] = 0 49.20/23.20 c (22,17) opt[196][1] = 0 49.20/23.20 c (22,17) opt[196][2] = 0 49.20/23.20 c (22,17) opt[196][3] = 1 49.20/23.20 c (22,17) opt[196][4] = 0 49.20/23.20 c (22,17) opt[197][0] = 0 49.20/23.20 c (22,17) opt[197][1] = 1 49.20/23.20 c (22,17) opt[197][2] = 0 49.20/23.20 c (22,17) opt[197][3] = 0 49.20/23.20 c (22,17) opt[197][4] = 0 49.20/23.20 c (22,17) opt[198][0] = 1 49.20/23.20 c (22,17) opt[198][1] = 0 49.20/23.20 c (22,17) opt[198][2] = 1 49.20/23.20 c (22,17) opt[198][3] = 0 49.20/23.20 c (22,17) opt[198][4] = 0 49.20/23.20 c (22,17) opt[199][0] = 0 49.20/23.20 c (22,17) opt[199][1] = 0 49.20/23.20 c (22,17) opt[199][2] = 0 49.20/23.20 c (22,17) opt[199][3] = 0 49.20/23.20 c (22,17) opt[199][4] = 1 49.20/23.20 s SATISFIABLE 49.20/23.20 v <instantiation> 49.20/23.20 v <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4]</list> 49.20/23.20 v <values>10 10 8 17 17 13 17 10 4 9 10 17 9 10 2 9 4 17 20 10 9 4 10 3 17 20 15 17 10 9 17 10 9 1 17 17 21 17 0 17 4 3 10 17 17 4 10 12 2 17 9 4 20 9 17 10 10 13 4 17 10 20 17 9 10 10 4 17 9 10 17 11 10 17 6 9 19 17 12 20 17 11 10 17 17 10 9 2 4 9 10 10 17 13 4 10 17 17 0 17 4 3 17 10 9 4 10 17 17 10 9 14 17 17 9 10 5 9 10 20 10 9 2 16 17 9 21 17 4 12 17 17 10 4 10 9 17 17 10 4 9 17 10 9 4 17 2 12 7 4 18 20 17 13 4 10 17 10 9 1 10 9 10 17 4 9 10 10 9 4 17 9 7 10 5 17 20 9 10 4 13 17 6 9 4 17 10 9 10 1 17 17 9 17 4 9 10 17 13 4 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1</values> 49.20/23.20 v </instantiation> 49.20/23.20 c (22,17) Show results End 49.20/23.20 c (22,17) Heap : 5328 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 49.20/23.20 c (22,17) 0,0,10,11,11,11,17,22,22,STOP-AFTER(ALL) 49.20/23.20 c END-Prog: Fri Jul 27 06:18:01 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 (13191 MiB free)
memory of node 1: 16384 MiB (13725 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296900-1532665058/watcher-4296900-1532665058 -o /tmp/evaluation-result-4296900-1532665058/solver-4296900-1532665058 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532665058-10486 --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-4296900-1532665058.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10503, runsolver pid=10500
[startup+0.100154 s]*
/proc/loadavg: 8.14 8.73 8.55 2/203 10523
/proc/meminfo: memFree=27468144/32770624 swapFree=67108856/67108860
[pid=10503] ppid=10500 vsize=27312552 memory=109932 CPUtime=0.11 cores=0-7
/proc/10503/stat : 10503 (java) S 10500 10503 10459 0 -1 1077944320 6530 0 0 0 9 2 0 0 20 0 20 0 84068940 27968053248 27483 33554432000 4194304 4196468 140728789249792 140728789232336 139989931155191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
/proc/10503/statm: 6828138 27483 2753 1 0 6790598 0
[pid=10503/tid=10505] ppid=10500 vsize=27312552 memory=8040221042879143063 CPUtime=0.09 cores=0-7
/proc/10503/task/10505/stat : 10505 (java) R 10500 10503 10459 0 -1 4202560 4655 0 0 0 8 1 0 0 20 0 20 0 84068941 27968053248 27548 33554432000 4194304 4196468 140728789249792 139989902951072 139989931167126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10506] ppid=10500 vsize=27312552 memory=732370319650581477 CPUtime=0 cores=0-7
/proc/10503/task/10506/stat : 10506 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 27548 33554432000 4194304 4196468 140728789249792 139989935397136 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10507] ppid=10500 vsize=27312552 memory=140181313128064 CPUtime=0 cores=0-7
/proc/10503/task/10507/stat : 10507 (java) S 10500 10503 10459 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 27548 33554432000 4194304 4196468 140728789249792 139989353056656 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10508] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10508/stat : 10508 (java) S 10500 10503 10459 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 27548 33554432000 4194304 4196468 140728789249792 139989352004112 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10509] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10509/stat : 10509 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 27548 33554432000 4194304 4196468 140728789249792 139989350951568 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10510] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10510/stat : 10510 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 27548 33554432000 4194304 4196468 140728789249792 139989349899024 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10511] ppid=10500 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10503/task/10511/stat : 10511 (java) S 10500 10503 10459 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 27548 33554432000 4194304 4196468 140728789249792 139989348846480 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10512] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10512/stat : 10512 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 27548 33554432000 4194304 4196468 140728789249792 139989347793936 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10513] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10513/stat : 10513 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 27548 33554432000 4194304 4196468 140728789249792 139989346741392 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10514] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10514/stat : 10514 (java) S 10500 10503 10459 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 84068945 27968053248 27548 33554432000 4194304 4196468 140728789249792 139988922427376 139989931166338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10515] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10515/stat : 10515 (java) S 10500 10503 10459 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84068945 27968053248 27548 33554432000 4194304 4196468 140728789249792 139987815228320 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10516] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10516/stat : 10516 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068945 27968053248 27548 33554432000 4194304 4196468 140728789249792 139987546792944 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10517] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10517/stat : 10517 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 27548 33554432000 4194304 4196468 140728789249792 139987172284624 139989931173787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10518] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10518/stat : 10518 (java) S 10500 10503 10459 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 27548 33554432000 4194304 4196468 140728789249792 139988921375216 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10519] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10519/stat : 10519 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 27548 33554432000 4194304 4196468 140728789249792 139988920322672 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10520] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10520/stat : 10520 (java) S 10500 10503 10459 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 27548 33554432000 4194304 4196468 140728789249792 139988919270128 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10521] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10521/stat : 10521 (java) S 10500 10503 10459 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 27548 33554432000 4194304 4196468 140728789249792 139988918217584 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10522] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10522/stat : 10522 (java) S 10500 10503 10459 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 27548 33554432000 4194304 4196468 140728789249792 139986674378976 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10523] ppid=10500 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10503/task/10523/stat : 10523 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 27548 33554432000 4194304 4196468 140728789249792 139988917164464 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109932 KiB
[startup+0.210589 s]*
/proc/loadavg: 8.14 8.73 8.55 2/203 10523
/proc/meminfo: memFree=27450344/32770624 swapFree=67108856/67108860
[pid=10503] ppid=10500 vsize=27312552 memory=124072 CPUtime=0.25 cores=0-7
/proc/10503/stat : 10503 (java) S 10500 10503 10459 0 -1 1077944320 10344 0 0 0 22 3 0 0 20 0 20 0 84068940 27968053248 31018 33554432000 4194304 4196468 140728789249792 140728789232336 139989931155191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
/proc/10503/statm: 6828138 31018 2848 1 0 6790598 0
[pid=10503/tid=10505] ppid=10500 vsize=27312552 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/10503/task/10505/stat : 10505 (java) R 10500 10503 10459 0 -1 4202560 8255 0 0 0 18 2 0 0 20 0 20 0 84068941 27968053248 31083 33554432000 4194304 4196468 140728789249792 139989902953936 139989923392318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10506] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10506/stat : 10506 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 31083 33554432000 4194304 4196468 140728789249792 139989935397136 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10507] ppid=10500 vsize=27312552 memory=288370557464839808 CPUtime=0 cores=0-7
/proc/10503/task/10507/stat : 10507 (java) S 10500 10503 10459 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 31083 33554432000 4194304 4196468 140728789249792 139989353056656 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10508] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10508/stat : 10508 (java) S 10500 10503 10459 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 31083 33554432000 4194304 4196468 140728789249792 139989352004112 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10509] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10509/stat : 10509 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 31083 33554432000 4194304 4196468 140728789249792 139989350951568 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10510] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10510/stat : 10510 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 31083 33554432000 4194304 4196468 140728789249792 139989349899024 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10511] ppid=10500 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10503/task/10511/stat : 10511 (java) S 10500 10503 10459 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 31083 33554432000 4194304 4196468 140728789249792 139989348846480 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10512] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10512/stat : 10512 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 31083 33554432000 4194304 4196468 140728789249792 139989347793936 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10513] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10513/stat : 10513 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 31083 33554432000 4194304 4196468 140728789249792 139989346741392 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10514] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10514/stat : 10514 (java) S 10500 10503 10459 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 84068945 27968053248 31083 33554432000 4194304 4196468 140728789249792 139988922427376 139989931166338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10515] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10515/stat : 10515 (java) S 10500 10503 10459 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84068945 27968053248 31083 33554432000 4194304 4196468 140728789249792 139987815228320 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10516] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10516/stat : 10516 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068945 27968053248 31083 33554432000 4194304 4196468 140728789249792 139987546792944 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10517] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10517/stat : 10517 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 31083 33554432000 4194304 4196468 140728789249792 139987172284624 139989931173787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10518] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10518/stat : 10518 (java) S 10500 10503 10459 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 31083 33554432000 4194304 4196468 140728789249792 139988921375216 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10519] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10519/stat : 10519 (java) S 10500 10503 10459 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 31083 33554432000 4194304 4196468 140728789249792 139988920322672 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10520] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10520/stat : 10520 (java) S 10500 10503 10459 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 31083 33554432000 4194304 4196468 140728789249792 139988919270128 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10521] ppid=10500 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/10503/task/10521/stat : 10521 (java) S 10500 10503 10459 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 20 0 84068948 27968053248 31083 33554432000 4194304 4196468 140728789249792 139988918217584 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10522] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10522/stat : 10522 (java) S 10500 10503 10459 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 31083 33554432000 4194304 4196468 140728789249792 139986674378976 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10523] ppid=10500 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10503/task/10523/stat : 10523 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 31083 33554432000 4194304 4196468 140728789249792 139988917164464 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124072 KiB
[startup+0.310433 s]*
/proc/loadavg: 8.14 8.73 8.55 2/203 10523
/proc/meminfo: memFree=27447304/32770624 swapFree=67108856/67108860
[pid=10503] ppid=10500 vsize=27312552 memory=128072 CPUtime=0.42 cores=0-7
/proc/10503/stat : 10503 (java) S 10500 10503 10459 0 -1 1077944320 10881 0 0 0 39 3 0 0 20 0 20 0 84068940 27968053248 32018 33554432000 4194304 4196468 140728789249792 140728789232336 139989931155191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
/proc/10503/statm: 6828138 32018 2975 1 0 6790598 0
[pid=10503/tid=10505] ppid=10500 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10503/task/10505/stat : 10505 (java) R 10500 10503 10459 0 -1 4202560 8621 0 0 0 27 2 0 0 20 0 20 0 84068941 27968053248 32018 33554432000 4194304 4196468 140728789249792 139989902960872 139989912718724 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10506] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10506/stat : 10506 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 32018 33554432000 4194304 4196468 140728789249792 139989935397136 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10507] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10507/stat : 10507 (java) S 10500 10503 10459 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 32018 33554432000 4194304 4196468 140728789249792 139989353056656 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10508] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10508/stat : 10508 (java) S 10500 10503 10459 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 32018 33554432000 4194304 4196468 140728789249792 139989352004112 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10509] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10509/stat : 10509 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 32018 33554432000 4194304 4196468 140728789249792 139989350951568 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10510] ppid=10500 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/10503/task/10510/stat : 10510 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 32018 33554432000 4194304 4196468 140728789249792 139989349899024 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10511] ppid=10500 vsize=27312552 memory=140181155967919 CPUtime=0 cores=0-7
/proc/10503/task/10511/stat : 10511 (java) S 10500 10503 10459 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 32018 33554432000 4194304 4196468 140728789249792 139989348846480 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10512] ppid=10500 vsize=27312552 memory=140181155970224 CPUtime=0 cores=0-7
/proc/10503/task/10512/stat : 10512 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 32018 33554432000 4194304 4196468 140728789249792 139989347793936 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10513] ppid=10500 vsize=27312552 memory=140181155972528 CPUtime=0 cores=0-7
/proc/10503/task/10513/stat : 10513 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27968053248 32018 33554432000 4194304 4196468 140728789249792 139989346741392 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10514] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10514/stat : 10514 (java) S 10500 10503 10459 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 84068945 27968053248 32018 33554432000 4194304 4196468 140728789249792 139988922427376 139989931166338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10515] ppid=10500 vsize=27312552 memory=280362311952016 CPUtime=0 cores=0-7
/proc/10503/task/10515/stat : 10515 (java) S 10500 10503 10459 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84068945 27968053248 32018 33554432000 4194304 4196468 140728789249792 139987815228320 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10516] ppid=10500 vsize=27312552 memory=280362311958928 CPUtime=0 cores=0-7
/proc/10503/task/10516/stat : 10516 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068945 27968053248 32018 33554432000 4194304 4196468 140728789249792 139987546792944 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10517] ppid=10500 vsize=27312552 memory=280362311900208 CPUtime=0 cores=0-7
/proc/10503/task/10517/stat : 10517 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 32018 33554432000 4194304 4196468 140728789249792 139987172284624 139989931173787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10518] ppid=10500 vsize=27312552 memory=280362311972752 CPUtime=0.01 cores=0-7
/proc/10503/task/10518/stat : 10518 (java) S 10500 10503 10459 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 20 0 84068948 27968053248 32018 33554432000 4194304 4196468 140728789249792 139988921375216 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10519] ppid=10500 vsize=27312552 memory=280362311979664 CPUtime=0.02 cores=0-7
/proc/10503/task/10519/stat : 10519 (java) S 10500 10503 10459 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 20 0 84068948 27968053248 32018 33554432000 4194304 4196468 140728789249792 139988920322672 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10520] ppid=10500 vsize=27312552 memory=280362311977360 CPUtime=0 cores=0-7
/proc/10503/task/10520/stat : 10520 (java) S 10500 10503 10459 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 32018 33554432000 4194304 4196468 140728789249792 139988919270128 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10521] ppid=10500 vsize=27312552 memory=280362311993920 CPUtime=0.07 cores=0-7
/proc/10503/task/10521/stat : 10521 (java) S 10500 10503 10459 0 -1 1077944384 303 0 0 0 7 0 0 0 20 0 20 0 84068948 27968053248 32018 33554432000 4194304 4196468 140728789249792 139988918217584 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10522] ppid=10500 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10522/stat : 10522 (java) S 10500 10503 10459 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 32018 33554432000 4194304 4196468 140728789249792 139986674378976 139989931165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10523] ppid=10500 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10503/task/10523/stat : 10523 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068948 27968053248 32018 33554432000 4194304 4196468 140728789249792 139988917164464 139989931166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 128072 KiB
[startup+0.700953 s]
/proc/loadavg: 8.14 8.73 8.55 2/203 10523
/proc/meminfo: memFree=27423120/32770624 swapFree=67108856/67108860
[pid=10503] ppid=10500 vsize=27318824 memory=164516 CPUtime=1 cores=0-7
/proc/10503/stat : 10503 (java) S 10500 10503 10459 0 -1 1077944320 17656 0 0 0 95 5 0 0 20 0 20 0 84068940 27974475776 41129 33554432000 4194304 4196468 140728789249792 140728789232336 139989931155191 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
/proc/10503/statm: 6829706 41129 3123 1 0 6791110 0
[pid=10503/tid=10505] ppid=10500 vsize=27318824 memory=7230638415940315735 CPUtime=0.67 cores=0-7
/proc/10503/task/10505/stat : 10505 (java) R 10500 10503 10459 0 -1 4202560 14987 0 0 0 63 4 0 0 20 0 20 0 84068941 27974475776 41129 33554432000 4194304 4196468 140728789249792 139989902991456 139989434938184 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10506] ppid=10500 vsize=27318824 memory=45191645909556 CPUtime=0 cores=0-7
/proc/10503/task/10506/stat : 10506 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27974475776 41129 33554432000 4194304 4196468 140728789249792 139989935397136 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10507] ppid=10500 vsize=27318824 memory=140181155980608 CPUtime=0 cores=0-7
/proc/10503/task/10507/stat : 10507 (java) S 10500 10503 10459 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84068943 27974475776 41129 33554432000 4194304 4196468 140728789249792 139989353056656 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10508] ppid=10500 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10508/stat : 10508 (java) S 10500 10503 10459 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84068943 27974475776 41129 33554432000 4194304 4196468 140728789249792 139989352004112 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10509] ppid=10500 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10509/stat : 10509 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27974475776 41129 33554432000 4194304 4196468 140728789249792 139989350951568 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10510] ppid=10500 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10510/stat : 10510 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27974475776 41129 33554432000 4194304 4196468 140728789249792 139989349899024 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10511] ppid=10500 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10511/stat : 10511 (java) S 10500 10503 10459 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84068943 27974475776 41129 33554432000 4194304 4196468 140728789249792 139989348846480 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10512] ppid=10500 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10512/stat : 10512 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27974475776 41129 33554432000 4194304 4196468 140728789249792 139989347793936 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10513] ppid=10500 vsize=27318824 memory=1804 CPUtime=0 cores=0-7
/proc/10503/task/10513/stat : 10513 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84068943 27974475776 41129 33554432000 4194304 4196468 140728789249792 139989346741392 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10514] ppid=10500 vsize=27318824 memory=796 CPUtime=0 cores=0-7
/proc/10503/task/10514/stat : 10514 (java) S 10500 10503 10459 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 84068945 27974475776 41129 33554432000 4194304 4196468 140728789249792 139988922427376 139989931166338 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
################
# More data... #
################
/proc/10503/task/10505/stat : 10505 (java) S 10500 10503 10459 0 -1 1077944384 21034 0 0 0 1719 99 0 0 20 0 24 0 84068941 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989902994432 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10506] ppid=10500 vsize=27984808 memory=6039452 CPUtime=0.09 cores=0-7
/proc/10503/task/10506/stat : 10506 (java) S 10500 10503 10459 0 -1 1077944384 54 0 0 0 5 4 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989935397136 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10507] ppid=10500 vsize=27984808 memory=6036196 CPUtime=0.09 cores=0-7
/proc/10503/task/10507/stat : 10507 (java) S 10500 10503 10459 0 -1 1077944384 113 0 0 0 6 3 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989353056656 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10508] ppid=10500 vsize=27984808 memory=0 CPUtime=0.09 cores=0-7
/proc/10503/task/10508/stat : 10508 (java) S 10500 10503 10459 0 -1 1077944384 86 0 0 0 6 3 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989352004112 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10509] ppid=10500 vsize=27984808 memory=6025116 CPUtime=0.09 cores=0-7
/proc/10503/task/10509/stat : 10509 (java) S 10500 10503 10459 0 -1 1077944384 62 0 0 0 5 4 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989350951568 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10510] ppid=10500 vsize=27984808 memory=140181156608976 CPUtime=0.09 cores=0-7
/proc/10503/task/10510/stat : 10510 (java) S 10500 10503 10459 0 -1 1077944384 129 0 0 0 6 3 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989349899024 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10511] ppid=10500 vsize=27984808 memory=0 CPUtime=0.09 cores=0-7
/proc/10503/task/10511/stat : 10511 (java) S 10500 10503 10459 0 -1 1077944384 88 0 0 0 6 3 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989348846480 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10512] ppid=10500 vsize=27984808 memory=6944613755395144096 CPUtime=0.1 cores=0-7
/proc/10503/task/10512/stat : 10512 (java) S 10500 10503 10459 0 -1 1077944384 92 0 0 0 5 5 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989347793936 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10513] ppid=10500 vsize=27984808 memory=6944656592455359580 CPUtime=0.09 cores=0-7
/proc/10503/task/10513/stat : 10513 (java) S 10500 10503 10459 0 -1 1077944384 56 0 0 0 5 4 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989346741392 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10514] ppid=10500 vsize=27984808 memory=280362312151312 CPUtime=0.01 cores=0-7
/proc/10503/task/10514/stat : 10514 (java) S 10500 10503 10459 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 24 0 84068945 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139988922427376 139989931166338 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10515] ppid=10500 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10515/stat : 10515 (java) S 10500 10503 10459 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 84068945 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139987815228384 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10516] ppid=10500 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10516/stat : 10516 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84068945 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139987546792944 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10517] ppid=10500 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10517/stat : 10517 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139987172284624 139989931173787 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10518] ppid=10500 vsize=27984808 memory=796 CPUtime=5.27 cores=0-7
/proc/10503/task/10518/stat : 10518 (java) S 10500 10503 10459 0 -1 1077944384 7542 0 0 0 525 2 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139988921375216 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10519] ppid=10500 vsize=27984808 memory=1704 CPUtime=6 cores=0-7
/proc/10503/task/10519/stat : 10519 (java) S 10500 10503 10459 0 -1 1077944384 5998 0 0 0 598 2 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139988920322672 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10520] ppid=10500 vsize=27984808 memory=11860 CPUtime=5.94 cores=0-7
/proc/10503/task/10520/stat : 10520 (java) S 10500 10503 10459 0 -1 1077944384 8389 0 0 0 592 2 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139988919270128 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10521] ppid=10500 vsize=27984808 memory=5772 CPUtime=1.63 cores=0-7
/proc/10503/task/10521/stat : 10521 (java) S 10500 10503 10459 0 -1 1077944384 4231 0 0 0 160 3 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139988918217584 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10522] ppid=10500 vsize=27984808 memory=4616 CPUtime=0 cores=0-7
/proc/10503/task/10522/stat : 10522 (java) S 10500 10503 10459 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139986674378976 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10523] ppid=10500 vsize=27984808 memory=1388 CPUtime=0 cores=0-7
/proc/10503/task/10523/stat : 10523 (java) S 10500 10503 10459 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139988917164464 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10525] ppid=10500 vsize=27984808 memory=1232 CPUtime=0 cores=0-7
/proc/10503/task/10525/stat : 10525 (java) S 10500 10503 10459 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84070770 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989292651712 139989931179801 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10527] ppid=10500 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10503/task/10527/stat : 10527 (java) S 10500 10503 10459 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 84070771 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139986003279536 139989931177117 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10528] ppid=10500 vsize=27984808 memory=576460756337256238 CPUtime=0 cores=0-7
/proc/10503/task/10528/stat : 10528 (java) S 10500 10503 10459 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 84070771 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139986271715120 139989931177117 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10529] ppid=10500 vsize=27984808 memory=288286666848993908 CPUtime=0 cores=0-7
/proc/10503/task/10529/stat : 10529 (java) S 10500 10503 10459 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 84070772 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139985734852256 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
Current children cumulated CPU time: 43.38 s
Current children cumulated vsize: 29381792 KiB
Current children cumulated memory: 6839664 KiB
[startup+22.8017 s]
/proc/loadavg: 6.52 8.33 8.42 2/208 10529
/proc/meminfo: memFree=21021000/32770624 swapFree=67108856/67108860
[pid=10503] ppid=10500 vsize=27984808 memory=6041564 CPUtime=37.9 cores=0-7
/proc/10503/stat : 10503 (java) S 10500 10503 10459 0 -1 1077944320 49285 0 0 0 3648 142 0 0 20 0 24 0 84068940 28656443392 1510391 33554432000 4194304 4196468 140728789249792 140728789232336 139989931155191 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
/proc/10503/statm: 6996202 1510391 3247 1 0 6957058 0
[pid=10524] ppid=10503 vsize=1406164 memory=822056 CPUtime=8.65 cores=0-7
/proc/10524/stat : 10524 (glucose-syrup) S 10503 10503 10459 0 -1 1077944320 182704 0 0 0 829 36 0 0 20 0 9 0 84070770 1439911936 205514 33554432000 4194304 4373367 140732830504000 140732830502544 140323704232578 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 29396992 140732830512047 140732830512300 140732830512300 140732830515143 0
/proc/10524/statm: 351541 205514 385 44 0 347229 0
[pid=10503/tid=10505] ppid=10500 vsize=27984808 memory=0 CPUtime=18.18 cores=0-7
/proc/10503/task/10505/stat : 10505 (java) S 10500 10503 10459 0 -1 1077944384 21034 0 0 0 1719 99 0 0 20 0 24 0 84068941 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989902994432 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10506] ppid=10500 vsize=27984808 memory=0 CPUtime=0.09 cores=0-7
/proc/10503/task/10506/stat : 10506 (java) S 10500 10503 10459 0 -1 1077944384 54 0 0 0 5 4 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989935397136 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10507] ppid=10500 vsize=27984808 memory=0 CPUtime=0.09 cores=0-7
/proc/10503/task/10507/stat : 10507 (java) S 10500 10503 10459 0 -1 1077944384 113 0 0 0 6 3 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989353056656 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10508] ppid=10500 vsize=27984808 memory=0 CPUtime=0.09 cores=0-7
/proc/10503/task/10508/stat : 10508 (java) S 10500 10503 10459 0 -1 1077944384 86 0 0 0 6 3 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989352004112 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10509] ppid=10500 vsize=27984808 memory=0 CPUtime=0.09 cores=0-7
/proc/10503/task/10509/stat : 10509 (java) S 10500 10503 10459 0 -1 1077944384 62 0 0 0 5 4 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989350951568 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10510] ppid=10500 vsize=27984808 memory=0 CPUtime=0.09 cores=0-7
/proc/10503/task/10510/stat : 10510 (java) S 10500 10503 10459 0 -1 1077944384 129 0 0 0 6 3 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989349899024 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10511] ppid=10500 vsize=27984808 memory=0 CPUtime=0.09 cores=0-7
/proc/10503/task/10511/stat : 10511 (java) S 10500 10503 10459 0 -1 1077944384 88 0 0 0 6 3 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989348846480 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10512] ppid=10500 vsize=27984808 memory=0 CPUtime=0.1 cores=0-7
/proc/10503/task/10512/stat : 10512 (java) S 10500 10503 10459 0 -1 1077944384 92 0 0 0 5 5 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989347793936 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10513] ppid=10500 vsize=27984808 memory=0 CPUtime=0.09 cores=0-7
/proc/10503/task/10513/stat : 10513 (java) S 10500 10503 10459 0 -1 1077944384 56 0 0 0 5 4 0 0 20 0 24 0 84068943 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989346741392 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10514] ppid=10500 vsize=27984808 memory=0 CPUtime=0.01 cores=0-7
/proc/10503/task/10514/stat : 10514 (java) S 10500 10503 10459 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 24 0 84068945 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139988922427376 139989931166338 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10515] ppid=10500 vsize=27984808 memory=8039887049847964578 CPUtime=0 cores=0-7
/proc/10503/task/10515/stat : 10515 (java) S 10500 10503 10459 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 84068945 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139987815228384 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10516] ppid=10500 vsize=27984808 memory=1948 CPUtime=0 cores=0-7
/proc/10503/task/10516/stat : 10516 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84068945 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139987546792944 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10517] ppid=10500 vsize=27984808 memory=1188 CPUtime=0 cores=0-7
/proc/10503/task/10517/stat : 10517 (java) S 10500 10503 10459 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139987172284624 139989931173787 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10518] ppid=10500 vsize=27984808 memory=8436 CPUtime=5.27 cores=0-7
/proc/10503/task/10518/stat : 10518 (java) S 10500 10503 10459 0 -1 1077944384 7542 0 0 0 525 2 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139988921375216 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10519] ppid=10500 vsize=27984808 memory=15252 CPUtime=6 cores=0-7
/proc/10503/task/10519/stat : 10519 (java) S 10500 10503 10459 0 -1 1077944384 5998 0 0 0 598 2 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139988920322672 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10520] ppid=10500 vsize=27984808 memory=16244 CPUtime=5.94 cores=0-7
/proc/10503/task/10520/stat : 10520 (java) S 10500 10503 10459 0 -1 1077944384 8389 0 0 0 592 2 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139988919270128 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10521] ppid=10500 vsize=27984808 memory=4048 CPUtime=1.63 cores=0-7
/proc/10503/task/10521/stat : 10521 (java) S 10500 10503 10459 0 -1 1077944384 4231 0 0 0 160 3 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139988918217584 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10522] ppid=10500 vsize=27984808 memory=1236 CPUtime=0 cores=0-7
/proc/10503/task/10522/stat : 10522 (java) S 10500 10503 10459 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139986674378976 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10523] ppid=10500 vsize=27984808 memory=14524 CPUtime=0 cores=0-7
/proc/10503/task/10523/stat : 10523 (java) S 10500 10503 10459 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84068948 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139988917164464 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10525] ppid=10500 vsize=27984808 memory=1780 CPUtime=0 cores=0-7
/proc/10503/task/10525/stat : 10525 (java) S 10500 10503 10459 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84070770 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139989292651712 139989931179801 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10527] ppid=10500 vsize=27984808 memory=644 CPUtime=0 cores=0-7
/proc/10503/task/10527/stat : 10527 (java) S 10500 10503 10459 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 84070771 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139986003279536 139989931177117 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10528] ppid=10500 vsize=27984808 memory=836 CPUtime=0 cores=0-7
/proc/10503/task/10528/stat : 10528 (java) S 10500 10503 10459 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 84070771 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139986271715120 139989931177117 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10529] ppid=10500 vsize=27984808 memory=4104 CPUtime=0 cores=0-7
/proc/10503/task/10529/stat : 10529 (java) S 10500 10503 10459 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 84070772 28656443392 1510391 33554432000 4194304 4196468 140728789249792 139985734852256 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
Current children cumulated CPU time: 46.55 s
Current children cumulated vsize: 29390972 KiB
Current children cumulated memory: 6863620 KiB
[startup+23.2011 s]
/proc/loadavg: 6.52 8.33 8.42 9/216 10537
/proc/meminfo: memFree=20652532/32770624 swapFree=67108856/67108860
[pid=10503] ppid=10500 vsize=27853732 memory=6039808 CPUtime=49.2 cores=0-7
/proc/10503/stat : 10503 (java) S 10500 10503 10459 0 -1 1077944320 49369 183688 0 0 3684 143 1052 41 20 0 22 0 84068940 28522221568 1509952 33554432000 4194304 4196468 140728789249792 140728789232336 139989931155191 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
/proc/10503/statm: 6963433 1509952 3247 1 0 6924289 0
[pid=10503/tid=10505] ppid=10500 vsize=27853732 memory=6035672 CPUtime=29.16 cores=0-7
/proc/10503/task/10505/stat : 10505 (java) R 10500 10503 10459 0 -1 4202560 21088 183688 0 0 1724 99 1052 41 20 0 22 0 84068941 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139989902993488 140728789329858 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10506] ppid=10500 vsize=27853732 memory=-4075877051373423741 CPUtime=11.02 cores=0-7
/proc/10503/task/10506/stat : 10506 (java) S 10500 10503 10459 0 -1 1077944384 54 183688 0 0 5 4 1052 41 20 0 22 0 84068943 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139989935397136 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10507] ppid=10500 vsize=27853732 memory=152648 CPUtime=11.02 cores=0-7
/proc/10503/task/10507/stat : 10507 (java) S 10500 10503 10459 0 -1 1077944384 113 183688 0 0 6 3 1052 41 20 0 22 0 84068943 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139989353056656 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10508] ppid=10500 vsize=27853732 memory=0 CPUtime=11.02 cores=0-7
/proc/10503/task/10508/stat : 10508 (java) S 10500 10503 10459 0 -1 1077944384 86 183688 0 0 6 3 1052 41 20 0 22 0 84068943 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139989352004112 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10509] ppid=10500 vsize=27853732 memory=31076 CPUtime=11.02 cores=0-7
/proc/10503/task/10509/stat : 10509 (java) S 10500 10503 10459 0 -1 1077944384 62 183688 0 0 5 4 1052 41 20 0 22 0 84068943 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139989350951568 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10510] ppid=10500 vsize=27853732 memory=0 CPUtime=11.02 cores=0-7
/proc/10503/task/10510/stat : 10510 (java) S 10500 10503 10459 0 -1 1077944384 129 183688 0 0 6 3 1052 41 20 0 22 0 84068943 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139989349899024 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10511] ppid=10500 vsize=27853732 memory=-4075877051373423741 CPUtime=11.02 cores=0-7
/proc/10503/task/10511/stat : 10511 (java) S 10500 10503 10459 0 -1 1077944384 88 183688 0 0 6 3 1052 41 20 0 22 0 84068943 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139989348846480 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10512] ppid=10500 vsize=27853732 memory=280362313296384 CPUtime=11.03 cores=0-7
/proc/10503/task/10512/stat : 10512 (java) S 10500 10503 10459 0 -1 1077944384 92 183688 0 0 5 5 1052 41 20 0 22 0 84068943 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139989347793936 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10513] ppid=10500 vsize=27853732 memory=280362313300832 CPUtime=11.02 cores=0-7
/proc/10503/task/10513/stat : 10513 (java) S 10500 10503 10459 0 -1 1077944384 56 183688 0 0 5 4 1052 41 20 0 22 0 84068943 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139989346741392 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10514] ppid=10500 vsize=27853732 memory=0 CPUtime=10.94 cores=0-7
/proc/10503/task/10514/stat : 10514 (java) S 10500 10503 10459 0 -1 1077944384 26 183688 0 0 1 0 1052 41 20 0 22 0 84068945 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139988922427376 139989931166338 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10515] ppid=10500 vsize=27853732 memory=6041564 CPUtime=10.93 cores=0-7
/proc/10503/task/10515/stat : 10515 (java) S 10500 10503 10459 0 -1 1077944384 14 183688 0 0 0 0 1052 41 20 0 22 0 84068945 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139987815228384 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10516] ppid=10500 vsize=27853732 memory=153116 CPUtime=10.93 cores=0-7
/proc/10503/task/10516/stat : 10516 (java) S 10500 10503 10459 0 -1 1077944384 1 183688 0 0 0 0 1052 41 20 0 22 0 84068945 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139987546792944 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10517] ppid=10500 vsize=27853732 memory=644 CPUtime=10.93 cores=0-7
/proc/10503/task/10517/stat : 10517 (java) S 10500 10503 10459 0 -1 1077944384 1 183688 0 0 0 0 1052 41 20 0 22 0 84068948 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139987172284624 139989931173787 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10518] ppid=10500 vsize=27853732 memory=956 CPUtime=16.26 cores=0-7
/proc/10503/task/10518/stat : 10518 (java) R 10500 10503 10459 0 -1 4202560 7542 183688 0 0 531 2 1052 41 20 0 22 0 84068948 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139988921365328 139989916278800 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10519] ppid=10500 vsize=27853732 memory=2320 CPUtime=16.98 cores=0-7
/proc/10503/task/10519/stat : 10519 (java) S 10500 10503 10459 0 -1 1077944384 5998 183688 0 0 603 2 1052 41 20 0 22 0 84068948 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139988920322672 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10520] ppid=10500 vsize=27853732 memory=1572 CPUtime=16.95 cores=0-7
/proc/10503/task/10520/stat : 10520 (java) S 10500 10503 10459 0 -1 1077944384 8389 183688 0 0 600 2 1052 41 20 0 22 0 84068948 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139988919270128 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10521] ppid=10500 vsize=27853732 memory=928 CPUtime=12.61 cores=0-7
/proc/10503/task/10521/stat : 10521 (java) R 10500 10503 10459 0 -1 4202560 4237 183688 0 0 165 3 1052 41 20 0 22 0 84068948 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139988918213312 139989910510095 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10522] ppid=10500 vsize=27853732 memory=2244 CPUtime=10.93 cores=0-7
/proc/10503/task/10522/stat : 10522 (java) S 10500 10503 10459 0 -1 1077944384 3 183688 0 0 0 0 1052 41 20 0 22 0 84068948 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139986674378976 139989931165397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10523] ppid=10500 vsize=27853732 memory=4312 CPUtime=10.93 cores=0-7
/proc/10503/task/10523/stat : 10523 (java) S 10500 10503 10459 0 -1 1077944384 3 183688 0 0 0 0 1052 41 20 0 22 0 84068948 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139988917164464 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10525] ppid=10500 vsize=27853732 memory=2092 CPUtime=10.93 cores=0-7
/proc/10503/task/10525/stat : 10525 (java) S 10500 10503 10459 0 -1 1077944384 26 183688 0 0 0 0 1052 41 20 0 22 0 84070770 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139989292650896 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
[pid=10503/tid=10529] ppid=10500 vsize=27853732 memory=288230583166042425 CPUtime=10.93 cores=0-7
/proc/10503/task/10529/stat : 10529 (java) S 10500 10503 10459 0 -1 1077944384 13 183688 0 0 0 0 1052 41 20 0 22 0 84070772 28522221568 1509952 33554432000 4194304 4196468 140728789249792 139985734854064 139989931166338 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29601792 140728789251033 140728789251333 140728789251333 140728789254095 0
Current children cumulated CPU time: 49.2 s
Current children cumulated vsize: 27853732 KiB
Current children cumulated memory: 6039808 KiB
Child status: 0
Real time (s): 23.2552
CPU time (s): 49.2692
CPU user time (s): 47.3768
CPU system time (s): 1.8924
CPU usage (%): 211.863
Max. virtual memory (cumulated for all children) (KiB): 29392040
Max. memory (cumulated for all children) (KiB): 6865996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.3768
system time used= 1.8924
maximum resident set size= 6041572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 101160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25270
involuntary context switches= 148
# summary of solver processes directly reported to runsolver:
# pid: 10503
# total CPU time (s): 49.2692
# total CPU user time (s): 47.3768
# total CPU system time (s): 1.8924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.202006 second user time and 0.290718 second system time
The end
Begin job on node133 at 2018-07-27 06:17:38 IDJOB=4296900 IDBENCH=141463 IDSOLVER=2758 FILE ID=node133/4296900-1532665058 RUNJOBID= node133-1532665058-10486 PBS_JOBID= 21022235 Free space on /tmp= 48252 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/CarSequencing/CarSequencing-65-02_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-4296900-1532665058/watcher-4296900-1532665058 -o /tmp/evaluation-result-4296900-1532665058/solver-4296900-1532665058 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532665058-10486 --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-4296900-1532665058.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5b8cef4a239c531d2bd2d2ec1c21b605 RANDOM SEED=835853096 node133.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.24 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.24 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.24 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.24 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: 27563520 kB MemAvailable: 31945524 kB Buffers: 140380 kB Cached: 4490364 kB SwapCached: 0 kB Active: 2093224 kB Inactive: 2589908 kB Active(anon): 3928 kB Inactive(anon): 76796 kB Active(file): 2089296 kB Inactive(file): 2513112 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 8448 kB Writeback: 0 kB AnonPages: 60040 kB Mapped: 39040 kB Shmem: 25244 kB Slab: 218352 kB SReclaimable: 190864 kB SUnreclaim: 27488 kB KernelStack: 3168 kB PageTables: 5068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324920 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: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48244 MiB End job on node133 at 2018-07-27 06:18:01