Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-07) | SAT | 41.1183 | 20.2689 |
Name | CarSequencing/ CarSequencing-60-02_c18.xml |
MD5SUM | 7d15061b3f8ae249c0a64b716749507b |
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 | 6.89204 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1354 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 17 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":17,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 54 |
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":19},{"degree":22,"count":179},{"degree":23,"count":16},{"degree":24,"count":16},{"degree":25,"count":16},{"degree":26,"count":16},"...",{"degree":30,"count":16}, {"degree":31,"count":16}, {"degree":32,"count":17}, {"degree":33,"count":18}, {"degree":34,"count":18}, {"degree":35,"count":122}, {"degree":36,"count":59}, {"degree":37,"count":8}, {"degree":38,"count":9}, {"degree":39,"count":9}, {"degree":40,"count":9}, {"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":4}, {"degree":53,"count":4}, {"degree":54,"count":51}] |
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":50,"count":1},{"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":83,"count":1},"...",{"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":1153},{"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:12:01 CEST 2018 0.66/0.56 c PID: 9708 0.66/0.56 c IP: 172.20.3.136 0.66/0.56 c HOST: node136.alineos.net 0.66/0.56 c (0,0) Parsing Begin 2.92/1.38 c (0,0) Parsing End 2.92/1.39 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1354 ctr, max domain size 17 2.92/1.39 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.92/1.39 c (0,0) Constraint Name Generate Begin 3.28/1.42 c (0,0) Ctr:HOME/instance-4296898-1532664720.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum 3.28/1.42 c (0,0) Constraint Name Generate End 3.28/1.42 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.28/1.42 c (0,0) CSP to CSPinCNF Begin 10.99/3.96 c (3,3) translated 136 (10%) constraints 11.48/4.38 c (3,3) translated 271 (20%) constraints 11.71/4.40 c (3,3) translated 407 (30%) constraints 11.71/4.43 c (3,3) translated 542 (40%) constraints 11.71/4.45 c (3,3) translated 677 (50%) constraints 11.71/4.48 c (3,3) translated 813 (60%) constraints 11.71/4.49 c (3,3) translated 948 (70%) constraints 12.15/4.51 c (3,3) translated 1084 (80%) constraints 12.96/4.87 c (4,4) translated 1219 (90%) constraints 14.93/6.58 c (6,6) translated 1354 (100%) constraints 16.19/7.03 c (6,6) STATISTICS1:HOME/instance-4296898-1532664720.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,13000,44370,9223372036854775807,17,18,200,9223372036854775807:186;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:1;17592186044416:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,17:13200;2:124609,18:200;3:22400;2:20600;1:1170,200:39;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;161:2;160:2;158:2;155:4;152:2;150:2;149:2;146:2;145:2;143:2;140:4;137:2;135:2;134:2;131:2;130:2;128:2;125:4;122:2;120:2;119:2;116:2;115:2;113:2;110:4;107:1;105:2;104:1;101:1;100:2;98:1;95:3;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:1;45:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:111800;0:200,17689:39;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;11449:2;11236:2;11025:2;10609:4;10201:2;10000:2;9801:2;9409:2;9216:2;9025:2;8649:4;8281:2;8100:2;7921:2;7569:2;7396:2;7225:2;6889:4;6561:2;6400:2;6241:2;5929:2;5776:2;5625:2;5329:4;5041:1;4900:2;4761:1;4489:1;4356:2;4225:1;3969:3;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.19/7.03 c (6,6) =========================================== 16.19/7.03 c (6,6) Order 16.19/7.03 c (6,6) =========================================== 18.28/7.65 c (7,7) translated 4437 (10%) constraints 19.08/7.83 c (7,7) translated 8874 (20%) constraints 19.40/7.90 c (7,7) translated 13311 (30%) constraints 19.40/7.97 c (7,7) translated 17748 (40%) constraints 19.51/8.04 c (7,7) translated 22185 (50%) constraints 19.62/8.11 c (7,7) translated 26622 (60%) constraints 19.62/8.18 c (7,7) translated 31059 (70%) constraints 19.70/8.25 c (7,7) translated 35496 (80%) constraints 19.81/8.32 c (7,7) translated 39933 (90%) constraints 23.50/9.98 c (9,9) translated 44370 (100%) constraints 23.50/9.99 c (9,9) CSP to CSPinCNF End 23.50/10.00 c (9,9) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58596 ctr, max domain size 68 23.50/10.00 c (9,9) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 23.50/10.00 c (9,9) CSPinCNF Propagation Begin 25.05/10.40 c (9,9) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed 25.05/10.40 c (9,9) CSPinCNF Propagation End 25.46/10.40 c (9,9) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58196 ctr, max domain size 68 25.46/10.40 c (9,9) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 25.46/10.40 c (9,9) Simplify CSPinCNF Begin 25.84/10.54 c (10,9) Simplify CSPinCNF End 25.84/10.55 c (10,9) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58196 ctr, max domain size 68 25.84/10.55 c (10,9) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 25.84/10.55 c (10,9) Calculate Precise Domain Begin 25.84/10.60 c (10,10) 0 values are removed by re-calculation 25.84/10.60 c (10,10) Calculate Precise Domain End 26.21/10.60 c (10,10) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58196 ctr, max domain size 68 26.21/10.60 c (10,10) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 26.21/10.60 c (10,10) CSPinCNF to SatSolver Begin 29.85/12.28 c (11,11) 5820 (10 %) CSP clauses are encoded (73465 SAT variables, 416769 SAT clauses) 30.14/12.34 c (11,11) 11640 (20 %) CSP clauses are encoded (73465 SAT variables, 422589 SAT clauses) 30.43/12.40 c (11,11) 17459 (30 %) CSP clauses are encoded (73465 SAT variables, 428408 SAT clauses) 30.43/12.44 c (11,11) 23279 (40 %) CSP clauses are encoded (73465 SAT variables, 434228 SAT clauses) 30.43/12.47 c (11,11) 29098 (50 %) CSP clauses are encoded (73465 SAT variables, 440047 SAT clauses) 30.56/12.50 c (11,11) 34918 (60 %) CSP clauses are encoded (73465 SAT variables, 445867 SAT clauses) 30.56/12.53 c (11,11) 40738 (70 %) CSP clauses are encoded (73465 SAT variables, 451687 SAT clauses) 30.56/12.56 c (12,11) 46557 (80 %) CSP clauses are encoded (73465 SAT variables, 457506 SAT clauses) 30.77/12.78 c (12,12) 52377 (90 %) CSP clauses are encoded (73465 SAT variables, 528987 SAT clauses) 34.02/16.03 c (15,15) 58196 (100 %) CSP clauses are encoded (73465 SAT variables, 1774773 SAT clauses) 34.02/16.03 c (15,15) CSPinCNF to SatSolver End 34.02/16.03 c (15,15) Heap : 3707 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 34.93/16.31 c (15,15) STATISTICS2:HOME/instance-4296898-1532664720.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,19407,58196,4556,68,17,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:2;2970:2;2916:4;2862:2;2756:4;2652:2;2601:2;2550:2;2450:2;2401:2;2352:2;2256:4;2162:2;2116:2;2070:2;1980:2;1936:2;1892:2;1806:4;1722:2;1681:2;1640:2;1600:2;1560:2;1521:2;1482:2;1406:4;1332:1;1296:2;1260:1;1190:23;1156:21;1122:17;1089:13;1056:17;1024:202;992:13;961:27;930:13;900:15;870:15;841:15;812:17;784:9;756:13;729:10;702:9;676:14;650:9;625:10;600:11;576:10;552:13;529:8;512:493;506:13;484:10;462:9;441:14;420:9;400:10;380:11;361:8;342:10;324:31;306:92;289:63;272:61;256:1468;240:61;225:63;210:51;196:44;182:49;169:43;156:46;144:45;132:43;128:925;121:50;110:43;100:38;96:179;90:381;85:16;81:384;72:263;68:8;64:791;56:188;54:12;51:24;49:182;36:28;34:56;25:195;16:758;9:24;4:452;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:30;54:32;53:20;52:16;51:24;50:16;49:20;48:20;47:16;46:24;45:16;44:20;43:20;42:16;41:24;40:28;39:20;38:20;37:12;36:18;35:54;34:166;33:126;32:122;31:170;30:122;29:126;28:102;27:86;26:98;25:86;24:90;23:90;22:86;21:98;20:86;19:76;18:746;17:19966;16:518;15:478;14:376;13:364;12:716;11:374;10:986;9:2800;8:1850;7:1104;5:788;4:36;3:108;2:138061,17:200;3:22000;2:27400;1:8596,11:187;10:493;9:1400;8:925;7:552;5:929;3:3911;2:199;1:124200, 34.93/16.31 c (15,15) SatSolver.solve Begin 34.93/16.31 c (15,15) 73465 bool, 1774863 clause 34.93/16.31 c (15,15) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296898-1532664720.xml-scop-9708.cnf HOME/instance-4296898-1532664720.xml-scop-9708.cnf.out 40.09/20.08 c (19,0) c 40.09/20.08 c (19,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 40.09/20.08 c (19,0) c 40.09/20.08 c (19,0) c WARNING: for repeatability, setting FPU to use double precision 40.09/20.08 c (19,0) c 8 solvers engines and 1 companion as a blackboard created. 40.09/20.08 c (19,0) c ========================================[ Problem Statistics ]=========================================== 40.09/20.08 c (19,0) c | | 40.09/20.08 c (19,0) c | Number of variables: 73465 | 40.09/20.08 c (19,0) c | Number of clauses: 1774707 | 40.09/20.08 c (19,0) c | Parse time: 0.60 s | 40.09/20.08 c (19,0) c | | 40.09/20.08 c (19,0) c | Eliminated clauses: 0.46 Mb | 40.09/20.08 c (19,0) c | Simplification time: 2.43 s | 40.09/20.08 c (19,0) c | | 40.09/20.08 c (19,0) c | Generating clones | 40.09/20.08 c (19,0) c | all clones generated. Memory = 720.82Mb. | 40.09/20.08 c (19,0) c ========================================================================================================| 40.09/20.08 c (19,0) c last restart ## conflicts : 113 1944 40.09/20.08 c (19,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer). 40.09/20.08 c (19,0) c Total Memory so far : 1309.31Mb 40.09/20.08 c (19,0) c 40.09/20.08 c (19,0) c real time : 3.75209 s 40.09/20.08 c (19,0) c cpu time : 5.38615 s 40.09/20.08 c (19,0) c 40.09/20.08 c (19,0) c 40.09/20.08 c (19,0) c 40.09/20.08 c (19,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 40.09/20.08 c (19,0) c 40.09/20.08 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 40.09/20.08 c (19,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 40.09/20.08 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 40.09/20.08 c (19,0) c | Conflicts | 3760 | 328 | 418 | 679 | 419 | 374 | 426 | 698 | 418 | 40.09/20.08 c (19,0) c | Decisions | 57000 | 5046 | 6274 | 7265 | 6277 | 12288 | 6288 | 7288 | 6274 | 40.09/20.08 c (19,0) c | Propagations | 3649542 | 365863 | 464878 | 487114 | 465443 | 434159 | 475588 | 491619 | 464878 | 40.09/20.08 c (19,0) c | Avg_Trail | | 21136 | 17200 | 21483 | 17224 | 18166 | 17385 | 21719 | 17200 | 40.09/20.08 c (19,0) c | Avg_DL | | 506 | 549 | 163 | 550 | 382 | 560 | 163 | 549 | 40.09/20.08 c (19,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 40.09/20.08 c (19,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 40.09/20.08 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 40.09/20.08 c (19,0) c | Exported | 53 | 10 | 5 | 8 | 5 | 7 | 5 | 8 | 5 | 40.09/20.08 c (19,0) c | Imported | 245 | 39 | 26 | 35 | 26 | 32 | 26 | 35 | 26 | 40.09/20.08 c (19,0) c | Good | 91 | 18 | 7 | 16 | 7 | 13 | 7 | 16 | 7 | 40.09/20.08 c (19,0) c | Purge | 154 | 21 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 40.09/20.08 c (19,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 40.09/20.08 c (19,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 40.09/20.08 c (19,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 40.09/20.08 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 40.09/20.08 c (19,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 40.09/20.08 c (19,0) c | Binaries | | 9 | 2 | 5 | 2 | 4 | 2 | 5 | 2 | 40.09/20.08 c (19,0) c | Glues | | 10 | 5 | 8 | 5 | 7 | 5 | 8 | 5 | 40.09/20.08 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 40.09/20.08 c (19,0) c | Orig_Seen | 0 % | 2294 | 2323 | 3335 | 2326 | 2977 | 2328 | 3345 | 2323 | 40.09/20.08 c (19,0) c | Diff Orig seen| | - 683 | - 654 | 358 | - 651 | X | - 649 | 368 | - 654 | 40.09/20.08 c (19,0) c | Hamming | 10 % | 9476 | 7300 | 6785 | 7297 | X | 7264 | 6787 | 7300 | 40.09/20.08 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 40.09/20.09 c (19,0) 40.09/20.09 c (19,0) s SATISFIABLE 35.12/20.14 c (19,15) SatSolver.solve End 35.12/20.14 c (19,15) Heap : 4073 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 35.12/20.14 c (19,15) Show results Begin 35.12/20.18 c (19,15) cls[0] = 7 35.12/20.18 c (19,15) cls[1] = 8 35.12/20.18 c (19,15) cls[2] = 4 35.12/20.18 c (19,15) cls[3] = 10 35.12/20.18 c (19,15) cls[4] = 13 35.12/20.18 c (19,15) cls[5] = 13 35.12/20.18 c (19,15) cls[6] = 7 35.12/20.18 c (19,15) cls[7] = 12 35.12/20.18 c (19,15) cls[8] = 13 35.12/20.18 c (19,15) cls[9] = 8 35.12/20.18 c (19,15) cls[10] = 13 35.12/20.18 c (19,15) cls[11] = 13 35.12/20.18 c (19,15) cls[12] = 11 35.12/20.18 c (19,15) cls[13] = 13 35.12/20.18 c (19,15) cls[14] = 4 35.12/20.18 c (19,15) cls[15] = 7 35.12/20.18 c (19,15) cls[16] = 8 35.12/20.18 c (19,15) cls[17] = 8 35.12/20.18 c (19,15) cls[18] = 7 35.12/20.18 c (19,15) cls[19] = 2 35.12/20.18 c (19,15) cls[20] = 4 35.12/20.18 c (19,15) cls[21] = 8 35.12/20.18 c (19,15) cls[22] = 13 35.12/20.18 c (19,15) cls[23] = 13 35.12/20.18 c (19,15) cls[24] = 7 35.12/20.18 c (19,15) cls[25] = 8 35.12/20.18 c (19,15) cls[26] = 4 35.12/20.18 c (19,15) cls[27] = 7 35.12/20.18 c (19,15) cls[28] = 8 35.12/20.18 c (19,15) cls[29] = 13 35.12/20.18 c (19,15) cls[30] = 7 35.12/20.18 c (19,15) cls[31] = 8 35.12/20.18 c (19,15) cls[32] = 4 35.12/20.18 c (19,15) cls[33] = 8 35.12/20.18 c (19,15) cls[34] = 2 35.12/20.18 c (19,15) cls[35] = 13 35.12/20.18 c (19,15) cls[36] = 7 35.12/20.18 c (19,15) cls[37] = 13 35.12/20.18 c (19,15) cls[38] = 4 35.12/20.18 c (19,15) cls[39] = 7 35.12/20.18 c (19,15) cls[40] = 8 35.12/20.18 c (19,15) cls[41] = 13 35.12/20.18 c (19,15) cls[42] = 7 35.12/20.18 c (19,15) cls[43] = 8 35.12/20.18 c (19,15) cls[44] = 4 35.12/20.18 c (19,15) cls[45] = 8 35.12/20.18 c (19,15) cls[46] = 2 35.12/20.18 c (19,15) cls[47] = 13 35.12/20.18 c (19,15) cls[48] = 16 35.12/20.18 c (19,15) cls[49] = 10 35.12/20.18 c (19,15) cls[50] = 4 35.12/20.18 c (19,15) cls[51] = 8 35.12/20.18 c (19,15) cls[52] = 13 35.12/20.18 c (19,15) cls[53] = 13 35.12/20.18 c (19,15) cls[54] = 7 35.12/20.18 c (19,15) cls[55] = 8 35.12/20.18 c (19,15) cls[56] = 4 35.12/20.18 c (19,15) cls[57] = 8 35.12/20.18 c (19,15) cls[58] = 13 35.12/20.18 c (19,15) cls[59] = 13 35.12/20.18 c (19,15) cls[60] = 7 35.12/20.18 c (19,15) cls[61] = 8 35.12/20.18 c (19,15) cls[62] = 4 35.12/20.18 c (19,15) cls[63] = 7 35.12/20.18 c (19,15) cls[64] = 8 35.12/20.18 c (19,15) cls[65] = 13 35.12/20.18 c (19,15) cls[66] = 7 35.12/20.18 c (19,15) cls[67] = 8 35.12/20.18 c (19,15) cls[68] = 4 35.12/20.18 c (19,15) cls[69] = 5 35.12/20.18 c (19,15) cls[70] = 13 35.12/20.18 c (19,15) cls[71] = 16 35.12/20.18 c (19,15) cls[72] = 7 35.12/20.18 c (19,15) cls[73] = 8 35.12/20.18 c (19,15) cls[74] = 4 35.12/20.18 c (19,15) cls[75] = 14 35.12/20.18 c (19,15) cls[76] = 8 35.12/20.18 c (19,15) cls[77] = 13 35.12/20.18 c (19,15) cls[78] = 7 35.12/20.18 c (19,15) cls[79] = 8 35.12/20.18 c (19,15) cls[80] = 4 35.12/20.18 c (19,15) cls[81] = 8 35.12/20.18 c (19,15) cls[82] = 13 35.12/20.18 c (19,15) cls[83] = 13 35.12/20.18 c (19,15) cls[84] = 7 35.12/20.18 c (19,15) cls[85] = 13 35.12/20.18 c (19,15) cls[86] = 4 35.12/20.18 c (19,15) cls[87] = 7 35.12/20.18 c (19,15) cls[88] = 8 35.12/20.18 c (19,15) cls[89] = 13 35.12/20.18 c (19,15) cls[90] = 7 35.12/20.18 c (19,15) cls[91] = 8 35.12/20.18 c (19,15) cls[92] = 4 35.12/20.18 c (19,15) cls[93] = 8 35.12/20.18 c (19,15) cls[94] = 13 35.12/20.18 c (19,15) cls[95] = 13 35.12/20.18 c (19,15) cls[96] = 7 35.12/20.18 c (19,15) cls[97] = 4 35.12/20.18 c (19,15) cls[98] = 13 35.12/20.18 c (19,15) cls[99] = 8 35.12/20.18 c (19,15) cls[100] = 8 35.12/20.18 c (19,15) cls[101] = 13 35.12/20.18 c (19,15) cls[102] = 7 35.12/20.18 c (19,15) cls[103] = 1 35.12/20.18 c (19,15) cls[104] = 8 35.12/20.18 c (19,15) cls[105] = 7 35.12/20.18 c (19,15) cls[106] = 8 35.12/20.18 c (19,15) cls[107] = 16 35.12/20.18 c (19,15) cls[108] = 15 35.12/20.18 c (19,15) cls[109] = 13 35.12/20.18 c (19,15) cls[110] = 8 35.12/20.18 c (19,15) cls[111] = 7 35.12/20.18 c (19,15) cls[112] = 8 35.12/20.18 c (19,15) cls[113] = 4 35.12/20.18 c (19,15) cls[114] = 11 35.12/20.18 c (19,15) cls[115] = 13 35.12/20.18 c (19,15) cls[116] = 13 35.12/20.18 c (19,15) cls[117] = 7 35.12/20.18 c (19,15) cls[118] = 8 35.12/20.18 c (19,15) cls[119] = 8 35.12/20.18 c (19,15) cls[120] = 7 35.12/20.18 c (19,15) cls[121] = 4 35.12/20.18 c (19,15) cls[122] = 13 35.12/20.18 c (19,15) cls[123] = 7 35.12/20.18 c (19,15) cls[124] = 8 35.12/20.18 c (19,15) cls[125] = 8 35.12/20.18 c (19,15) cls[126] = 11 35.12/20.18 c (19,15) cls[127] = 13 35.12/20.18 c (19,15) cls[128] = 4 35.12/20.18 c (19,15) cls[129] = 7 35.12/20.18 c (19,15) cls[130] = 13 35.12/20.18 c (19,15) cls[131] = 8 35.12/20.18 c (19,15) cls[132] = 3 35.12/20.18 c (19,15) cls[133] = 13 35.12/20.18 c (19,15) cls[134] = 4 35.12/20.18 c (19,15) cls[135] = 7 35.12/20.18 c (19,15) cls[136] = 13 35.12/20.18 c (19,15) cls[137] = 8 35.12/20.18 c (19,15) cls[138] = 7 35.12/20.18 c (19,15) cls[139] = 4 35.12/20.18 c (19,15) cls[140] = 8 35.12/20.18 c (19,15) cls[141] = 2 35.12/20.18 c (19,15) cls[142] = 13 35.12/20.18 c (19,15) cls[143] = 7 35.12/20.18 c (19,15) cls[144] = 1 35.12/20.18 c (19,15) cls[145] = 8 35.12/20.18 c (19,15) cls[146] = 8 35.12/20.18 c (19,15) cls[147] = 7 35.12/20.18 c (19,15) cls[148] = 13 35.12/20.18 c (19,15) cls[149] = 4 35.12/20.18 c (19,15) cls[150] = 7 35.12/20.18 c (19,15) cls[151] = 13 35.12/20.18 c (19,15) cls[152] = 8 35.12/20.18 c (19,15) cls[153] = 7 35.12/20.18 c (19,15) cls[154] = 4 35.12/20.18 c (19,15) cls[155] = 13 35.12/20.18 c (19,15) cls[156] = 13 35.12/20.18 c (19,15) cls[157] = 0 35.12/20.18 c (19,15) cls[158] = 8 35.12/20.18 c (19,15) cls[159] = 4 35.12/20.18 c (19,15) cls[160] = 13 35.12/20.18 c (19,15) cls[161] = 13 35.12/20.18 c (19,15) cls[162] = 7 35.12/20.18 c (19,15) cls[163] = 8 35.12/20.18 c (19,15) cls[164] = 4 35.12/20.18 c (19,15) cls[165] = 7 35.12/20.18 c (19,15) cls[166] = 8 35.12/20.18 c (19,15) cls[167] = 13 35.12/20.18 c (19,15) cls[168] = 7 35.12/20.18 c (19,15) cls[169] = 4 35.12/20.18 c (19,15) cls[170] = 8 35.12/20.18 c (19,15) cls[171] = 7 35.12/20.18 c (19,15) cls[172] = 8 35.12/20.18 c (19,15) cls[173] = 13 35.12/20.18 c (19,15) cls[174] = 6 35.12/20.18 c (19,15) cls[175] = 8 35.12/20.18 c (19,15) cls[176] = 13 35.12/20.18 c (19,15) cls[177] = 7 35.12/20.18 c (19,15) cls[178] = 8 35.12/20.18 c (19,15) cls[179] = 4 35.12/20.18 c (19,15) cls[180] = 13 35.12/20.18 c (19,15) cls[181] = 0 35.12/20.18 c (19,15) cls[182] = 13 35.12/20.18 c (19,15) cls[183] = 8 35.12/20.18 c (19,15) cls[184] = 4 35.12/20.18 c (19,15) cls[185] = 13 35.12/20.18 c (19,15) cls[186] = 7 35.12/20.18 c (19,15) cls[187] = 13 35.12/20.18 c (19,15) cls[188] = 8 35.12/20.18 c (19,15) cls[189] = 9 35.12/20.18 c (19,15) cls[190] = 8 35.12/20.18 c (19,15) cls[191] = 13 35.12/20.18 c (19,15) cls[192] = 16 35.12/20.18 c (19,15) cls[193] = 8 35.12/20.18 c (19,15) cls[194] = 4 35.12/20.18 c (19,15) cls[195] = 13 35.12/20.18 c (19,15) cls[196] = 13 35.12/20.18 c (19,15) cls[197] = 8 35.12/20.18 c (19,15) cls[198] = 8 35.12/20.18 c (19,15) cls[199] = 4 35.12/20.18 c (19,15) opt[0][0] = 0 35.12/20.18 c (19,15) opt[0][1] = 0 35.12/20.18 c (19,15) opt[0][2] = 1 35.12/20.18 c (19,15) opt[0][3] = 0 35.12/20.18 c (19,15) opt[0][4] = 0 35.12/20.18 c (19,15) opt[1][0] = 0 35.12/20.18 c (19,15) opt[1][1] = 0 35.12/20.18 c (19,15) opt[1][2] = 0 35.12/20.18 c (19,15) opt[1][3] = 1 35.12/20.18 c (19,15) opt[1][4] = 0 35.12/20.18 c (19,15) opt[2][0] = 0 35.12/20.18 c (19,15) opt[2][1] = 0 35.12/20.18 c (19,15) opt[2][2] = 0 35.12/20.18 c (19,15) opt[2][3] = 0 35.12/20.18 c (19,15) opt[2][4] = 1 35.12/20.18 c (19,15) opt[3][0] = 0 35.12/20.18 c (19,15) opt[3][1] = 0 35.12/20.18 c (19,15) opt[3][2] = 1 35.12/20.18 c (19,15) opt[3][3] = 1 35.12/20.18 c (19,15) opt[3][4] = 0 35.12/20.18 c (19,15) opt[4][0] = 0 35.12/20.18 c (19,15) opt[4][1] = 1 35.12/20.18 c (19,15) opt[4][2] = 0 35.12/20.18 c (19,15) opt[4][3] = 0 35.12/20.18 c (19,15) opt[4][4] = 0 35.12/20.18 c (19,15) opt[5][0] = 0 35.12/20.18 c (19,15) opt[5][1] = 1 35.12/20.18 c (19,15) opt[5][2] = 0 35.12/20.18 c (19,15) opt[5][3] = 0 35.12/20.18 c (19,15) opt[5][4] = 0 35.12/20.18 c (19,15) opt[6][0] = 0 35.12/20.18 c (19,15) opt[6][1] = 0 35.12/20.18 c (19,15) opt[6][2] = 1 35.12/20.18 c (19,15) opt[6][3] = 0 35.12/20.18 c (19,15) opt[6][4] = 0 35.12/20.18 c (19,15) opt[7][0] = 1 35.12/20.18 c (19,15) opt[7][1] = 0 35.12/20.18 c (19,15) opt[7][2] = 0 35.12/20.18 c (19,15) opt[7][3] = 1 35.12/20.18 c (19,15) opt[7][4] = 1 35.12/20.18 c (19,15) opt[8][0] = 0 35.12/20.18 c (19,15) opt[8][1] = 1 35.12/20.18 c (19,15) opt[8][2] = 0 35.12/20.18 c (19,15) opt[8][3] = 0 35.12/20.18 c (19,15) opt[8][4] = 0 35.12/20.18 c (19,15) opt[9][0] = 0 35.12/20.18 c (19,15) opt[9][1] = 0 35.12/20.18 c (19,15) opt[9][2] = 0 35.12/20.18 c (19,15) opt[9][3] = 1 35.12/20.18 c (19,15) opt[9][4] = 0 35.12/20.18 c (19,15) opt[10][0] = 0 35.12/20.18 c (19,15) opt[10][1] = 1 35.12/20.18 c (19,15) opt[10][2] = 0 35.12/20.18 c (19,15) opt[10][3] = 0 35.12/20.18 c (19,15) opt[10][4] = 0 35.12/20.18 c (19,15) opt[11][0] = 0 35.12/20.18 c (19,15) opt[11][1] = 1 35.12/20.18 c (19,15) opt[11][2] = 0 35.12/20.18 c (19,15) opt[11][3] = 0 35.12/20.18 c (19,15) opt[11][4] = 0 35.12/20.18 c (19,15) opt[12][0] = 1 35.12/20.18 c (19,15) opt[12][1] = 0 35.12/20.18 c (19,15) opt[12][2] = 1 35.12/20.18 c (19,15) opt[12][3] = 0 35.12/20.18 c (19,15) opt[12][4] = 0 35.12/20.18 c (19,15) opt[13][0] = 0 35.12/20.18 c (19,15) opt[13][1] = 1 35.12/20.18 c (19,15) opt[13][2] = 0 35.12/20.18 c (19,15) opt[13][3] = 0 35.12/20.18 c (19,15) opt[13][4] = 0 35.12/20.18 c (19,15) opt[14][0] = 0 35.12/20.18 c (19,15) opt[14][1] = 0 35.12/20.18 c (19,15) opt[14][2] = 0 35.12/20.18 c (19,15) opt[14][3] = 0 35.12/20.18 c (19,15) opt[14][4] = 1 35.12/20.18 c (19,15) opt[15][0] = 0 35.12/20.18 c (19,15) opt[15][1] = 0 35.12/20.18 c (19,15) opt[15][2] = 1 35.12/20.18 c (19,15) opt[15][3] = 0 35.12/20.18 c (19,15) opt[15][4] = 0 35.12/20.18 c (19,15) opt[16][0] = 0 35.12/20.18 c (19,15) opt[16][1] = 0 35.12/20.18 c (19,15) opt[16][2] = 0 35.12/20.18 c (19,15) opt[16][3] = 1 35.12/20.18 c (19,15) opt[16][4] = 0 35.12/20.18 c (19,15) opt[17][0] = 0 35.12/20.18 c (19,15) opt[17][1] = 0 35.12/20.18 c (19,15) opt[17][2] = 0 35.12/20.18 c (19,15) opt[17][3] = 1 35.12/20.18 c (19,15) opt[17][4] = 0 35.12/20.18 c (19,15) opt[18][0] = 0 35.12/20.18 c (19,15) opt[18][1] = 0 35.12/20.18 c (19,15) opt[18][2] = 1 35.12/20.18 c (19,15) opt[18][3] = 0 35.12/20.18 c (19,15) opt[18][4] = 0 35.12/20.18 c (19,15) opt[19][0] = 1 35.12/20.18 c (19,15) opt[19][1] = 1 35.12/20.18 c (19,15) opt[19][2] = 0 35.12/20.18 c (19,15) opt[19][3] = 0 35.12/20.18 c (19,15) opt[19][4] = 0 35.12/20.18 c (19,15) opt[20][0] = 0 35.12/20.18 c (19,15) opt[20][1] = 0 35.12/20.18 c (19,15) opt[20][2] = 0 35.12/20.18 c (19,15) opt[20][3] = 0 35.12/20.18 c (19,15) opt[20][4] = 1 35.12/20.18 c (19,15) opt[21][0] = 0 35.12/20.18 c (19,15) opt[21][1] = 0 35.12/20.18 c (19,15) opt[21][2] = 0 35.12/20.18 c (19,15) opt[21][3] = 1 35.12/20.18 c (19,15) opt[21][4] = 0 35.12/20.18 c (19,15) opt[22][0] = 0 35.12/20.18 c (19,15) opt[22][1] = 1 35.12/20.18 c (19,15) opt[22][2] = 0 35.12/20.18 c (19,15) opt[22][3] = 0 35.12/20.18 c (19,15) opt[22][4] = 0 35.12/20.18 c (19,15) opt[23][0] = 0 35.12/20.18 c (19,15) opt[23][1] = 1 35.12/20.18 c (19,15) opt[23][2] = 0 35.12/20.18 c (19,15) opt[23][3] = 0 35.12/20.18 c (19,15) opt[23][4] = 0 35.12/20.18 c (19,15) opt[24][0] = 0 35.12/20.18 c (19,15) opt[24][1] = 0 35.12/20.19 c (19,15) opt[24][2] = 1 35.12/20.19 c (19,15) opt[24][3] = 0 35.12/20.19 c (19,15) opt[24][4] = 0 35.12/20.19 c (19,15) opt[25][0] = 0 35.12/20.19 c (19,15) opt[25][1] = 0 35.12/20.19 c (19,15) opt[25][2] = 0 35.12/20.19 c (19,15) opt[25][3] = 1 35.12/20.19 c (19,15) opt[25][4] = 0 35.12/20.19 c (19,15) opt[26][0] = 0 35.12/20.19 c (19,15) opt[26][1] = 0 35.12/20.19 c (19,15) opt[26][2] = 0 35.12/20.19 c (19,15) opt[26][3] = 0 35.12/20.19 c (19,15) opt[26][4] = 1 35.12/20.19 c (19,15) opt[27][0] = 0 35.12/20.19 c (19,15) opt[27][1] = 0 35.12/20.19 c (19,15) opt[27][2] = 1 35.12/20.19 c (19,15) opt[27][3] = 0 35.12/20.19 c (19,15) opt[27][4] = 0 35.12/20.19 c (19,15) opt[28][0] = 0 35.12/20.19 c (19,15) opt[28][1] = 0 35.12/20.19 c (19,15) opt[28][2] = 0 35.12/20.19 c (19,15) opt[28][3] = 1 35.12/20.19 c (19,15) opt[28][4] = 0 35.12/20.19 c (19,15) opt[29][0] = 0 35.12/20.19 c (19,15) opt[29][1] = 1 35.12/20.19 c (19,15) opt[29][2] = 0 35.12/20.19 c (19,15) opt[29][3] = 0 35.12/20.19 c (19,15) opt[29][4] = 0 35.12/20.19 c (19,15) opt[30][0] = 0 35.12/20.19 c (19,15) opt[30][1] = 0 35.12/20.19 c (19,15) opt[30][2] = 1 35.12/20.19 c (19,15) opt[30][3] = 0 35.12/20.19 c (19,15) opt[30][4] = 0 35.12/20.19 c (19,15) opt[31][0] = 0 35.12/20.19 c (19,15) opt[31][1] = 0 35.12/20.19 c (19,15) opt[31][2] = 0 35.12/20.19 c (19,15) opt[31][3] = 1 35.12/20.19 c (19,15) opt[31][4] = 0 35.12/20.19 c (19,15) opt[32][0] = 0 35.12/20.19 c (19,15) opt[32][1] = 0 35.12/20.19 c (19,15) opt[32][2] = 0 35.12/20.19 c (19,15) opt[32][3] = 0 35.12/20.19 c (19,15) opt[32][4] = 1 35.12/20.19 c (19,15) opt[33][0] = 0 35.12/20.19 c (19,15) opt[33][1] = 0 35.12/20.19 c (19,15) opt[33][2] = 0 35.12/20.19 c (19,15) opt[33][3] = 1 35.12/20.19 c (19,15) opt[33][4] = 0 35.12/20.19 c (19,15) opt[34][0] = 1 35.12/20.19 c (19,15) opt[34][1] = 1 35.12/20.19 c (19,15) opt[34][2] = 0 35.12/20.19 c (19,15) opt[34][3] = 0 35.12/20.19 c (19,15) opt[34][4] = 0 35.12/20.19 c (19,15) opt[35][0] = 0 35.12/20.19 c (19,15) opt[35][1] = 1 35.12/20.19 c (19,15) opt[35][2] = 0 35.12/20.19 c (19,15) opt[35][3] = 0 35.12/20.19 c (19,15) opt[35][4] = 0 35.12/20.19 c (19,15) opt[36][0] = 0 35.12/20.19 c (19,15) opt[36][1] = 0 35.12/20.19 c (19,15) opt[36][2] = 1 35.12/20.19 c (19,15) opt[36][3] = 0 35.12/20.19 c (19,15) opt[36][4] = 0 35.12/20.19 c (19,15) opt[37][0] = 0 35.12/20.19 c (19,15) opt[37][1] = 1 35.12/20.19 c (19,15) opt[37][2] = 0 35.12/20.19 c (19,15) opt[37][3] = 0 35.12/20.19 c (19,15) opt[37][4] = 0 35.12/20.19 c (19,15) opt[38][0] = 0 35.12/20.19 c (19,15) opt[38][1] = 0 35.12/20.19 c (19,15) opt[38][2] = 0 35.12/20.19 c (19,15) opt[38][3] = 0 35.12/20.19 c (19,15) opt[38][4] = 1 35.12/20.19 c (19,15) opt[39][0] = 0 35.12/20.19 c (19,15) opt[39][1] = 0 35.12/20.19 c (19,15) opt[39][2] = 1 35.12/20.19 c (19,15) opt[39][3] = 0 35.12/20.19 c (19,15) opt[39][4] = 0 35.12/20.19 c (19,15) opt[40][0] = 0 35.12/20.19 c (19,15) opt[40][1] = 0 35.12/20.19 c (19,15) opt[40][2] = 0 35.12/20.19 c (19,15) opt[40][3] = 1 35.12/20.19 c (19,15) opt[40][4] = 0 35.12/20.19 c (19,15) opt[41][0] = 0 35.12/20.19 c (19,15) opt[41][1] = 1 35.12/20.19 c (19,15) opt[41][2] = 0 35.12/20.19 c (19,15) opt[41][3] = 0 35.12/20.19 c (19,15) opt[41][4] = 0 35.12/20.19 c (19,15) opt[42][0] = 0 35.12/20.19 c (19,15) opt[42][1] = 0 35.12/20.19 c (19,15) opt[42][2] = 1 35.12/20.19 c (19,15) opt[42][3] = 0 35.12/20.19 c (19,15) opt[42][4] = 0 35.12/20.19 c (19,15) opt[43][0] = 0 35.12/20.19 c (19,15) opt[43][1] = 0 35.12/20.19 c (19,15) opt[43][2] = 0 35.12/20.19 c (19,15) opt[43][3] = 1 35.12/20.19 c (19,15) opt[43][4] = 0 35.12/20.19 c (19,15) opt[44][0] = 0 35.12/20.19 c (19,15) opt[44][1] = 0 35.12/20.19 c (19,15) opt[44][2] = 0 35.12/20.19 c (19,15) opt[44][3] = 0 35.12/20.19 c (19,15) opt[44][4] = 1 35.12/20.19 c (19,15) opt[45][0] = 0 35.12/20.19 c (19,15) opt[45][1] = 0 35.12/20.19 c (19,15) opt[45][2] = 0 35.12/20.19 c (19,15) opt[45][3] = 1 35.12/20.19 c (19,15) opt[45][4] = 0 35.12/20.19 c (19,15) opt[46][0] = 1 35.12/20.19 c (19,15) opt[46][1] = 1 35.12/20.19 c (19,15) opt[46][2] = 0 35.12/20.19 c (19,15) opt[46][3] = 0 35.12/20.19 c (19,15) opt[46][4] = 0 35.12/20.19 c (19,15) opt[47][0] = 0 35.12/20.19 c (19,15) opt[47][1] = 1 35.12/20.19 c (19,15) opt[47][2] = 0 35.12/20.19 c (19,15) opt[47][3] = 0 35.12/20.19 c (19,15) opt[47][4] = 0 35.12/20.19 c (19,15) opt[48][0] = 1 35.12/20.19 c (19,15) opt[48][1] = 0 35.12/20.19 c (19,15) opt[48][2] = 0 35.12/20.19 c (19,15) opt[48][3] = 0 35.12/20.19 c (19,15) opt[48][4] = 0 35.12/20.19 c (19,15) opt[49][0] = 0 35.12/20.19 c (19,15) opt[49][1] = 0 35.12/20.19 c (19,15) opt[49][2] = 1 35.12/20.19 c (19,15) opt[49][3] = 1 35.12/20.19 c (19,15) opt[49][4] = 0 35.12/20.19 c (19,15) opt[50][0] = 0 35.12/20.19 c (19,15) opt[50][1] = 0 35.12/20.19 c (19,15) opt[50][2] = 0 35.12/20.19 c (19,15) opt[50][3] = 0 35.12/20.19 c (19,15) opt[50][4] = 1 35.12/20.19 c (19,15) opt[51][0] = 0 35.12/20.19 c (19,15) opt[51][1] = 0 35.12/20.19 c (19,15) opt[51][2] = 0 35.12/20.19 c (19,15) opt[51][3] = 1 35.12/20.19 c (19,15) opt[51][4] = 0 35.12/20.19 c (19,15) opt[52][0] = 0 35.12/20.19 c (19,15) opt[52][1] = 1 35.12/20.19 c (19,15) opt[52][2] = 0 35.12/20.19 c (19,15) opt[52][3] = 0 35.12/20.19 c (19,15) opt[52][4] = 0 35.12/20.19 c (19,15) opt[53][0] = 0 35.12/20.19 c (19,15) opt[53][1] = 1 35.12/20.19 c (19,15) opt[53][2] = 0 35.12/20.19 c (19,15) opt[53][3] = 0 35.12/20.19 c (19,15) opt[53][4] = 0 35.12/20.19 c (19,15) opt[54][0] = 0 35.12/20.19 c (19,15) opt[54][1] = 0 35.12/20.19 c (19,15) opt[54][2] = 1 35.12/20.19 c (19,15) opt[54][3] = 0 35.12/20.19 c (19,15) opt[54][4] = 0 35.12/20.19 c (19,15) opt[55][0] = 0 35.12/20.19 c (19,15) opt[55][1] = 0 35.12/20.19 c (19,15) opt[55][2] = 0 35.12/20.19 c (19,15) opt[55][3] = 1 35.12/20.19 c (19,15) opt[55][4] = 0 35.12/20.19 c (19,15) opt[56][0] = 0 35.12/20.19 c (19,15) opt[56][1] = 0 35.12/20.19 c (19,15) opt[56][2] = 0 35.12/20.19 c (19,15) opt[56][3] = 0 35.12/20.19 c (19,15) opt[56][4] = 1 35.12/20.19 c (19,15) opt[57][0] = 0 35.12/20.19 c (19,15) opt[57][1] = 0 35.12/20.19 c (19,15) opt[57][2] = 0 35.12/20.19 c (19,15) opt[57][3] = 1 35.12/20.19 c (19,15) opt[57][4] = 0 35.12/20.19 c (19,15) opt[58][0] = 0 35.12/20.19 c (19,15) opt[58][1] = 1 35.12/20.19 c (19,15) opt[58][2] = 0 35.12/20.19 c (19,15) opt[58][3] = 0 35.12/20.19 c (19,15) opt[58][4] = 0 35.12/20.19 c (19,15) opt[59][0] = 0 35.12/20.19 c (19,15) opt[59][1] = 1 35.12/20.19 c (19,15) opt[59][2] = 0 35.12/20.19 c (19,15) opt[59][3] = 0 35.12/20.19 c (19,15) opt[59][4] = 0 35.12/20.19 c (19,15) opt[60][0] = 0 35.12/20.19 c (19,15) opt[60][1] = 0 35.12/20.19 c (19,15) opt[60][2] = 1 35.12/20.19 c (19,15) opt[60][3] = 0 35.12/20.19 c (19,15) opt[60][4] = 0 35.12/20.19 c (19,15) opt[61][0] = 0 35.12/20.19 c (19,15) opt[61][1] = 0 35.12/20.19 c (19,15) opt[61][2] = 0 35.12/20.19 c (19,15) opt[61][3] = 1 35.12/20.19 c (19,15) opt[61][4] = 0 35.12/20.19 c (19,15) opt[62][0] = 0 35.12/20.19 c (19,15) opt[62][1] = 0 35.12/20.19 c (19,15) opt[62][2] = 0 35.12/20.19 c (19,15) opt[62][3] = 0 35.12/20.19 c (19,15) opt[62][4] = 1 35.12/20.19 c (19,15) opt[63][0] = 0 35.12/20.19 c (19,15) opt[63][1] = 0 35.12/20.19 c (19,15) opt[63][2] = 1 35.12/20.19 c (19,15) opt[63][3] = 0 35.12/20.19 c (19,15) opt[63][4] = 0 35.12/20.19 c (19,15) opt[64][0] = 0 35.12/20.19 c (19,15) opt[64][1] = 0 35.12/20.19 c (19,15) opt[64][2] = 0 35.12/20.19 c (19,15) opt[64][3] = 1 35.12/20.19 c (19,15) opt[64][4] = 0 35.12/20.19 c (19,15) opt[65][0] = 0 35.12/20.19 c (19,15) opt[65][1] = 1 35.12/20.19 c (19,15) opt[65][2] = 0 35.12/20.19 c (19,15) opt[65][3] = 0 35.12/20.19 c (19,15) opt[65][4] = 0 35.12/20.19 c (19,15) opt[66][0] = 0 35.12/20.19 c (19,15) opt[66][1] = 0 35.12/20.19 c (19,15) opt[66][2] = 1 35.12/20.19 c (19,15) opt[66][3] = 0 35.12/20.19 c (19,15) opt[66][4] = 0 35.12/20.19 c (19,15) opt[67][0] = 0 35.12/20.19 c (19,15) opt[67][1] = 0 35.12/20.19 c (19,15) opt[67][2] = 0 35.12/20.19 c (19,15) opt[67][3] = 1 35.12/20.19 c (19,15) opt[67][4] = 0 35.12/20.19 c (19,15) opt[68][0] = 0 35.12/20.19 c (19,15) opt[68][1] = 0 35.12/20.19 c (19,15) opt[68][2] = 0 35.12/20.19 c (19,15) opt[68][3] = 0 35.12/20.19 c (19,15) opt[68][4] = 1 35.12/20.19 c (19,15) opt[69][0] = 1 35.12/20.19 c (19,15) opt[69][1] = 1 35.12/20.19 c (19,15) opt[69][2] = 0 35.12/20.19 c (19,15) opt[69][3] = 1 35.12/20.19 c (19,15) opt[69][4] = 0 35.12/20.19 c (19,15) opt[70][0] = 0 35.12/20.19 c (19,15) opt[70][1] = 1 35.12/20.19 c (19,15) opt[70][2] = 0 35.12/20.19 c (19,15) opt[70][3] = 0 35.12/20.19 c (19,15) opt[70][4] = 0 35.12/20.19 c (19,15) opt[71][0] = 1 35.12/20.19 c (19,15) opt[71][1] = 0 35.12/20.19 c (19,15) opt[71][2] = 0 35.12/20.19 c (19,15) opt[71][3] = 0 35.12/20.19 c (19,15) opt[71][4] = 0 35.12/20.19 c (19,15) opt[72][0] = 0 35.12/20.19 c (19,15) opt[72][1] = 0 35.12/20.19 c (19,15) opt[72][2] = 1 35.12/20.19 c (19,15) opt[72][3] = 0 35.12/20.19 c (19,15) opt[72][4] = 0 35.12/20.19 c (19,15) opt[73][0] = 0 35.12/20.19 c (19,15) opt[73][1] = 0 35.12/20.19 c (19,15) opt[73][2] = 0 35.12/20.19 c (19,15) opt[73][3] = 1 35.12/20.19 c (19,15) opt[73][4] = 0 35.12/20.19 c (19,15) opt[74][0] = 0 35.12/20.19 c (19,15) opt[74][1] = 0 35.12/20.19 c (19,15) opt[74][2] = 0 35.12/20.19 c (19,15) opt[74][3] = 0 35.12/20.19 c (19,15) opt[74][4] = 1 35.12/20.19 c (19,15) opt[75][0] = 0 35.12/20.19 c (19,15) opt[75][1] = 1 35.12/20.19 c (19,15) opt[75][2] = 1 35.12/20.19 c (19,15) opt[75][3] = 0 35.12/20.19 c (19,15) opt[75][4] = 0 35.12/20.19 c (19,15) opt[76][0] = 0 35.12/20.19 c (19,15) opt[76][1] = 0 35.12/20.19 c (19,15) opt[76][2] = 0 35.12/20.19 c (19,15) opt[76][3] = 1 35.12/20.19 c (19,15) opt[76][4] = 0 35.12/20.19 c (19,15) opt[77][0] = 0 35.12/20.19 c (19,15) opt[77][1] = 1 35.12/20.19 c (19,15) opt[77][2] = 0 35.12/20.19 c (19,15) opt[77][3] = 0 35.12/20.19 c (19,15) opt[77][4] = 0 35.12/20.19 c (19,15) opt[78][0] = 0 35.12/20.19 c (19,15) opt[78][1] = 0 35.12/20.19 c (19,15) opt[78][2] = 1 35.12/20.19 c (19,15) opt[78][3] = 0 35.12/20.19 c (19,15) opt[78][4] = 0 35.12/20.19 c (19,15) opt[79][0] = 0 35.12/20.19 c (19,15) opt[79][1] = 0 35.12/20.19 c (19,15) opt[79][2] = 0 35.12/20.19 c (19,15) opt[79][3] = 1 35.12/20.19 c (19,15) opt[79][4] = 0 35.12/20.19 c (19,15) opt[80][0] = 0 35.12/20.19 c (19,15) opt[80][1] = 0 35.12/20.19 c (19,15) opt[80][2] = 0 35.12/20.19 c (19,15) opt[80][3] = 0 35.12/20.19 c (19,15) opt[80][4] = 1 35.12/20.19 c (19,15) opt[81][0] = 0 35.12/20.19 c (19,15) opt[81][1] = 0 35.12/20.19 c (19,15) opt[81][2] = 0 35.12/20.19 c (19,15) opt[81][3] = 1 35.12/20.19 c (19,15) opt[81][4] = 0 35.12/20.19 c (19,15) opt[82][0] = 0 35.12/20.19 c (19,15) opt[82][1] = 1 35.12/20.19 c (19,15) opt[82][2] = 0 35.12/20.19 c (19,15) opt[82][3] = 0 35.12/20.19 c (19,15) opt[82][4] = 0 35.12/20.19 c (19,15) opt[83][0] = 0 35.12/20.19 c (19,15) opt[83][1] = 1 35.12/20.19 c (19,15) opt[83][2] = 0 35.12/20.19 c (19,15) opt[83][3] = 0 35.12/20.19 c (19,15) opt[83][4] = 0 35.12/20.19 c (19,15) opt[84][0] = 0 35.12/20.19 c (19,15) opt[84][1] = 0 35.12/20.19 c (19,15) opt[84][2] = 1 35.12/20.19 c (19,15) opt[84][3] = 0 35.12/20.19 c (19,15) opt[84][4] = 0 35.12/20.19 c (19,15) opt[85][0] = 0 35.12/20.19 c (19,15) opt[85][1] = 1 35.12/20.19 c (19,15) opt[85][2] = 0 35.12/20.19 c (19,15) opt[85][3] = 0 35.12/20.19 c (19,15) opt[85][4] = 0 35.12/20.19 c (19,15) opt[86][0] = 0 35.12/20.19 c (19,15) opt[86][1] = 0 35.12/20.19 c (19,15) opt[86][2] = 0 35.12/20.19 c (19,15) opt[86][3] = 0 35.12/20.19 c (19,15) opt[86][4] = 1 35.12/20.19 c (19,15) opt[87][0] = 0 35.12/20.19 c (19,15) opt[87][1] = 0 35.12/20.19 c (19,15) opt[87][2] = 1 35.12/20.19 c (19,15) opt[87][3] = 0 35.12/20.19 c (19,15) opt[87][4] = 0 35.12/20.19 c (19,15) opt[88][0] = 0 35.12/20.19 c (19,15) opt[88][1] = 0 35.12/20.19 c (19,15) opt[88][2] = 0 35.12/20.19 c (19,15) opt[88][3] = 1 35.12/20.19 c (19,15) opt[88][4] = 0 35.12/20.19 c (19,15) opt[89][0] = 0 35.12/20.19 c (19,15) opt[89][1] = 1 35.12/20.19 c (19,15) opt[89][2] = 0 35.12/20.19 c (19,15) opt[89][3] = 0 35.12/20.19 c (19,15) opt[89][4] = 0 35.12/20.19 c (19,15) opt[90][0] = 0 35.12/20.19 c (19,15) opt[90][1] = 0 35.12/20.19 c (19,15) opt[90][2] = 1 35.12/20.19 c (19,15) opt[90][3] = 0 35.12/20.19 c (19,15) opt[90][4] = 0 35.12/20.19 c (19,15) opt[91][0] = 0 35.12/20.19 c (19,15) opt[91][1] = 0 35.12/20.19 c (19,15) opt[91][2] = 0 35.12/20.19 c (19,15) opt[91][3] = 1 35.12/20.19 c (19,15) opt[91][4] = 0 35.12/20.19 c (19,15) opt[92][0] = 0 35.12/20.19 c (19,15) opt[92][1] = 0 35.12/20.19 c (19,15) opt[92][2] = 0 35.12/20.19 c (19,15) opt[92][3] = 0 35.12/20.19 c (19,15) opt[92][4] = 1 35.12/20.19 c (19,15) opt[93][0] = 0 35.12/20.19 c (19,15) opt[93][1] = 0 35.12/20.19 c (19,15) opt[93][2] = 0 35.12/20.19 c (19,15) opt[93][3] = 1 35.12/20.19 c (19,15) opt[93][4] = 0 35.12/20.19 c (19,15) opt[94][0] = 0 35.12/20.19 c (19,15) opt[94][1] = 1 35.12/20.19 c (19,15) opt[94][2] = 0 35.12/20.19 c (19,15) opt[94][3] = 0 35.12/20.19 c (19,15) opt[94][4] = 0 35.12/20.19 c (19,15) opt[95][0] = 0 35.12/20.19 c (19,15) opt[95][1] = 1 35.12/20.19 c (19,15) opt[95][2] = 0 35.12/20.19 c (19,15) opt[95][3] = 0 35.12/20.19 c (19,15) opt[95][4] = 0 35.12/20.19 c (19,15) opt[96][0] = 0 35.12/20.19 c (19,15) opt[96][1] = 0 35.12/20.19 c (19,15) opt[96][2] = 1 35.12/20.19 c (19,15) opt[96][3] = 0 35.12/20.19 c (19,15) opt[96][4] = 0 35.12/20.19 c (19,15) opt[97][0] = 0 35.12/20.19 c (19,15) opt[97][1] = 0 35.12/20.19 c (19,15) opt[97][2] = 0 35.12/20.19 c (19,15) opt[97][3] = 0 35.12/20.19 c (19,15) opt[97][4] = 1 35.12/20.19 c (19,15) opt[98][0] = 0 35.12/20.19 c (19,15) opt[98][1] = 1 35.12/20.19 c (19,15) opt[98][2] = 0 35.12/20.19 c (19,15) opt[98][3] = 0 35.12/20.19 c (19,15) opt[98][4] = 0 35.12/20.19 c (19,15) opt[99][0] = 0 35.12/20.19 c (19,15) opt[99][1] = 0 35.12/20.19 c (19,15) opt[99][2] = 0 35.12/20.19 c (19,15) opt[99][3] = 1 35.12/20.19 c (19,15) opt[99][4] = 0 35.12/20.19 c (19,15) opt[100][0] = 0 35.12/20.19 c (19,15) opt[100][1] = 0 35.12/20.19 c (19,15) opt[100][2] = 0 35.12/20.19 c (19,15) opt[100][3] = 1 35.12/20.19 c (19,15) opt[100][4] = 0 35.12/20.19 c (19,15) opt[101][0] = 0 35.12/20.19 c (19,15) opt[101][1] = 1 35.12/20.19 c (19,15) opt[101][2] = 0 35.12/20.19 c (19,15) opt[101][3] = 0 35.12/20.19 c (19,15) opt[101][4] = 0 35.12/20.19 c (19,15) opt[102][0] = 0 35.12/20.19 c (19,15) opt[102][1] = 0 35.12/20.19 c (19,15) opt[102][2] = 1 35.12/20.19 c (19,15) opt[102][3] = 0 35.12/20.19 c (19,15) opt[102][4] = 0 35.12/20.19 c (19,15) opt[103][0] = 1 35.12/20.19 c (19,15) opt[103][1] = 0 35.12/20.19 c (19,15) opt[103][2] = 0 35.12/20.19 c (19,15) opt[103][3] = 0 35.12/20.19 c (19,15) opt[103][4] = 1 35.12/20.19 c (19,15) opt[104][0] = 0 35.12/20.19 c (19,15) opt[104][1] = 0 35.12/20.19 c (19,15) opt[104][2] = 0 35.12/20.19 c (19,15) opt[104][3] = 1 35.12/20.19 c (19,15) opt[104][4] = 0 35.12/20.19 c (19,15) opt[105][0] = 0 35.12/20.19 c (19,15) opt[105][1] = 0 35.12/20.19 c (19,15) opt[105][2] = 1 35.12/20.19 c (19,15) opt[105][3] = 0 35.12/20.19 c (19,15) opt[105][4] = 0 35.12/20.19 c (19,15) opt[106][0] = 0 35.12/20.19 c (19,15) opt[106][1] = 0 35.12/20.19 c (19,15) opt[106][2] = 0 35.12/20.19 c (19,15) opt[106][3] = 1 35.12/20.19 c (19,15) opt[106][4] = 0 35.12/20.19 c (19,15) opt[107][0] = 1 35.12/20.19 c (19,15) opt[107][1] = 0 35.12/20.19 c (19,15) opt[107][2] = 0 35.12/20.19 c (19,15) opt[107][3] = 0 35.12/20.19 c (19,15) opt[107][4] = 0 35.12/20.19 c (19,15) opt[108][0] = 0 35.12/20.19 c (19,15) opt[108][1] = 1 35.12/20.19 c (19,15) opt[108][2] = 0 35.12/20.19 c (19,15) opt[108][3] = 0 35.12/20.19 c (19,15) opt[108][4] = 1 35.12/20.19 c (19,15) opt[109][0] = 0 35.12/20.19 c (19,15) opt[109][1] = 1 35.12/20.19 c (19,15) opt[109][2] = 0 35.12/20.19 c (19,15) opt[109][3] = 0 35.12/20.19 c (19,15) opt[109][4] = 0 35.12/20.19 c (19,15) opt[110][0] = 0 35.12/20.19 c (19,15) opt[110][1] = 0 35.12/20.19 c (19,15) opt[110][2] = 0 35.12/20.19 c (19,15) opt[110][3] = 1 35.12/20.19 c (19,15) opt[110][4] = 0 35.12/20.19 c (19,15) opt[111][0] = 0 35.12/20.19 c (19,15) opt[111][1] = 0 35.12/20.19 c (19,15) opt[111][2] = 1 35.12/20.19 c (19,15) opt[111][3] = 0 35.12/20.19 c (19,15) opt[111][4] = 0 35.12/20.19 c (19,15) opt[112][0] = 0 35.12/20.19 c (19,15) opt[112][1] = 0 35.12/20.19 c (19,15) opt[112][2] = 0 35.12/20.19 c (19,15) opt[112][3] = 1 35.12/20.19 c (19,15) opt[112][4] = 0 35.12/20.19 c (19,15) opt[113][0] = 0 35.12/20.19 c (19,15) opt[113][1] = 0 35.12/20.19 c (19,15) opt[113][2] = 0 35.12/20.19 c (19,15) opt[113][3] = 0 35.12/20.19 c (19,15) opt[113][4] = 1 35.12/20.19 c (19,15) opt[114][0] = 1 35.12/20.19 c (19,15) opt[114][1] = 0 35.12/20.19 c (19,15) opt[114][2] = 1 35.12/20.19 c (19,15) opt[114][3] = 0 35.12/20.19 c (19,15) opt[114][4] = 0 35.12/20.19 c (19,15) opt[115][0] = 0 35.12/20.19 c (19,15) opt[115][1] = 1 35.12/20.19 c (19,15) opt[115][2] = 0 35.12/20.19 c (19,15) opt[115][3] = 0 35.12/20.19 c (19,15) opt[115][4] = 0 35.12/20.19 c (19,15) opt[116][0] = 0 35.12/20.19 c (19,15) opt[116][1] = 1 35.12/20.19 c (19,15) opt[116][2] = 0 35.12/20.19 c (19,15) opt[116][3] = 0 35.12/20.19 c (19,15) opt[116][4] = 0 35.12/20.19 c (19,15) opt[117][0] = 0 35.12/20.19 c (19,15) opt[117][1] = 0 35.12/20.19 c (19,15) opt[117][2] = 1 35.12/20.19 c (19,15) opt[117][3] = 0 35.12/20.19 c (19,15) opt[117][4] = 0 35.12/20.19 c (19,15) opt[118][0] = 0 35.12/20.19 c (19,15) opt[118][1] = 0 35.12/20.19 c (19,15) opt[118][2] = 0 35.12/20.19 c (19,15) opt[118][3] = 1 35.12/20.19 c (19,15) opt[118][4] = 0 35.12/20.19 c (19,15) opt[119][0] = 0 35.12/20.19 c (19,15) opt[119][1] = 0 35.12/20.19 c (19,15) opt[119][2] = 0 35.12/20.19 c (19,15) opt[119][3] = 1 35.12/20.19 c (19,15) opt[119][4] = 0 35.12/20.19 c (19,15) opt[120][0] = 0 35.12/20.19 c (19,15) opt[120][1] = 0 35.12/20.19 c (19,15) opt[120][2] = 1 35.12/20.19 c (19,15) opt[120][3] = 0 35.12/20.19 c (19,15) opt[120][4] = 0 35.12/20.19 c (19,15) opt[121][0] = 0 35.12/20.19 c (19,15) opt[121][1] = 0 35.12/20.19 c (19,15) opt[121][2] = 0 35.12/20.19 c (19,15) opt[121][3] = 0 35.12/20.19 c (19,15) opt[121][4] = 1 35.12/20.19 c (19,15) opt[122][0] = 0 35.12/20.19 c (19,15) opt[122][1] = 1 35.12/20.19 c (19,15) opt[122][2] = 0 35.12/20.19 c (19,15) opt[122][3] = 0 35.12/20.19 c (19,15) opt[122][4] = 0 35.12/20.19 c (19,15) opt[123][0] = 0 35.12/20.19 c (19,15) opt[123][1] = 0 35.12/20.19 c (19,15) opt[123][2] = 1 35.12/20.19 c (19,15) opt[123][3] = 0 35.12/20.19 c (19,15) opt[123][4] = 0 35.12/20.19 c (19,15) opt[124][0] = 0 35.12/20.19 c (19,15) opt[124][1] = 0 35.12/20.19 c (19,15) opt[124][2] = 0 35.12/20.19 c (19,15) opt[124][3] = 1 35.12/20.19 c (19,15) opt[124][4] = 0 35.12/20.19 c (19,15) opt[125][0] = 0 35.12/20.19 c (19,15) opt[125][1] = 0 35.12/20.19 c (19,15) opt[125][2] = 0 35.12/20.19 c (19,15) opt[125][3] = 1 35.12/20.19 c (19,15) opt[125][4] = 0 35.12/20.19 c (19,15) opt[126][0] = 1 35.12/20.19 c (19,15) opt[126][1] = 0 35.12/20.19 c (19,15) opt[126][2] = 1 35.12/20.19 c (19,15) opt[126][3] = 0 35.12/20.19 c (19,15) opt[126][4] = 0 35.12/20.19 c (19,15) opt[127][0] = 0 35.12/20.19 c (19,15) opt[127][1] = 1 35.12/20.19 c (19,15) opt[127][2] = 0 35.12/20.19 c (19,15) opt[127][3] = 0 35.12/20.19 c (19,15) opt[127][4] = 0 35.12/20.19 c (19,15) opt[128][0] = 0 35.12/20.19 c (19,15) opt[128][1] = 0 35.12/20.19 c (19,15) opt[128][2] = 0 35.12/20.19 c (19,15) opt[128][3] = 0 35.12/20.19 c (19,15) opt[128][4] = 1 35.12/20.19 c (19,15) opt[129][0] = 0 35.12/20.19 c (19,15) opt[129][1] = 0 35.12/20.19 c (19,15) opt[129][2] = 1 35.12/20.19 c (19,15) opt[129][3] = 0 35.12/20.19 c (19,15) opt[129][4] = 0 35.12/20.19 c (19,15) opt[130][0] = 0 35.12/20.19 c (19,15) opt[130][1] = 1 35.12/20.19 c (19,15) opt[130][2] = 0 35.12/20.19 c (19,15) opt[130][3] = 0 35.12/20.19 c (19,15) opt[130][4] = 0 35.12/20.19 c (19,15) opt[131][0] = 0 35.12/20.19 c (19,15) opt[131][1] = 0 35.12/20.19 c (19,15) opt[131][2] = 0 35.12/20.19 c (19,15) opt[131][3] = 1 35.12/20.19 c (19,15) opt[131][4] = 0 35.12/20.19 c (19,15) opt[132][0] = 1 35.12/20.19 c (19,15) opt[132][1] = 1 35.12/20.19 c (19,15) opt[132][2] = 1 35.12/20.19 c (19,15) opt[132][3] = 0 35.12/20.19 c (19,15) opt[132][4] = 0 35.12/20.19 c (19,15) opt[133][0] = 0 35.12/20.19 c (19,15) opt[133][1] = 1 35.12/20.19 c (19,15) opt[133][2] = 0 35.12/20.19 c (19,15) opt[133][3] = 0 35.12/20.19 c (19,15) opt[133][4] = 0 35.12/20.19 c (19,15) opt[134][0] = 0 35.12/20.19 c (19,15) opt[134][1] = 0 35.12/20.19 c (19,15) opt[134][2] = 0 35.12/20.19 c (19,15) opt[134][3] = 0 35.12/20.19 c (19,15) opt[134][4] = 1 35.12/20.19 c (19,15) opt[135][0] = 0 35.12/20.19 c (19,15) opt[135][1] = 0 35.12/20.19 c (19,15) opt[135][2] = 1 35.12/20.19 c (19,15) opt[135][3] = 0 35.12/20.19 c (19,15) opt[135][4] = 0 35.12/20.19 c (19,15) opt[136][0] = 0 35.12/20.19 c (19,15) opt[136][1] = 1 35.12/20.19 c (19,15) opt[136][2] = 0 35.12/20.19 c (19,15) opt[136][3] = 0 35.12/20.19 c (19,15) opt[136][4] = 0 35.12/20.19 c (19,15) opt[137][0] = 0 35.12/20.19 c (19,15) opt[137][1] = 0 35.12/20.19 c (19,15) opt[137][2] = 0 35.12/20.19 c (19,15) opt[137][3] = 1 35.12/20.19 c (19,15) opt[137][4] = 0 35.12/20.19 c (19,15) opt[138][0] = 0 35.12/20.19 c (19,15) opt[138][1] = 0 35.12/20.19 c (19,15) opt[138][2] = 1 35.12/20.19 c (19,15) opt[138][3] = 0 35.12/20.19 c (19,15) opt[138][4] = 0 35.12/20.19 c (19,15) opt[139][0] = 0 35.12/20.19 c (19,15) opt[139][1] = 0 35.12/20.19 c (19,15) opt[139][2] = 0 35.12/20.19 c (19,15) opt[139][3] = 0 35.12/20.19 c (19,15) opt[139][4] = 1 35.12/20.19 c (19,15) opt[140][0] = 0 35.12/20.19 c (19,15) opt[140][1] = 0 35.12/20.19 c (19,15) opt[140][2] = 0 35.12/20.19 c (19,15) opt[140][3] = 1 35.12/20.19 c (19,15) opt[140][4] = 0 35.12/20.19 c (19,15) opt[141][0] = 1 35.12/20.19 c (19,15) opt[141][1] = 1 35.12/20.19 c (19,15) opt[141][2] = 0 35.12/20.19 c (19,15) opt[141][3] = 0 35.12/20.19 c (19,15) opt[141][4] = 0 35.12/20.19 c (19,15) opt[142][0] = 0 35.12/20.19 c (19,15) opt[142][1] = 1 35.12/20.19 c (19,15) opt[142][2] = 0 35.12/20.19 c (19,15) opt[142][3] = 0 35.12/20.19 c (19,15) opt[142][4] = 0 35.12/20.19 c (19,15) opt[143][0] = 0 35.12/20.19 c (19,15) opt[143][1] = 0 35.12/20.19 c (19,15) opt[143][2] = 1 35.12/20.19 c (19,15) opt[143][3] = 0 35.12/20.19 c (19,15) opt[143][4] = 0 35.12/20.19 c (19,15) opt[144][0] = 1 35.12/20.19 c (19,15) opt[144][1] = 0 35.12/20.19 c (19,15) opt[144][2] = 0 35.12/20.19 c (19,15) opt[144][3] = 0 35.12/20.19 c (19,15) opt[144][4] = 1 35.12/20.19 c (19,15) opt[145][0] = 0 35.12/20.19 c (19,15) opt[145][1] = 0 35.12/20.19 c (19,15) opt[145][2] = 0 35.12/20.19 c (19,15) opt[145][3] = 1 35.12/20.19 c (19,15) opt[145][4] = 0 35.12/20.19 c (19,15) opt[146][0] = 0 35.12/20.19 c (19,15) opt[146][1] = 0 35.12/20.19 c (19,15) opt[146][2] = 0 35.12/20.19 c (19,15) opt[146][3] = 1 35.12/20.19 c (19,15) opt[146][4] = 0 35.12/20.19 c (19,15) opt[147][0] = 0 35.12/20.19 c (19,15) opt[147][1] = 0 35.12/20.19 c (19,15) opt[147][2] = 1 35.12/20.19 c (19,15) opt[147][3] = 0 35.12/20.19 c (19,15) opt[147][4] = 0 35.12/20.19 c (19,15) opt[148][0] = 0 35.12/20.19 c (19,15) opt[148][1] = 1 35.12/20.19 c (19,15) opt[148][2] = 0 35.12/20.19 c (19,15) opt[148][3] = 0 35.12/20.19 c (19,15) opt[148][4] = 0 35.12/20.19 c (19,15) opt[149][0] = 0 35.12/20.19 c (19,15) opt[149][1] = 0 35.12/20.19 c (19,15) opt[149][2] = 0 35.12/20.19 c (19,15) opt[149][3] = 0 35.12/20.19 c (19,15) opt[149][4] = 1 35.12/20.19 c (19,15) opt[150][0] = 0 35.12/20.19 c (19,15) opt[150][1] = 0 35.12/20.19 c (19,15) opt[150][2] = 1 35.12/20.19 c (19,15) opt[150][3] = 0 35.12/20.19 c (19,15) opt[150][4] = 0 35.12/20.19 c (19,15) opt[151][0] = 0 35.12/20.19 c (19,15) opt[151][1] = 1 35.12/20.19 c (19,15) opt[151][2] = 0 35.12/20.19 c (19,15) opt[151][3] = 0 35.12/20.19 c (19,15) opt[151][4] = 0 35.12/20.19 c (19,15) opt[152][0] = 0 35.12/20.19 c (19,15) opt[152][1] = 0 35.12/20.19 c (19,15) opt[152][2] = 0 35.12/20.19 c (19,15) opt[152][3] = 1 35.12/20.19 c (19,15) opt[152][4] = 0 35.12/20.19 c (19,15) opt[153][0] = 0 35.12/20.19 c (19,15) opt[153][1] = 0 35.12/20.19 c (19,15) opt[153][2] = 1 35.12/20.19 c (19,15) opt[153][3] = 0 35.12/20.19 c (19,15) opt[153][4] = 0 35.12/20.19 c (19,15) opt[154][0] = 0 35.12/20.19 c (19,15) opt[154][1] = 0 35.12/20.19 c (19,15) opt[154][2] = 0 35.12/20.19 c (19,15) opt[154][3] = 0 35.12/20.19 c (19,15) opt[154][4] = 1 35.12/20.19 c (19,15) opt[155][0] = 0 35.12/20.19 c (19,15) opt[155][1] = 1 35.12/20.19 c (19,15) opt[155][2] = 0 35.12/20.19 c (19,15) opt[155][3] = 0 35.12/20.19 c (19,15) opt[155][4] = 0 35.12/20.19 c (19,15) opt[156][0] = 0 35.12/20.19 c (19,15) opt[156][1] = 1 35.12/20.19 c (19,15) opt[156][2] = 0 35.12/20.19 c (19,15) opt[156][3] = 0 35.12/20.19 c (19,15) opt[156][4] = 0 35.12/20.19 c (19,15) opt[157][0] = 1 35.12/20.19 c (19,15) opt[157][1] = 0 35.12/20.19 c (19,15) opt[157][2] = 1 35.12/20.19 c (19,15) opt[157][3] = 1 35.12/20.19 c (19,15) opt[157][4] = 0 35.12/20.19 c (19,15) opt[158][0] = 0 35.12/20.19 c (19,15) opt[158][1] = 0 35.12/20.19 c (19,15) opt[158][2] = 0 35.12/20.19 c (19,15) opt[158][3] = 1 35.12/20.19 c (19,15) opt[158][4] = 0 35.12/20.19 c (19,15) opt[159][0] = 0 35.12/20.19 c (19,15) opt[159][1] = 0 35.12/20.19 c (19,15) opt[159][2] = 0 35.12/20.19 c (19,15) opt[159][3] = 0 35.12/20.19 c (19,15) opt[159][4] = 1 35.12/20.19 c (19,15) opt[160][0] = 0 35.12/20.19 c (19,15) opt[160][1] = 1 35.12/20.19 c (19,15) opt[160][2] = 0 35.12/20.19 c (19,15) opt[160][3] = 0 35.12/20.19 c (19,15) opt[160][4] = 0 35.12/20.19 c (19,15) opt[161][0] = 0 35.12/20.19 c (19,15) opt[161][1] = 1 35.12/20.19 c (19,15) opt[161][2] = 0 35.12/20.19 c (19,15) opt[161][3] = 0 35.12/20.19 c (19,15) opt[161][4] = 0 35.12/20.19 c (19,15) opt[162][0] = 0 35.12/20.19 c (19,15) opt[162][1] = 0 35.12/20.19 c (19,15) opt[162][2] = 1 35.12/20.19 c (19,15) opt[162][3] = 0 35.12/20.19 c (19,15) opt[162][4] = 0 35.12/20.19 c (19,15) opt[163][0] = 0 35.12/20.19 c (19,15) opt[163][1] = 0 35.12/20.19 c (19,15) opt[163][2] = 0 35.12/20.19 c (19,15) opt[163][3] = 1 35.12/20.19 c (19,15) opt[163][4] = 0 35.12/20.19 c (19,15) opt[164][0] = 0 35.12/20.19 c (19,15) opt[164][1] = 0 35.12/20.19 c (19,15) opt[164][2] = 0 35.12/20.19 c (19,15) opt[164][3] = 0 35.12/20.19 c (19,15) opt[164][4] = 1 35.12/20.19 c (19,15) opt[165][0] = 0 35.12/20.19 c (19,15) opt[165][1] = 0 35.12/20.19 c (19,15) opt[165][2] = 1 35.12/20.19 c (19,15) opt[165][3] = 0 35.12/20.19 c (19,15) opt[165][4] = 0 35.12/20.19 c (19,15) opt[166][0] = 0 35.12/20.19 c (19,15) opt[166][1] = 0 35.12/20.19 c (19,15) opt[166][2] = 0 35.12/20.19 c (19,15) opt[166][3] = 1 35.12/20.19 c (19,15) opt[166][4] = 0 35.12/20.19 c (19,15) opt[167][0] = 0 35.12/20.19 c (19,15) opt[167][1] = 1 35.12/20.19 c (19,15) opt[167][2] = 0 35.12/20.19 c (19,15) opt[167][3] = 0 35.12/20.19 c (19,15) opt[167][4] = 0 35.12/20.19 c (19,15) opt[168][0] = 0 35.12/20.19 c (19,15) opt[168][1] = 0 35.12/20.19 c (19,15) opt[168][2] = 1 35.12/20.19 c (19,15) opt[168][3] = 0 35.12/20.19 c (19,15) opt[168][4] = 0 35.12/20.19 c (19,15) opt[169][0] = 0 35.12/20.19 c (19,15) opt[169][1] = 0 35.12/20.19 c (19,15) opt[169][2] = 0 35.12/20.19 c (19,15) opt[169][3] = 0 35.12/20.19 c (19,15) opt[169][4] = 1 35.12/20.19 c (19,15) opt[170][0] = 0 35.12/20.19 c (19,15) opt[170][1] = 0 35.12/20.19 c (19,15) opt[170][2] = 0 35.12/20.19 c (19,15) opt[170][3] = 1 35.12/20.19 c (19,15) opt[170][4] = 0 35.12/20.19 c (19,15) opt[171][0] = 0 35.12/20.19 c (19,15) opt[171][1] = 0 35.12/20.19 c (19,15) opt[171][2] = 1 35.12/20.19 c (19,15) opt[171][3] = 0 35.12/20.19 c (19,15) opt[171][4] = 0 35.12/20.19 c (19,15) opt[172][0] = 0 35.12/20.19 c (19,15) opt[172][1] = 0 35.12/20.19 c (19,15) opt[172][2] = 0 35.12/20.19 c (19,15) opt[172][3] = 1 35.12/20.19 c (19,15) opt[172][4] = 0 35.12/20.19 c (19,15) opt[173][0] = 0 35.12/20.19 c (19,15) opt[173][1] = 1 35.12/20.19 c (19,15) opt[173][2] = 0 35.12/20.19 c (19,15) opt[173][3] = 0 35.12/20.19 c (19,15) opt[173][4] = 0 35.12/20.19 c (19,15) opt[174][0] = 1 35.12/20.19 c (19,15) opt[174][1] = 0 35.12/20.19 c (19,15) opt[174][2] = 1 35.12/20.19 c (19,15) opt[174][3] = 0 35.12/20.19 c (19,15) opt[174][4] = 1 35.12/20.19 c (19,15) opt[175][0] = 0 35.12/20.19 c (19,15) opt[175][1] = 0 35.12/20.19 c (19,15) opt[175][2] = 0 35.12/20.19 c (19,15) opt[175][3] = 1 35.12/20.19 c (19,15) opt[175][4] = 0 35.12/20.19 c (19,15) opt[176][0] = 0 35.12/20.19 c (19,15) opt[176][1] = 1 35.12/20.19 c (19,15) opt[176][2] = 0 35.12/20.19 c (19,15) opt[176][3] = 0 35.12/20.19 c (19,15) opt[176][4] = 0 35.12/20.19 c (19,15) opt[177][0] = 0 35.12/20.19 c (19,15) opt[177][1] = 0 35.12/20.19 c (19,15) opt[177][2] = 1 35.12/20.19 c (19,15) opt[177][3] = 0 35.12/20.19 c (19,15) opt[177][4] = 0 35.12/20.19 c (19,15) opt[178][0] = 0 35.12/20.19 c (19,15) opt[178][1] = 0 35.12/20.19 c (19,15) opt[178][2] = 0 35.12/20.19 c (19,15) opt[178][3] = 1 35.12/20.19 c (19,15) opt[178][4] = 0 35.12/20.19 c (19,15) opt[179][0] = 0 35.12/20.19 c (19,15) opt[179][1] = 0 35.12/20.19 c (19,15) opt[179][2] = 0 35.12/20.19 c (19,15) opt[179][3] = 0 35.12/20.19 c (19,15) opt[179][4] = 1 35.12/20.19 c (19,15) opt[180][0] = 0 35.12/20.19 c (19,15) opt[180][1] = 1 35.12/20.19 c (19,15) opt[180][2] = 0 35.12/20.19 c (19,15) opt[180][3] = 0 35.12/20.19 c (19,15) opt[180][4] = 0 35.12/20.19 c (19,15) opt[181][0] = 1 35.12/20.19 c (19,15) opt[181][1] = 0 35.12/20.19 c (19,15) opt[181][2] = 1 35.12/20.19 c (19,15) opt[181][3] = 1 35.12/20.19 c (19,15) opt[181][4] = 0 35.12/20.19 c (19,15) opt[182][0] = 0 35.12/20.19 c (19,15) opt[182][1] = 1 35.12/20.19 c (19,15) opt[182][2] = 0 35.12/20.19 c (19,15) opt[182][3] = 0 35.12/20.19 c (19,15) opt[182][4] = 0 35.12/20.19 c (19,15) opt[183][0] = 0 35.12/20.20 c (19,15) opt[183][1] = 0 35.12/20.20 c (19,15) opt[183][2] = 0 35.12/20.20 c (19,15) opt[183][3] = 1 35.12/20.20 c (19,15) opt[183][4] = 0 35.12/20.20 c (19,15) opt[184][0] = 0 35.12/20.20 c (19,15) opt[184][1] = 0 35.12/20.20 c (19,15) opt[184][2] = 0 35.12/20.20 c (19,15) opt[184][3] = 0 35.12/20.20 c (19,15) opt[184][4] = 1 35.12/20.20 c (19,15) opt[185][0] = 0 35.12/20.20 c (19,15) opt[185][1] = 1 35.12/20.20 c (19,15) opt[185][2] = 0 35.12/20.20 c (19,15) opt[185][3] = 0 35.12/20.20 c (19,15) opt[185][4] = 0 35.12/20.20 c (19,15) opt[186][0] = 0 35.12/20.20 c (19,15) opt[186][1] = 0 35.12/20.20 c (19,15) opt[186][2] = 1 35.12/20.20 c (19,15) opt[186][3] = 0 35.12/20.20 c (19,15) opt[186][4] = 0 35.12/20.20 c (19,15) opt[187][0] = 0 35.12/20.20 c (19,15) opt[187][1] = 1 35.12/20.20 c (19,15) opt[187][2] = 0 35.12/20.20 c (19,15) opt[187][3] = 0 35.12/20.20 c (19,15) opt[187][4] = 0 35.12/20.20 c (19,15) opt[188][0] = 0 35.12/20.20 c (19,15) opt[188][1] = 0 35.12/20.20 c (19,15) opt[188][2] = 0 35.12/20.20 c (19,15) opt[188][3] = 1 35.12/20.20 c (19,15) opt[188][4] = 0 35.12/20.20 c (19,15) opt[189][0] = 0 35.12/20.20 c (19,15) opt[189][1] = 1 35.12/20.20 c (19,15) opt[189][2] = 1 35.12/20.20 c (19,15) opt[189][3] = 0 35.12/20.20 c (19,15) opt[189][4] = 1 35.12/20.20 c (19,15) opt[190][0] = 0 35.12/20.20 c (19,15) opt[190][1] = 0 35.12/20.20 c (19,15) opt[190][2] = 0 35.12/20.20 c (19,15) opt[190][3] = 1 35.12/20.20 c (19,15) opt[190][4] = 0 35.12/20.20 c (19,15) opt[191][0] = 0 35.12/20.20 c (19,15) opt[191][1] = 1 35.12/20.20 c (19,15) opt[191][2] = 0 35.12/20.20 c (19,15) opt[191][3] = 0 35.12/20.20 c (19,15) opt[191][4] = 0 35.12/20.20 c (19,15) opt[192][0] = 1 35.12/20.20 c (19,15) opt[192][1] = 0 35.12/20.20 c (19,15) opt[192][2] = 0 35.12/20.20 c (19,15) opt[192][3] = 0 35.12/20.20 c (19,15) opt[192][4] = 0 35.12/20.20 c (19,15) opt[193][0] = 0 35.12/20.20 c (19,15) opt[193][1] = 0 35.12/20.20 c (19,15) opt[193][2] = 0 35.12/20.20 c (19,15) opt[193][3] = 1 35.12/20.20 c (19,15) opt[193][4] = 0 35.12/20.20 c (19,15) opt[194][0] = 0 35.12/20.20 c (19,15) opt[194][1] = 0 35.12/20.20 c (19,15) opt[194][2] = 0 35.12/20.20 c (19,15) opt[194][3] = 0 35.12/20.20 c (19,15) opt[194][4] = 1 35.12/20.20 c (19,15) opt[195][0] = 0 35.12/20.20 c (19,15) opt[195][1] = 1 35.12/20.20 c (19,15) opt[195][2] = 0 35.12/20.20 c (19,15) opt[195][3] = 0 35.12/20.20 c (19,15) opt[195][4] = 0 35.12/20.20 c (19,15) opt[196][0] = 0 35.12/20.20 c (19,15) opt[196][1] = 1 35.12/20.20 c (19,15) opt[196][2] = 0 35.12/20.20 c (19,15) opt[196][3] = 0 35.12/20.20 c (19,15) opt[196][4] = 0 35.12/20.20 c (19,15) opt[197][0] = 0 35.12/20.20 c (19,15) opt[197][1] = 0 35.12/20.20 c (19,15) opt[197][2] = 0 35.12/20.20 c (19,15) opt[197][3] = 1 35.12/20.20 c (19,15) opt[197][4] = 0 35.12/20.20 c (19,15) opt[198][0] = 0 35.12/20.20 c (19,15) opt[198][1] = 0 35.12/20.20 c (19,15) opt[198][2] = 0 35.12/20.20 c (19,15) opt[198][3] = 1 35.12/20.20 c (19,15) opt[198][4] = 0 35.12/20.20 c (19,15) opt[199][0] = 0 35.12/20.20 c (19,15) opt[199][1] = 0 35.12/20.20 c (19,15) opt[199][2] = 0 35.12/20.20 c (19,15) opt[199][3] = 0 35.12/20.20 c (19,15) opt[199][4] = 1 35.12/20.20 s SATISFIABLE 41.05/20.20 v <instantiation> 41.05/20.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> 41.05/20.22 v <values>7 8 4 10 13 13 7 12 13 8 13 13 11 13 4 7 8 8 7 2 4 8 13 13 7 8 4 7 8 13 7 8 4 8 2 13 7 13 4 7 8 13 7 8 4 8 2 13 16 10 4 8 13 13 7 8 4 8 13 13 7 8 4 7 8 13 7 8 4 5 13 16 7 8 4 14 8 13 7 8 4 8 13 13 7 13 4 7 8 13 7 8 4 8 13 13 7 4 13 8 8 13 7 1 8 7 8 16 15 13 8 7 8 4 11 13 13 7 8 8 7 4 13 7 8 8 11 13 4 7 13 8 3 13 4 7 13 8 7 4 8 2 13 7 1 8 8 7 13 4 7 13 8 7 4 13 13 0 8 4 13 13 7 8 4 7 8 13 7 4 8 7 8 13 6 8 13 7 8 4 13 0 13 8 4 13 7 13 8 9 8 13 16 8 4 13 13 8 8 4 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 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 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 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 0 0 0 0 1 0 0 0 1 0 1 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 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 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 0 0 0 0 1 1 1 0 1 0 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 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 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 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 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 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 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 0 1 0 0 0 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 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 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 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 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 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 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 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1</values> 41.05/20.22 v </instantiation> 41.05/20.22 c (19,15) Show results End 41.05/20.22 c (19,15) Heap : 4073 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 41.05/20.22 c (19,15) 0,0,9,9,10,10,15,19,19,STOP-AFTER(ALL) 41.05/20.22 c END-Prog: Fri Jul 27 06:12:20 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 (11739 MiB free) memory of node 1: 16384 MiB (15873 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296898-1532664720/watcher-4296898-1532664720 -o /tmp/evaluation-result-4296898-1532664720/solver-4296898-1532664720 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532663056-9008 --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-4296898-1532664720.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=9708, runsolver pid=9705 [startup+0.100182 s]* /proc/loadavg: 8.24 6.76 4.60 3/200 9728 /proc/meminfo: memFree=28184968/32770624 swapFree=67108860/67108860 [pid=9708] ppid=9705 vsize=27312552 memory=106972 CPUtime=0.1 cores=0-7 /proc/9708/stat : 9708 (java) S 9705 9708 8981 0 -1 1077944320 6280 0 0 0 8 2 0 0 20 0 20 0 84035185 27968053248 26743 33554432000 4194304 4196468 140734304342224 140734304324768 139968665222903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 /proc/9708/statm: 6828138 26743 2744 1 0 6790598 0 [pid=9708/tid=9710] ppid=9705 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/9708/task/9710/stat : 9710 (java) R 9705 9708 8981 0 -1 4202560 4375 0 0 0 7 2 0 0 20 0 20 0 84035186 27968053248 26743 33554432000 4194304 4196468 140734304342224 139968637028376 139968650388551 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9711] ppid=9705 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9708/task/9711/stat : 9711 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 26743 33554432000 4194304 4196468 140734304342224 139968669465232 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9712] ppid=9705 vsize=27312552 memory=139656954934912 CPUtime=0 cores=0-7 /proc/9708/task/9712/stat : 9712 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 26743 33554432000 4194304 4196468 140734304342224 139968489761296 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9713] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9713/stat : 9713 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 26743 33554432000 4194304 4196468 140734304342224 139968086067600 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9714] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9714/stat : 9714 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 26743 33554432000 4194304 4196468 140734304342224 139968085014800 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9715] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9715/stat : 9715 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 26743 33554432000 4194304 4196468 140734304342224 139968083963024 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9716] ppid=9705 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9708/task/9716/stat : 9716 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 26743 33554432000 4194304 4196468 140734304342224 139968082910224 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9717] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9717/stat : 9717 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 26743 33554432000 4194304 4196468 140734304342224 139968081857424 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9718] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9718/stat : 9718 (java) S 9705 9708 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 26743 33554432000 4194304 4196468 140734304342224 139968080804624 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9719] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9719/stat : 9719 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035190 27968053248 26743 33554432000 4194304 4196468 140734304342224 139967791524208 139968665234050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9720] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9720/stat : 9720 (java) S 9705 9708 8981 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84035190 27968053248 26743 33554432000 4194304 4196468 140734304342224 139966407500832 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9721] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9721/stat : 9721 (java) S 9705 9708 8981 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84035190 27968053248 26743 33554432000 4194304 4196468 140734304342224 139966273278832 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9722] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9722/stat : 9722 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 26743 33554432000 4194304 4196468 140734304342224 139965898774352 139968665241499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9723] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9723/stat : 9723 (java) S 9705 9708 8981 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 26743 33554432000 4194304 4196468 140734304342224 139967790472048 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9724] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9724/stat : 9724 (java) S 9705 9708 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 26743 33554432000 4194304 4196468 140734304342224 139967789419248 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9725] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9725/stat : 9725 (java) R 9705 9708 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 26743 33554432000 4194304 4196468 140734304342224 139967788366448 139968665234050 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9726] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9726/stat : 9726 (java) R 9705 9708 8981 0 -1 4202560 252 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 26743 33554432000 4194304 4196468 140734304342224 139967787313648 139968665234838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9727] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9727/stat : 9727 (java) S 9705 9708 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 26743 33554432000 4194304 4196468 140734304342224 139965400869472 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9728] ppid=9705 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9708/task/9728/stat : 9728 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 26743 33554432000 4194304 4196468 140734304342224 139967786261040 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 106972 KiB [startup+0.210053 s]* /proc/loadavg: 8.24 6.76 4.60 2/200 9728 /proc/meminfo: memFree=28166548/32770624 swapFree=67108860/67108860 [pid=9708] ppid=9705 vsize=27312552 memory=121144 CPUtime=0.25 cores=0-7 /proc/9708/stat : 9708 (java) S 9705 9708 8981 0 -1 1077944320 10069 0 0 0 21 4 0 0 20 0 20 0 84035185 27968053248 30286 33554432000 4194304 4196468 140734304342224 140734304324768 139968665222903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 /proc/9708/statm: 6828138 30286 2909 1 0 6790598 0 [pid=9708/tid=9710] ppid=9705 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/9708/task/9710/stat : 9710 (java) R 9705 9708 8981 0 -1 4202560 7959 0 0 0 16 3 0 0 20 0 20 0 84035186 27968053248 30286 33554432000 4194304 4196468 140734304342224 139968637013568 139968665244829 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9711] ppid=9705 vsize=27312552 memory=10823 CPUtime=0 cores=0-7 /proc/9708/task/9711/stat : 9711 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 30286 33554432000 4194304 4196468 140734304342224 139968669465232 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9712] ppid=9705 vsize=27312552 memory=139656954944077 CPUtime=0 cores=0-7 /proc/9708/task/9712/stat : 9712 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 30286 33554432000 4194304 4196468 140734304342224 139968489761296 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9713] ppid=9705 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9708/task/9713/stat : 9713 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 30286 33554432000 4194304 4196468 140734304342224 139968086067600 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9714] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9714/stat : 9714 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 30286 33554432000 4194304 4196468 140734304342224 139968085014800 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9715] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9715/stat : 9715 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 30286 33554432000 4194304 4196468 140734304342224 139968083963024 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9716] ppid=9705 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9708/task/9716/stat : 9716 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 30286 33554432000 4194304 4196468 140734304342224 139968082910224 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9717] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9717/stat : 9717 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 30286 33554432000 4194304 4196468 140734304342224 139968081857424 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9718] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9718/stat : 9718 (java) S 9705 9708 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 30286 33554432000 4194304 4196468 140734304342224 139968080804624 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9719] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9719/stat : 9719 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035190 27968053248 30286 33554432000 4194304 4196468 140734304342224 139967791524208 139968665234050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9720] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9720/stat : 9720 (java) S 9705 9708 8981 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84035190 27968053248 30351 33554432000 4194304 4196468 140734304342224 139966407500832 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9721] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9721/stat : 9721 (java) S 9705 9708 8981 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84035190 27968053248 30351 33554432000 4194304 4196468 140734304342224 139966273278832 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9722] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9722/stat : 9722 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 30351 33554432000 4194304 4196468 140734304342224 139965898774352 139968665241499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9723] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9723/stat : 9723 (java) S 9705 9708 8981 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 30351 33554432000 4194304 4196468 140734304342224 139967790472048 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9724] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9724/stat : 9724 (java) S 9705 9708 8981 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 30351 33554432000 4194304 4196468 140734304342224 139967789419248 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9725] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9725/stat : 9725 (java) S 9705 9708 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 30351 33554432000 4194304 4196468 140734304342224 139967788366448 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9726] ppid=9705 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/9708/task/9726/stat : 9726 (java) S 9705 9708 8981 0 -1 1077944384 286 0 0 0 2 0 0 0 20 0 20 0 84035193 27968053248 30351 33554432000 4194304 4196468 140734304342224 139967787313648 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9727] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9727/stat : 9727 (java) S 9705 9708 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 30351 33554432000 4194304 4196468 140734304342224 139965400869472 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9728] ppid=9705 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9708/task/9728/stat : 9728 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 30351 33554432000 4194304 4196468 140734304342224 139967786261040 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 121144 KiB [startup+0.309342 s]* /proc/loadavg: 8.24 6.76 4.60 2/200 9728 /proc/meminfo: memFree=28163012/32770624 swapFree=67108860/67108860 [pid=9708] ppid=9705 vsize=27312552 memory=125224 CPUtime=0.42 cores=0-7 /proc/9708/stat : 9708 (java) S 9705 9708 8981 0 -1 1077944320 10711 0 0 0 37 5 0 0 20 0 20 0 84035185 27968053248 31306 33554432000 4194304 4196468 140734304342224 140734304324768 139968665222903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 /proc/9708/statm: 6828138 31306 2973 1 0 6790598 0 [pid=9708/tid=9710] ppid=9705 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/9708/task/9710/stat : 9710 (java) R 9705 9708 8981 0 -1 4202560 8421 0 0 0 26 3 0 0 20 0 20 0 84035186 27968053248 31306 33554432000 4194304 4196468 140734304342224 139968637026832 139968646786455 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9711] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9711/stat : 9711 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 31306 33554432000 4194304 4196468 140734304342224 139968669465232 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9712] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9712/stat : 9712 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 31306 33554432000 4194304 4196468 140734304342224 139968489761296 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9713] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9713/stat : 9713 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 31306 33554432000 4194304 4196468 140734304342224 139968086067600 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9714] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9714/stat : 9714 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 31306 33554432000 4194304 4196468 140734304342224 139968085014800 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9715] ppid=9705 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/9708/task/9715/stat : 9715 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 31306 33554432000 4194304 4196468 140734304342224 139968083963024 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9716] ppid=9705 vsize=27312552 memory=139656834413487 CPUtime=0 cores=0-7 /proc/9708/task/9716/stat : 9716 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 31306 33554432000 4194304 4196468 140734304342224 139968082910224 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9717] ppid=9705 vsize=27312552 memory=139656834415792 CPUtime=0 cores=0-7 /proc/9708/task/9717/stat : 9717 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 31306 33554432000 4194304 4196468 140734304342224 139968081857424 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9718] ppid=9705 vsize=27312552 memory=139656834418096 CPUtime=0 cores=0-7 /proc/9708/task/9718/stat : 9718 (java) S 9705 9708 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84035188 27968053248 31306 33554432000 4194304 4196468 140734304342224 139968080804624 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9719] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9719/stat : 9719 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035190 27968053248 31306 33554432000 4194304 4196468 140734304342224 139967791524208 139968665234050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9720] ppid=9705 vsize=27312552 memory=279313668843152 CPUtime=0 cores=0-7 /proc/9708/task/9720/stat : 9720 (java) S 9705 9708 8981 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84035190 27968053248 31306 33554432000 4194304 4196468 140734304342224 139966407500832 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9721] ppid=9705 vsize=27312552 memory=279313668850064 CPUtime=0 cores=0-7 /proc/9708/task/9721/stat : 9721 (java) S 9705 9708 8981 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84035190 27968053248 31306 33554432000 4194304 4196468 140734304342224 139966273278832 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9722] ppid=9705 vsize=27312552 memory=279313668791312 CPUtime=0 cores=0-7 /proc/9708/task/9722/stat : 9722 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 31306 33554432000 4194304 4196468 140734304342224 139965898774352 139968665241499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9723] ppid=9705 vsize=27312552 memory=279313668863888 CPUtime=0.01 cores=0-7 /proc/9708/task/9723/stat : 9723 (java) S 9705 9708 8981 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 20 0 84035193 27968053248 31306 33554432000 4194304 4196468 140734304342224 139967790472048 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9724] ppid=9705 vsize=27312552 memory=279313668870800 CPUtime=0.02 cores=0-7 /proc/9708/task/9724/stat : 9724 (java) S 9705 9708 8981 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 84035193 27968053248 31306 33554432000 4194304 4196468 140734304342224 139967789419248 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9725] ppid=9705 vsize=27312552 memory=279313668868496 CPUtime=0 cores=0-7 /proc/9708/task/9725/stat : 9725 (java) S 9705 9708 8981 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 31306 33554432000 4194304 4196468 140734304342224 139967788366448 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9726] ppid=9705 vsize=27312552 memory=279313668885104 CPUtime=0.07 cores=0-7 /proc/9708/task/9726/stat : 9726 (java) S 9705 9708 8981 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 20 0 84035193 27968053248 31306 33554432000 4194304 4196468 140734304342224 139967787313648 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9727] ppid=9705 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9727/stat : 9727 (java) S 9705 9708 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 31306 33554432000 4194304 4196468 140734304342224 139965400869472 139968665233109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9728] ppid=9705 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9708/task/9728/stat : 9728 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035193 27968053248 31306 33554432000 4194304 4196468 140734304342224 139967786261040 139968665234050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 125224 KiB [startup+0.700794 s] /proc/loadavg: 8.24 6.76 4.60 2/200 9728 /proc/meminfo: memFree=28138456/32770624 swapFree=67108860/67108860 [pid=9708] ppid=9705 vsize=27318824 memory=162500 CPUtime=1.02 cores=0-7 /proc/9708/stat : 9708 (java) S 9705 9708 8981 0 -1 1077944320 17713 0 0 0 94 8 0 0 20 0 20 0 84035185 27974475776 40625 33554432000 4194304 4196468 140734304342224 140734304324768 139968665222903 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 /proc/9708/statm: 6829706 40625 3148 1 0 6791110 0 [pid=9708/tid=9710] ppid=9705 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7 /proc/9708/task/9710/stat : 9710 (java) R 9705 9708 8981 0 -1 4202560 14930 0 0 0 61 6 0 0 20 0 20 0 84035186 27974475776 40625 33554432000 4194304 4196468 140734304342224 139968637058224 139968665234838 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9711] ppid=9705 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9711/stat : 9711 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27974475776 40625 33554432000 4194304 4196468 140734304342224 139968669465232 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9712] ppid=9705 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9712/stat : 9712 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035188 27974475776 40625 33554432000 4194304 4196468 140734304342224 139968489761296 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9713] ppid=9705 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9713/stat : 9713 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27974475776 40625 33554432000 4194304 4196468 140734304342224 139968086067600 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9714] ppid=9705 vsize=27318824 memory=1812 CPUtime=0 cores=0-7 /proc/9708/task/9714/stat : 9714 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035188 27974475776 40625 33554432000 4194304 4196468 140734304342224 139968085014800 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9715] ppid=9705 vsize=27318824 memory=1020 CPUtime=0 cores=0-7 /proc/9708/task/9715/stat : 9715 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84035188 27974475776 40625 33554432000 4194304 4196468 140734304342224 139968083963024 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9716] ppid=9705 vsize=27318824 memory=5184 CPUtime=0 cores=0-7 /proc/9708/task/9716/stat : 9716 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27974475776 40625 33554432000 4194304 4196468 140734304342224 139968082910224 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9717] ppid=9705 vsize=27318824 memory=756 CPUtime=0 cores=0-7 /proc/9708/task/9717/stat : 9717 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84035188 27974475776 40625 33554432000 4194304 4196468 140734304342224 139968081857424 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9718] ppid=9705 vsize=27318824 memory=14572 CPUtime=0 cores=0-7 /proc/9708/task/9718/stat : 9718 (java) S 9705 9708 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84035188 27974475776 40625 33554432000 4194304 4196468 140734304342224 139968080804624 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9719] ppid=9705 vsize=27318824 memory=12708 CPUtime=0 cores=0-7 /proc/9708/task/9719/stat : 9719 (java) S 9705 9708 8981 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84035190 27974475776 40625 33554432000 4194304 4196468 140734304342224 139967791524208 139968665234050 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 ################ # More data... # ################ /proc/9708/task/9718/stat : 9718 (java) S 9705 9708 8981 0 -1 1077944384 72 0 0 0 5 3 0 0 20 0 24 0 84035188 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139968080804624 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9719] ppid=9705 vsize=27984808 memory=2204 CPUtime=0.01 cores=0-7 /proc/9708/task/9719/stat : 9719 (java) S 9705 9708 8981 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 24 0 84035190 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967791524208 139968665234050 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9720] ppid=9705 vsize=27984808 memory=1240 CPUtime=0 cores=0-7 /proc/9708/task/9720/stat : 9720 (java) S 9705 9708 8981 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 84035190 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139966407500832 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9721] ppid=9705 vsize=27984808 memory=1520 CPUtime=0 cores=0-7 /proc/9708/task/9721/stat : 9721 (java) S 9705 9708 8981 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 84035190 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139966273278832 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9722] ppid=9705 vsize=27984808 memory=844 CPUtime=0 cores=0-7 /proc/9708/task/9722/stat : 9722 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139965898774352 139968665241499 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9723] ppid=9705 vsize=27984808 memory=139656954933937 CPUtime=5.64 cores=0-7 /proc/9708/task/9723/stat : 9723 (java) S 9705 9708 8981 0 -1 1077944384 7904 0 0 0 562 2 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967790472048 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9724] ppid=9705 vsize=27984808 memory=0 CPUtime=5.44 cores=0-7 /proc/9708/task/9724/stat : 9724 (java) S 9705 9708 8981 0 -1 1077944384 7412 0 0 0 541 3 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967789419248 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9725] ppid=9705 vsize=27984808 memory=0 CPUtime=5.31 cores=0-7 /proc/9708/task/9725/stat : 9725 (java) S 9705 9708 8981 0 -1 1077944384 4426 0 0 0 530 1 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967788366448 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9726] ppid=9705 vsize=27984808 memory=0 CPUtime=1.71 cores=0-7 /proc/9708/task/9726/stat : 9726 (java) S 9705 9708 8981 0 -1 1077944384 4353 0 0 0 169 2 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967787313648 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9727] ppid=9705 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9727/stat : 9727 (java) S 9705 9708 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139965400869472 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9728] ppid=9705 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9728/stat : 9728 (java) S 9705 9708 8981 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967786261040 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9730] ppid=9705 vsize=27984808 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/9708/task/9730/stat : 9730 (java) S 9705 9708 8981 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84036819 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967768228928 139968665247513 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9732] ppid=9705 vsize=27984808 memory=288230613214036277 CPUtime=0 cores=0-7 /proc/9708/task/9732/stat : 9732 (java) S 9705 9708 8981 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 84036819 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139964729770032 139968665244829 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9733] ppid=9705 vsize=27984808 memory=13847486485760432 CPUtime=0 cores=0-7 /proc/9708/task/9733/stat : 9733 (java) S 9705 9708 8981 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 84036819 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139964998205360 139968665244829 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9734] ppid=9705 vsize=27984808 memory=5018040 CPUtime=0 cores=0-7 /proc/9708/task/9734/stat : 9734 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 84036821 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139964461342240 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 Current children cumulated CPU time: 37.89 s Current children cumulated vsize: 28145576 KiB Current children cumulated memory: 6161000 KiB [startup+20.0017 s]* /proc/loadavg: 6.59 6.48 4.55 10/213 9742 /proc/meminfo: memFree=21468848/32770624 swapFree=67108860/67108860 [pid=9708] ppid=9705 vsize=27984808 memory=6023612 CPUtime=35.03 cores=0-7 /proc/9708/stat : 9708 (java) S 9705 9708 8981 0 -1 1077944320 46946 0 0 0 3365 138 0 0 20 0 24 0 84035185 28656443392 1505903 33554432000 4194304 4196468 140734304342224 140734304324768 139968665222903 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 /proc/9708/statm: 6996202 1505903 3242 1 0 6957058 0 [pid=9729] ppid=9708 vsize=1338860 memory=744388 CPUtime=5.06 cores=0-7 /proc/9729/stat : 9729 (glucose-syrup) S 9708 9708 8981 0 -1 1077944320 157993 0 0 0 479 27 0 0 20 0 9 0 84036818 1370992640 186097 33554432000 4194304 4373367 140721972652032 140721972650576 139892552587906 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 29155328 140721972655025 140721972655276 140721972655276 140721972658119 0 /proc/9729/statm: 334715 186097 385 44 0 330403 0 [pid=9729/tid=9735] ppid=9708 vsize=1338860 memory=0 CPUtime=0.19 cores=0-7 /proc/9729/task/9735/stat : 9735 (glucose-syrup) R 9708 9708 8981 0 -1 4202560 1468 0 0 0 19 0 0 0 20 0 9 0 84037165 1370992640 186097 33554432000 4194304 4373367 140721972652032 139892472290504 4271897 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 29155328 140721972655025 140721972655276 140721972655276 140721972658119 0 [pid=9729/tid=9736] ppid=9708 vsize=1338860 memory=0 CPUtime=0.19 cores=0-7 /proc/9729/task/9736/stat : 9736 (glucose-syrup) R 9708 9708 8981 0 -1 4202560 1196 0 0 0 19 0 0 0 20 0 9 0 84037165 1370992640 186097 33554432000 4194304 4373367 140721972652032 139892463897800 4271897 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 29155328 140721972655025 140721972655276 140721972655276 140721972658119 0 [pid=9729/tid=9737] ppid=9708 vsize=1338860 memory=0 CPUtime=0.2 cores=0-7 /proc/9729/task/9737/stat : 9737 (glucose-syrup) R 9708 9708 8981 0 -1 4202560 1185 0 0 0 20 0 0 0 20 0 9 0 84037165 1370992640 186097 33554432000 4194304 4373367 140721972652032 139892455505096 139892538433833 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 29155328 140721972655025 140721972655276 140721972655276 140721972658119 0 [pid=9729/tid=9738] ppid=9708 vsize=1338860 memory=0 CPUtime=0.19 cores=0-7 /proc/9729/task/9738/stat : 9738 (glucose-syrup) R 9708 9708 8981 0 -1 4202560 1193 0 0 0 19 0 0 0 20 0 9 0 84037165 1370992640 186097 33554432000 4194304 4373367 140721972652032 139892447112072 4271925 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 29155328 140721972655025 140721972655276 140721972655276 140721972658119 0 [pid=9729/tid=9739] ppid=9708 vsize=1338860 memory=0 CPUtime=0.19 cores=0-7 /proc/9729/task/9739/stat : 9739 (glucose-syrup) R 9708 9708 8981 0 -1 4202560 1209 0 0 0 19 0 0 0 20 0 9 0 84037165 1370992640 186097 33554432000 4194304 4373367 140721972652032 139892438719688 139892537875262 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 29155328 140721972655025 140721972655276 140721972655276 140721972658119 0 [pid=9729/tid=9740] ppid=9708 vsize=1338860 memory=0 CPUtime=0.19 cores=0-7 /proc/9729/task/9740/stat : 9740 (glucose-syrup) R 9708 9708 8981 0 -1 4202560 1223 0 0 0 18 1 0 0 20 0 9 0 84037165 1370992640 186097 33554432000 4194304 4373367 140721972652032 139892430326984 4271828 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 29155328 140721972655025 140721972655276 140721972655276 140721972658119 0 [pid=9729/tid=9741] ppid=9708 vsize=1338860 memory=0 CPUtime=0.2 cores=0-7 /proc/9729/task/9741/stat : 9741 (glucose-syrup) R 9708 9708 8981 0 -1 4202560 1174 0 0 0 19 1 0 0 20 0 9 0 84037165 1370992640 186097 33554432000 4194304 4373367 140721972652032 139892421934280 4271925 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 29155328 140721972655025 140721972655276 140721972655276 140721972658119 0 [pid=9729/tid=9742] ppid=9708 vsize=1338860 memory=0 CPUtime=0.18 cores=0-7 /proc/9729/task/9742/stat : 9742 (glucose-syrup) R 9708 9708 8981 0 -1 1077944384 1232 0 0 0 17 1 0 0 20 0 9 0 84037165 1370992640 186097 33554432000 4194304 4373367 140721972652032 139892413541576 139892538433788 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 29155328 140721972655025 140721972655276 140721972655276 140721972658119 0 [pid=9708/tid=9710] ppid=9705 vsize=27984808 memory=-3622645143214314312 CPUtime=16.18 cores=0-7 /proc/9708/task/9710/stat : 9710 (java) S 9705 9708 8981 0 -1 1077944384 20899 0 0 0 1517 101 0 0 20 0 24 0 84035186 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139968637062144 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9711] ppid=9705 vsize=27984808 memory=4872558044660077418 CPUtime=0.08 cores=0-7 /proc/9708/task/9711/stat : 9711 (java) S 9705 9708 8981 0 -1 1077944384 51 0 0 0 5 3 0 0 20 0 24 0 84035188 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139968669465232 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9712] ppid=9705 vsize=27984808 memory=7300447616039937383 CPUtime=0.08 cores=0-7 /proc/9708/task/9712/stat : 9712 (java) S 9705 9708 8981 0 -1 1077944384 48 0 0 0 5 3 0 0 20 0 24 0 84035188 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139968489761296 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9713] ppid=9705 vsize=27984808 memory=7300447616039937383 CPUtime=0.07 cores=0-7 /proc/9708/task/9713/stat : 9713 (java) S 9705 9708 8981 0 -1 1077944384 46 0 0 0 4 3 0 0 20 0 24 0 84035188 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139968086067600 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9714] ppid=9705 vsize=27984808 memory=8025811899208133226 CPUtime=0.07 cores=0-7 /proc/9708/task/9714/stat : 9714 (java) S 9705 9708 8981 0 -1 1077944384 75 0 0 0 5 2 0 0 20 0 24 0 84035188 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139968085014800 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9715] ppid=9705 vsize=27984808 memory=5787216030801876833 CPUtime=0.07 cores=0-7 /proc/9708/task/9715/stat : 9715 (java) S 9705 9708 8981 0 -1 1077944384 44 0 0 0 5 2 0 0 20 0 24 0 84035188 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139968083963024 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9716] ppid=9705 vsize=27984808 memory=7235103601228736108 CPUtime=0.08 cores=0-7 /proc/9708/task/9716/stat : 9716 (java) S 9705 9708 8981 0 -1 1077944384 85 0 0 0 4 4 0 0 20 0 24 0 84035188 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139968082910224 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9717] ppid=9705 vsize=27984808 memory=7230918705353485158 CPUtime=0.07 cores=0-7 /proc/9708/task/9717/stat : 9717 (java) S 9705 9708 8981 0 -1 1077944384 100 0 0 0 5 2 0 0 20 0 24 0 84035188 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139968081857424 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9718] ppid=9705 vsize=27984808 memory=279311991523536 CPUtime=0.08 cores=0-7 /proc/9708/task/9718/stat : 9718 (java) S 9705 9708 8981 0 -1 1077944384 72 0 0 0 5 3 0 0 20 0 24 0 84035188 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139968080804624 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9719] ppid=9705 vsize=27984808 memory=301797251066636544 CPUtime=0.01 cores=0-7 /proc/9708/task/9719/stat : 9719 (java) S 9705 9708 8981 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 24 0 84035190 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967791524208 139968665234050 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9720] ppid=9705 vsize=27984808 memory=288283385594666150 CPUtime=0 cores=0-7 /proc/9708/task/9720/stat : 9720 (java) S 9705 9708 8981 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 84035190 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139966407500832 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9721] ppid=9705 vsize=27984808 memory=-7737605721172012177 CPUtime=0 cores=0-7 /proc/9708/task/9721/stat : 9721 (java) S 9705 9708 8981 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 84035190 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139966273278832 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9722] ppid=9705 vsize=27984808 memory=7450449580831239529 CPUtime=0 cores=0-7 /proc/9708/task/9722/stat : 9722 (java) S 9705 9708 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139965898774352 139968665241499 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9723] ppid=9705 vsize=27984808 memory=83605833403399 CPUtime=5.64 cores=0-7 /proc/9708/task/9723/stat : 9723 (java) S 9705 9708 8981 0 -1 1077944384 7904 0 0 0 562 2 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967790472048 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9724] ppid=9705 vsize=27984808 memory=0 CPUtime=5.44 cores=0-7 /proc/9708/task/9724/stat : 9724 (java) S 9705 9708 8981 0 -1 1077944384 7412 0 0 0 541 3 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967789419248 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9725] ppid=9705 vsize=27984808 memory=0 CPUtime=5.31 cores=0-7 /proc/9708/task/9725/stat : 9725 (java) S 9705 9708 8981 0 -1 1077944384 4426 0 0 0 530 1 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967788366448 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9726] ppid=9705 vsize=27984808 memory=0 CPUtime=1.71 cores=0-7 /proc/9708/task/9726/stat : 9726 (java) S 9705 9708 8981 0 -1 1077944384 4353 0 0 0 169 2 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967787313648 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9727] ppid=9705 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9727/stat : 9727 (java) S 9705 9708 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139965400869472 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9728] ppid=9705 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9728/stat : 9728 (java) S 9705 9708 8981 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 84035193 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967786261040 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9730] ppid=9705 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9730/stat : 9730 (java) S 9705 9708 8981 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84036819 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139967768228928 139968665247513 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9732] ppid=9705 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9732/stat : 9732 (java) S 9705 9708 8981 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 84036819 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139964729770032 139968665244829 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9733] ppid=9705 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9733/stat : 9733 (java) S 9705 9708 8981 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 84036819 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139964998205360 139968665244829 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9734] ppid=9705 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9708/task/9734/stat : 9734 (java) S 9705 9708 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 84036821 28656443392 1505903 33554432000 4194304 4196468 140734304342224 139964461342240 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 Current children cumulated CPU time: 40.09 s Current children cumulated vsize: 29323668 KiB Current children cumulated memory: 6768000 KiB [startup+20.2011 s] /proc/loadavg: 6.59 6.48 4.55 10/213 9742 /proc/meminfo: memFree=21468848/32770624 swapFree=67108860/67108860 [pid=9708] ppid=9705 vsize=27853732 memory=6021832 CPUtime=41.05 cores=0-7 /proc/9708/stat : 9708 (java) S 9705 9708 8981 0 -1 1077944320 47030 159142 0 0 3397 138 540 30 20 0 22 0 84035185 28522221568 1505458 33554432000 4194304 4196468 140734304342224 140734304324768 139968665222903 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 /proc/9708/statm: 6963433 1505458 3242 1 0 6924289 0 [pid=9708/tid=9710] ppid=9705 vsize=27853732 memory=301741412096147765 CPUtime=21.93 cores=0-7 /proc/9708/task/9710/stat : 9710 (java) R 9705 9708 8981 0 -1 4202560 20954 159142 0 0 1522 101 540 30 20 0 22 0 84035186 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139968637049024 139968176614121 0 4 0 25189583 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9711] ppid=9705 vsize=27853732 memory=13847486485760432 CPUtime=5.78 cores=0-7 /proc/9708/task/9711/stat : 9711 (java) S 9705 9708 8981 0 -1 1077944384 51 159142 0 0 5 3 540 30 20 0 22 0 84035188 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139968669465232 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9712] ppid=9705 vsize=27853732 memory=0 CPUtime=5.78 cores=0-7 /proc/9708/task/9712/stat : 9712 (java) S 9705 9708 8981 0 -1 1077944384 48 159142 0 0 5 3 540 30 20 0 22 0 84035188 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139968489761296 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9713] ppid=9705 vsize=27853732 memory=0 CPUtime=5.77 cores=0-7 /proc/9708/task/9713/stat : 9713 (java) S 9705 9708 8981 0 -1 1077944384 46 159142 0 0 4 3 540 30 20 0 22 0 84035188 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139968086067600 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9714] ppid=9705 vsize=27853732 memory=7014751519600367977 CPUtime=5.77 cores=0-7 /proc/9708/task/9714/stat : 9714 (java) S 9705 9708 8981 0 -1 1077944384 75 159142 0 0 5 2 540 30 20 0 22 0 84035188 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139968085014800 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9715] ppid=9705 vsize=27853732 memory=7307491066002368341 CPUtime=5.77 cores=0-7 /proc/9708/task/9715/stat : 9715 (java) S 9705 9708 8981 0 -1 1077944384 44 159142 0 0 5 2 540 30 20 0 22 0 84035188 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139968083963024 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9716] ppid=9705 vsize=27853732 memory=8027219214381836911 CPUtime=5.78 cores=0-7 /proc/9708/task/9716/stat : 9716 (java) S 9705 9708 8981 0 -1 1077944384 85 159142 0 0 4 4 540 30 20 0 22 0 84035188 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139968082910224 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9717] ppid=9705 vsize=27853732 memory=4639074098508484690 CPUtime=5.77 cores=0-7 /proc/9708/task/9717/stat : 9717 (java) S 9705 9708 8981 0 -1 1077944384 100 159142 0 0 5 2 540 30 20 0 22 0 84035188 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139968081857424 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9718] ppid=9705 vsize=27853732 memory=5793438261559256933 CPUtime=5.78 cores=0-7 /proc/9708/task/9718/stat : 9718 (java) S 9705 9708 8981 0 -1 1077944384 72 159142 0 0 5 3 540 30 20 0 22 0 84035188 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139968080804624 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9719] ppid=9705 vsize=27853732 memory=7595443278714332758 CPUtime=5.71 cores=0-7 /proc/9708/task/9719/stat : 9719 (java) S 9705 9708 8981 0 -1 1077944384 27 159142 0 0 1 0 540 30 20 0 22 0 84035190 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139967791524208 139968665234050 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9720] ppid=9705 vsize=27853732 memory=7738707431804588882 CPUtime=5.7 cores=0-7 /proc/9708/task/9720/stat : 9720 (java) S 9705 9708 8981 0 -1 1077944384 14 159142 0 0 0 0 540 30 20 0 22 0 84035190 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139966407500832 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9721] ppid=9705 vsize=27853732 memory=7380669062405645648 CPUtime=5.7 cores=0-7 /proc/9708/task/9721/stat : 9721 (java) S 9705 9708 8981 0 -1 1077944384 23 159142 0 0 0 0 540 30 20 0 22 0 84035190 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139966273278832 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9722] ppid=9705 vsize=27853732 memory=-9178176117148050014 CPUtime=5.7 cores=0-7 /proc/9708/task/9722/stat : 9722 (java) S 9705 9708 8981 0 -1 1077944384 1 159142 0 0 0 0 540 30 20 0 22 0 84035193 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139965898774352 139968665241499 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9723] ppid=9705 vsize=27853732 memory=4872558044660077418 CPUtime=11.4 cores=0-7 /proc/9708/task/9723/stat : 9723 (java) S 9705 9708 8981 0 -1 1077944384 7904 159142 0 0 568 2 540 30 20 0 22 0 84035193 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139967790472048 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9724] ppid=9705 vsize=27853732 memory=6935651454918152272 CPUtime=11.18 cores=0-7 /proc/9708/task/9724/stat : 9724 (java) S 9705 9708 8981 0 -1 1077944384 7415 159142 0 0 545 3 540 30 20 0 22 0 84035193 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139967789419248 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9725] ppid=9705 vsize=27853732 memory=6154538792250073449 CPUtime=11.07 cores=0-7 /proc/9708/task/9725/stat : 9725 (java) S 9705 9708 8981 0 -1 1077944384 4426 159142 0 0 536 1 540 30 20 0 22 0 84035193 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139967788366448 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9726] ppid=9705 vsize=27853732 memory=6004820471124940137 CPUtime=7.46 cores=0-7 /proc/9708/task/9726/stat : 9726 (java) S 9705 9708 8981 0 -1 1077944384 4360 159142 0 0 174 2 540 30 20 0 22 0 84035193 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139967787313648 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9727] ppid=9705 vsize=27853732 memory=5787213827113576551 CPUtime=5.7 cores=0-7 /proc/9708/task/9727/stat : 9727 (java) S 9705 9708 8981 0 -1 1077944384 3 159142 0 0 0 0 540 30 20 0 22 0 84035193 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139965400869472 139968665233109 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9728] ppid=9705 vsize=27853732 memory=7523635247625295465 CPUtime=5.7 cores=0-7 /proc/9708/task/9728/stat : 9728 (java) S 9705 9708 8981 0 -1 1077944384 6 159142 0 0 0 0 540 30 20 0 22 0 84035193 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139967786261040 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9730] ppid=9705 vsize=27853732 memory=7223887401239728208 CPUtime=5.7 cores=0-7 /proc/9708/task/9730/stat : 9730 (java) S 9705 9708 8981 0 -1 1077944384 25 159142 0 0 0 0 540 30 20 0 22 0 84036819 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139967768228112 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 [pid=9708/tid=9734] ppid=9705 vsize=27853732 memory=6011582455170296678 CPUtime=5.7 cores=0-7 /proc/9708/task/9734/stat : 9734 (java) S 9705 9708 8981 0 -1 1077944384 8 159142 0 0 0 0 540 30 20 0 22 0 84036821 28522221568 1505458 33554432000 4194304 4196468 140734304342224 139964461344048 139968665234050 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32182272 140734304351193 140734304351493 140734304351493 140734304354255 0 Current children cumulated CPU time: 41.05 s Current children cumulated vsize: 27853732 KiB Current children cumulated memory: 6021832 KiB Child status: 0 Real time (s): 20.2689 CPU time (s): 41.1183 CPU user time (s): 39.3802 CPU system time (s): 1.7381 CPU usage (%): 202.864 Max. virtual memory (cumulated for all children) (KiB): 29323668 Max. memory (cumulated for all children) (KiB): 6768000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 39.3802 system time used= 1.7381 maximum resident set size= 6023612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 206198 page faults= 0 swaps= 0 block input operations= 0 block output operations= 89056 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20560 involuntary context switches= 94 # summary of solver processes directly reported to runsolver: # pid: 9708 # total CPU time (s): 41.1183 # total CPU user time (s): 39.3802 # total CPU system time (s): 1.7381 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.173793 second user time and 0.244766 second system time The end
Begin job on node136 at 2018-07-27 06:12:00 IDJOB=4296898 IDBENCH=141461 IDSOLVER=2758 FILE ID=node136/4296898-1532664720 RUNJOBID= node136-1532663056-9008 PBS_JOBID= 21022229 Free space on /tmp= 55796 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/CarSequencing/CarSequencing-60-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-4296898-1532664720/watcher-4296898-1532664720 -o /tmp/evaluation-result-4296898-1532664720/solver-4296898-1532664720 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532663056-9008 --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-4296898-1532664720.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7d15061b3f8ae249c0a64b716749507b RANDOM SEED=469245048 node136.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.50 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.50 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.50 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.50 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: 28276196 kB MemAvailable: 31959804 kB Buffers: 148348 kB Cached: 3796412 kB SwapCached: 0 kB Active: 1674416 kB Inactive: 2323872 kB Active(anon): 1996 kB Inactive(anon): 79104 kB Active(file): 1672420 kB Inactive(file): 2244768 kB Unevictable: 7336 kB Mlocked: 7336 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8224 kB Writeback: 28 kB AnonPages: 60012 kB Mapped: 30032 kB Shmem: 25228 kB Slab: 192240 kB SReclaimable: 164512 kB SUnreclaim: 27728 kB KernelStack: 3216 kB PageTables: 4688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324988 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: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 55788 MiB End job on node136 at 2018-07-27 06:12:21