| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-07) | SAT | 112.985 | 33.9129 |
| Name | CarSequencing/ CarSequencing-75-02_c18.xml |
| MD5SUM | b40938607e467681e9fbf6ea551bf52a |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 8.45662 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1416 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 24 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":24,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 64 |
| Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":40,"count":14}, {"degree":41,"count":14}, {"degree":42,"count":29}, {"degree":43,"count":8}, {"degree":44,"count":8}, {"degree":45,"count":8}, {"degree":46,"count":9}, {"degree":47,"count":9}, {"degree":48,"count":74}, {"degree":49,"count":5}, {"degree":50,"count":5}, {"degree":51,"count":5}, {"degree":52,"count":5}, {"degree":53,"count":5}, {"degree":54,"count":5}, {"degree":55,"count":5}, {"degree":56,"count":6}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":3}, {"degree":64,"count":79}] |
| 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":2},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":2},{"arity":47,"count":1},{"arity":50,"count":3},{"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":2},{"arity":74,"count":2},{"arity":75,"count":2},"...",{"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":1215},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.66/0.53 0.66/0.54 scop order+glucose-syrup (2018-07-07) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Fri Jul 27 06:20:35 CEST 2018 0.66/0.56 c PID: 17508 0.66/0.56 c IP: 172.20.3.105 0.66/0.56 c HOST: node105.alineos.net 0.66/0.57 c (0,0) Parsing Begin 3.29/1.40 c (0,0) Parsing End 3.29/1.41 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1416 ctr, max domain size 24 3.29/1.41 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.29/1.41 c (0,0) Constraint Name Generate Begin 3.29/1.44 c (0,0) Ctr:HOME/instance-4296904-1532665235.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum 3.29/1.44 c (0,0) Constraint Name Generate End 3.29/1.44 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.29/1.44 c (0,0) CSP to CSPinCNF Begin 12.08/4.62 c (4,3) translated 142 (10%) constraints 12.52/5.10 c (4,4) translated 284 (20%) constraints 12.70/5.12 c (4,4) translated 425 (30%) constraints 12.70/5.15 c (4,4) translated 567 (40%) constraints 12.70/5.18 c (4,4) translated 708 (50%) constraints 13.15/5.20 c (4,4) translated 850 (60%) constraints 13.15/5.21 c (4,4) translated 992 (70%) constraints 13.15/5.23 c (4,4) translated 1133 (80%) constraints 15.07/6.61 c (6,5) translated 1275 (90%) constraints 16.10/7.68 c (7,6) translated 1416 (100%) constraints 17.52/8.25 c (7,7) STATISTICS1:HOME/instance-4296904-1532665235.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16200,55839,9223372036854775807,24,25,200,9223372036854775807:255;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:3;70368744177664:1;17592186044416:2;8796093022208:1;1099511627776:1;549755813888:2;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,24:18800;2:156165,25:200;3:28800;2:25600;1:1239,200:53;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;77:2;75:2;74:2;71:2;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:3;47:1;45:2;44:1;41:1;40:2;35:1;30:1;25:1;5:392;3:396;2:199;1:142400;0:200,17689:53;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2601:2;2500:2;2401:2;2209:2;2116:2;2025:1;1849:3 17.52/8.25 c (7,7) =========================================== 17.52/8.25 c (7,7) Order 17.52/8.25 c (7,7) =========================================== 20.03/9.02 c (8,8) translated 5584 (10%) constraints 20.54/9.25 c (8,8) translated 11168 (20%) constraints 20.85/9.34 c (8,8) translated 16752 (30%) constraints 20.94/9.43 c (8,8) translated 22336 (40%) constraints 21.04/9.53 c (8,8) translated 27920 (50%) constraints 21.15/9.62 c (9,8) translated 33504 (60%) constraints 21.25/9.71 c (9,9) translated 39088 (70%) constraints 21.34/9.80 c (9,9) translated 44672 (80%) constraints 21.34/9.89 c (9,9) translated 50256 (90%) constraints 26.39/12.00 c (11,11) translated 55839 (100%) constraints 26.63/12.02 c (11,11) CSP to CSPinCNF End 26.63/12.03 c (11,11) CSP: 3970 int (3770 aux), 20827 bool (19827 aux), 75237 ctr, max domain size 68 26.63/12.03 c (11,11) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 26.63/12.03 c (11,11) CSPinCNF Propagation Begin 28.15/12.53 c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed 28.15/12.53 c (11,11) CSPinCNF Propagation End 28.15/12.54 c (11,11) CSP: 3970 int (3770 aux), 20827 bool (19827 aux), 74837 ctr, max domain size 68 28.15/12.54 c (11,11) Heap : 5519 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 28.15/12.54 c (11,11) Simplify CSPinCNF Begin 28.62/12.72 c (12,12) Simplify CSPinCNF End 28.62/12.73 c (12,12) CSP: 3970 int (3770 aux), 20827 bool (19827 aux), 74837 ctr, max domain size 68 28.62/12.73 c (12,12) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 28.62/12.73 c (12,12) Calculate Precise Domain Begin 28.62/12.78 c (12,12) 0 values are removed by re-calculation 28.62/12.78 c (12,12) Calculate Precise Domain End 28.62/12.78 c (12,12) CSP: 3970 int (3770 aux), 20827 bool (19827 aux), 74837 ctr, max domain size 68 28.62/12.78 c (12,12) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 28.62/12.78 c (12,12) CSPinCNF to SatSolver Begin 32.77/14.90 c (14,14) 7484 (10 %) CSP clauses are encoded (91214 SAT variables, 549128 SAT clauses) 32.77/14.97 c (14,14) 14968 (20 %) CSP clauses are encoded (91214 SAT variables, 556612 SAT clauses) 33.05/15.04 c (14,14) 22452 (30 %) CSP clauses are encoded (91214 SAT variables, 564096 SAT clauses) 33.05/15.09 c (14,14) 29935 (40 %) CSP clauses are encoded (91214 SAT variables, 571579 SAT clauses) 33.28/15.13 c (14,14) 37419 (50 %) CSP clauses are encoded (91214 SAT variables, 579063 SAT clauses) 33.28/15.16 c (14,14) 44903 (60 %) CSP clauses are encoded (91214 SAT variables, 586547 SAT clauses) 33.37/15.20 c (14,14) 52386 (70 %) CSP clauses are encoded (91214 SAT variables, 594030 SAT clauses) 33.37/15.24 c (14,14) 59870 (80 %) CSP clauses are encoded (91214 SAT variables, 601514 SAT clauses) 33.68/15.53 c (14,14) 67354 (90 %) CSP clauses are encoded (91214 SAT variables, 715063 SAT clauses) 38.36/20.04 c (19,18) 74837 (100 %) CSP clauses are encoded (91214 SAT variables, 2331338 SAT clauses) 38.36/20.04 c (19,18) CSPinCNF to SatSolver End 38.36/20.04 c (19,18) Heap : 538 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 39.19/20.40 c (19,19) STATISTICS2:HOME/instance-4296904-1532665235.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,24797,74837,4556,68,24,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:3;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:3;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:5;1892:3;1849:1;1806:4;1764:1;1722:3;1681:3;1640:2;1600:1;1560:3;1521:3;1482:2;1444:1;1406:5;1369:1;1332:2;1296:3;1260:3;1225:1;1190:16;1156:18;1122:19;1089:14;1056:18;1024:283;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:19;729:15;702:14;676:19;650:14;625:15;600:16;576:15;552:17;529:13;512:707;506:17;484:15;462:13;441:19;420:13;400:23;380:15;361:15;342:17;324:35;306:97;289:87;272:69;270:4;256:1839;255:8;240:69;234:4;225:79;221:8;210:71;196:67;182:70;180:8;170:16;169:72;156:65;144:67;136:8;132:61;128:1140;121:68;110:61;108:4;102:8;100:79;96:252;90:535;85:32;81:474;72:303;68:16;64:1096;56:275;54:20;51:40;49:264;36:20;34:24;25:284;16:912;9:40;4:420;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:26;54:28;53:30;52:24;51:34;50:24;49:30;48:28;47:26;46:32;45:26;44:40;43:30;42:24;41:34;40:24;39:30;38:28;37:26;36:32;35:54;34:148;33:142;32:172;31:150;30:136;29:142;28:140;27:130;26:140;25:128;24:27728;23:126;22:122;21:134;20:158;19:126;18:1038;17:982;16:590;15:606;14:550;13:564;12:1008;11:518;10:1486;9:3524;8:2316;7:1606;6:36;5:1152;4:72;3:180;2:175073,24:200;3:28400;2:35200;1:11037,11:259;10:707;9:1762;8:1140;7:803;5:1148;3:5019;2:199;1:160400, 39.19/20.40 c (19,19) SatSolver.solve Begin 39.19/20.40 c (19,19) 91214 bool, 2332459 clause 39.19/20.40 c (19,19) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296904-1532665235.xml-scop-17508.cnf HOME/instance-4296904-1532665235.xml-scop-17508.cnf.out 112.34/33.72 c (33,0) c 112.34/33.72 c (33,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 112.34/33.72 c (33,0) c 112.34/33.72 c (33,0) c WARNING: for repeatability, setting FPU to use double precision 112.34/33.72 c (33,0) c 8 solvers engines and 1 companion as a blackboard created. 112.34/33.72 c (33,0) c ========================================[ Problem Statistics ]=========================================== 112.34/33.72 c (33,0) c | | 112.34/33.72 c (33,0) c | Number of variables: 91214 | 112.34/33.72 c (33,0) c | Number of clauses: 2332211 | 112.34/33.72 c (33,0) c | Parse time: 0.78 s | 112.34/33.72 c (33,0) c | | 112.34/33.73 c (33,0) c | Eliminated clauses: 0.32 Mb | 112.34/33.73 c (33,0) c | Simplification time: 3.32 s | 112.34/33.73 c (33,0) c | | 112.34/33.73 c (33,0) c | Generating clones | 112.34/33.73 c (33,0) c | all clones generated. Memory = 1018.45Mb. | 112.34/33.73 c (33,0) c ========================================================================================================| 112.34/33.73 c (33,0) c 112.34/33.73 c (33,0) c |-------------------------------------------------------------------------------------------------------| 112.34/33.73 c (33,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 112.34/33.73 c (33,0) c |-------------------------------------------------------------------------------------------------------| 112.34/33.73 c (33,0) c | 0 | 65 | 97617 | 8944 | 25356 | 5150 | 649 | 15229 | 28 | 5.468 | 112.34/33.73 c (33,0) c | 1 | 68 | 80831 | 15308 | 29502 | 6519 | 1504 | 14060 | 29 | 5.468 | 112.34/33.73 c (33,0) c | 2 | 49 | 83387 | 17502 | 25249 | 8706 | 2477 | 13628 | 23 | 5.468 | 112.34/33.73 c (33,0) c | 3 | 73 | 78184 | 24532 | 24145 | 8345 | 3585 | 12451 | 28 | 5.468 | 112.34/33.73 c (33,0) c | 4 | 52 | 65009 | 16182 | 18533 | 7393 | 2086 | 14082 | 19 | 5.468 | 112.34/33.73 c (33,0) c | 5 | 85 | 85799 | 18620 | 25498 | 9829 | 2134 | 12899 | 29 | 5.468 | 112.34/33.73 c (33,0) c | 6 | 71 | 72621 | 17282 | 23969 | 8494 | 2256 | 13501 | 35 | 5.468 | 112.34/33.73 c (33,0) c | 7 | 94 | 77759 | 17620 | 32534 | 8829 | 1499 | 14172 | 33 | 5.468 | 112.34/33.73 c (33,0) c 112.34/33.73 c (33,0) c synthesis 135996 conflicts 112356141 propagations 3436 conflicts/sec 2838812 propagations/sec 112.34/33.73 c (33,0) c Total Memory so far : 1635.14Mb 112.34/33.73 c (33,0) c last restart ## conflicts : 71 2242 112.34/33.73 c (33,0) c Thread 2 is 100% pure glucose! First thread to finish! (SAT answer). 112.34/33.73 c (33,0) c Total Memory so far : 1640.66Mb 112.34/33.73 c (33,0) c 112.34/33.73 c (33,0) c real time : 13.3106 s 112.34/33.73 c (33,0) c cpu time : 71.4238 s 112.34/33.73 c (33,0) c 112.34/33.73 c (33,0) c 112.34/33.73 c (33,0) c 112.34/33.73 c (33,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 112.34/33.73 c (33,0) c 112.34/33.73 c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 112.34/33.73 c (33,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 112.34/33.73 c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 112.34/33.73 c (33,0) c | Conflicts | 292192 | 30614 | 32653 | 38014 | 39018 | 37014 | 39093 | 39785 | 36001 | 112.34/33.73 c (33,0) c | Decisions | 1148209 | 153063 | 145319 | 138603 | 158743 | 127777 | 148482 | 125976 | 150246 | 112.34/33.73 c (33,0) c | Propagations | 223544808 | 24434467 | 26641324 | 27635010 | 29186541 | 28561630 | 29575713 | 28251552 | 29258571 | 112.34/33.73 c (33,0) c | Avg_Trail | | 18230 | 21542 | 18563 | 18664 | 18838 | 17857 | 17370 | 20846 | 112.34/33.73 c (33,0) c | Avg_DL | | 107 | 154 | 124 | 119 | 110 | 108 | 115 | 143 | 112.34/33.73 c (33,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 112.34/33.73 c (33,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 112.34/33.73 c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 112.34/33.73 c (33,0) c | Exported | 38581 | 4074 | 4475 | 5400 | 5401 | 5344 | 4480 | 5738 | 3669 | 112.34/33.73 c (33,0) c | Imported | 268977 | 34457 | 34053 | 32796 | 33132 | 32978 | 34065 | 32613 | 34883 | 112.34/33.73 c (33,0) c | Good | 10497 | 1305 | 1298 | 1252 | 1308 | 1335 | 1321 | 1346 | 1332 | 112.34/33.73 c (33,0) c | Purge | 258480 | 33152 | 32755 | 31544 | 31824 | 31643 | 32744 | 31267 | 33551 | 112.34/33.73 c (33,0) c | Promoted | 1087 | 78 | 149 | 97 | 191 | 154 | 136 | 121 | 161 | 112.34/33.73 c (33,0) c | Remove_Imp | 91418 | 13952 | 7929 | 11565 | 8868 | 12093 | 11003 | 10939 | 15069 | 112.34/33.73 c (33,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 112.34/33.73 c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 112.34/33.73 c (33,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 112.34/33.73 c (33,0) c | Binaries | | 206 | 212 | 231 | 202 | 154 | 187 | 143 | 181 | 112.34/33.73 c (33,0) c | Glues | | 218 | 243 | 248 | 254 | 185 | 218 | 205 | 230 | 112.34/33.73 c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 112.34/33.73 c (33,0) c | Orig_Seen | 1 % | 38593 | 42593 | 35178 | 43377 | 36424 | 38423 | 35796 | 47931 | 112.34/33.73 c (33,0) c | Diff Orig seen| | 3415 | 7415 | X | 8199 | 1246 | 3245 | 618 | 12753 | 112.34/33.73 c (33,0) c | Hamming | 8 % | 8623 | 7354 | X | 7246 | 8047 | 8505 | 8121 | 7805 | 112.34/33.73 c (33,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 112.34/33.73 c (33,0) 112.34/33.73 c (33,0) s SATISFIABLE 39.71/33.81 c (33,19) SatSolver.solve End 39.71/33.81 c (33,19) Heap : 1020 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 39.71/33.81 c (33,19) Show results Begin 39.71/33.84 c (33,19) cls[0] = 8 39.71/33.84 c (33,19) cls[1] = 14 39.71/33.84 c (33,19) cls[2] = 22 39.71/33.84 c (33,19) cls[3] = 5 39.71/33.84 c (33,19) cls[4] = 19 39.71/33.84 c (33,19) cls[5] = 15 39.71/33.84 c (33,19) cls[6] = 12 39.71/33.84 c (33,19) cls[7] = 19 39.71/33.84 c (33,19) cls[8] = 17 39.71/33.84 c (33,19) cls[9] = 19 39.71/33.84 c (33,19) cls[10] = 19 39.71/33.84 c (33,19) cls[11] = 0 39.71/33.84 c (33,19) cls[12] = 19 39.71/33.84 c (33,19) cls[13] = 5 39.71/33.84 c (33,19) cls[14] = 4 39.71/33.84 c (33,19) cls[15] = 12 39.71/33.84 c (33,19) cls[16] = 12 39.71/33.84 c (33,19) cls[17] = 15 39.71/33.84 c (33,19) cls[18] = 5 39.71/33.84 c (33,19) cls[19] = 19 39.71/33.84 c (33,19) cls[20] = 0 39.71/33.84 c (33,19) cls[21] = 19 39.71/33.84 c (33,19) cls[22] = 22 39.71/33.84 c (33,19) cls[23] = 19 39.71/33.84 c (33,19) cls[24] = 0 39.71/33.84 c (33,19) cls[25] = 19 39.71/33.84 c (33,19) cls[26] = 19 39.71/33.84 c (33,19) cls[27] = 5 39.71/33.84 c (33,19) cls[28] = 8 39.71/33.84 c (33,19) cls[29] = 14 39.71/33.84 c (33,19) cls[30] = 19 39.71/33.84 c (33,19) cls[31] = 22 39.71/33.84 c (33,19) cls[32] = 13 39.71/33.84 c (33,19) cls[33] = 7 39.71/33.84 c (33,19) cls[34] = 12 39.71/33.84 c (33,19) cls[35] = 19 39.71/33.84 c (33,19) cls[36] = 11 39.71/33.84 c (33,19) cls[37] = 1 39.71/33.84 c (33,19) cls[38] = 19 39.71/33.84 c (33,19) cls[39] = 8 39.71/33.84 c (33,19) cls[40] = 22 39.71/33.84 c (33,19) cls[41] = 19 39.71/33.84 c (33,19) cls[42] = 18 39.71/33.84 c (33,19) cls[43] = 15 39.71/33.84 c (33,19) cls[44] = 19 39.71/33.84 c (33,19) cls[45] = 12 39.71/33.84 c (33,19) cls[46] = 22 39.71/33.84 c (33,19) cls[47] = 21 39.71/33.84 c (33,19) cls[48] = 8 39.71/33.84 c (33,19) cls[49] = 22 39.71/33.84 c (33,19) cls[50] = 19 39.71/33.84 c (33,19) cls[51] = 12 39.71/33.84 c (33,19) cls[52] = 10 39.71/33.84 c (33,19) cls[53] = 19 39.71/33.84 c (33,19) cls[54] = 12 39.71/33.84 c (33,19) cls[55] = 2 39.71/33.84 c (33,19) cls[56] = 12 39.71/33.84 c (33,19) cls[57] = 20 39.71/33.84 c (33,19) cls[58] = 21 39.71/33.84 c (33,19) cls[59] = 12 39.71/33.84 c (33,19) cls[60] = 19 39.71/33.84 c (33,19) cls[61] = 23 39.71/33.84 c (33,19) cls[62] = 11 39.71/33.84 c (33,19) cls[63] = 1 39.71/33.84 c (33,19) cls[64] = 19 39.71/33.84 c (33,19) cls[65] = 14 39.71/33.84 c (33,19) cls[66] = 12 39.71/33.84 c (33,19) cls[67] = 19 39.71/33.84 c (33,19) cls[68] = 11 39.71/33.84 c (33,19) cls[69] = 5 39.71/33.84 c (33,19) cls[70] = 19 39.71/33.84 c (33,19) cls[71] = 0 39.71/33.84 c (33,19) cls[72] = 8 39.71/33.84 c (33,19) cls[73] = 22 39.71/33.84 c (33,19) cls[74] = 19 39.71/33.85 c (33,19) cls[75] = 19 39.71/33.85 c (33,19) cls[76] = 10 39.71/33.85 c (33,19) cls[77] = 12 39.71/33.85 c (33,19) cls[78] = 22 39.71/33.85 c (33,19) cls[79] = 11 39.71/33.85 c (33,19) cls[80] = 7 39.71/33.85 c (33,19) cls[81] = 19 39.71/33.85 c (33,19) cls[82] = 15 39.71/33.85 c (33,19) cls[83] = 12 39.71/33.85 c (33,19) cls[84] = 19 39.71/33.85 c (33,19) cls[85] = 3 39.71/33.85 c (33,19) cls[86] = 12 39.71/33.85 c (33,19) cls[87] = 19 39.71/33.85 c (33,19) cls[88] = 12 39.71/33.85 c (33,19) cls[89] = 11 39.71/33.85 c (33,19) cls[90] = 5 39.71/33.85 c (33,19) cls[91] = 19 39.71/33.85 c (33,19) cls[92] = 4 39.71/33.85 c (33,19) cls[93] = 12 39.71/33.85 c (33,19) cls[94] = 2 39.71/33.85 c (33,19) cls[95] = 14 39.71/33.85 c (33,19) cls[96] = 5 39.71/33.85 c (33,19) cls[97] = 2 39.71/33.85 c (33,19) cls[98] = 11 39.71/33.85 c (33,19) cls[99] = 2 39.71/33.85 c (33,19) cls[100] = 19 39.71/33.85 c (33,19) cls[101] = 18 39.71/33.85 c (33,19) cls[102] = 19 39.71/33.85 c (33,19) cls[103] = 15 39.71/33.85 c (33,19) cls[104] = 8 39.71/33.85 c (33,19) cls[105] = 19 39.71/33.85 c (33,19) cls[106] = 22 39.71/33.85 c (33,19) cls[107] = 11 39.71/33.85 c (33,19) cls[108] = 23 39.71/33.85 c (33,19) cls[109] = 5 39.71/33.85 c (33,19) cls[110] = 4 39.71/33.85 c (33,19) cls[111] = 12 39.71/33.85 c (33,19) cls[112] = 2 39.71/33.85 c (33,19) cls[113] = 12 39.71/33.85 c (33,19) cls[114] = 9 39.71/33.85 c (33,19) cls[115] = 19 39.71/33.85 c (33,19) cls[116] = 2 39.71/33.85 c (33,19) cls[117] = 12 39.71/33.85 c (33,19) cls[118] = 19 39.71/33.85 c (33,19) cls[119] = 15 39.71/33.85 c (33,19) cls[120] = 19 39.71/33.85 c (33,19) cls[121] = 12 39.71/33.85 c (33,19) cls[122] = 15 39.71/33.85 c (33,19) cls[123] = 5 39.71/33.85 c (33,19) cls[124] = 12 39.71/33.85 c (33,19) cls[125] = 2 39.71/33.85 c (33,19) cls[126] = 11 39.71/33.85 c (33,19) cls[127] = 8 39.71/33.85 c (33,19) cls[128] = 6 39.71/33.85 c (33,19) cls[129] = 14 39.71/33.85 c (33,19) cls[130] = 19 39.71/33.85 c (33,19) cls[131] = 19 39.71/33.85 c (33,19) cls[132] = 11 39.71/33.85 c (33,19) cls[133] = 8 39.71/33.85 c (33,19) cls[134] = 16 39.71/33.85 c (33,19) cls[135] = 11 39.71/33.85 c (33,19) cls[136] = 2 39.71/33.85 c (33,19) cls[137] = 19 39.71/33.85 c (33,19) cls[138] = 14 39.71/33.85 c (33,19) cls[139] = 1 39.71/33.85 c (33,19) cls[140] = 19 39.71/33.85 c (33,19) cls[141] = 2 39.71/33.85 c (33,19) cls[142] = 14 39.71/33.85 c (33,19) cls[143] = 19 39.71/33.85 c (33,19) cls[144] = 5 39.71/33.85 c (33,19) cls[145] = 7 39.71/33.85 c (33,19) cls[146] = 11 39.71/33.85 c (33,19) cls[147] = 2 39.71/33.85 c (33,19) cls[148] = 19 39.71/33.85 c (33,19) cls[149] = 9 39.71/33.85 c (33,19) cls[150] = 23 39.71/33.85 c (33,19) cls[151] = 12 39.71/33.85 c (33,19) cls[152] = 2 39.71/33.85 c (33,19) cls[153] = 11 39.71/33.85 c (33,19) cls[154] = 5 39.71/33.85 c (33,19) cls[155] = 12 39.71/33.85 c (33,19) cls[156] = 7 39.71/33.85 c (33,19) cls[157] = 19 39.71/33.85 c (33,19) cls[158] = 11 39.71/33.85 c (33,19) cls[159] = 21 39.71/33.85 c (33,19) cls[160] = 22 39.71/33.85 c (33,19) cls[161] = 19 39.71/33.85 c (33,19) cls[162] = 14 39.71/33.85 c (33,19) cls[163] = 12 39.71/33.85 c (33,19) cls[164] = 1 39.71/33.85 c (33,19) cls[165] = 11 39.71/33.85 c (33,19) cls[166] = 19 39.71/33.85 c (33,19) cls[167] = 7 39.71/33.85 c (33,19) cls[168] = 14 39.71/33.85 c (33,19) cls[169] = 5 39.71/33.85 c (33,19) cls[170] = 2 39.71/33.85 c (33,19) cls[171] = 11 39.71/33.85 c (33,19) cls[172] = 8 39.71/33.85 c (33,19) cls[173] = 22 39.71/33.85 c (33,19) cls[174] = 13 39.71/33.85 c (33,19) cls[175] = 2 39.71/33.85 c (33,19) cls[176] = 12 39.71/33.85 c (33,19) cls[177] = 12 39.71/33.85 c (33,19) cls[178] = 2 39.71/33.85 c (33,19) cls[179] = 9 39.71/33.85 c (33,19) cls[180] = 19 39.71/33.85 c (33,19) cls[181] = 12 39.71/33.85 c (33,19) cls[182] = 4 39.71/33.85 c (33,19) cls[183] = 12 39.71/33.85 c (33,19) cls[184] = 21 39.71/33.85 c (33,19) cls[185] = 11 39.71/33.85 c (33,19) cls[186] = 12 39.71/33.85 c (33,19) cls[187] = 2 39.71/33.85 c (33,19) cls[188] = 20 39.71/33.85 c (33,19) cls[189] = 5 39.71/33.85 c (33,19) cls[190] = 22 39.71/33.85 c (33,19) cls[191] = 12 39.71/33.85 c (33,19) cls[192] = 11 39.71/33.85 c (33,19) cls[193] = 12 39.71/33.85 c (33,19) cls[194] = 6 39.71/33.85 c (33,19) cls[195] = 11 39.71/33.85 c (33,19) cls[196] = 2 39.71/33.85 c (33,19) cls[197] = 12 39.71/33.85 c (33,19) cls[198] = 11 39.71/33.85 c (33,19) cls[199] = 5 39.71/33.85 c (33,19) opt[0][0] = 0 39.71/33.85 c (33,19) opt[0][1] = 1 39.71/33.85 c (33,19) opt[0][2] = 0 39.71/33.85 c (33,19) opt[0][3] = 1 39.71/33.85 c (33,19) opt[0][4] = 0 39.71/33.85 c (33,19) opt[1][0] = 0 39.71/33.85 c (33,19) opt[1][1] = 0 39.71/33.85 c (33,19) opt[1][2] = 1 39.71/33.85 c (33,19) opt[1][3] = 1 39.71/33.85 c (33,19) opt[1][4] = 0 39.71/33.85 c (33,19) opt[2][0] = 1 39.71/33.85 c (33,19) opt[2][1] = 0 39.71/33.85 c (33,19) opt[2][2] = 0 39.71/33.85 c (33,19) opt[2][3] = 0 39.71/33.85 c (33,19) opt[2][4] = 0 39.71/33.85 c (33,19) opt[3][0] = 0 39.71/33.85 c (33,19) opt[3][1] = 0 39.71/33.85 c (33,19) opt[3][2] = 0 39.71/33.85 c (33,19) opt[3][3] = 0 39.71/33.85 c (33,19) opt[3][4] = 1 39.71/33.85 c (33,19) opt[4][0] = 0 39.71/33.85 c (33,19) opt[4][1] = 1 39.71/33.85 c (33,19) opt[4][2] = 0 39.71/33.85 c (33,19) opt[4][3] = 0 39.71/33.85 c (33,19) opt[4][4] = 0 39.71/33.85 c (33,19) opt[5][0] = 1 39.71/33.85 c (33,19) opt[5][1] = 0 39.71/33.85 c (33,19) opt[5][2] = 1 39.71/33.85 c (33,19) opt[5][3] = 0 39.71/33.85 c (33,19) opt[5][4] = 0 39.71/33.85 c (33,19) opt[6][0] = 0 39.71/33.85 c (33,19) opt[6][1] = 0 39.71/33.85 c (33,19) opt[6][2] = 0 39.71/33.85 c (33,19) opt[6][3] = 1 39.71/33.85 c (33,19) opt[6][4] = 0 39.71/33.85 c (33,19) opt[7][0] = 0 39.71/33.85 c (33,19) opt[7][1] = 1 39.71/33.85 c (33,19) opt[7][2] = 0 39.71/33.85 c (33,19) opt[7][3] = 0 39.71/33.85 c (33,19) opt[7][4] = 0 39.71/33.85 c (33,19) opt[8][0] = 0 39.71/33.85 c (33,19) opt[8][1] = 0 39.71/33.85 c (33,19) opt[8][2] = 1 39.71/33.85 c (33,19) opt[8][3] = 1 39.71/33.85 c (33,19) opt[8][4] = 1 39.71/33.85 c (33,19) opt[9][0] = 0 39.71/33.85 c (33,19) opt[9][1] = 1 39.71/33.85 c (33,19) opt[9][2] = 0 39.71/33.85 c (33,19) opt[9][3] = 0 39.71/33.85 c (33,19) opt[9][4] = 0 39.71/33.85 c (33,19) opt[10][0] = 0 39.71/33.85 c (33,19) opt[10][1] = 1 39.71/33.85 c (33,19) opt[10][2] = 0 39.71/33.85 c (33,19) opt[10][3] = 0 39.71/33.85 c (33,19) opt[10][4] = 0 39.71/33.85 c (33,19) opt[11][0] = 1 39.71/33.85 c (33,19) opt[11][1] = 0 39.71/33.85 c (33,19) opt[11][2] = 1 39.71/33.85 c (33,19) opt[11][3] = 1 39.71/33.85 c (33,19) opt[11][4] = 0 39.71/33.85 c (33,19) opt[12][0] = 0 39.71/33.85 c (33,19) opt[12][1] = 1 39.71/33.85 c (33,19) opt[12][2] = 0 39.71/33.85 c (33,19) opt[12][3] = 0 39.71/33.85 c (33,19) opt[12][4] = 0 39.71/33.85 c (33,19) opt[13][0] = 0 39.71/33.85 c (33,19) opt[13][1] = 0 39.71/33.85 c (33,19) opt[13][2] = 0 39.71/33.85 c (33,19) opt[13][3] = 0 39.71/33.85 c (33,19) opt[13][4] = 1 39.71/33.85 c (33,19) opt[14][0] = 1 39.71/33.85 c (33,19) opt[14][1] = 1 39.71/33.85 c (33,19) opt[14][2] = 1 39.71/33.85 c (33,19) opt[14][3] = 0 39.71/33.85 c (33,19) opt[14][4] = 0 39.71/33.85 c (33,19) opt[15][0] = 0 39.71/33.85 c (33,19) opt[15][1] = 0 39.71/33.85 c (33,19) opt[15][2] = 0 39.71/33.85 c (33,19) opt[15][3] = 1 39.71/33.85 c (33,19) opt[15][4] = 0 39.71/33.85 c (33,19) opt[16][0] = 0 39.71/33.85 c (33,19) opt[16][1] = 0 39.71/33.85 c (33,19) opt[16][2] = 0 39.71/33.85 c (33,19) opt[16][3] = 1 39.71/33.85 c (33,19) opt[16][4] = 0 39.71/33.85 c (33,19) opt[17][0] = 1 39.71/33.85 c (33,19) opt[17][1] = 0 39.71/33.85 c (33,19) opt[17][2] = 1 39.71/33.85 c (33,19) opt[17][3] = 0 39.71/33.85 c (33,19) opt[17][4] = 0 39.71/33.85 c (33,19) opt[18][0] = 0 39.71/33.85 c (33,19) opt[18][1] = 0 39.71/33.85 c (33,19) opt[18][2] = 0 39.71/33.85 c (33,19) opt[18][3] = 0 39.71/33.85 c (33,19) opt[18][4] = 1 39.71/33.85 c (33,19) opt[19][0] = 0 39.71/33.85 c (33,19) opt[19][1] = 1 39.71/33.85 c (33,19) opt[19][2] = 0 39.71/33.85 c (33,19) opt[19][3] = 0 39.71/33.85 c (33,19) opt[19][4] = 0 39.71/33.85 c (33,19) opt[20][0] = 1 39.71/33.85 c (33,19) opt[20][1] = 0 39.71/33.85 c (33,19) opt[20][2] = 1 39.71/33.85 c (33,19) opt[20][3] = 1 39.71/33.85 c (33,19) opt[20][4] = 0 39.71/33.85 c (33,19) opt[21][0] = 0 39.71/33.85 c (33,19) opt[21][1] = 1 39.71/33.85 c (33,19) opt[21][2] = 0 39.71/33.85 c (33,19) opt[21][3] = 0 39.71/33.85 c (33,19) opt[21][4] = 0 39.71/33.85 c (33,19) opt[22][0] = 1 39.71/33.85 c (33,19) opt[22][1] = 0 39.71/33.85 c (33,19) opt[22][2] = 0 39.71/33.85 c (33,19) opt[22][3] = 0 39.71/33.85 c (33,19) opt[22][4] = 0 39.71/33.85 c (33,19) opt[23][0] = 0 39.71/33.85 c (33,19) opt[23][1] = 1 39.71/33.85 c (33,19) opt[23][2] = 0 39.71/33.85 c (33,19) opt[23][3] = 0 39.71/33.85 c (33,19) opt[23][4] = 0 39.71/33.85 c (33,19) opt[24][0] = 1 39.71/33.85 c (33,19) opt[24][1] = 0 39.71/33.85 c (33,19) opt[24][2] = 1 39.71/33.85 c (33,19) opt[24][3] = 1 39.71/33.85 c (33,19) opt[24][4] = 0 39.71/33.85 c (33,19) opt[25][0] = 0 39.71/33.85 c (33,19) opt[25][1] = 1 39.71/33.85 c (33,19) opt[25][2] = 0 39.71/33.85 c (33,19) opt[25][3] = 0 39.71/33.85 c (33,19) opt[25][4] = 0 39.71/33.85 c (33,19) opt[26][0] = 0 39.71/33.85 c (33,19) opt[26][1] = 1 39.71/33.85 c (33,19) opt[26][2] = 0 39.71/33.85 c (33,19) opt[26][3] = 0 39.71/33.85 c (33,19) opt[26][4] = 0 39.71/33.85 c (33,19) opt[27][0] = 0 39.71/33.85 c (33,19) opt[27][1] = 0 39.71/33.85 c (33,19) opt[27][2] = 0 39.71/33.85 c (33,19) opt[27][3] = 0 39.71/33.85 c (33,19) opt[27][4] = 1 39.71/33.85 c (33,19) opt[28][0] = 0 39.71/33.85 c (33,19) opt[28][1] = 1 39.71/33.85 c (33,19) opt[28][2] = 0 39.71/33.85 c (33,19) opt[28][3] = 1 39.71/33.85 c (33,19) opt[28][4] = 0 39.71/33.85 c (33,19) opt[29][0] = 0 39.71/33.85 c (33,19) opt[29][1] = 0 39.71/33.85 c (33,19) opt[29][2] = 1 39.71/33.85 c (33,19) opt[29][3] = 1 39.71/33.85 c (33,19) opt[29][4] = 0 39.71/33.85 c (33,19) opt[30][0] = 0 39.71/33.85 c (33,19) opt[30][1] = 1 39.71/33.85 c (33,19) opt[30][2] = 0 39.71/33.85 c (33,19) opt[30][3] = 0 39.71/33.85 c (33,19) opt[30][4] = 0 39.71/33.85 c (33,19) opt[31][0] = 1 39.71/33.85 c (33,19) opt[31][1] = 0 39.71/33.85 c (33,19) opt[31][2] = 0 39.71/33.85 c (33,19) opt[31][3] = 0 39.71/33.85 c (33,19) opt[31][4] = 0 39.71/33.85 c (33,19) opt[32][0] = 0 39.71/33.85 c (33,19) opt[32][1] = 1 39.71/33.85 c (33,19) opt[32][2] = 1 39.71/33.85 c (33,19) opt[32][3] = 0 39.71/33.85 c (33,19) opt[32][4] = 1 39.71/33.85 c (33,19) opt[33][0] = 1 39.71/33.85 c (33,19) opt[33][1] = 1 39.71/33.85 c (33,19) opt[33][2] = 0 39.71/33.85 c (33,19) opt[33][3] = 1 39.71/33.85 c (33,19) opt[33][4] = 0 39.71/33.85 c (33,19) opt[34][0] = 0 39.71/33.85 c (33,19) opt[34][1] = 0 39.71/33.85 c (33,19) opt[34][2] = 0 39.71/33.85 c (33,19) opt[34][3] = 1 39.71/33.85 c (33,19) opt[34][4] = 0 39.71/33.85 c (33,19) opt[35][0] = 0 39.71/33.85 c (33,19) opt[35][1] = 1 39.71/33.85 c (33,19) opt[35][2] = 0 39.71/33.85 c (33,19) opt[35][3] = 0 39.71/33.85 c (33,19) opt[35][4] = 0 39.71/33.85 c (33,19) opt[36][0] = 0 39.71/33.85 c (33,19) opt[36][1] = 0 39.71/33.85 c (33,19) opt[36][2] = 1 39.71/33.85 c (33,19) opt[36][3] = 0 39.71/33.85 c (33,19) opt[36][4] = 0 39.71/33.85 c (33,19) opt[37][0] = 1 39.71/33.85 c (33,19) opt[37][1] = 0 39.71/33.85 c (33,19) opt[37][2] = 0 39.71/33.85 c (33,19) opt[37][3] = 0 39.71/33.85 c (33,19) opt[37][4] = 1 39.71/33.85 c (33,19) opt[38][0] = 0 39.71/33.85 c (33,19) opt[38][1] = 1 39.71/33.85 c (33,19) opt[38][2] = 0 39.71/33.85 c (33,19) opt[38][3] = 0 39.71/33.85 c (33,19) opt[38][4] = 0 39.71/33.85 c (33,19) opt[39][0] = 0 39.71/33.85 c (33,19) opt[39][1] = 1 39.71/33.85 c (33,19) opt[39][2] = 0 39.71/33.85 c (33,19) opt[39][3] = 1 39.71/33.85 c (33,19) opt[39][4] = 0 39.71/33.85 c (33,19) opt[40][0] = 1 39.71/33.85 c (33,19) opt[40][1] = 0 39.71/33.85 c (33,19) opt[40][2] = 0 39.71/33.85 c (33,19) opt[40][3] = 0 39.71/33.85 c (33,19) opt[40][4] = 0 39.71/33.85 c (33,19) opt[41][0] = 0 39.71/33.85 c (33,19) opt[41][1] = 1 39.71/33.85 c (33,19) opt[41][2] = 0 39.71/33.85 c (33,19) opt[41][3] = 0 39.71/33.85 c (33,19) opt[41][4] = 0 39.71/33.85 c (33,19) opt[42][0] = 0 39.71/33.85 c (33,19) opt[42][1] = 0 39.71/33.85 c (33,19) opt[42][2] = 0 39.71/33.85 c (33,19) opt[42][3] = 1 39.71/33.85 c (33,19) opt[42][4] = 1 39.71/33.85 c (33,19) opt[43][0] = 1 39.71/33.85 c (33,19) opt[43][1] = 0 39.71/33.85 c (33,19) opt[43][2] = 1 39.71/33.85 c (33,19) opt[43][3] = 0 39.71/33.85 c (33,19) opt[43][4] = 0 39.71/33.85 c (33,19) opt[44][0] = 0 39.71/33.85 c (33,19) opt[44][1] = 1 39.71/33.85 c (33,19) opt[44][2] = 0 39.71/33.85 c (33,19) opt[44][3] = 0 39.71/33.85 c (33,19) opt[44][4] = 0 39.71/33.85 c (33,19) opt[45][0] = 0 39.71/33.85 c (33,19) opt[45][1] = 0 39.71/33.85 c (33,19) opt[45][2] = 0 39.71/33.85 c (33,19) opt[45][3] = 1 39.71/33.85 c (33,19) opt[45][4] = 0 39.71/33.85 c (33,19) opt[46][0] = 1 39.71/33.85 c (33,19) opt[46][1] = 0 39.71/33.85 c (33,19) opt[46][2] = 0 39.71/33.85 c (33,19) opt[46][3] = 0 39.71/33.85 c (33,19) opt[46][4] = 0 39.71/33.85 c (33,19) opt[47][0] = 0 39.71/33.85 c (33,19) opt[47][1] = 1 39.71/33.85 c (33,19) opt[47][2] = 0 39.71/33.85 c (33,19) opt[47][3] = 0 39.71/33.85 c (33,19) opt[47][4] = 1 39.71/33.85 c (33,19) opt[48][0] = 0 39.71/33.85 c (33,19) opt[48][1] = 1 39.71/33.85 c (33,19) opt[48][2] = 0 39.71/33.85 c (33,19) opt[48][3] = 1 39.71/33.85 c (33,19) opt[48][4] = 0 39.71/33.85 c (33,19) opt[49][0] = 1 39.71/33.85 c (33,19) opt[49][1] = 0 39.71/33.85 c (33,19) opt[49][2] = 0 39.71/33.85 c (33,19) opt[49][3] = 0 39.71/33.85 c (33,19) opt[49][4] = 0 39.71/33.85 c (33,19) opt[50][0] = 0 39.71/33.85 c (33,19) opt[50][1] = 1 39.71/33.85 c (33,19) opt[50][2] = 0 39.71/33.85 c (33,19) opt[50][3] = 0 39.71/33.85 c (33,19) opt[50][4] = 0 39.71/33.85 c (33,19) opt[51][0] = 0 39.71/33.85 c (33,19) opt[51][1] = 0 39.71/33.85 c (33,19) opt[51][2] = 0 39.71/33.85 c (33,19) opt[51][3] = 1 39.71/33.85 c (33,19) opt[51][4] = 0 39.71/33.85 c (33,19) opt[52][0] = 1 39.71/33.85 c (33,19) opt[52][1] = 0 39.71/33.85 c (33,19) opt[52][2] = 1 39.71/33.85 c (33,19) opt[52][3] = 0 39.71/33.85 c (33,19) opt[52][4] = 1 39.71/33.85 c (33,19) opt[53][0] = 0 39.71/33.85 c (33,19) opt[53][1] = 1 39.71/33.85 c (33,19) opt[53][2] = 0 39.71/33.85 c (33,19) opt[53][3] = 0 39.71/33.85 c (33,19) opt[53][4] = 0 39.71/33.85 c (33,19) opt[54][0] = 0 39.71/33.85 c (33,19) opt[54][1] = 0 39.71/33.85 c (33,19) opt[54][2] = 0 39.71/33.85 c (33,19) opt[54][3] = 1 39.71/33.85 c (33,19) opt[54][4] = 0 39.71/33.85 c (33,19) opt[55][0] = 1 39.71/33.85 c (33,19) opt[55][1] = 1 39.71/33.85 c (33,19) opt[55][2] = 0 39.71/33.85 c (33,19) opt[55][3] = 0 39.71/33.85 c (33,19) opt[55][4] = 0 39.71/33.85 c (33,19) opt[56][0] = 0 39.71/33.85 c (33,19) opt[56][1] = 0 39.71/33.85 c (33,19) opt[56][2] = 0 39.71/33.85 c (33,19) opt[56][3] = 1 39.71/33.85 c (33,19) opt[56][4] = 0 39.71/33.85 c (33,19) opt[57][0] = 0 39.71/33.85 c (33,19) opt[57][1] = 1 39.71/33.85 c (33,19) opt[57][2] = 1 39.71/33.85 c (33,19) opt[57][3] = 0 39.71/33.85 c (33,19) opt[57][4] = 0 39.71/33.85 c (33,19) opt[58][0] = 0 39.71/33.85 c (33,19) opt[58][1] = 1 39.71/33.85 c (33,19) opt[58][2] = 0 39.71/33.85 c (33,19) opt[58][3] = 0 39.71/33.85 c (33,19) opt[58][4] = 1 39.71/33.85 c (33,19) opt[59][0] = 0 39.71/33.85 c (33,19) opt[59][1] = 0 39.71/33.85 c (33,19) opt[59][2] = 0 39.71/33.85 c (33,19) opt[59][3] = 1 39.71/33.85 c (33,19) opt[59][4] = 0 39.71/33.85 c (33,19) opt[60][0] = 0 39.71/33.85 c (33,19) opt[60][1] = 1 39.71/33.85 c (33,19) opt[60][2] = 0 39.71/33.85 c (33,19) opt[60][3] = 0 39.71/33.85 c (33,19) opt[60][4] = 0 39.71/33.85 c (33,19) opt[61][0] = 1 39.71/33.85 c (33,19) opt[61][1] = 0 39.71/33.85 c (33,19) opt[61][2] = 0 39.71/33.85 c (33,19) opt[61][3] = 1 39.71/33.85 c (33,19) opt[61][4] = 0 39.71/33.85 c (33,19) opt[62][0] = 0 39.71/33.85 c (33,19) opt[62][1] = 0 39.71/33.85 c (33,19) opt[62][2] = 1 39.71/33.85 c (33,19) opt[62][3] = 0 39.71/33.85 c (33,19) opt[62][4] = 0 39.71/33.85 c (33,19) opt[63][0] = 1 39.71/33.85 c (33,19) opt[63][1] = 0 39.71/33.85 c (33,19) opt[63][2] = 0 39.71/33.85 c (33,19) opt[63][3] = 0 39.71/33.85 c (33,19) opt[63][4] = 1 39.71/33.85 c (33,19) opt[64][0] = 0 39.71/33.85 c (33,19) opt[64][1] = 1 39.71/33.85 c (33,19) opt[64][2] = 0 39.71/33.85 c (33,19) opt[64][3] = 0 39.71/33.85 c (33,19) opt[64][4] = 0 39.71/33.85 c (33,19) opt[65][0] = 0 39.71/33.85 c (33,19) opt[65][1] = 0 39.71/33.85 c (33,19) opt[65][2] = 1 39.71/33.85 c (33,19) opt[65][3] = 1 39.71/33.85 c (33,19) opt[65][4] = 0 39.71/33.85 c (33,19) opt[66][0] = 0 39.71/33.85 c (33,19) opt[66][1] = 0 39.71/33.85 c (33,19) opt[66][2] = 0 39.71/33.85 c (33,19) opt[66][3] = 1 39.71/33.85 c (33,19) opt[66][4] = 0 39.71/33.85 c (33,19) opt[67][0] = 0 39.71/33.85 c (33,19) opt[67][1] = 1 39.71/33.85 c (33,19) opt[67][2] = 0 39.71/33.85 c (33,19) opt[67][3] = 0 39.71/33.85 c (33,19) opt[67][4] = 0 39.71/33.85 c (33,19) opt[68][0] = 0 39.71/33.85 c (33,19) opt[68][1] = 0 39.71/33.85 c (33,19) opt[68][2] = 1 39.71/33.85 c (33,19) opt[68][3] = 0 39.71/33.85 c (33,19) opt[68][4] = 0 39.71/33.85 c (33,19) opt[69][0] = 0 39.71/33.85 c (33,19) opt[69][1] = 0 39.71/33.85 c (33,19) opt[69][2] = 0 39.71/33.85 c (33,19) opt[69][3] = 0 39.71/33.85 c (33,19) opt[69][4] = 1 39.71/33.85 c (33,19) opt[70][0] = 0 39.71/33.85 c (33,19) opt[70][1] = 1 39.71/33.85 c (33,19) opt[70][2] = 0 39.71/33.85 c (33,19) opt[70][3] = 0 39.71/33.85 c (33,19) opt[70][4] = 0 39.71/33.85 c (33,19) opt[71][0] = 1 39.71/33.85 c (33,19) opt[71][1] = 0 39.71/33.85 c (33,19) opt[71][2] = 1 39.71/33.85 c (33,19) opt[71][3] = 1 39.71/33.85 c (33,19) opt[71][4] = 0 39.71/33.85 c (33,19) opt[72][0] = 0 39.71/33.85 c (33,19) opt[72][1] = 1 39.71/33.85 c (33,19) opt[72][2] = 0 39.71/33.85 c (33,19) opt[72][3] = 1 39.71/33.85 c (33,19) opt[72][4] = 0 39.71/33.85 c (33,19) opt[73][0] = 1 39.71/33.85 c (33,19) opt[73][1] = 0 39.71/33.85 c (33,19) opt[73][2] = 0 39.71/33.85 c (33,19) opt[73][3] = 0 39.71/33.85 c (33,19) opt[73][4] = 0 39.71/33.85 c (33,19) opt[74][0] = 0 39.71/33.85 c (33,19) opt[74][1] = 1 39.71/33.85 c (33,19) opt[74][2] = 0 39.71/33.85 c (33,19) opt[74][3] = 0 39.71/33.85 c (33,19) opt[74][4] = 0 39.71/33.85 c (33,19) opt[75][0] = 0 39.71/33.85 c (33,19) opt[75][1] = 1 39.71/33.85 c (33,19) opt[75][2] = 0 39.71/33.85 c (33,19) opt[75][3] = 0 39.71/33.85 c (33,19) opt[75][4] = 0 39.71/33.85 c (33,19) opt[76][0] = 1 39.71/33.85 c (33,19) opt[76][1] = 0 39.71/33.85 c (33,19) opt[76][2] = 1 39.71/33.85 c (33,19) opt[76][3] = 0 39.71/33.85 c (33,19) opt[76][4] = 1 39.71/33.85 c (33,19) opt[77][0] = 0 39.71/33.85 c (33,19) opt[77][1] = 0 39.71/33.85 c (33,19) opt[77][2] = 0 39.71/33.85 c (33,19) opt[77][3] = 1 39.71/33.85 c (33,19) opt[77][4] = 0 39.71/33.85 c (33,19) opt[78][0] = 1 39.71/33.85 c (33,19) opt[78][1] = 0 39.71/33.85 c (33,19) opt[78][2] = 0 39.71/33.85 c (33,19) opt[78][3] = 0 39.71/33.85 c (33,19) opt[78][4] = 0 39.71/33.85 c (33,19) opt[79][0] = 0 39.71/33.85 c (33,19) opt[79][1] = 0 39.71/33.85 c (33,19) opt[79][2] = 1 39.71/33.85 c (33,19) opt[79][3] = 0 39.71/33.85 c (33,19) opt[79][4] = 0 39.71/33.85 c (33,19) opt[80][0] = 1 39.71/33.85 c (33,19) opt[80][1] = 1 39.71/33.85 c (33,19) opt[80][2] = 0 39.71/33.85 c (33,19) opt[80][3] = 1 39.71/33.85 c (33,19) opt[80][4] = 0 39.71/33.85 c (33,19) opt[81][0] = 0 39.71/33.85 c (33,19) opt[81][1] = 1 39.71/33.85 c (33,19) opt[81][2] = 0 39.71/33.85 c (33,19) opt[81][3] = 0 39.71/33.85 c (33,19) opt[81][4] = 0 39.71/33.85 c (33,19) opt[82][0] = 1 39.71/33.85 c (33,19) opt[82][1] = 0 39.71/33.85 c (33,19) opt[82][2] = 1 39.71/33.85 c (33,19) opt[82][3] = 0 39.71/33.85 c (33,19) opt[82][4] = 0 39.71/33.85 c (33,19) opt[83][0] = 0 39.71/33.85 c (33,19) opt[83][1] = 0 39.71/33.85 c (33,19) opt[83][2] = 0 39.71/33.85 c (33,19) opt[83][3] = 1 39.71/33.85 c (33,19) opt[83][4] = 0 39.71/33.85 c (33,19) opt[84][0] = 0 39.71/33.85 c (33,19) opt[84][1] = 1 39.71/33.85 c (33,19) opt[84][2] = 0 39.71/33.85 c (33,19) opt[84][3] = 0 39.71/33.85 c (33,19) opt[84][4] = 0 39.71/33.85 c (33,19) opt[85][0] = 1 39.71/33.85 c (33,19) opt[85][1] = 1 39.71/33.85 c (33,19) opt[85][2] = 1 39.71/33.85 c (33,19) opt[85][3] = 0 39.71/33.85 c (33,19) opt[85][4] = 1 39.71/33.85 c (33,19) opt[86][0] = 0 39.71/33.85 c (33,19) opt[86][1] = 0 39.71/33.85 c (33,19) opt[86][2] = 0 39.71/33.85 c (33,19) opt[86][3] = 1 39.71/33.85 c (33,19) opt[86][4] = 0 39.71/33.85 c (33,19) opt[87][0] = 0 39.71/33.85 c (33,19) opt[87][1] = 1 39.71/33.85 c (33,19) opt[87][2] = 0 39.71/33.85 c (33,19) opt[87][3] = 0 39.71/33.85 c (33,19) opt[87][4] = 0 39.71/33.85 c (33,19) opt[88][0] = 0 39.71/33.85 c (33,19) opt[88][1] = 0 39.71/33.85 c (33,19) opt[88][2] = 0 39.71/33.85 c (33,19) opt[88][3] = 1 39.71/33.85 c (33,19) opt[88][4] = 0 39.71/33.85 c (33,19) opt[89][0] = 0 39.71/33.85 c (33,19) opt[89][1] = 0 39.71/33.85 c (33,19) opt[89][2] = 1 39.71/33.85 c (33,19) opt[89][3] = 0 39.71/33.85 c (33,19) opt[89][4] = 0 39.71/33.85 c (33,19) opt[90][0] = 0 39.71/33.85 c (33,19) opt[90][1] = 0 39.71/33.85 c (33,19) opt[90][2] = 0 39.71/33.85 c (33,19) opt[90][3] = 0 39.71/33.85 c (33,19) opt[90][4] = 1 39.71/33.85 c (33,19) opt[91][0] = 0 39.71/33.85 c (33,19) opt[91][1] = 1 39.71/33.85 c (33,19) opt[91][2] = 0 39.71/33.85 c (33,19) opt[91][3] = 0 39.71/33.85 c (33,19) opt[91][4] = 0 39.71/33.85 c (33,19) opt[92][0] = 1 39.71/33.85 c (33,19) opt[92][1] = 1 39.71/33.85 c (33,19) opt[92][2] = 1 39.71/33.85 c (33,19) opt[92][3] = 0 39.71/33.85 c (33,19) opt[92][4] = 0 39.71/33.85 c (33,19) opt[93][0] = 0 39.71/33.85 c (33,19) opt[93][1] = 0 39.71/33.85 c (33,19) opt[93][2] = 0 39.71/33.85 c (33,19) opt[93][3] = 1 39.71/33.85 c (33,19) opt[93][4] = 0 39.71/33.85 c (33,19) opt[94][0] = 1 39.71/33.85 c (33,19) opt[94][1] = 1 39.71/33.85 c (33,19) opt[94][2] = 0 39.71/33.85 c (33,19) opt[94][3] = 0 39.71/33.85 c (33,19) opt[94][4] = 0 39.71/33.85 c (33,19) opt[95][0] = 0 39.71/33.85 c (33,19) opt[95][1] = 0 39.71/33.85 c (33,19) opt[95][2] = 1 39.71/33.85 c (33,19) opt[95][3] = 1 39.71/33.85 c (33,19) opt[95][4] = 0 39.71/33.85 c (33,19) opt[96][0] = 0 39.71/33.85 c (33,19) opt[96][1] = 0 39.71/33.85 c (33,19) opt[96][2] = 0 39.71/33.85 c (33,19) opt[96][3] = 0 39.71/33.85 c (33,19) opt[96][4] = 1 39.71/33.85 c (33,19) opt[97][0] = 1 39.71/33.85 c (33,19) opt[97][1] = 1 39.71/33.85 c (33,19) opt[97][2] = 0 39.71/33.85 c (33,19) opt[97][3] = 0 39.71/33.85 c (33,19) opt[97][4] = 0 39.71/33.85 c (33,19) opt[98][0] = 0 39.71/33.85 c (33,19) opt[98][1] = 0 39.71/33.85 c (33,19) opt[98][2] = 1 39.71/33.85 c (33,19) opt[98][3] = 0 39.71/33.85 c (33,19) opt[98][4] = 0 39.71/33.85 c (33,19) opt[99][0] = 1 39.71/33.85 c (33,19) opt[99][1] = 1 39.71/33.85 c (33,19) opt[99][2] = 0 39.71/33.85 c (33,19) opt[99][3] = 0 39.71/33.85 c (33,19) opt[99][4] = 0 39.71/33.85 c (33,19) opt[100][0] = 0 39.71/33.85 c (33,19) opt[100][1] = 1 39.71/33.85 c (33,19) opt[100][2] = 0 39.71/33.85 c (33,19) opt[100][3] = 0 39.71/33.85 c (33,19) opt[100][4] = 0 39.71/33.85 c (33,19) opt[101][0] = 0 39.71/33.85 c (33,19) opt[101][1] = 0 39.71/33.85 c (33,19) opt[101][2] = 0 39.71/33.85 c (33,19) opt[101][3] = 1 39.71/33.85 c (33,19) opt[101][4] = 1 39.71/33.85 c (33,19) opt[102][0] = 0 39.71/33.85 c (33,19) opt[102][1] = 1 39.71/33.85 c (33,19) opt[102][2] = 0 39.71/33.85 c (33,19) opt[102][3] = 0 39.71/33.85 c (33,19) opt[102][4] = 0 39.71/33.85 c (33,19) opt[103][0] = 1 39.71/33.85 c (33,19) opt[103][1] = 0 39.71/33.85 c (33,19) opt[103][2] = 1 39.71/33.85 c (33,19) opt[103][3] = 0 39.71/33.85 c (33,19) opt[103][4] = 0 39.71/33.85 c (33,19) opt[104][0] = 0 39.71/33.85 c (33,19) opt[104][1] = 1 39.71/33.85 c (33,19) opt[104][2] = 0 39.71/33.85 c (33,19) opt[104][3] = 1 39.71/33.85 c (33,19) opt[104][4] = 0 39.71/33.85 c (33,19) opt[105][0] = 0 39.71/33.85 c (33,19) opt[105][1] = 1 39.71/33.85 c (33,19) opt[105][2] = 0 39.71/33.85 c (33,19) opt[105][3] = 0 39.71/33.85 c (33,19) opt[105][4] = 0 39.71/33.85 c (33,19) opt[106][0] = 1 39.71/33.85 c (33,19) opt[106][1] = 0 39.71/33.85 c (33,19) opt[106][2] = 0 39.71/33.85 c (33,19) opt[106][3] = 0 39.71/33.85 c (33,19) opt[106][4] = 0 39.71/33.85 c (33,19) opt[107][0] = 0 39.71/33.85 c (33,19) opt[107][1] = 0 39.71/33.85 c (33,19) opt[107][2] = 1 39.71/33.85 c (33,19) opt[107][3] = 0 39.71/33.85 c (33,19) opt[107][4] = 0 39.71/33.85 c (33,19) opt[108][0] = 1 39.71/33.85 c (33,19) opt[108][1] = 0 39.71/33.85 c (33,19) opt[108][2] = 0 39.71/33.85 c (33,19) opt[108][3] = 1 39.71/33.85 c (33,19) opt[108][4] = 0 39.71/33.85 c (33,19) opt[109][0] = 0 39.71/33.85 c (33,19) opt[109][1] = 0 39.71/33.85 c (33,19) opt[109][2] = 0 39.71/33.85 c (33,19) opt[109][3] = 0 39.71/33.85 c (33,19) opt[109][4] = 1 39.71/33.85 c (33,19) opt[110][0] = 1 39.71/33.85 c (33,19) opt[110][1] = 1 39.71/33.85 c (33,19) opt[110][2] = 1 39.71/33.85 c (33,19) opt[110][3] = 0 39.71/33.85 c (33,19) opt[110][4] = 0 39.71/33.85 c (33,19) opt[111][0] = 0 39.71/33.85 c (33,19) opt[111][1] = 0 39.71/33.85 c (33,19) opt[111][2] = 0 39.71/33.85 c (33,19) opt[111][3] = 1 39.71/33.85 c (33,19) opt[111][4] = 0 39.71/33.85 c (33,19) opt[112][0] = 1 39.71/33.85 c (33,19) opt[112][1] = 1 39.71/33.85 c (33,19) opt[112][2] = 0 39.71/33.85 c (33,19) opt[112][3] = 0 39.71/33.85 c (33,19) opt[112][4] = 0 39.71/33.85 c (33,19) opt[113][0] = 0 39.71/33.85 c (33,19) opt[113][1] = 0 39.71/33.85 c (33,19) opt[113][2] = 0 39.71/33.85 c (33,19) opt[113][3] = 1 39.71/33.85 c (33,19) opt[113][4] = 0 39.71/33.85 c (33,19) opt[114][0] = 0 39.71/33.85 c (33,19) opt[114][1] = 0 39.71/33.85 c (33,19) opt[114][2] = 1 39.71/33.85 c (33,19) opt[114][3] = 0 39.71/33.85 c (33,19) opt[114][4] = 1 39.71/33.85 c (33,19) opt[115][0] = 0 39.71/33.85 c (33,19) opt[115][1] = 1 39.71/33.85 c (33,19) opt[115][2] = 0 39.71/33.85 c (33,19) opt[115][3] = 0 39.71/33.85 c (33,19) opt[115][4] = 0 39.71/33.85 c (33,19) opt[116][0] = 1 39.71/33.85 c (33,19) opt[116][1] = 1 39.71/33.85 c (33,19) opt[116][2] = 0 39.71/33.85 c (33,19) opt[116][3] = 0 39.71/33.85 c (33,19) opt[116][4] = 0 39.71/33.85 c (33,19) opt[117][0] = 0 39.71/33.85 c (33,19) opt[117][1] = 0 39.71/33.85 c (33,19) opt[117][2] = 0 39.71/33.85 c (33,19) opt[117][3] = 1 39.71/33.85 c (33,19) opt[117][4] = 0 39.71/33.85 c (33,19) opt[118][0] = 0 39.71/33.85 c (33,19) opt[118][1] = 1 39.71/33.85 c (33,19) opt[118][2] = 0 39.71/33.85 c (33,19) opt[118][3] = 0 39.71/33.85 c (33,19) opt[118][4] = 0 39.71/33.85 c (33,19) opt[119][0] = 1 39.71/33.85 c (33,19) opt[119][1] = 0 39.71/33.85 c (33,19) opt[119][2] = 1 39.71/33.85 c (33,19) opt[119][3] = 0 39.71/33.85 c (33,19) opt[119][4] = 0 39.71/33.85 c (33,19) opt[120][0] = 0 39.71/33.85 c (33,19) opt[120][1] = 1 39.71/33.85 c (33,19) opt[120][2] = 0 39.71/33.85 c (33,19) opt[120][3] = 0 39.71/33.85 c (33,19) opt[120][4] = 0 39.71/33.85 c (33,19) opt[121][0] = 0 39.71/33.85 c (33,19) opt[121][1] = 0 39.71/33.85 c (33,19) opt[121][2] = 0 39.71/33.85 c (33,19) opt[121][3] = 1 39.71/33.85 c (33,19) opt[121][4] = 0 39.71/33.85 c (33,19) opt[122][0] = 1 39.71/33.85 c (33,19) opt[122][1] = 0 39.71/33.85 c (33,19) opt[122][2] = 1 39.71/33.85 c (33,19) opt[122][3] = 0 39.71/33.85 c (33,19) opt[122][4] = 0 39.71/33.85 c (33,19) opt[123][0] = 0 39.71/33.85 c (33,19) opt[123][1] = 0 39.71/33.85 c (33,19) opt[123][2] = 0 39.71/33.85 c (33,19) opt[123][3] = 0 39.71/33.85 c (33,19) opt[123][4] = 1 39.71/33.85 c (33,19) opt[124][0] = 0 39.71/33.85 c (33,19) opt[124][1] = 0 39.71/33.85 c (33,19) opt[124][2] = 0 39.71/33.85 c (33,19) opt[124][3] = 1 39.71/33.85 c (33,19) opt[124][4] = 0 39.71/33.85 c (33,19) opt[125][0] = 1 39.71/33.85 c (33,19) opt[125][1] = 1 39.71/33.85 c (33,19) opt[125][2] = 0 39.71/33.85 c (33,19) opt[125][3] = 0 39.71/33.85 c (33,19) opt[125][4] = 0 39.71/33.85 c (33,19) opt[126][0] = 0 39.71/33.85 c (33,19) opt[126][1] = 0 39.71/33.85 c (33,19) opt[126][2] = 1 39.71/33.85 c (33,19) opt[126][3] = 0 39.71/33.85 c (33,19) opt[126][4] = 0 39.71/33.85 c (33,19) opt[127][0] = 0 39.71/33.85 c (33,19) opt[127][1] = 1 39.71/33.85 c (33,19) opt[127][2] = 0 39.71/33.85 c (33,19) opt[127][3] = 1 39.71/33.85 c (33,19) opt[127][4] = 0 39.71/33.85 c (33,19) opt[128][0] = 1 39.71/33.85 c (33,19) opt[128][1] = 1 39.71/33.85 c (33,19) opt[128][2] = 0 39.71/33.85 c (33,19) opt[128][3] = 0 39.71/33.85 c (33,19) opt[128][4] = 1 39.71/33.85 c (33,19) opt[129][0] = 0 39.71/33.85 c (33,19) opt[129][1] = 0 39.71/33.85 c (33,19) opt[129][2] = 1 39.71/33.85 c (33,19) opt[129][3] = 1 39.71/33.85 c (33,19) opt[129][4] = 0 39.71/33.85 c (33,19) opt[130][0] = 0 39.71/33.85 c (33,19) opt[130][1] = 1 39.71/33.85 c (33,19) opt[130][2] = 0 39.71/33.85 c (33,19) opt[130][3] = 0 39.71/33.85 c (33,19) opt[130][4] = 0 39.71/33.85 c (33,19) opt[131][0] = 0 39.71/33.85 c (33,19) opt[131][1] = 1 39.71/33.85 c (33,19) opt[131][2] = 0 39.71/33.85 c (33,19) opt[131][3] = 0 39.71/33.85 c (33,19) opt[131][4] = 0 39.71/33.85 c (33,19) opt[132][0] = 0 39.71/33.85 c (33,19) opt[132][1] = 0 39.71/33.85 c (33,19) opt[132][2] = 1 39.71/33.85 c (33,19) opt[132][3] = 0 39.71/33.85 c (33,19) opt[132][4] = 0 39.71/33.85 c (33,19) opt[133][0] = 0 39.71/33.85 c (33,19) opt[133][1] = 1 39.71/33.85 c (33,19) opt[133][2] = 0 39.71/33.85 c (33,19) opt[133][3] = 1 39.71/33.85 c (33,19) opt[133][4] = 0 39.71/33.85 c (33,19) opt[134][0] = 1 39.71/33.85 c (33,19) opt[134][1] = 0 39.71/33.85 c (33,19) opt[134][2] = 0 39.71/33.85 c (33,19) opt[134][3] = 1 39.71/33.85 c (33,19) opt[134][4] = 1 39.71/33.85 c (33,19) opt[135][0] = 0 39.71/33.85 c (33,19) opt[135][1] = 0 39.71/33.85 c (33,19) opt[135][2] = 1 39.71/33.85 c (33,19) opt[135][3] = 0 39.71/33.85 c (33,19) opt[135][4] = 0 39.71/33.85 c (33,19) opt[136][0] = 1 39.71/33.85 c (33,19) opt[136][1] = 1 39.71/33.85 c (33,19) opt[136][2] = 0 39.71/33.85 c (33,19) opt[136][3] = 0 39.71/33.85 c (33,19) opt[136][4] = 0 39.71/33.85 c (33,19) opt[137][0] = 0 39.71/33.85 c (33,19) opt[137][1] = 1 39.71/33.85 c (33,19) opt[137][2] = 0 39.71/33.85 c (33,19) opt[137][3] = 0 39.71/33.85 c (33,19) opt[137][4] = 0 39.71/33.85 c (33,19) opt[138][0] = 0 39.71/33.85 c (33,19) opt[138][1] = 0 39.71/33.85 c (33,19) opt[138][2] = 1 39.71/33.85 c (33,19) opt[138][3] = 1 39.71/33.85 c (33,19) opt[138][4] = 0 39.71/33.85 c (33,19) opt[139][0] = 1 39.71/33.85 c (33,19) opt[139][1] = 0 39.71/33.85 c (33,19) opt[139][2] = 0 39.71/33.85 c (33,19) opt[139][3] = 0 39.71/33.85 c (33,19) opt[139][4] = 1 39.71/33.85 c (33,19) opt[140][0] = 0 39.71/33.85 c (33,19) opt[140][1] = 1 39.71/33.85 c (33,19) opt[140][2] = 0 39.71/33.85 c (33,19) opt[140][3] = 0 39.71/33.85 c (33,19) opt[140][4] = 0 39.71/33.85 c (33,19) opt[141][0] = 1 39.71/33.85 c (33,19) opt[141][1] = 1 39.71/33.85 c (33,19) opt[141][2] = 0 39.71/33.85 c (33,19) opt[141][3] = 0 39.71/33.85 c (33,19) opt[141][4] = 0 39.71/33.85 c (33,19) opt[142][0] = 0 39.71/33.85 c (33,19) opt[142][1] = 0 39.71/33.85 c (33,19) opt[142][2] = 1 39.71/33.85 c (33,19) opt[142][3] = 1 39.71/33.85 c (33,19) opt[142][4] = 0 39.71/33.85 c (33,19) opt[143][0] = 0 39.71/33.85 c (33,19) opt[143][1] = 1 39.71/33.85 c (33,19) opt[143][2] = 0 39.71/33.85 c (33,19) opt[143][3] = 0 39.71/33.85 c (33,19) opt[143][4] = 0 39.71/33.85 c (33,19) opt[144][0] = 0 39.71/33.85 c (33,19) opt[144][1] = 0 39.71/33.85 c (33,19) opt[144][2] = 0 39.71/33.85 c (33,19) opt[144][3] = 0 39.71/33.85 c (33,19) opt[144][4] = 1 39.71/33.85 c (33,19) opt[145][0] = 1 39.71/33.85 c (33,19) opt[145][1] = 1 39.71/33.85 c (33,19) opt[145][2] = 0 39.71/33.85 c (33,19) opt[145][3] = 1 39.71/33.85 c (33,19) opt[145][4] = 0 39.71/33.85 c (33,19) opt[146][0] = 0 39.71/33.85 c (33,19) opt[146][1] = 0 39.71/33.85 c (33,19) opt[146][2] = 1 39.71/33.85 c (33,19) opt[146][3] = 0 39.71/33.85 c (33,19) opt[146][4] = 0 39.71/33.85 c (33,19) opt[147][0] = 1 39.71/33.85 c (33,19) opt[147][1] = 1 39.71/33.85 c (33,19) opt[147][2] = 0 39.71/33.85 c (33,19) opt[147][3] = 0 39.71/33.85 c (33,19) opt[147][4] = 0 39.71/33.85 c (33,19) opt[148][0] = 0 39.71/33.85 c (33,19) opt[148][1] = 1 39.71/33.86 c (33,19) opt[148][2] = 0 39.71/33.86 c (33,19) opt[148][3] = 0 39.71/33.86 c (33,19) opt[148][4] = 0 39.71/33.86 c (33,19) opt[149][0] = 0 39.71/33.86 c (33,19) opt[149][1] = 0 39.71/33.86 c (33,19) opt[149][2] = 1 39.71/33.86 c (33,19) opt[149][3] = 0 39.71/33.86 c (33,19) opt[149][4] = 1 39.71/33.86 c (33,19) opt[150][0] = 1 39.71/33.86 c (33,19) opt[150][1] = 0 39.71/33.86 c (33,19) opt[150][2] = 0 39.71/33.86 c (33,19) opt[150][3] = 1 39.71/33.86 c (33,19) opt[150][4] = 0 39.71/33.86 c (33,19) opt[151][0] = 0 39.71/33.86 c (33,19) opt[151][1] = 0 39.71/33.86 c (33,19) opt[151][2] = 0 39.71/33.86 c (33,19) opt[151][3] = 1 39.71/33.86 c (33,19) opt[151][4] = 0 39.71/33.86 c (33,19) opt[152][0] = 1 39.71/33.86 c (33,19) opt[152][1] = 1 39.71/33.86 c (33,19) opt[152][2] = 0 39.71/33.86 c (33,19) opt[152][3] = 0 39.71/33.86 c (33,19) opt[152][4] = 0 39.71/33.86 c (33,19) opt[153][0] = 0 39.71/33.86 c (33,19) opt[153][1] = 0 39.71/33.86 c (33,19) opt[153][2] = 1 39.71/33.86 c (33,19) opt[153][3] = 0 39.71/33.86 c (33,19) opt[153][4] = 0 39.71/33.86 c (33,19) opt[154][0] = 0 39.71/33.86 c (33,19) opt[154][1] = 0 39.71/33.86 c (33,19) opt[154][2] = 0 39.71/33.86 c (33,19) opt[154][3] = 0 39.71/33.86 c (33,19) opt[154][4] = 1 39.71/33.86 c (33,19) opt[155][0] = 0 39.71/33.86 c (33,19) opt[155][1] = 0 39.71/33.86 c (33,19) opt[155][2] = 0 39.71/33.86 c (33,19) opt[155][3] = 1 39.71/33.86 c (33,19) opt[155][4] = 0 39.71/33.86 c (33,19) opt[156][0] = 1 39.71/33.86 c (33,19) opt[156][1] = 1 39.71/33.86 c (33,19) opt[156][2] = 0 39.71/33.86 c (33,19) opt[156][3] = 1 39.71/33.86 c (33,19) opt[156][4] = 0 39.71/33.86 c (33,19) opt[157][0] = 0 39.71/33.86 c (33,19) opt[157][1] = 1 39.71/33.86 c (33,19) opt[157][2] = 0 39.71/33.86 c (33,19) opt[157][3] = 0 39.71/33.86 c (33,19) opt[157][4] = 0 39.71/33.86 c (33,19) opt[158][0] = 0 39.71/33.86 c (33,19) opt[158][1] = 0 39.71/33.86 c (33,19) opt[158][2] = 1 39.71/33.86 c (33,19) opt[158][3] = 0 39.71/33.86 c (33,19) opt[158][4] = 0 39.71/33.86 c (33,19) opt[159][0] = 0 39.71/33.86 c (33,19) opt[159][1] = 1 39.71/33.86 c (33,19) opt[159][2] = 0 39.71/33.86 c (33,19) opt[159][3] = 0 39.71/33.86 c (33,19) opt[159][4] = 1 39.71/33.86 c (33,19) opt[160][0] = 1 39.71/33.86 c (33,19) opt[160][1] = 0 39.71/33.86 c (33,19) opt[160][2] = 0 39.71/33.86 c (33,19) opt[160][3] = 0 39.71/33.86 c (33,19) opt[160][4] = 0 39.71/33.86 c (33,19) opt[161][0] = 0 39.71/33.86 c (33,19) opt[161][1] = 1 39.71/33.86 c (33,19) opt[161][2] = 0 39.71/33.86 c (33,19) opt[161][3] = 0 39.71/33.86 c (33,19) opt[161][4] = 0 39.71/33.86 c (33,19) opt[162][0] = 0 39.71/33.86 c (33,19) opt[162][1] = 0 39.71/33.86 c (33,19) opt[162][2] = 1 39.71/33.86 c (33,19) opt[162][3] = 1 39.71/33.86 c (33,19) opt[162][4] = 0 39.71/33.86 c (33,19) opt[163][0] = 0 39.71/33.86 c (33,19) opt[163][1] = 0 39.71/33.86 c (33,19) opt[163][2] = 0 39.71/33.86 c (33,19) opt[163][3] = 1 39.71/33.86 c (33,19) opt[163][4] = 0 39.71/33.86 c (33,19) opt[164][0] = 1 39.71/33.86 c (33,19) opt[164][1] = 0 39.71/33.86 c (33,19) opt[164][2] = 0 39.71/33.86 c (33,19) opt[164][3] = 0 39.71/33.86 c (33,19) opt[164][4] = 1 39.71/33.86 c (33,19) opt[165][0] = 0 39.71/33.86 c (33,19) opt[165][1] = 0 39.71/33.86 c (33,19) opt[165][2] = 1 39.71/33.86 c (33,19) opt[165][3] = 0 39.71/33.86 c (33,19) opt[165][4] = 0 39.71/33.86 c (33,19) opt[166][0] = 0 39.71/33.86 c (33,19) opt[166][1] = 1 39.71/33.86 c (33,19) opt[166][2] = 0 39.71/33.86 c (33,19) opt[166][3] = 0 39.71/33.86 c (33,19) opt[166][4] = 0 39.71/33.86 c (33,19) opt[167][0] = 1 39.71/33.86 c (33,19) opt[167][1] = 1 39.71/33.86 c (33,19) opt[167][2] = 0 39.71/33.86 c (33,19) opt[167][3] = 1 39.71/33.86 c (33,19) opt[167][4] = 0 39.71/33.86 c (33,19) opt[168][0] = 0 39.71/33.86 c (33,19) opt[168][1] = 0 39.71/33.86 c (33,19) opt[168][2] = 1 39.71/33.86 c (33,19) opt[168][3] = 1 39.71/33.86 c (33,19) opt[168][4] = 0 39.71/33.86 c (33,19) opt[169][0] = 0 39.71/33.86 c (33,19) opt[169][1] = 0 39.71/33.86 c (33,19) opt[169][2] = 0 39.71/33.86 c (33,19) opt[169][3] = 0 39.71/33.86 c (33,19) opt[169][4] = 1 39.71/33.86 c (33,19) opt[170][0] = 1 39.71/33.86 c (33,19) opt[170][1] = 1 39.71/33.86 c (33,19) opt[170][2] = 0 39.71/33.86 c (33,19) opt[170][3] = 0 39.71/33.86 c (33,19) opt[170][4] = 0 39.71/33.86 c (33,19) opt[171][0] = 0 39.71/33.86 c (33,19) opt[171][1] = 0 39.71/33.86 c (33,19) opt[171][2] = 1 39.71/33.86 c (33,19) opt[171][3] = 0 39.71/33.86 c (33,19) opt[171][4] = 0 39.71/33.86 c (33,19) opt[172][0] = 0 39.71/33.86 c (33,19) opt[172][1] = 1 39.71/33.86 c (33,19) opt[172][2] = 0 39.71/33.86 c (33,19) opt[172][3] = 1 39.71/33.86 c (33,19) opt[172][4] = 0 39.71/33.86 c (33,19) opt[173][0] = 1 39.71/33.86 c (33,19) opt[173][1] = 0 39.71/33.86 c (33,19) opt[173][2] = 0 39.71/33.86 c (33,19) opt[173][3] = 0 39.71/33.86 c (33,19) opt[173][4] = 0 39.71/33.86 c (33,19) opt[174][0] = 0 39.71/33.86 c (33,19) opt[174][1] = 1 39.71/33.86 c (33,19) opt[174][2] = 1 39.71/33.86 c (33,19) opt[174][3] = 0 39.71/33.86 c (33,19) opt[174][4] = 1 39.71/33.86 c (33,19) opt[175][0] = 1 39.71/33.86 c (33,19) opt[175][1] = 1 39.71/33.86 c (33,19) opt[175][2] = 0 39.71/33.86 c (33,19) opt[175][3] = 0 39.71/33.86 c (33,19) opt[175][4] = 0 39.71/33.86 c (33,19) opt[176][0] = 0 39.71/33.86 c (33,19) opt[176][1] = 0 39.71/33.86 c (33,19) opt[176][2] = 0 39.71/33.86 c (33,19) opt[176][3] = 1 39.71/33.86 c (33,19) opt[176][4] = 0 39.71/33.86 c (33,19) opt[177][0] = 0 39.71/33.86 c (33,19) opt[177][1] = 0 39.71/33.86 c (33,19) opt[177][2] = 0 39.71/33.86 c (33,19) opt[177][3] = 1 39.71/33.86 c (33,19) opt[177][4] = 0 39.71/33.86 c (33,19) opt[178][0] = 1 39.71/33.86 c (33,19) opt[178][1] = 1 39.71/33.86 c (33,19) opt[178][2] = 0 39.71/33.86 c (33,19) opt[178][3] = 0 39.71/33.86 c (33,19) opt[178][4] = 0 39.71/33.86 c (33,19) opt[179][0] = 0 39.71/33.86 c (33,19) opt[179][1] = 0 39.71/33.86 c (33,19) opt[179][2] = 1 39.71/33.86 c (33,19) opt[179][3] = 0 39.71/33.86 c (33,19) opt[179][4] = 1 39.71/33.86 c (33,19) opt[180][0] = 0 39.71/33.86 c (33,19) opt[180][1] = 1 39.71/33.86 c (33,19) opt[180][2] = 0 39.71/33.86 c (33,19) opt[180][3] = 0 39.71/33.86 c (33,19) opt[180][4] = 0 39.71/33.86 c (33,19) opt[181][0] = 0 39.71/33.86 c (33,19) opt[181][1] = 0 39.71/33.86 c (33,19) opt[181][2] = 0 39.71/33.86 c (33,19) opt[181][3] = 1 39.71/33.86 c (33,19) opt[181][4] = 0 39.71/33.86 c (33,19) opt[182][0] = 1 39.71/33.86 c (33,19) opt[182][1] = 1 39.71/33.86 c (33,19) opt[182][2] = 1 39.71/33.86 c (33,19) opt[182][3] = 0 39.71/33.86 c (33,19) opt[182][4] = 0 39.71/33.86 c (33,19) opt[183][0] = 0 39.71/33.86 c (33,19) opt[183][1] = 0 39.71/33.86 c (33,19) opt[183][2] = 0 39.71/33.86 c (33,19) opt[183][3] = 1 39.71/33.86 c (33,19) opt[183][4] = 0 39.71/33.86 c (33,19) opt[184][0] = 0 39.71/33.86 c (33,19) opt[184][1] = 1 39.71/33.86 c (33,19) opt[184][2] = 0 39.71/33.86 c (33,19) opt[184][3] = 0 39.71/33.86 c (33,19) opt[184][4] = 1 39.71/33.86 c (33,19) opt[185][0] = 0 39.71/33.86 c (33,19) opt[185][1] = 0 39.71/33.86 c (33,19) opt[185][2] = 1 39.71/33.86 c (33,19) opt[185][3] = 0 39.71/33.86 c (33,19) opt[185][4] = 0 39.71/33.86 c (33,19) opt[186][0] = 0 39.71/33.86 c (33,19) opt[186][1] = 0 39.71/33.86 c (33,19) opt[186][2] = 0 39.71/33.86 c (33,19) opt[186][3] = 1 39.71/33.86 c (33,19) opt[186][4] = 0 39.71/33.86 c (33,19) opt[187][0] = 1 39.71/33.86 c (33,19) opt[187][1] = 1 39.71/33.86 c (33,19) opt[187][2] = 0 39.71/33.86 c (33,19) opt[187][3] = 0 39.71/33.86 c (33,19) opt[187][4] = 0 39.71/33.86 c (33,19) opt[188][0] = 0 39.71/33.86 c (33,19) opt[188][1] = 1 39.71/33.86 c (33,19) opt[188][2] = 1 39.71/33.86 c (33,19) opt[188][3] = 0 39.71/33.86 c (33,19) opt[188][4] = 0 39.71/33.86 c (33,19) opt[189][0] = 0 39.71/33.86 c (33,19) opt[189][1] = 0 39.71/33.86 c (33,19) opt[189][2] = 0 39.71/33.86 c (33,19) opt[189][3] = 0 39.71/33.86 c (33,19) opt[189][4] = 1 39.71/33.86 c (33,19) opt[190][0] = 1 39.71/33.86 c (33,19) opt[190][1] = 0 39.71/33.86 c (33,19) opt[190][2] = 0 39.71/33.86 c (33,19) opt[190][3] = 0 39.71/33.86 c (33,19) opt[190][4] = 0 39.71/33.86 c (33,19) opt[191][0] = 0 39.71/33.86 c (33,19) opt[191][1] = 0 39.71/33.86 c (33,19) opt[191][2] = 0 39.71/33.86 c (33,19) opt[191][3] = 1 39.71/33.86 c (33,19) opt[191][4] = 0 39.71/33.86 c (33,19) opt[192][0] = 0 39.71/33.86 c (33,19) opt[192][1] = 0 39.71/33.86 c (33,19) opt[192][2] = 1 39.71/33.86 c (33,19) opt[192][3] = 0 39.71/33.86 c (33,19) opt[192][4] = 0 39.71/33.86 c (33,19) opt[193][0] = 0 39.71/33.86 c (33,19) opt[193][1] = 0 39.71/33.86 c (33,19) opt[193][2] = 0 39.71/33.86 c (33,19) opt[193][3] = 1 39.71/33.86 c (33,19) opt[193][4] = 0 39.71/33.86 c (33,19) opt[194][0] = 1 39.71/33.86 c (33,19) opt[194][1] = 1 39.71/33.86 c (33,19) opt[194][2] = 0 39.71/33.86 c (33,19) opt[194][3] = 0 39.71/33.86 c (33,19) opt[194][4] = 1 39.71/33.86 c (33,19) opt[195][0] = 0 39.71/33.86 c (33,19) opt[195][1] = 0 39.71/33.86 c (33,19) opt[195][2] = 1 39.71/33.86 c (33,19) opt[195][3] = 0 39.71/33.86 c (33,19) opt[195][4] = 0 39.71/33.86 c (33,19) opt[196][0] = 1 39.71/33.86 c (33,19) opt[196][1] = 1 39.71/33.86 c (33,19) opt[196][2] = 0 39.71/33.86 c (33,19) opt[196][3] = 0 39.71/33.86 c (33,19) opt[196][4] = 0 39.71/33.86 c (33,19) opt[197][0] = 0 39.71/33.86 c (33,19) opt[197][1] = 0 39.71/33.86 c (33,19) opt[197][2] = 0 39.71/33.86 c (33,19) opt[197][3] = 1 39.71/33.86 c (33,19) opt[197][4] = 0 39.71/33.86 c (33,19) opt[198][0] = 0 39.71/33.86 c (33,19) opt[198][1] = 0 39.71/33.86 c (33,19) opt[198][2] = 1 39.71/33.86 c (33,19) opt[198][3] = 0 39.71/33.86 c (33,19) opt[198][4] = 0 39.71/33.86 c (33,19) opt[199][0] = 0 39.71/33.86 c (33,19) opt[199][1] = 0 39.71/33.86 c (33,19) opt[199][2] = 0 39.71/33.86 c (33,19) opt[199][3] = 0 39.71/33.86 c (33,19) opt[199][4] = 1 39.71/33.86 s SATISFIABLE 39.71/33.86 v <instantiation> 39.71/33.86 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> 39.71/33.86 v <values>8 14 22 5 19 15 12 19 17 19 19 0 19 5 4 12 12 15 5 19 0 19 22 19 0 19 19 5 8 14 19 22 13 7 12 19 11 1 19 8 22 19 18 15 19 12 22 21 8 22 19 12 10 19 12 2 12 20 21 12 19 23 11 1 19 14 12 19 11 5 19 0 8 22 19 19 10 12 22 11 7 19 15 12 19 3 12 19 12 11 5 19 4 12 2 14 5 2 11 2 19 18 19 15 8 19 22 11 23 5 4 12 2 12 9 19 2 12 19 15 19 12 15 5 12 2 11 8 6 14 19 19 11 8 16 11 2 19 14 1 19 2 14 19 5 7 11 2 19 9 23 12 2 11 5 12 7 19 11 21 22 19 14 12 1 11 19 7 14 5 2 11 8 22 13 2 12 12 2 9 19 12 4 12 21 11 12 2 20 5 22 12 11 12 6 11 2 12 11 5 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1</values> 39.71/33.86 v </instantiation> 39.71/33.86 c (33,19) Show results End 39.71/33.86 c (33,19) Heap : 1130 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 39.71/33.86 c (33,19) 0,0,11,11,12,12,19,33,33,STOP-AFTER(ALL) 39.71/33.86 c END-Prog: Fri Jul 27 06:21:09 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 (8506 MiB free)
memory of node 1: 16384 MiB (11546 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296904-1532665235/watcher-4296904-1532665235 -o /tmp/evaluation-result-4296904-1532665235/solver-4296904-1532665235 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532665235-17491 --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-4296904-1532665235.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17508, runsolver pid=17505
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 9.01 8.58 7.95 2/199 17528
/proc/meminfo: memFree=20441916/32770624 swapFree=67108860/67108860
[pid=17508] ppid=17505 vsize=27312552 memory=106480 CPUtime=0.11 cores=0-7
/proc/17508/stat : 17508 (java) S 17505 17508 17464 0 -1 1077944320 6650 0 0 0 8 3 0 0 20 0 20 0 84086646 27968053248 26620 33554432000 4194304 4196468 140733175483776 140733175466320 140489952378615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
/proc/17508/statm: 6828138 26620 2742 1 0 6790598 0
[pid=17508/tid=17510] ppid=17505 vsize=27312552 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/17508/task/17510/stat : 17510 (java) R 17505 17508 17464 0 -1 4202560 4756 0 0 0 6 2 0 0 20 0 20 0 84086646 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489924184088 140489932654429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17511] ppid=17505 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17508/task/17511/stat : 17511 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489956620944 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17512] ppid=17505 vsize=27312552 memory=140587935078016 CPUtime=0 cores=0-7
/proc/17508/task/17512/stat : 17512 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489374640656 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17513] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17513/stat : 17513 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489373587856 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17514] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17514/stat : 17514 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489372535056 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17515] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17515/stat : 17515 (java) S 17505 17508 17464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489371483280 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17516] ppid=17505 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17508/task/17516/stat : 17516 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489370430480 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17517] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17517/stat : 17517 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489369377680 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17518] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17518/stat : 17518 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489368324880 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17519] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17519/stat : 17519 (java) S 17505 17508 17464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84086650 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489326721392 140489952389762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17520] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17520/stat : 17520 (java) S 17505 17508 17464 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84086651 27968053248 26620 33554432000 4194304 4196468 140733175483776 140487910482976 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17521] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17521/stat : 17521 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086651 27968053248 26620 33554432000 4194304 4196468 140733175483776 140487642047344 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17522] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17522/stat : 17522 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 26620 33554432000 4194304 4196468 140733175483776 140487267538768 140489952397211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17523] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17523/stat : 17523 (java) S 17505 17508 17464 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489325669232 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17524] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17524/stat : 17524 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489324616432 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17525] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17525/stat : 17525 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489323563632 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17526] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17526/stat : 17526 (java) S 17505 17508 17464 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489322510832 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17527] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17527/stat : 17527 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 26620 33554432000 4194304 4196468 140733175483776 140486769633888 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17528] ppid=17505 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17508/task/17528/stat : 17528 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 26620 33554432000 4194304 4196468 140733175483776 140489321458224 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 106480 KiB
[startup+0.210224 s]*
/proc/loadavg: 9.01 8.58 7.95 2/199 17528
/proc/meminfo: memFree=20423480/32770624 swapFree=67108860/67108860
[pid=17508] ppid=17505 vsize=27312552 memory=121220 CPUtime=0.24 cores=0-7
/proc/17508/stat : 17508 (java) S 17505 17508 17464 0 -1 1077944320 10624 0 0 0 21 3 0 0 20 0 20 0 84086646 27968053248 30305 33554432000 4194304 4196468 140733175483776 140733175466320 140489952378615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
/proc/17508/statm: 6828138 30305 2898 1 0 6790598 0
[pid=17508/tid=17510] ppid=17505 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/17508/task/17510/stat : 17510 (java) R 17505 17508 17464 0 -1 4202560 8480 0 0 0 17 3 0 0 20 0 20 0 84086646 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489924177360 140489952400541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17511] ppid=17505 vsize=27312552 memory=13939 CPUtime=0 cores=0-7
/proc/17508/task/17511/stat : 17511 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489956620944 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17512] ppid=17505 vsize=27312552 memory=140587935633961 CPUtime=0 cores=0-7
/proc/17508/task/17512/stat : 17512 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489374640656 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17513] ppid=17505 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17508/task/17513/stat : 17513 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489373587856 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17514] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17514/stat : 17514 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489372535056 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17515] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17515/stat : 17515 (java) S 17505 17508 17464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489371483280 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17516] ppid=17505 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17508/task/17516/stat : 17516 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489370430480 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17517] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17517/stat : 17517 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489369377680 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17518] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17518/stat : 17518 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489368324880 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17519] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17519/stat : 17519 (java) S 17505 17508 17464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84086650 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489326721392 140489952389762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17520] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17520/stat : 17520 (java) S 17505 17508 17464 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84086651 27968053248 30305 33554432000 4194304 4196468 140733175483776 140487910482976 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17521] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17521/stat : 17521 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086651 27968053248 30305 33554432000 4194304 4196468 140733175483776 140487642047344 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17522] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17522/stat : 17522 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 30305 33554432000 4194304 4196468 140733175483776 140487267538768 140489952397211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17523] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17523/stat : 17523 (java) S 17505 17508 17464 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489325669232 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17524] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17524/stat : 17524 (java) S 17505 17508 17464 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489324616432 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17525] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17525/stat : 17525 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489323563632 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17526] ppid=17505 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/17508/task/17526/stat : 17526 (java) R 17505 17508 17464 0 -1 4202560 316 0 0 0 2 0 0 0 20 0 20 0 84086654 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489322510832 140489952399962 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17527] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17527/stat : 17527 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 30305 33554432000 4194304 4196468 140733175483776 140486769633888 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17528] ppid=17505 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17508/task/17528/stat : 17528 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 30305 33554432000 4194304 4196468 140733175483776 140489321458224 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 121220 KiB
[startup+0.310258 s]*
/proc/loadavg: 9.01 8.58 7.95 2/199 17528
/proc/meminfo: memFree=20419184/32770624 swapFree=67108860/67108860
[pid=17508] ppid=17505 vsize=27312552 memory=126216 CPUtime=0.42 cores=0-7
/proc/17508/stat : 17508 (java) S 17505 17508 17464 0 -1 1077944320 11420 0 0 0 38 4 0 0 20 0 20 0 84086646 27968053248 31554 33554432000 4194304 4196468 140733175483776 140733175466320 140489952378615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
/proc/17508/statm: 6828138 31554 3006 1 0 6790598 0
[pid=17508/tid=17510] ppid=17505 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17508/task/17510/stat : 17510 (java) R 17505 17508 17464 0 -1 4202560 8984 0 0 0 26 3 0 0 20 0 20 0 84086646 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489924182768 140489933942175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17511] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17511/stat : 17511 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489956620944 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17512] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17512/stat : 17512 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489374640656 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17513] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17513/stat : 17513 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489373587856 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17514] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17514/stat : 17514 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489372535056 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17515] ppid=17505 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/17508/task/17515/stat : 17515 (java) S 17505 17508 17464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489371483280 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17516] ppid=17505 vsize=27312552 memory=140587835683759 CPUtime=0 cores=0-7
/proc/17508/task/17516/stat : 17516 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489370430480 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17517] ppid=17505 vsize=27312552 memory=140587835686064 CPUtime=0 cores=0-7
/proc/17508/task/17517/stat : 17517 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489369377680 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17518] ppid=17505 vsize=27312552 memory=140587835688368 CPUtime=0 cores=0-7
/proc/17508/task/17518/stat : 17518 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489368324880 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17519] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17519/stat : 17519 (java) S 17505 17508 17464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84086650 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489326721392 140489952389762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17520] ppid=17505 vsize=27312552 memory=281175671383696 CPUtime=0 cores=0-7
/proc/17508/task/17520/stat : 17520 (java) S 17505 17508 17464 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84086651 27968053248 31554 33554432000 4194304 4196468 140733175483776 140487910482976 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17521] ppid=17505 vsize=27312552 memory=281175671390608 CPUtime=0 cores=0-7
/proc/17508/task/17521/stat : 17521 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086651 27968053248 31554 33554432000 4194304 4196468 140733175483776 140487642047344 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17522] ppid=17505 vsize=27312552 memory=281175671331888 CPUtime=0 cores=0-7
/proc/17508/task/17522/stat : 17522 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 31554 33554432000 4194304 4196468 140733175483776 140487267538768 140489952397211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17523] ppid=17505 vsize=27312552 memory=281175671404432 CPUtime=0.02 cores=0-7
/proc/17508/task/17523/stat : 17523 (java) S 17505 17508 17464 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 20 0 84086654 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489325669232 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17524] ppid=17505 vsize=27312552 memory=281175671411344 CPUtime=0.01 cores=0-7
/proc/17508/task/17524/stat : 17524 (java) S 17505 17508 17464 0 -1 1077944384 227 0 0 0 1 0 0 0 20 0 20 0 84086654 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489324616432 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17525] ppid=17505 vsize=27312552 memory=281175671409040 CPUtime=0 cores=0-7
/proc/17508/task/17525/stat : 17525 (java) S 17505 17508 17464 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489323563632 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17526] ppid=17505 vsize=27312552 memory=281175671425648 CPUtime=0.07 cores=0-7
/proc/17508/task/17526/stat : 17526 (java) S 17505 17508 17464 0 -1 1077944384 434 0 0 0 7 0 0 0 20 0 20 0 84086654 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489322510832 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17527] ppid=17505 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17527/stat : 17527 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 31554 33554432000 4194304 4196468 140733175483776 140486769633888 140489952388821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17528] ppid=17505 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17508/task/17528/stat : 17528 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086654 27968053248 31554 33554432000 4194304 4196468 140733175483776 140489321458224 140489952389762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 126216 KiB
[startup+0.700906 s]
/proc/loadavg: 9.01 8.58 7.95 2/199 17528
/proc/meminfo: memFree=20394380/32770624 swapFree=67108860/67108860
[pid=17508] ppid=17505 vsize=27318824 memory=163784 CPUtime=0.99 cores=0-7
/proc/17508/stat : 17508 (java) S 17505 17508 17464 0 -1 1077944320 18523 0 0 0 92 7 0 0 20 0 20 0 84086646 27974475776 40946 33554432000 4194304 4196468 140733175483776 140733175466320 140489952378615 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
/proc/17508/statm: 6829706 40946 3124 1 0 6791110 0
[pid=17508/tid=17510] ppid=17505 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7
/proc/17508/task/17510/stat : 17510 (java) R 17505 17508 17464 0 -1 4202560 15500 0 0 0 61 6 0 0 20 0 20 0 84086646 27974475776 40946 33554432000 4194304 4196468 140733175483776 140489924216176 140489952390550 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17511] ppid=17505 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17511/stat : 17511 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27974475776 40946 33554432000 4194304 4196468 140733175483776 140489956620944 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17512] ppid=17505 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17512/stat : 17512 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27974475776 40946 33554432000 4194304 4196468 140733175483776 140489374640656 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17513] ppid=17505 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17513/stat : 17513 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27974475776 40946 33554432000 4194304 4196468 140733175483776 140489373587856 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17514] ppid=17505 vsize=27318824 memory=1196 CPUtime=0 cores=0-7
/proc/17508/task/17514/stat : 17514 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27974475776 40946 33554432000 4194304 4196468 140733175483776 140489372535056 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17515] ppid=17505 vsize=27318824 memory=8536 CPUtime=0 cores=0-7
/proc/17508/task/17515/stat : 17515 (java) S 17505 17508 17464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84086649 27974475776 40946 33554432000 4194304 4196468 140733175483776 140489371483280 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17516] ppid=17505 vsize=27318824 memory=4616 CPUtime=0 cores=0-7
/proc/17508/task/17516/stat : 17516 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84086649 27974475776 40946 33554432000 4194304 4196468 140733175483776 140489370430480 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17517] ppid=17505 vsize=27318824 memory=1424 CPUtime=0 cores=0-7
/proc/17508/task/17517/stat : 17517 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27974475776 40946 33554432000 4194304 4196468 140733175483776 140489369377680 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17518] ppid=17505 vsize=27318824 memory=15868 CPUtime=0 cores=0-7
/proc/17508/task/17518/stat : 17518 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84086649 27974475776 40946 33554432000 4194304 4196468 140733175483776 140489368324880 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17519] ppid=17505 vsize=27318824 memory=4052 CPUtime=0 cores=0-7
/proc/17508/task/17519/stat : 17519 (java) S 17505 17508 17464 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84086650 27974475776 40946 33554432000 4194304 4196468 140733175483776 140489326721392 140489952389762 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
################
# More data... #
################
[pid=17508/tid=17524] ppid=17505 vsize=27984808 memory=6208388 CPUtime=5.64 cores=0-7
/proc/17508/task/17524/stat : 17524 (java) S 17505 17508 17464 0 -1 1077944384 6268 0 0 0 562 2 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489324616432 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17525] ppid=17505 vsize=27984808 memory=201624 CPUtime=4.99 cores=0-7
/proc/17508/task/17525/stat : 17525 (java) S 17505 17508 17464 0 -1 1077944384 7877 0 0 0 498 1 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489323563632 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17526] ppid=17505 vsize=27984808 memory=1196 CPUtime=1.68 cores=0-7
/proc/17508/task/17526/stat : 17526 (java) S 17505 17508 17464 0 -1 1077944384 4505 0 0 0 166 2 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489322510832 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17527] ppid=17505 vsize=27984808 memory=6208388 CPUtime=0 cores=0-7
/proc/17508/task/17527/stat : 17527 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140486769633888 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17528] ppid=17505 vsize=27984808 memory=202152 CPUtime=0.01 cores=0-7
/proc/17508/task/17528/stat : 17528 (java) S 17505 17508 17464 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489321458224 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17530] ppid=17505 vsize=27984808 memory=-4075877051373423736 CPUtime=0 cores=0-7
/proc/17508/task/17530/stat : 17530 (java) S 17505 17508 17464 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84088688 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489320072256 140489952403225 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17532] ppid=17505 vsize=27984808 memory=15868 CPUtime=0 cores=0-7
/proc/17508/task/17532/stat : 17532 (java) S 17505 17508 17464 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 84088688 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140486098534448 140489952400541 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17533] ppid=17505 vsize=27984808 memory=4052 CPUtime=0 cores=0-7
/proc/17508/task/17533/stat : 17533 (java) S 17505 17508 17464 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 84088688 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140486366969776 140489952400541 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17534] ppid=17505 vsize=27984808 memory=18252 CPUtime=0 cores=0-7
/proc/17508/task/17534/stat : 17534 (java) S 17505 17508 17464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 84088690 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140485830106656 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
Current children cumulated CPU time: 105.16 s
Current children cumulated vsize: 29663604 KiB
Current children cumulated memory: 7333268 KiB
[startup+33.6014 s]
/proc/loadavg: 6.64 8.02 7.78 9/212 17542
/proc/meminfo: memFree=13140008/32770624 swapFree=67108860/67108860
[pid=17508] ppid=17505 vsize=27984808 memory=6208388 CPUtime=39.55 cores=0-7
/proc/17508/stat : 17508 (java) S 17505 17508 17464 0 -1 1077944320 49683 0 0 0 3788 167 0 0 20 0 24 0 84086646 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140733175466320 140489952378615 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
/proc/17508/statm: 6996202 1552097 3249 1 0 6957058 0
[pid=17529] ppid=17508 vsize=1679900 memory=1114824 CPUtime=72 cores=0-7
/proc/17529/stat : 17529 (glucose-syrup) S 17508 17508 17464 0 -1 1077944320 831504 0 0 0 7047 153 0 0 20 0 9 0 84088687 1720217600 278706 33554432000 4194304 4373367 140737160739136 140737160737680 140100124383874 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6470912 6472264 11313152 140737160745903 140737160746156 140737160746156 140737160748999 0
/proc/17529/statm: 419975 278706 387 44 0 415663 0
[pid=17529/tid=17535] ppid=17508 vsize=1679900 memory=7234844133628602448 CPUtime=8.43 cores=0-7
/proc/17529/task/17535/stat : 17535 (glucose-syrup) R 17508 17508 17464 0 -1 4202560 73688 0 0 0 823 20 0 0 20 0 9 0 84089158 1720217600 278706 33554432000 4194304 4373367 140737160739136 140100020673736 4272344 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 11313152 140737160745903 140737160746156 140737160746156 140737160748999 0
[pid=17529/tid=17536] ppid=17508 vsize=1679900 memory=6208388 CPUtime=8.42 cores=0-7
/proc/17529/task/17536/stat : 17536 (glucose-syrup) R 17508 17508 17464 0 -1 4202560 86413 0 0 0 832 10 0 0 20 0 9 0 84089158 1720217600 278706 33554432000 4194304 4373367 140737160739136 140099569503600 4272341 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 11313152 140737160745903 140737160746156 140737160746156 140737160748999 0
[pid=17529/tid=17537] ppid=17508 vsize=1679900 memory=1118548 CPUtime=8.43 cores=0-7
/proc/17529/task/17537/stat : 17537 (glucose-syrup) R 17508 17508 17464 0 -1 4202560 81743 0 0 0 821 22 0 0 20 0 9 0 84089158 1720217600 278706 33554432000 4194304 4373367 140737160739136 140099561110456 4258831 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 11313152 140737160745903 140737160746156 140737160746156 140737160748999 0
[pid=17529/tid=17538] ppid=17508 vsize=1679900 memory=6208388 CPUtime=8.44 cores=0-7
/proc/17529/task/17538/stat : 17538 (glucose-syrup) R 17508 17508 17464 0 -1 4202560 72275 0 0 0 835 9 0 0 20 0 9 0 84089158 1720217600 278706 33554432000 4194304 4373367 140737160739136 140099552717704 4271894 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 11313152 140737160745903 140737160746156 140737160746156 140737160748999 0
[pid=17529/tid=17539] ppid=17508 vsize=1679900 memory=175620 CPUtime=8.27 cores=0-7
/proc/17529/task/17539/stat : 17539 (glucose-syrup) R 17508 17508 17464 0 -1 4202560 72572 0 0 0 807 20 0 0 20 0 9 0 84089158 1720217600 278706 33554432000 4194304 4373367 140737160739136 140099544324888 4271597 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 11313152 140737160745903 140737160746156 140737160746156 140737160748999 0
[pid=17529/tid=17540] ppid=17508 vsize=1679900 memory=6208388 CPUtime=8.43 cores=0-7
/proc/17529/task/17540/stat : 17540 (glucose-syrup) R 17508 17508 17464 0 -1 4202560 72905 0 0 0 834 9 0 0 20 0 9 0 84089158 1720217600 278706 33554432000 4194304 4373367 140737160739136 140099535932184 4272341 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 11313152 140737160745903 140737160746156 140737160746156 140737160748999 0
[pid=17529/tid=17541] ppid=17508 vsize=1679900 memory=1121660 CPUtime=8.39 cores=0-7
/proc/17529/task/17541/stat : 17541 (glucose-syrup) R 17508 17508 17464 0 -1 4202560 75278 0 0 0 819 20 0 0 20 0 9 0 84089158 1720217600 278706 33554432000 4194304 4373367 140737160739136 140099527539592 4271977 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 11313152 140737160745903 140737160746156 140737160746156 140737160748999 0
[pid=17529/tid=17542] ppid=17508 vsize=1679900 memory=281175672126432 CPUtime=8.41 cores=0-7
/proc/17529/task/17542/stat : 17542 (glucose-syrup) R 17508 17508 17464 0 -1 4202560 74730 0 0 0 832 9 0 0 20 0 9 0 84089158 1720217600 278706 33554432000 4194304 4373367 140737160739136 140099519146792 4258831 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 11313152 140737160745903 140737160746156 140737160746156 140737160748999 0
[pid=17508/tid=17510] ppid=17505 vsize=27984808 memory=0 CPUtime=19.77 cores=0-7
/proc/17508/task/17510/stat : 17510 (java) S 17505 17508 17464 0 -1 1077944384 21948 0 0 0 1876 101 0 0 20 0 24 0 84086646 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489924217856 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17511] ppid=17505 vsize=27984808 memory=56 CPUtime=0.16 cores=0-7
/proc/17508/task/17511/stat : 17511 (java) S 17505 17508 17464 0 -1 1077944384 102 0 0 0 10 6 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489956620944 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17512] ppid=17505 vsize=27984808 memory=-7518891959079781835 CPUtime=0.16 cores=0-7
/proc/17508/task/17512/stat : 17512 (java) S 17505 17508 17464 0 -1 1077944384 182 0 0 0 10 6 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489374640656 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17513] ppid=17505 vsize=27984808 memory=0 CPUtime=0.14 cores=0-7
/proc/17508/task/17513/stat : 17513 (java) S 17505 17508 17464 0 -1 1077944384 92 0 0 0 8 6 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489373587856 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17514] ppid=17505 vsize=27984808 memory=0 CPUtime=0.16 cores=0-7
/proc/17508/task/17514/stat : 17514 (java) S 17505 17508 17464 0 -1 1077944384 138 0 0 0 10 6 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489372535056 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17515] ppid=17505 vsize=27984808 memory=281175671859744 CPUtime=0.16 cores=0-7
/proc/17508/task/17515/stat : 17515 (java) S 17505 17508 17464 0 -1 1077944384 141 0 0 0 10 6 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489371483280 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17516] ppid=17505 vsize=27984808 memory=7949107180013444633 CPUtime=0.13 cores=0-7
/proc/17508/task/17516/stat : 17516 (java) S 17505 17508 17464 0 -1 1077944384 102 0 0 0 8 5 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489370430480 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17517] ppid=17505 vsize=27984808 memory=3475195793619133314 CPUtime=0.16 cores=0-7
/proc/17508/task/17517/stat : 17517 (java) S 17505 17508 17464 0 -1 1077944384 95 0 0 0 9 7 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489369377680 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17518] ppid=17505 vsize=27984808 memory=3837455285895181623 CPUtime=0.17 cores=0-7
/proc/17508/task/17518/stat : 17518 (java) S 17505 17508 17464 0 -1 1077944384 108 0 0 0 9 8 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489368324880 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17519] ppid=17505 vsize=27984808 memory=7957976213794463811 CPUtime=0.01 cores=0-7
/proc/17508/task/17519/stat : 17519 (java) S 17505 17508 17464 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 24 0 84086650 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489326721392 140489952389762 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17520] ppid=17505 vsize=27984808 memory=6208388 CPUtime=0 cores=0-7
/proc/17508/task/17520/stat : 17520 (java) S 17505 17508 17464 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 84086651 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140487910483040 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17521] ppid=17505 vsize=27984808 memory=1113932 CPUtime=0 cores=0-7
/proc/17508/task/17521/stat : 17521 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84086651 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140487642047360 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17522] ppid=17505 vsize=27984808 memory=844 CPUtime=0 cores=0-7
/proc/17508/task/17522/stat : 17522 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140487267538768 140489952397211 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17523] ppid=17505 vsize=27984808 memory=4100 CPUtime=6.03 cores=0-7
/proc/17508/task/17523/stat : 17523 (java) S 17505 17508 17464 0 -1 1077944384 6716 0 0 0 601 2 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489325669232 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17524] ppid=17505 vsize=27984808 memory=1796 CPUtime=5.64 cores=0-7
/proc/17508/task/17524/stat : 17524 (java) S 17505 17508 17464 0 -1 1077944384 6268 0 0 0 562 2 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489324616432 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17525] ppid=17505 vsize=27984808 memory=916 CPUtime=4.99 cores=0-7
/proc/17508/task/17525/stat : 17525 (java) S 17505 17508 17464 0 -1 1077944384 7877 0 0 0 498 1 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489323563632 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17526] ppid=17505 vsize=27984808 memory=3908 CPUtime=1.68 cores=0-7
/proc/17508/task/17526/stat : 17526 (java) S 17505 17508 17464 0 -1 1077944384 4505 0 0 0 166 2 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489322510832 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17527] ppid=17505 vsize=27984808 memory=1412 CPUtime=0 cores=0-7
/proc/17508/task/17527/stat : 17527 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140486769633888 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17528] ppid=17505 vsize=27984808 memory=4136 CPUtime=0.01 cores=0-7
/proc/17508/task/17528/stat : 17528 (java) S 17505 17508 17464 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489321458224 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17530] ppid=17505 vsize=27984808 memory=24848 CPUtime=0 cores=0-7
/proc/17508/task/17530/stat : 17530 (java) S 17505 17508 17464 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84088688 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489320072256 140489952403225 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17532] ppid=17505 vsize=27984808 memory=2420 CPUtime=0 cores=0-7
/proc/17508/task/17532/stat : 17532 (java) S 17505 17508 17464 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 84088688 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140486098534448 140489952400541 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17533] ppid=17505 vsize=27984808 memory=1292 CPUtime=0 cores=0-7
/proc/17508/task/17533/stat : 17533 (java) S 17505 17508 17464 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 84088688 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140486366969776 140489952400541 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17534] ppid=17505 vsize=27984808 memory=1728 CPUtime=0 cores=0-7
/proc/17508/task/17534/stat : 17534 (java) S 17505 17508 17464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 84088690 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140485830106656 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
Current children cumulated CPU time: 111.55 s
Current children cumulated vsize: 29664708 KiB
Current children cumulated memory: 7323212 KiB
[startup+33.8014 s]
/proc/loadavg: 6.64 8.02 7.78 9/212 17542
/proc/meminfo: memFree=13140008/32770624 swapFree=67108860/67108860
[pid=17508] ppid=17505 vsize=27984808 memory=6208388 CPUtime=39.71 cores=0-7
/proc/17508/stat : 17508 (java) S 17505 17508 17464 0 -1 1077944320 49696 0 0 0 3804 167 0 0 20 0 24 0 84086646 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140733175466320 140489952378615 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
/proc/17508/statm: 6996202 1552097 3249 1 0 6957058 0
[pid=17508/tid=17510] ppid=17505 vsize=27984808 memory=1292 CPUtime=19.77 cores=0-7
/proc/17508/task/17510/stat : 17510 (java) S 17505 17508 17464 0 -1 1077944384 21948 0 0 0 1876 101 0 0 20 0 24 0 84086646 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489924217856 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17511] ppid=17505 vsize=27984808 memory=1728 CPUtime=0.16 cores=0-7
/proc/17508/task/17511/stat : 17511 (java) S 17505 17508 17464 0 -1 1077944384 102 0 0 0 10 6 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489956620944 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17512] ppid=17505 vsize=27984808 memory=796 CPUtime=0.16 cores=0-7
/proc/17508/task/17512/stat : 17512 (java) S 17505 17508 17464 0 -1 1077944384 182 0 0 0 10 6 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489374640656 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17513] ppid=17505 vsize=27984808 memory=1012 CPUtime=0.14 cores=0-7
/proc/17508/task/17513/stat : 17513 (java) S 17505 17508 17464 0 -1 1077944384 92 0 0 0 8 6 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489373587856 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17514] ppid=17505 vsize=27984808 memory=1228 CPUtime=0.16 cores=0-7
/proc/17508/task/17514/stat : 17514 (java) S 17505 17508 17464 0 -1 1077944384 138 0 0 0 10 6 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489372535056 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17515] ppid=17505 vsize=27984808 memory=1704 CPUtime=0.16 cores=0-7
/proc/17508/task/17515/stat : 17515 (java) S 17505 17508 17464 0 -1 1077944384 141 0 0 0 10 6 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489371483280 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17516] ppid=17505 vsize=27984808 memory=9996 CPUtime=0.13 cores=0-7
/proc/17508/task/17516/stat : 17516 (java) S 17505 17508 17464 0 -1 1077944384 102 0 0 0 8 5 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489370430480 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17517] ppid=17505 vsize=27984808 memory=5792 CPUtime=0.16 cores=0-7
/proc/17508/task/17517/stat : 17517 (java) S 17505 17508 17464 0 -1 1077944384 95 0 0 0 9 7 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489369377680 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17518] ppid=17505 vsize=27984808 memory=1936 CPUtime=0.17 cores=0-7
/proc/17508/task/17518/stat : 17518 (java) S 17505 17508 17464 0 -1 1077944384 108 0 0 0 9 8 0 0 20 0 24 0 84086649 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489368324880 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17519] ppid=17505 vsize=27984808 memory=1196 CPUtime=0.01 cores=0-7
/proc/17508/task/17519/stat : 17519 (java) S 17505 17508 17464 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 24 0 84086650 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489326721392 140489952389762 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17520] ppid=17505 vsize=27984808 memory=564 CPUtime=0 cores=0-7
/proc/17508/task/17520/stat : 17520 (java) S 17505 17508 17464 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 84086651 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140487910483040 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17521] ppid=17505 vsize=27984808 memory=499 CPUtime=0 cores=0-7
/proc/17508/task/17521/stat : 17521 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84086651 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140487642047360 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17522] ppid=17505 vsize=27984808 memory=150487064152284 CPUtime=0 cores=0-7
/proc/17508/task/17522/stat : 17522 (java) S 17505 17508 17464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140487267538768 140489952397211 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17523] ppid=17505 vsize=27984808 memory=6081952328975149414 CPUtime=6.07 cores=0-7
/proc/17508/task/17523/stat : 17523 (java) S 17505 17508 17464 0 -1 1077944384 6717 0 0 0 605 2 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489325669232 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17524] ppid=17505 vsize=27984808 memory=7522208099250431337 CPUtime=5.68 cores=0-7
/proc/17508/task/17524/stat : 17524 (java) S 17505 17508 17464 0 -1 1077944384 6268 0 0 0 566 2 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489324616432 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17525] ppid=17505 vsize=27984808 memory=7649399375658301233 CPUtime=5.02 cores=0-7
/proc/17508/task/17525/stat : 17525 (java) S 17505 17508 17464 0 -1 1077944384 7877 0 0 0 501 1 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489323563632 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17526] ppid=17505 vsize=27984808 memory=0 CPUtime=1.69 cores=0-7
/proc/17508/task/17526/stat : 17526 (java) S 17505 17508 17464 0 -1 1077944384 4510 0 0 0 167 2 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489322510832 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17527] ppid=17505 vsize=27984808 memory=35780 CPUtime=0 cores=0-7
/proc/17508/task/17527/stat : 17527 (java) S 17505 17508 17464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140486769633888 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17528] ppid=17505 vsize=27984808 memory=0 CPUtime=0.01 cores=0-7
/proc/17508/task/17528/stat : 17528 (java) S 17505 17508 17464 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 84086654 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489321458224 140489952389762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17530] ppid=17505 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17508/task/17530/stat : 17530 (java) S 17505 17508 17464 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84088688 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140489320072256 140489952403225 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17532] ppid=17505 vsize=27984808 memory=7522796333575925864 CPUtime=0.05 cores=0-7
/proc/17508/task/17532/stat : 17532 (java) S 17505 17508 17464 0 -1 4202560 11 0 0 0 5 0 0 0 20 0 24 0 84088688 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140486098534336 140489952400541 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17533] ppid=17505 vsize=27984808 memory=7882828121784479853 CPUtime=0 cores=0-7
/proc/17508/task/17533/stat : 17533 (java) S 17505 17508 17464 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 84088688 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140486366969776 140489952400541 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
[pid=17508/tid=17534] ppid=17505 vsize=27984808 memory=7523375703105628778 CPUtime=0 cores=0-7
/proc/17508/task/17534/stat : 17534 (java) S 17505 17508 17464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 84088690 28656443392 1552097 33554432000 4194304 4196468 140733175483776 140485830106656 140489952388821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140733175489497 140733175489797 140733175489797 140733175492559 0
Current children cumulated CPU time: 39.71 s
Current children cumulated vsize: 27984808 KiB
Current children cumulated memory: 6208388 KiB
[startup+33.9036 s]*
/proc/loadavg: 6.64 8.02 7.78 2/181 17542
/proc/meminfo: memFree=20496012/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 33.9129
CPU time (s): 112.985
CPU user time (s): 109.666
CPU system time (s): 3.31843
CPU usage (%): 333.161
Max. virtual memory (cumulated for all children) (KiB): 29713484
Max. memory (cumulated for all children) (KiB): 7369568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.666
system time used= 3.31843
maximum resident set size= 6208388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 885811
page faults= 0
swaps= 0
block input operations= 0
block output operations= 117944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39303
involuntary context switches= 732
# summary of solver processes directly reported to runsolver:
# pid: 17508
# total CPU time (s): 112.985
# total CPU user time (s): 109.666
# total CPU system time (s): 3.31843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.294794 second user time and 0.402526 second system time
The end
Begin job on node105 at 2018-07-27 06:20:35 IDJOB=4296904 IDBENCH=141464 IDSOLVER=2758 FILE ID=node105/4296904-1532665235 RUNJOBID= node105-1532665235-17491 PBS_JOBID= 21022237 Free space on /tmp= 44624 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/CarSequencing/CarSequencing-75-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-4296904-1532665235/watcher-4296904-1532665235 -o /tmp/evaluation-result-4296904-1532665235/solver-4296904-1532665235 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532665235-17491 --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-4296904-1532665235.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b40938607e467681e9fbf6ea551bf52a RANDOM SEED=1760005026 node105.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.32 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.32 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.32 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.32 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: 20533756 kB MemAvailable: 31928260 kB Buffers: 254664 kB Cached: 11280084 kB SwapCached: 0 kB Active: 2338880 kB Inactive: 9247896 kB Active(anon): 6288 kB Inactive(anon): 73488 kB Active(file): 2332592 kB Inactive(file): 9174408 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8232 kB Writeback: 0 kB AnonPages: 58616 kB Mapped: 41292 kB Shmem: 25228 kB Slab: 343480 kB SReclaimable: 315964 kB SUnreclaim: 27516 kB KernelStack: 3104 kB PageTables: 4416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324232 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: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44616 MiB End job on node105 at 2018-07-27 06:21:09