| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-07) | SAT | 121.434 | 34.9819 |
| Name | CarSequencing/ CarSequencing-80-02_c18.xml |
| MD5SUM | 201da62bda966dccc44cd0c6ff0d4af7 |
| 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 | 19.9124 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1431 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 25 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":25,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 75 |
| 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":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":9}, {"degree":54,"count":56}, {"degree":55,"count":5}, {"degree":56,"count":5}, {"degree":57,"count":6}, {"degree":58,"count":6}, {"degree":59,"count":38}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":3}, {"degree":75,"count":57}] |
| 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":35,"count":1},{"arity":38,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":2},{"arity":47,"count":1},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":2},{"arity":56,"count":2},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":3},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"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":1230},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.64/0.54 0.64/0.54 scop order+glucose-syrup (2018-07-07) 0.64/0.54 0.64/0.56 c BEGIN-Prog: Fri Jul 27 05:58:11 CEST 2018 0.64/0.56 c PID: 17632 0.64/0.56 c IP: 172.20.3.102 0.64/0.56 c HOST: node102.alineos.net 0.64/0.57 c (0,0) Parsing Begin 3.04/1.38 c (0,0) Parsing End 3.04/1.39 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1431 ctr, max domain size 25 3.04/1.39 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.04/1.39 c (0,0) Constraint Name Generate Begin 3.37/1.42 c (0,0) Ctr:HOME/instance-4296906-1532663891.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum 3.37/1.42 c (0,0) Constraint Name Generate End 3.37/1.42 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.37/1.42 c (0,0) CSP to CSPinCNF Begin 11.94/4.49 c (3,3) translated 144 (10%) constraints 12.48/4.95 c (4,4) translated 287 (20%) constraints 12.48/4.97 c (4,4) translated 430 (30%) constraints 12.85/5.09 c (4,4) translated 573 (40%) constraints 12.85/5.09 c (4,4) translated 716 (50%) constraints 12.85/5.09 c (4,4) translated 859 (60%) constraints 12.85/5.09 c (4,4) translated 1002 (70%) constraints 12.85/5.09 c (4,4) translated 1145 (80%) constraints 15.05/6.56 c (6,5) translated 1288 (90%) constraints 16.07/7.58 c (7,7) translated 1431 (100%) constraints 17.51/8.14 c (7,7) STATISTICS1:HOME/instance-4296906-1532663891.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57255,9223372036854775807,25,25,200,9223372036854775807:267;2305843009213693952:3;576460752303423488:3;288230376151711744:2;144115188075855872:1;36028797018963968:2;18014398509481984:2;4503599627370496:2;562949953421312:3;70368744177664:1;17592186044416:2;8796093022208:1;1099511627776:1;549755813888:1;137438953472:1;17179869184:1;16:392;4:396;2:199,25:19600;2:160019,25:200;3:29600;2:26200;1:1255,200:55;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;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:4;64:1;62:3;60:3;59:2;58:1;56:2;55:2;53:2;50:3;47:1;45:2;44:1;41:1;40:1;38:1;35:1;5:392;3:396;2:199;1:146000;0:200,17689:55;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;2704:1;2601:2;2500:3;2401:3;2304:1;2209:2;2116:3;2025:3;1936:1;1849:4;1764:1 17.51/8.14 c (7,7) =========================================== 17.51/8.14 c (7,7) Order 17.51/8.14 c (7,7) =========================================== 20.25/8.92 c (8,8) translated 5726 (10%) constraints 20.97/9.15 c (8,8) translated 11451 (20%) constraints 21.29/9.26 c (8,8) translated 17177 (30%) constraints 21.55/9.35 c (8,8) translated 22902 (40%) constraints 21.68/9.44 c (8,8) translated 28628 (50%) constraints 21.79/9.53 c (8,8) translated 34353 (60%) constraints 21.88/9.62 c (9,9) translated 40079 (70%) constraints 21.99/9.71 c (9,9) translated 45804 (80%) constraints 22.09/9.80 c (9,9) translated 51530 (90%) constraints 28.55/11.95 c (11,11) translated 57255 (100%) constraints 28.55/11.96 c (11,11) CSP to CSPinCNF End 28.55/11.97 c (11,11) CSP: 4119 int (3919 aux), 21436 bool (20436 aux), 77442 ctr, max domain size 68 28.55/11.97 c (11,11) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 28.55/11.97 c (11,11) CSPinCNF Propagation Begin 30.01/12.47 c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed 30.01/12.47 c (11,11) CSPinCNF Propagation End 30.01/12.48 c (11,11) CSP: 4119 int (3919 aux), 21436 bool (20436 aux), 77042 ctr, max domain size 68 30.01/12.48 c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 30.01/12.48 c (11,11) Simplify CSPinCNF Begin 31.41/12.75 c (12,12) Simplify CSPinCNF End 31.41/12.76 c (12,12) CSP: 4119 int (3919 aux), 21436 bool (20436 aux), 77042 ctr, max domain size 68 31.41/12.76 c (12,12) Heap : 275 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 31.41/12.76 c (12,12) Calculate Precise Domain Begin 31.59/12.80 c (12,12) 0 values are removed by re-calculation 31.59/12.80 c (12,12) Calculate Precise Domain End 31.59/12.81 c (12,12) CSP: 4119 int (3919 aux), 21436 bool (20436 aux), 77042 ctr, max domain size 68 31.59/12.81 c (12,12) Heap : 275 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 31.59/12.81 c (12,12) CSPinCNF to SatSolver Begin 34.67/14.84 c (14,14) 7705 (10 %) CSP clauses are encoded (93882 SAT variables, 567731 SAT clauses) 34.98/14.91 c (14,14) 15409 (20 %) CSP clauses are encoded (93882 SAT variables, 575435 SAT clauses) 34.98/14.98 c (14,14) 23113 (30 %) CSP clauses are encoded (93882 SAT variables, 583139 SAT clauses) 35.25/15.03 c (14,14) 30817 (40 %) CSP clauses are encoded (93882 SAT variables, 590843 SAT clauses) 35.25/15.07 c (14,14) 38521 (50 %) CSP clauses are encoded (93882 SAT variables, 598547 SAT clauses) 35.36/15.12 c (14,14) 46226 (60 %) CSP clauses are encoded (93882 SAT variables, 606252 SAT clauses) 35.36/15.16 c (14,14) 53930 (70 %) CSP clauses are encoded (93882 SAT variables, 613956 SAT clauses) 35.45/15.21 c (14,14) 61634 (80 %) CSP clauses are encoded (93882 SAT variables, 621660 SAT clauses) 36.06/15.63 c (15,14) 69338 (90 %) CSP clauses are encoded (93882 SAT variables, 765729 SAT clauses) 40.87/20.04 c (19,19) 77042 (100 %) CSP clauses are encoded (93882 SAT variables, 2440881 SAT clauses) 40.87/20.04 c (19,19) CSPinCNF to SatSolver End 40.87/20.04 c (19,19) Heap : 871 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 41.96/20.40 c (19,19) STATISTICS2:HOME/instance-4296906-1532663891.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25555,77042,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:3;1892:3;1849:3;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:300;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:19;729:16;702:14;676:28;650:15;625:16;600:16;576:16;552:19;529:14;512:734;506:18;484:16;462:15;441:20;420:14;400:24;380:16;361:15;342:18;324:35;306:93;289:71;272:69;256:1870;252:8;240:69;238:16;234:8;225:71;221:16;210:71;196:86;182:75;169:85;162:4;156:71;153:8;144:75;136:8;132:68;128:1150;126:12;121:75;119:24;110:66;100:66;96:281;90:548;85:24;81:489;72:307;68:24;64:1149;56:287;54:12;51:24;49:309;36:16;34:32;25:305;16:978;9:24;4:428;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:28;43:42;42:24;41:34;40:24;39:30;38:28;37:26;36:32;35:54;34:148;33:142;32:136;31:150;30:136;29:142;28:140;27:138;26:184;25:28938;24:140;23:142;22:136;21:150;20:168;19:132;18:1072;17:962;16:590;15:568;14:646;13:642;12:1124;11:568;10:1468;9:3622;8:2336;7:1822;5:1232;4:108;3:108;2:179763,24:200;3:29200;2:36200;1:11442,11:284;10:734;9:1793;8:1150;7:857;5:1235;3:5190;2:199;1:164800, 41.96/20.40 c (19,19) SatSolver.solve Begin 41.96/20.40 c (19,19) 93882 bool, 2441636 clause 41.96/20.40 c (19,19) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296906-1532663891.xml-scop-17632.cnf HOME/instance-4296906-1532663891.xml-scop-17632.cnf.out 119.42/34.60 c (34,0) c 119.42/34.60 c (34,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 119.42/34.60 c (34,0) c 119.42/34.60 c (34,0) c WARNING: for repeatability, setting FPU to use double precision 119.42/34.60 c (34,0) c 8 solvers engines and 1 companion as a blackboard created. 119.42/34.60 c (34,0) c ========================================[ Problem Statistics ]=========================================== 119.42/34.60 c (34,0) c | | 119.42/34.60 c (34,0) c | Number of variables: 93882 | 119.42/34.60 c (34,0) c | Number of clauses: 2441372 | 119.42/34.60 c (34,0) c | Parse time: 0.90 s | 119.42/34.60 c (34,0) c | | 119.42/34.60 c (34,0) c | Eliminated clauses: 0.33 Mb | 119.42/34.60 c (34,0) c | Simplification time: 3.52 s | 119.42/34.60 c (34,0) c | | 119.42/34.60 c (34,0) c | Generating clones | 119.42/34.60 c (34,0) c | all clones generated. Memory = 1041.18Mb. | 119.42/34.60 c (34,0) c ========================================================================================================| 119.42/34.60 c (34,0) c 119.42/34.60 c (34,0) c |-------------------------------------------------------------------------------------------------------| 119.42/34.60 c (34,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 119.42/34.60 c (34,0) c |-------------------------------------------------------------------------------------------------------| 119.42/34.60 c (34,0) c | 0 | 28 | 65570 | 6171 | 17727 | 5173 | 298 | 6804 | 8 | 5.428 | 119.42/34.60 c (34,0) c | 1 | 66 | 71823 | 11147 | 26002 | 7359 | 856 | 6247 | 8 | 5.428 | 119.42/34.61 c (34,0) c | 2 | 63 | 73564 | 12403 | 23898 | 8610 | 1247 | 5966 | 24 | 5.428 | 119.42/34.61 c (34,0) c | 3 | 62 | 77778 | 11995 | 23514 | 8204 | 1128 | 5875 | 6 | 5.428 | 119.42/34.61 c (34,0) c | 4 | 54 | 60321 | 10007 | 21031 | 6215 | 1082 | 6000 | 7 | 5.428 | 119.42/34.61 c (34,0) c | 5 | 60 | 67667 | 11634 | 25141 | 7841 | 1174 | 6057 | 16 | 5.428 | 119.42/34.61 c (34,0) c | 6 | 45 | 70145 | 8710 | 22896 | 4918 | 844 | 6433 | 9 | 5.428 | 119.42/34.61 c (34,0) c | 7 | 61 | 70177 | 10247 | 24309 | 6453 | 780 | 6227 | 17 | 5.428 | 119.42/34.61 c (34,0) c 119.42/34.61 c (34,0) c synthesis 82316 conflicts 89018454 propagations 2278 conflicts/sec 2463891 propagations/sec 119.42/34.61 c (34,0) c Total Memory so far : 1662.62Mb 119.42/34.61 c (34,0) c 119.42/34.61 c (34,0) c |-------------------------------------------------------------------------------------------------------| 119.42/34.61 c (34,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 119.42/34.61 c (34,0) c |-------------------------------------------------------------------------------------------------------| 119.42/34.61 c (34,0) c | 0 | 80 | 144173 | 24519 | 38731 | 8328 | 2883 | 21925 | 162 | 5.428 | 119.42/34.61 c (34,0) c | 1 | 129 | 155495 | 33954 | 43915 | 17762 | 3733 | 19017 | 171 | 5.428 | 119.42/34.61 c (34,0) c | 2 | 140 | 159730 | 31977 | 40455 | 15786 | 3254 | 21092 | 188 | 5.428 | 119.42/34.61 c (34,0) c | 3 | 138 | 162439 | 29420 | 42508 | 13225 | 3370 | 21464 | 179 | 5.428 | 119.42/34.61 c (34,0) c | 4 | 126 | 155346 | 21650 | 43088 | 12861 | 2463 | 22333 | 203 | 5.428 | 119.42/34.61 c (34,0) c | 5 | 120 | 153251 | 35461 | 43618 | 19274 | 3362 | 21493 | 181 | 5.428 | 119.42/34.61 c (34,0) c | 6 | 113 | 165820 | 22955 | 44904 | 14168 | 2906 | 21373 | 155 | 5.428 | 119.42/34.61 c (34,0) c | 7 | 142 | 151173 | 30609 | 44218 | 14412 | 3287 | 21574 | 246 | 5.428 | 119.42/34.61 c (34,0) c 120.22/34.80 c (34,0) c synthesis 230555 conflicts 221848275 propagations 3050 conflicts/sec 2934496 propagations/sec 120.22/34.80 c (34,0) c Total Memory so far : 1668.58Mb 120.22/34.80 c (34,0) c last restart ## conflicts : 47 2128 120.22/34.80 c (34,0) c Thread 7 is 100% pure glucose! First thread to finish! (SAT answer). 120.22/34.80 c (34,0) c Total Memory so far : 1668.84Mb 120.22/34.80 c (34,0) c 120.22/34.80 c (34,0) c real time : 14.3762 s 120.22/34.80 c (34,0) c cpu time : 77.1001 s 120.22/34.80 c (34,0) c 120.22/34.80 c (34,0) c 120.22/34.80 c (34,0) c 120.22/34.80 c (34,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 120.22/34.80 c (34,0) c 120.22/34.80 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 120.22/34.80 c (34,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 120.22/34.80 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 120.22/34.80 c (34,0) c | Conflicts | 237161 | 25446 | 35786 | 33434 | 29818 | 21988 | 36237 | 23729 | 30723 | 120.22/34.80 c (34,0) c | Decisions | 1271803 | 145463 | 157502 | 161482 | 167235 | 159040 | 156144 | 168077 | 156860 | 120.22/34.80 c (34,0) c | Propagations | 226728825 | 25178595 | 29086358 | 29637792 | 29619882 | 27189220 | 31151216 | 26448564 | 28417198 | 120.22/34.80 c (34,0) c | Avg_Trail | | 23183 | 20136 | 20777 | 24186 | 25693 | 22639 | 24705 | 22489 | 120.22/34.80 c (34,0) c | Avg_DL | | 199 | 136 | 136 | 171 | 185 | 159 | 190 | 154 | 120.22/34.80 c (34,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 120.22/34.80 c (34,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 120.22/34.80 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 120.22/34.80 c (34,0) c | Exported | 26310 | 3082 | 4039 | 3538 | 3416 | 2497 | 3404 | 3034 | 3300 | 120.22/34.80 c (34,0) c | Imported | 176842 | 22659 | 19017 | 21092 | 22313 | 23778 | 22822 | 22892 | 22269 | 120.22/34.80 c (34,0) c | Good | 15395 | 1936 | 1819 | 1877 | 1898 | 1919 | 2027 | 1918 | 2001 | 120.22/34.80 c (34,0) c | Purge | 161447 | 20723 | 17198 | 19215 | 20415 | 21859 | 20795 | 20974 | 20268 | 120.22/34.80 c (34,0) c | Promoted | 1553 | 168 | 171 | 208 | 184 | 219 | 186 | 166 | 251 | 120.22/34.80 c (34,0) c | Remove_Imp | 24768 | 6573 | 3378 | 41 | 846 | 3362 | 2500 | 8068 | 0 | 120.22/34.80 c (34,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 120.22/34.80 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 120.22/34.80 c (34,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 120.22/34.80 c (34,0) c | Binaries | | 283 | 264 | 294 | 334 | 326 | 217 | 303 | 224 | 120.22/34.80 c (34,0) c | Glues | | 334 | 320 | 382 | 393 | 378 | 274 | 334 | 275 | 120.22/34.80 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 120.22/34.80 c (34,0) c | Orig_Seen | 1 % | 39206 | 43915 | 40533 | 42959 | 43861 | 44323 | 45650 | 44597 | 120.22/34.80 c (34,0) c | Diff Orig seen| | - 5391 | - 682 | - 4064 | - 1638 | - 736 | - 274 | 1053 | X | 120.22/34.80 c (34,0) c | Hamming | 9 % | 8975 | 9396 | 8084 | 10054 | 9585 | 9711 | 8910 | X | 120.22/34.80 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 120.22/34.80 c (34,0) 120.22/34.80 c (34,0) s SATISFIABLE 120.98/34.87 c (34,19) SatSolver.solve End 120.98/34.87 c (34,19) Heap : 1463 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 120.98/34.87 c (34,19) Show results Begin 121.27/34.91 c (34,19) cls[0] = 1 121.27/34.91 c (34,19) cls[1] = 11 121.27/34.91 c (34,19) cls[2] = 12 121.27/34.91 c (34,19) cls[3] = 20 121.27/34.91 c (34,19) cls[4] = 2 121.27/34.91 c (34,19) cls[5] = 14 121.27/34.91 c (34,19) cls[6] = 1 121.27/34.91 c (34,19) cls[7] = 20 121.27/34.91 c (34,19) cls[8] = 14 121.27/34.91 c (34,19) cls[9] = 20 121.27/34.91 c (34,19) cls[10] = 23 121.27/34.91 c (34,19) cls[11] = 11 121.27/34.91 c (34,19) cls[12] = 16 121.27/34.91 c (34,19) cls[13] = 8 121.27/34.91 c (34,19) cls[14] = 20 121.27/34.91 c (34,19) cls[15] = 11 121.27/34.91 c (34,19) cls[16] = 2 121.27/34.91 c (34,19) cls[17] = 20 121.27/34.91 c (34,19) cls[18] = 10 121.27/34.91 c (34,19) cls[19] = 12 121.27/34.91 c (34,19) cls[20] = 2 121.27/34.91 c (34,19) cls[21] = 12 121.27/34.91 c (34,19) cls[22] = 20 121.27/34.91 c (34,19) cls[23] = 3 121.27/34.91 c (34,19) cls[24] = 12 121.27/34.91 c (34,19) cls[25] = 20 121.27/34.91 c (34,19) cls[26] = 15 121.27/34.91 c (34,19) cls[27] = 20 121.27/34.91 c (34,19) cls[28] = 12 121.27/34.91 c (34,19) cls[29] = 20 121.27/34.91 c (34,19) cls[30] = 15 121.27/34.91 c (34,19) cls[31] = 20 121.27/34.91 c (34,19) cls[32] = 17 121.27/34.91 c (34,19) cls[33] = 23 121.27/34.91 c (34,19) cls[34] = 22 121.27/34.91 c (34,19) cls[35] = 0 121.27/34.91 c (34,19) cls[36] = 20 121.27/34.91 c (34,19) cls[37] = 7 121.27/34.91 c (34,19) cls[38] = 11 121.27/34.91 c (34,19) cls[39] = 5 121.27/34.91 c (34,19) cls[40] = 20 121.27/34.91 c (34,19) cls[41] = 2 121.27/34.91 c (34,19) cls[42] = 12 121.27/34.91 c (34,19) cls[43] = 22 121.27/34.91 c (34,19) cls[44] = 0 121.27/34.91 c (34,19) cls[45] = 20 121.27/34.91 c (34,19) cls[46] = 2 121.27/34.91 c (34,19) cls[47] = 12 121.27/34.91 c (34,19) cls[48] = 10 121.27/34.91 c (34,19) cls[49] = 20 121.27/34.91 c (34,19) cls[50] = 12 121.27/34.91 c (34,19) cls[51] = 11 121.27/34.91 c (34,19) cls[52] = 20 121.27/34.91 c (34,19) cls[53] = 23 121.27/34.91 c (34,19) cls[54] = 13 121.27/34.91 c (34,19) cls[55] = 8 121.27/34.91 c (34,19) cls[56] = 23 121.27/34.91 c (34,19) cls[57] = 12 121.27/34.91 c (34,19) cls[58] = 2 121.27/34.91 c (34,19) cls[59] = 9 121.27/34.91 c (34,19) cls[60] = 23 121.27/34.91 c (34,19) cls[61] = 8 121.27/34.91 c (34,19) cls[62] = 24 121.27/34.91 c (34,19) cls[63] = 11 121.27/34.91 c (34,19) cls[64] = 2 121.27/34.91 c (34,19) cls[65] = 5 121.27/34.91 c (34,19) cls[66] = 4 121.27/34.91 c (34,19) cls[67] = 20 121.27/34.91 c (34,19) cls[68] = 12 121.27/34.91 c (34,19) cls[69] = 7 121.27/34.91 c (34,19) cls[70] = 20 121.27/34.91 c (34,19) cls[71] = 10 121.27/34.91 c (34,19) cls[72] = 20 121.27/34.91 c (34,19) cls[73] = 12 121.27/34.91 c (34,19) cls[74] = 4 121.27/34.91 c (34,19) cls[75] = 8 121.27/34.91 c (34,19) cls[76] = 23 121.27/34.91 c (34,19) cls[77] = 13 121.27/34.91 c (34,19) cls[78] = 12 121.27/34.91 c (34,19) cls[79] = 2 121.27/34.91 c (34,19) cls[80] = 14 121.27/34.91 c (34,19) cls[81] = 23 121.27/34.91 c (34,19) cls[82] = 20 121.27/34.91 c (34,19) cls[83] = 21 121.27/34.91 c (34,19) cls[84] = 5 121.27/34.91 c (34,19) cls[85] = 8 121.27/34.91 c (34,19) cls[86] = 12 121.27/34.91 c (34,19) cls[87] = 11 121.27/34.91 c (34,19) cls[88] = 23 121.27/34.91 c (34,19) cls[89] = 20 121.27/34.91 c (34,19) cls[90] = 4 121.27/34.91 c (34,19) cls[91] = 5 121.27/34.91 c (34,19) cls[92] = 7 121.27/34.91 c (34,19) cls[93] = 14 121.27/34.91 c (34,19) cls[94] = 2 121.27/34.91 c (34,19) cls[95] = 20 121.27/34.91 c (34,19) cls[96] = 23 121.27/34.91 c (34,19) cls[97] = 9 121.27/34.91 c (34,19) cls[98] = 12 121.27/34.91 c (34,19) cls[99] = 20 121.27/34.91 c (34,19) cls[100] = 2 121.27/34.91 c (34,19) cls[101] = 11 121.27/34.91 c (34,19) cls[102] = 8 121.27/34.91 c (34,19) cls[103] = 19 121.27/34.91 c (34,19) cls[104] = 11 121.27/34.91 c (34,19) cls[105] = 20 121.27/34.91 c (34,19) cls[106] = 2 121.27/34.91 c (34,19) cls[107] = 14 121.27/34.91 c (34,19) cls[108] = 5 121.27/34.91 c (34,19) cls[109] = 20 121.27/34.91 c (34,19) cls[110] = 14 121.27/34.91 c (34,19) cls[111] = 2 121.27/34.91 c (34,19) cls[112] = 8 121.27/34.91 c (34,19) cls[113] = 9 121.27/34.91 c (34,19) cls[114] = 2 121.27/34.91 c (34,19) cls[115] = 8 121.27/34.91 c (34,19) cls[116] = 23 121.27/34.91 c (34,19) cls[117] = 14 121.27/34.91 c (34,19) cls[118] = 1 121.27/34.91 c (34,19) cls[119] = 20 121.27/34.91 c (34,19) cls[120] = 7 121.27/34.91 c (34,19) cls[121] = 11 121.27/34.91 c (34,19) cls[122] = 2 121.27/34.91 c (34,19) cls[123] = 19 121.27/34.91 c (34,19) cls[124] = 23 121.27/34.91 c (34,19) cls[125] = 8 121.27/34.91 c (34,19) cls[126] = 15 121.27/34.91 c (34,19) cls[127] = 22 121.27/34.91 c (34,19) cls[128] = 2 121.27/34.91 c (34,19) cls[129] = 18 121.27/34.91 c (34,19) cls[130] = 2 121.27/34.91 c (34,19) cls[131] = 12 121.27/34.91 c (34,19) cls[132] = 15 121.27/34.91 c (34,19) cls[133] = 20 121.27/34.91 c (34,19) cls[134] = 24 121.27/34.91 c (34,19) cls[135] = 13 121.27/34.91 c (34,19) cls[136] = 12 121.27/34.91 c (34,19) cls[137] = 20 121.27/34.91 c (34,19) cls[138] = 4 121.27/34.91 c (34,19) cls[139] = 12 121.27/34.91 c (34,19) cls[140] = 1 121.27/34.91 c (34,19) cls[141] = 14 121.27/34.91 c (34,19) cls[142] = 23 121.27/34.91 c (34,19) cls[143] = 20 121.27/34.91 c (34,19) cls[144] = 2 121.27/34.91 c (34,19) cls[145] = 11 121.27/34.91 c (34,19) cls[146] = 12 121.27/34.91 c (34,19) cls[147] = 20 121.27/34.91 c (34,19) cls[148] = 4 121.27/34.91 c (34,19) cls[149] = 12 121.27/34.91 c (34,19) cls[150] = 6 121.27/34.91 c (34,19) cls[151] = 14 121.27/34.91 c (34,19) cls[152] = 23 121.27/34.91 c (34,19) cls[153] = 20 121.27/34.91 c (34,19) cls[154] = 20 121.27/34.91 c (34,19) cls[155] = 0 121.27/34.91 c (34,19) cls[156] = 20 121.27/34.91 c (34,19) cls[157] = 8 121.27/34.91 c (34,19) cls[158] = 10 121.27/34.91 c (34,19) cls[159] = 20 121.27/34.91 c (34,19) cls[160] = 20 121.27/34.91 c (34,19) cls[161] = 24 121.27/34.91 c (34,19) cls[162] = 14 121.27/34.91 c (34,19) cls[163] = 2 121.27/34.91 c (34,19) cls[164] = 5 121.27/34.91 c (34,19) cls[165] = 21 121.27/34.91 c (34,19) cls[166] = 20 121.27/34.91 c (34,19) cls[167] = 12 121.27/34.91 c (34,19) cls[168] = 8 121.27/34.91 c (34,19) cls[169] = 15 121.27/34.91 c (34,19) cls[170] = 20 121.27/34.91 c (34,19) cls[171] = 1 121.27/34.91 c (34,19) cls[172] = 8 121.27/34.91 c (34,19) cls[173] = 20 121.27/34.91 c (34,19) cls[174] = 0 121.27/34.91 c (34,19) cls[175] = 20 121.27/34.91 c (34,19) cls[176] = 5 121.27/34.91 c (34,19) cls[177] = 7 121.27/34.91 c (34,19) cls[178] = 20 121.27/34.91 c (34,19) cls[179] = 14 121.27/34.91 c (34,19) cls[180] = 20 121.27/34.91 c (34,19) cls[181] = 1 121.27/34.91 c (34,19) cls[182] = 12 121.27/34.91 c (34,19) cls[183] = 4 121.27/34.91 c (34,19) cls[184] = 12 121.27/34.91 c (34,19) cls[185] = 22 121.27/34.91 c (34,19) cls[186] = 6 121.27/34.91 c (34,19) cls[187] = 12 121.27/34.91 c (34,19) cls[188] = 15 121.27/34.91 c (34,19) cls[189] = 8 121.27/34.91 c (34,19) cls[190] = 20 121.27/34.91 c (34,19) cls[191] = 11 121.27/34.91 c (34,19) cls[192] = 2 121.27/34.91 c (34,19) cls[193] = 12 121.27/34.91 c (34,19) cls[194] = 7 121.27/34.91 c (34,19) cls[195] = 20 121.27/34.91 c (34,19) cls[196] = 15 121.27/34.91 c (34,19) cls[197] = 5 121.27/34.91 c (34,19) cls[198] = 12 121.27/34.91 c (34,19) cls[199] = 14 121.27/34.91 c (34,19) opt[0][0] = 1 121.27/34.91 c (34,19) opt[0][1] = 0 121.27/34.91 c (34,19) opt[0][2] = 0 121.27/34.91 c (34,19) opt[0][3] = 0 121.27/34.91 c (34,19) opt[0][4] = 1 121.27/34.91 c (34,19) opt[1][0] = 0 121.27/34.91 c (34,19) opt[1][1] = 0 121.27/34.91 c (34,19) opt[1][2] = 1 121.27/34.91 c (34,19) opt[1][3] = 0 121.27/34.91 c (34,19) opt[1][4] = 0 121.27/34.91 c (34,19) opt[2][0] = 0 121.27/34.91 c (34,19) opt[2][1] = 0 121.27/34.91 c (34,19) opt[2][2] = 0 121.27/34.91 c (34,19) opt[2][3] = 1 121.27/34.91 c (34,19) opt[2][4] = 0 121.27/34.91 c (34,19) opt[3][0] = 0 121.27/34.91 c (34,19) opt[3][1] = 1 121.27/34.91 c (34,19) opt[3][2] = 0 121.27/34.91 c (34,19) opt[3][3] = 0 121.27/34.91 c (34,19) opt[3][4] = 0 121.27/34.91 c (34,19) opt[4][0] = 1 121.27/34.91 c (34,19) opt[4][1] = 1 121.27/34.91 c (34,19) opt[4][2] = 0 121.27/34.91 c (34,19) opt[4][3] = 0 121.27/34.91 c (34,19) opt[4][4] = 0 121.27/34.91 c (34,19) opt[5][0] = 0 121.27/34.91 c (34,19) opt[5][1] = 0 121.27/34.91 c (34,19) opt[5][2] = 1 121.27/34.91 c (34,19) opt[5][3] = 1 121.27/34.91 c (34,19) opt[5][4] = 0 121.27/34.91 c (34,19) opt[6][0] = 1 121.27/34.91 c (34,19) opt[6][1] = 0 121.27/34.91 c (34,19) opt[6][2] = 0 121.27/34.91 c (34,19) opt[6][3] = 0 121.27/34.91 c (34,19) opt[6][4] = 1 121.27/34.91 c (34,19) opt[7][0] = 0 121.27/34.91 c (34,19) opt[7][1] = 1 121.27/34.91 c (34,19) opt[7][2] = 0 121.27/34.91 c (34,19) opt[7][3] = 0 121.27/34.91 c (34,19) opt[7][4] = 0 121.27/34.91 c (34,19) opt[8][0] = 0 121.27/34.91 c (34,19) opt[8][1] = 0 121.27/34.91 c (34,19) opt[8][2] = 1 121.27/34.91 c (34,19) opt[8][3] = 1 121.27/34.91 c (34,19) opt[8][4] = 0 121.27/34.91 c (34,19) opt[9][0] = 0 121.27/34.91 c (34,19) opt[9][1] = 1 121.27/34.91 c (34,19) opt[9][2] = 0 121.27/34.91 c (34,19) opt[9][3] = 0 121.27/34.91 c (34,19) opt[9][4] = 0 121.27/34.91 c (34,19) opt[10][0] = 1 121.27/34.91 c (34,19) opt[10][1] = 0 121.27/34.91 c (34,19) opt[10][2] = 0 121.27/34.91 c (34,19) opt[10][3] = 0 121.27/34.91 c (34,19) opt[10][4] = 0 121.27/34.91 c (34,19) opt[11][0] = 0 121.27/34.91 c (34,19) opt[11][1] = 0 121.27/34.91 c (34,19) opt[11][2] = 1 121.27/34.91 c (34,19) opt[11][3] = 0 121.27/34.91 c (34,19) opt[11][4] = 0 121.27/34.91 c (34,19) opt[12][0] = 1 121.27/34.91 c (34,19) opt[12][1] = 0 121.27/34.91 c (34,19) opt[12][2] = 0 121.27/34.91 c (34,19) opt[12][3] = 1 121.27/34.91 c (34,19) opt[12][4] = 1 121.27/34.91 c (34,19) opt[13][0] = 0 121.27/34.91 c (34,19) opt[13][1] = 1 121.27/34.91 c (34,19) opt[13][2] = 0 121.27/34.91 c (34,19) opt[13][3] = 1 121.27/34.91 c (34,19) opt[13][4] = 0 121.27/34.91 c (34,19) opt[14][0] = 0 121.27/34.92 c (34,19) opt[14][1] = 1 121.27/34.92 c (34,19) opt[14][2] = 0 121.27/34.92 c (34,19) opt[14][3] = 0 121.27/34.92 c (34,19) opt[14][4] = 0 121.27/34.92 c (34,19) opt[15][0] = 0 121.27/34.92 c (34,19) opt[15][1] = 0 121.27/34.92 c (34,19) opt[15][2] = 1 121.27/34.92 c (34,19) opt[15][3] = 0 121.27/34.92 c (34,19) opt[15][4] = 0 121.27/34.92 c (34,19) opt[16][0] = 1 121.27/34.92 c (34,19) opt[16][1] = 1 121.27/34.92 c (34,19) opt[16][2] = 0 121.27/34.92 c (34,19) opt[16][3] = 0 121.27/34.92 c (34,19) opt[16][4] = 0 121.27/34.92 c (34,19) opt[17][0] = 0 121.27/34.92 c (34,19) opt[17][1] = 1 121.27/34.92 c (34,19) opt[17][2] = 0 121.27/34.92 c (34,19) opt[17][3] = 0 121.27/34.92 c (34,19) opt[17][4] = 0 121.27/34.92 c (34,19) opt[18][0] = 1 121.27/34.92 c (34,19) opt[18][1] = 0 121.27/34.92 c (34,19) opt[18][2] = 1 121.27/34.92 c (34,19) opt[18][3] = 0 121.27/34.92 c (34,19) opt[18][4] = 1 121.27/34.92 c (34,19) opt[19][0] = 0 121.27/34.92 c (34,19) opt[19][1] = 0 121.27/34.92 c (34,19) opt[19][2] = 0 121.27/34.92 c (34,19) opt[19][3] = 1 121.27/34.92 c (34,19) opt[19][4] = 0 121.27/34.92 c (34,19) opt[20][0] = 1 121.27/34.92 c (34,19) opt[20][1] = 1 121.27/34.92 c (34,19) opt[20][2] = 0 121.27/34.92 c (34,19) opt[20][3] = 0 121.27/34.92 c (34,19) opt[20][4] = 0 121.27/34.92 c (34,19) opt[21][0] = 0 121.27/34.92 c (34,19) opt[21][1] = 0 121.27/34.92 c (34,19) opt[21][2] = 0 121.27/34.92 c (34,19) opt[21][3] = 1 121.27/34.92 c (34,19) opt[21][4] = 0 121.27/34.92 c (34,19) opt[22][0] = 0 121.27/34.92 c (34,19) opt[22][1] = 1 121.27/34.92 c (34,19) opt[22][2] = 0 121.27/34.92 c (34,19) opt[22][3] = 0 121.27/34.92 c (34,19) opt[22][4] = 0 121.27/34.92 c (34,19) opt[23][0] = 1 121.27/34.92 c (34,19) opt[23][1] = 1 121.27/34.92 c (34,19) opt[23][2] = 1 121.27/34.92 c (34,19) opt[23][3] = 0 121.27/34.92 c (34,19) opt[23][4] = 1 121.27/34.92 c (34,19) opt[24][0] = 0 121.27/34.92 c (34,19) opt[24][1] = 0 121.27/34.92 c (34,19) opt[24][2] = 0 121.27/34.92 c (34,19) opt[24][3] = 1 121.27/34.92 c (34,19) opt[24][4] = 0 121.27/34.92 c (34,19) opt[25][0] = 0 121.27/34.92 c (34,19) opt[25][1] = 1 121.27/34.92 c (34,19) opt[25][2] = 0 121.27/34.92 c (34,19) opt[25][3] = 0 121.27/34.92 c (34,19) opt[25][4] = 0 121.27/34.92 c (34,19) opt[26][0] = 1 121.27/34.92 c (34,19) opt[26][1] = 0 121.27/34.92 c (34,19) opt[26][2] = 1 121.27/34.92 c (34,19) opt[26][3] = 0 121.27/34.92 c (34,19) opt[26][4] = 0 121.27/34.92 c (34,19) opt[27][0] = 0 121.27/34.92 c (34,19) opt[27][1] = 1 121.27/34.92 c (34,19) opt[27][2] = 0 121.27/34.92 c (34,19) opt[27][3] = 0 121.27/34.92 c (34,19) opt[27][4] = 0 121.27/34.92 c (34,19) opt[28][0] = 0 121.27/34.92 c (34,19) opt[28][1] = 0 121.27/34.92 c (34,19) opt[28][2] = 0 121.27/34.92 c (34,19) opt[28][3] = 1 121.27/34.92 c (34,19) opt[28][4] = 0 121.27/34.92 c (34,19) opt[29][0] = 0 121.27/34.92 c (34,19) opt[29][1] = 1 121.27/34.92 c (34,19) opt[29][2] = 0 121.27/34.92 c (34,19) opt[29][3] = 0 121.27/34.92 c (34,19) opt[29][4] = 0 121.27/34.92 c (34,19) opt[30][0] = 1 121.27/34.92 c (34,19) opt[30][1] = 0 121.27/34.92 c (34,19) opt[30][2] = 1 121.27/34.92 c (34,19) opt[30][3] = 0 121.27/34.92 c (34,19) opt[30][4] = 0 121.27/34.92 c (34,19) opt[31][0] = 0 121.27/34.92 c (34,19) opt[31][1] = 1 121.27/34.92 c (34,19) opt[31][2] = 0 121.27/34.92 c (34,19) opt[31][3] = 0 121.27/34.92 c (34,19) opt[31][4] = 0 121.27/34.92 c (34,19) opt[32][0] = 0 121.27/34.92 c (34,19) opt[32][1] = 1 121.27/34.92 c (34,19) opt[32][2] = 0 121.27/34.92 c (34,19) opt[32][3] = 1 121.27/34.92 c (34,19) opt[32][4] = 1 121.27/34.92 c (34,19) opt[33][0] = 1 121.27/34.92 c (34,19) opt[33][1] = 0 121.27/34.92 c (34,19) opt[33][2] = 0 121.27/34.92 c (34,19) opt[33][3] = 0 121.27/34.92 c (34,19) opt[33][4] = 0 121.27/34.92 c (34,19) opt[34][0] = 0 121.27/34.92 c (34,19) opt[34][1] = 1 121.27/34.92 c (34,19) opt[34][2] = 0 121.27/34.92 c (34,19) opt[34][3] = 0 121.27/34.92 c (34,19) opt[34][4] = 0 121.27/34.92 c (34,19) opt[35][0] = 1 121.27/34.92 c (34,19) opt[35][1] = 0 121.27/34.92 c (34,19) opt[35][2] = 1 121.27/34.92 c (34,19) opt[35][3] = 1 121.27/34.92 c (34,19) opt[35][4] = 0 121.27/34.92 c (34,19) opt[36][0] = 0 121.27/34.92 c (34,19) opt[36][1] = 1 121.27/34.92 c (34,19) opt[36][2] = 0 121.27/34.92 c (34,19) opt[36][3] = 0 121.27/34.92 c (34,19) opt[36][4] = 0 121.27/34.92 c (34,19) opt[37][0] = 1 121.27/34.92 c (34,19) opt[37][1] = 1 121.27/34.92 c (34,19) opt[37][2] = 0 121.27/34.92 c (34,19) opt[37][3] = 1 121.27/34.92 c (34,19) opt[37][4] = 0 121.27/34.92 c (34,19) opt[38][0] = 0 121.27/34.92 c (34,19) opt[38][1] = 0 121.27/34.92 c (34,19) opt[38][2] = 1 121.27/34.92 c (34,19) opt[38][3] = 0 121.27/34.92 c (34,19) opt[38][4] = 0 121.27/34.92 c (34,19) opt[39][0] = 0 121.27/34.92 c (34,19) opt[39][1] = 0 121.27/34.92 c (34,19) opt[39][2] = 0 121.27/34.92 c (34,19) opt[39][3] = 0 121.27/34.92 c (34,19) opt[39][4] = 1 121.27/34.92 c (34,19) opt[40][0] = 0 121.27/34.92 c (34,19) opt[40][1] = 1 121.27/34.92 c (34,19) opt[40][2] = 0 121.27/34.92 c (34,19) opt[40][3] = 0 121.27/34.92 c (34,19) opt[40][4] = 0 121.27/34.92 c (34,19) opt[41][0] = 1 121.27/34.92 c (34,19) opt[41][1] = 1 121.27/34.92 c (34,19) opt[41][2] = 0 121.27/34.92 c (34,19) opt[41][3] = 0 121.27/34.92 c (34,19) opt[41][4] = 0 121.27/34.92 c (34,19) opt[42][0] = 0 121.27/34.92 c (34,19) opt[42][1] = 0 121.27/34.92 c (34,19) opt[42][2] = 0 121.27/34.92 c (34,19) opt[42][3] = 1 121.27/34.92 c (34,19) opt[42][4] = 0 121.27/34.92 c (34,19) opt[43][0] = 0 121.27/34.92 c (34,19) opt[43][1] = 1 121.27/34.92 c (34,19) opt[43][2] = 0 121.27/34.92 c (34,19) opt[43][3] = 0 121.27/34.92 c (34,19) opt[43][4] = 0 121.27/34.92 c (34,19) opt[44][0] = 1 121.27/34.92 c (34,19) opt[44][1] = 0 121.27/34.92 c (34,19) opt[44][2] = 1 121.27/34.92 c (34,19) opt[44][3] = 1 121.27/34.92 c (34,19) opt[44][4] = 0 121.27/34.92 c (34,19) opt[45][0] = 0 121.27/34.92 c (34,19) opt[45][1] = 1 121.27/34.92 c (34,19) opt[45][2] = 0 121.27/34.92 c (34,19) opt[45][3] = 0 121.27/34.92 c (34,19) opt[45][4] = 0 121.27/34.92 c (34,19) opt[46][0] = 1 121.27/34.92 c (34,19) opt[46][1] = 1 121.27/34.92 c (34,19) opt[46][2] = 0 121.27/34.92 c (34,19) opt[46][3] = 0 121.27/34.92 c (34,19) opt[46][4] = 0 121.27/34.92 c (34,19) opt[47][0] = 0 121.27/34.92 c (34,19) opt[47][1] = 0 121.27/34.92 c (34,19) opt[47][2] = 0 121.27/34.92 c (34,19) opt[47][3] = 1 121.27/34.92 c (34,19) opt[47][4] = 0 121.27/34.92 c (34,19) opt[48][0] = 1 121.27/34.92 c (34,19) opt[48][1] = 0 121.27/34.92 c (34,19) opt[48][2] = 1 121.27/34.92 c (34,19) opt[48][3] = 0 121.27/34.92 c (34,19) opt[48][4] = 1 121.27/34.92 c (34,19) opt[49][0] = 0 121.27/34.92 c (34,19) opt[49][1] = 1 121.27/34.92 c (34,19) opt[49][2] = 0 121.27/34.92 c (34,19) opt[49][3] = 0 121.27/34.92 c (34,19) opt[49][4] = 0 121.27/34.92 c (34,19) opt[50][0] = 0 121.27/34.92 c (34,19) opt[50][1] = 0 121.27/34.92 c (34,19) opt[50][2] = 0 121.27/34.92 c (34,19) opt[50][3] = 1 121.27/34.92 c (34,19) opt[50][4] = 0 121.27/34.92 c (34,19) opt[51][0] = 0 121.27/34.92 c (34,19) opt[51][1] = 0 121.27/34.92 c (34,19) opt[51][2] = 1 121.27/34.92 c (34,19) opt[51][3] = 0 121.27/34.92 c (34,19) opt[51][4] = 0 121.27/34.92 c (34,19) opt[52][0] = 0 121.27/34.92 c (34,19) opt[52][1] = 1 121.27/34.92 c (34,19) opt[52][2] = 0 121.27/34.92 c (34,19) opt[52][3] = 0 121.27/34.92 c (34,19) opt[52][4] = 0 121.27/34.92 c (34,19) opt[53][0] = 1 121.27/34.92 c (34,19) opt[53][1] = 0 121.27/34.92 c (34,19) opt[53][2] = 0 121.27/34.92 c (34,19) opt[53][3] = 0 121.27/34.92 c (34,19) opt[53][4] = 0 121.27/34.92 c (34,19) opt[54][0] = 0 121.27/34.92 c (34,19) opt[54][1] = 1 121.27/34.92 c (34,19) opt[54][2] = 1 121.27/34.92 c (34,19) opt[54][3] = 0 121.27/34.92 c (34,19) opt[54][4] = 1 121.27/34.92 c (34,19) opt[55][0] = 0 121.27/34.92 c (34,19) opt[55][1] = 1 121.27/34.92 c (34,19) opt[55][2] = 0 121.27/34.92 c (34,19) opt[55][3] = 1 121.27/34.92 c (34,19) opt[55][4] = 0 121.27/34.92 c (34,19) opt[56][0] = 1 121.27/34.92 c (34,19) opt[56][1] = 0 121.27/34.92 c (34,19) opt[56][2] = 0 121.27/34.92 c (34,19) opt[56][3] = 0 121.27/34.92 c (34,19) opt[56][4] = 0 121.27/34.92 c (34,19) opt[57][0] = 0 121.27/34.92 c (34,19) opt[57][1] = 0 121.27/34.92 c (34,19) opt[57][2] = 0 121.27/34.92 c (34,19) opt[57][3] = 1 121.27/34.92 c (34,19) opt[57][4] = 0 121.27/34.92 c (34,19) opt[58][0] = 1 121.27/34.92 c (34,19) opt[58][1] = 1 121.27/34.92 c (34,19) opt[58][2] = 0 121.27/34.92 c (34,19) opt[58][3] = 0 121.27/34.92 c (34,19) opt[58][4] = 0 121.27/34.92 c (34,19) opt[59][0] = 0 121.27/34.92 c (34,19) opt[59][1] = 0 121.27/34.92 c (34,19) opt[59][2] = 1 121.27/34.92 c (34,19) opt[59][3] = 0 121.27/34.92 c (34,19) opt[59][4] = 1 121.27/34.92 c (34,19) opt[60][0] = 1 121.27/34.92 c (34,19) opt[60][1] = 0 121.27/34.92 c (34,19) opt[60][2] = 0 121.27/34.92 c (34,19) opt[60][3] = 0 121.27/34.92 c (34,19) opt[60][4] = 0 121.27/34.92 c (34,19) opt[61][0] = 0 121.27/34.92 c (34,19) opt[61][1] = 1 121.27/34.92 c (34,19) opt[61][2] = 0 121.27/34.92 c (34,19) opt[61][3] = 1 121.27/34.92 c (34,19) opt[61][4] = 0 121.27/34.92 c (34,19) opt[62][0] = 1 121.27/34.92 c (34,19) opt[62][1] = 0 121.27/34.92 c (34,19) opt[62][2] = 0 121.27/34.92 c (34,19) opt[62][3] = 1 121.27/34.92 c (34,19) opt[62][4] = 0 121.27/34.92 c (34,19) opt[63][0] = 0 121.27/34.92 c (34,19) opt[63][1] = 0 121.27/34.92 c (34,19) opt[63][2] = 1 121.27/34.92 c (34,19) opt[63][3] = 0 121.27/34.92 c (34,19) opt[63][4] = 0 121.27/34.92 c (34,19) opt[64][0] = 1 121.27/34.92 c (34,19) opt[64][1] = 1 121.27/34.92 c (34,19) opt[64][2] = 0 121.27/34.92 c (34,19) opt[64][3] = 0 121.27/34.92 c (34,19) opt[64][4] = 0 121.27/34.92 c (34,19) opt[65][0] = 0 121.27/34.92 c (34,19) opt[65][1] = 0 121.27/34.92 c (34,19) opt[65][2] = 0 121.27/34.92 c (34,19) opt[65][3] = 0 121.27/34.92 c (34,19) opt[65][4] = 1 121.27/34.92 c (34,19) opt[66][0] = 1 121.27/34.92 c (34,19) opt[66][1] = 1 121.27/34.92 c (34,19) opt[66][2] = 1 121.27/34.92 c (34,19) opt[66][3] = 0 121.27/34.92 c (34,19) opt[66][4] = 0 121.27/34.92 c (34,19) opt[67][0] = 0 121.27/34.92 c (34,19) opt[67][1] = 1 121.27/34.92 c (34,19) opt[67][2] = 0 121.27/34.92 c (34,19) opt[67][3] = 0 121.27/34.92 c (34,19) opt[67][4] = 0 121.27/34.92 c (34,19) opt[68][0] = 0 121.27/34.92 c (34,19) opt[68][1] = 0 121.27/34.92 c (34,19) opt[68][2] = 0 121.27/34.92 c (34,19) opt[68][3] = 1 121.27/34.92 c (34,19) opt[68][4] = 0 121.27/34.92 c (34,19) opt[69][0] = 1 121.27/34.92 c (34,19) opt[69][1] = 1 121.27/34.92 c (34,19) opt[69][2] = 0 121.27/34.92 c (34,19) opt[69][3] = 1 121.27/34.92 c (34,19) opt[69][4] = 0 121.27/34.92 c (34,19) opt[70][0] = 0 121.27/34.92 c (34,19) opt[70][1] = 1 121.27/34.92 c (34,19) opt[70][2] = 0 121.27/34.92 c (34,19) opt[70][3] = 0 121.27/34.92 c (34,19) opt[70][4] = 0 121.27/34.92 c (34,19) opt[71][0] = 1 121.27/34.92 c (34,19) opt[71][1] = 0 121.27/34.92 c (34,19) opt[71][2] = 1 121.27/34.92 c (34,19) opt[71][3] = 0 121.27/34.92 c (34,19) opt[71][4] = 1 121.27/34.92 c (34,19) opt[72][0] = 0 121.27/34.92 c (34,19) opt[72][1] = 1 121.27/34.92 c (34,19) opt[72][2] = 0 121.27/34.92 c (34,19) opt[72][3] = 0 121.27/34.92 c (34,19) opt[72][4] = 0 121.27/34.92 c (34,19) opt[73][0] = 0 121.27/34.92 c (34,19) opt[73][1] = 0 121.27/34.92 c (34,19) opt[73][2] = 0 121.27/34.92 c (34,19) opt[73][3] = 1 121.27/34.92 c (34,19) opt[73][4] = 0 121.27/34.92 c (34,19) opt[74][0] = 1 121.27/34.92 c (34,19) opt[74][1] = 1 121.27/34.92 c (34,19) opt[74][2] = 1 121.27/34.92 c (34,19) opt[74][3] = 0 121.27/34.92 c (34,19) opt[74][4] = 0 121.27/34.92 c (34,19) opt[75][0] = 0 121.27/34.92 c (34,19) opt[75][1] = 1 121.27/34.92 c (34,19) opt[75][2] = 0 121.27/34.92 c (34,19) opt[75][3] = 1 121.27/34.92 c (34,19) opt[75][4] = 0 121.27/34.92 c (34,19) opt[76][0] = 1 121.27/34.92 c (34,19) opt[76][1] = 0 121.27/34.92 c (34,19) opt[76][2] = 0 121.27/34.92 c (34,19) opt[76][3] = 0 121.27/34.92 c (34,19) opt[76][4] = 0 121.27/34.92 c (34,19) opt[77][0] = 0 121.27/34.92 c (34,19) opt[77][1] = 1 121.27/34.92 c (34,19) opt[77][2] = 1 121.27/34.92 c (34,19) opt[77][3] = 0 121.27/34.92 c (34,19) opt[77][4] = 1 121.27/34.92 c (34,19) opt[78][0] = 0 121.27/34.92 c (34,19) opt[78][1] = 0 121.27/34.92 c (34,19) opt[78][2] = 0 121.27/34.92 c (34,19) opt[78][3] = 1 121.27/34.92 c (34,19) opt[78][4] = 0 121.27/34.92 c (34,19) opt[79][0] = 1 121.27/34.92 c (34,19) opt[79][1] = 1 121.27/34.92 c (34,19) opt[79][2] = 0 121.27/34.92 c (34,19) opt[79][3] = 0 121.27/34.92 c (34,19) opt[79][4] = 0 121.27/34.92 c (34,19) opt[80][0] = 0 121.27/34.92 c (34,19) opt[80][1] = 0 121.27/34.92 c (34,19) opt[80][2] = 1 121.27/34.92 c (34,19) opt[80][3] = 1 121.27/34.92 c (34,19) opt[80][4] = 0 121.27/34.92 c (34,19) opt[81][0] = 1 121.27/34.92 c (34,19) opt[81][1] = 0 121.27/34.92 c (34,19) opt[81][2] = 0 121.27/34.92 c (34,19) opt[81][3] = 0 121.27/34.92 c (34,19) opt[81][4] = 0 121.27/34.92 c (34,19) opt[82][0] = 0 121.27/34.92 c (34,19) opt[82][1] = 1 121.27/34.92 c (34,19) opt[82][2] = 0 121.27/34.92 c (34,19) opt[82][3] = 0 121.27/34.92 c (34,19) opt[82][4] = 0 121.27/34.92 c (34,19) opt[83][0] = 0 121.27/34.92 c (34,19) opt[83][1] = 1 121.27/34.92 c (34,19) opt[83][2] = 1 121.27/34.92 c (34,19) opt[83][3] = 0 121.27/34.92 c (34,19) opt[83][4] = 0 121.27/34.92 c (34,19) opt[84][0] = 0 121.27/34.92 c (34,19) opt[84][1] = 0 121.27/34.92 c (34,19) opt[84][2] = 0 121.27/34.92 c (34,19) opt[84][3] = 0 121.27/34.92 c (34,19) opt[84][4] = 1 121.27/34.92 c (34,19) opt[85][0] = 0 121.27/34.92 c (34,19) opt[85][1] = 1 121.27/34.92 c (34,19) opt[85][2] = 0 121.27/34.92 c (34,19) opt[85][3] = 1 121.27/34.92 c (34,19) opt[85][4] = 0 121.27/34.92 c (34,19) opt[86][0] = 0 121.27/34.92 c (34,19) opt[86][1] = 0 121.27/34.92 c (34,19) opt[86][2] = 0 121.27/34.92 c (34,19) opt[86][3] = 1 121.27/34.92 c (34,19) opt[86][4] = 0 121.27/34.92 c (34,19) opt[87][0] = 0 121.27/34.92 c (34,19) opt[87][1] = 0 121.27/34.92 c (34,19) opt[87][2] = 1 121.27/34.92 c (34,19) opt[87][3] = 0 121.27/34.92 c (34,19) opt[87][4] = 0 121.27/34.92 c (34,19) opt[88][0] = 1 121.27/34.92 c (34,19) opt[88][1] = 0 121.27/34.92 c (34,19) opt[88][2] = 0 121.27/34.92 c (34,19) opt[88][3] = 0 121.27/34.92 c (34,19) opt[88][4] = 0 121.27/34.92 c (34,19) opt[89][0] = 0 121.27/34.92 c (34,19) opt[89][1] = 1 121.27/34.92 c (34,19) opt[89][2] = 0 121.27/34.92 c (34,19) opt[89][3] = 0 121.27/34.92 c (34,19) opt[89][4] = 0 121.27/34.92 c (34,19) opt[90][0] = 1 121.27/34.92 c (34,19) opt[90][1] = 1 121.27/34.92 c (34,19) opt[90][2] = 1 121.27/34.92 c (34,19) opt[90][3] = 0 121.27/34.92 c (34,19) opt[90][4] = 0 121.27/34.92 c (34,19) opt[91][0] = 0 121.27/34.92 c (34,19) opt[91][1] = 0 121.27/34.92 c (34,19) opt[91][2] = 0 121.27/34.92 c (34,19) opt[91][3] = 0 121.27/34.92 c (34,19) opt[91][4] = 1 121.27/34.92 c (34,19) opt[92][0] = 1 121.27/34.92 c (34,19) opt[92][1] = 1 121.27/34.92 c (34,19) opt[92][2] = 0 121.27/34.92 c (34,19) opt[92][3] = 1 121.27/34.92 c (34,19) opt[92][4] = 0 121.27/34.92 c (34,19) opt[93][0] = 0 121.27/34.92 c (34,19) opt[93][1] = 0 121.27/34.92 c (34,19) opt[93][2] = 1 121.27/34.92 c (34,19) opt[93][3] = 1 121.27/34.92 c (34,19) opt[93][4] = 0 121.27/34.92 c (34,19) opt[94][0] = 1 121.27/34.92 c (34,19) opt[94][1] = 1 121.27/34.92 c (34,19) opt[94][2] = 0 121.27/34.92 c (34,19) opt[94][3] = 0 121.27/34.92 c (34,19) opt[94][4] = 0 121.27/34.92 c (34,19) opt[95][0] = 0 121.27/34.92 c (34,19) opt[95][1] = 1 121.27/34.92 c (34,19) opt[95][2] = 0 121.27/34.92 c (34,19) opt[95][3] = 0 121.27/34.92 c (34,19) opt[95][4] = 0 121.27/34.92 c (34,19) opt[96][0] = 1 121.27/34.92 c (34,19) opt[96][1] = 0 121.27/34.92 c (34,19) opt[96][2] = 0 121.27/34.92 c (34,19) opt[96][3] = 0 121.27/34.92 c (34,19) opt[96][4] = 0 121.27/34.92 c (34,19) opt[97][0] = 0 121.27/34.92 c (34,19) opt[97][1] = 0 121.27/34.92 c (34,19) opt[97][2] = 1 121.27/34.92 c (34,19) opt[97][3] = 0 121.27/34.92 c (34,19) opt[97][4] = 1 121.27/34.92 c (34,19) opt[98][0] = 0 121.27/34.92 c (34,19) opt[98][1] = 0 121.27/34.92 c (34,19) opt[98][2] = 0 121.27/34.92 c (34,19) opt[98][3] = 1 121.27/34.92 c (34,19) opt[98][4] = 0 121.27/34.92 c (34,19) opt[99][0] = 0 121.27/34.92 c (34,19) opt[99][1] = 1 121.27/34.92 c (34,19) opt[99][2] = 0 121.27/34.92 c (34,19) opt[99][3] = 0 121.27/34.92 c (34,19) opt[99][4] = 0 121.27/34.92 c (34,19) opt[100][0] = 1 121.27/34.92 c (34,19) opt[100][1] = 1 121.27/34.92 c (34,19) opt[100][2] = 0 121.27/34.92 c (34,19) opt[100][3] = 0 121.27/34.92 c (34,19) opt[100][4] = 0 121.27/34.92 c (34,19) opt[101][0] = 0 121.27/34.92 c (34,19) opt[101][1] = 0 121.27/34.92 c (34,19) opt[101][2] = 1 121.27/34.92 c (34,19) opt[101][3] = 0 121.27/34.92 c (34,19) opt[101][4] = 0 121.27/34.92 c (34,19) opt[102][0] = 0 121.27/34.92 c (34,19) opt[102][1] = 1 121.27/34.92 c (34,19) opt[102][2] = 0 121.27/34.92 c (34,19) opt[102][3] = 1 121.27/34.92 c (34,19) opt[102][4] = 0 121.27/34.92 c (34,19) opt[103][0] = 0 121.27/34.92 c (34,19) opt[103][1] = 0 121.27/34.92 c (34,19) opt[103][2] = 0 121.27/34.92 c (34,19) opt[103][3] = 1 121.27/34.92 c (34,19) opt[103][4] = 1 121.27/34.92 c (34,19) opt[104][0] = 0 121.27/34.92 c (34,19) opt[104][1] = 0 121.27/34.92 c (34,19) opt[104][2] = 1 121.27/34.92 c (34,19) opt[104][3] = 0 121.27/34.92 c (34,19) opt[104][4] = 0 121.27/34.92 c (34,19) opt[105][0] = 0 121.27/34.92 c (34,19) opt[105][1] = 1 121.27/34.92 c (34,19) opt[105][2] = 0 121.27/34.92 c (34,19) opt[105][3] = 0 121.27/34.92 c (34,19) opt[105][4] = 0 121.27/34.92 c (34,19) opt[106][0] = 1 121.27/34.92 c (34,19) opt[106][1] = 1 121.27/34.92 c (34,19) opt[106][2] = 0 121.27/34.92 c (34,19) opt[106][3] = 0 121.27/34.92 c (34,19) opt[106][4] = 0 121.27/34.92 c (34,19) opt[107][0] = 0 121.27/34.92 c (34,19) opt[107][1] = 0 121.27/34.92 c (34,19) opt[107][2] = 1 121.27/34.92 c (34,19) opt[107][3] = 1 121.27/34.92 c (34,19) opt[107][4] = 0 121.27/34.92 c (34,19) opt[108][0] = 0 121.27/34.92 c (34,19) opt[108][1] = 0 121.27/34.92 c (34,19) opt[108][2] = 0 121.27/34.92 c (34,19) opt[108][3] = 0 121.27/34.92 c (34,19) opt[108][4] = 1 121.27/34.92 c (34,19) opt[109][0] = 0 121.27/34.92 c (34,19) opt[109][1] = 1 121.27/34.92 c (34,19) opt[109][2] = 0 121.27/34.92 c (34,19) opt[109][3] = 0 121.27/34.92 c (34,19) opt[109][4] = 0 121.27/34.92 c (34,19) opt[110][0] = 0 121.27/34.92 c (34,19) opt[110][1] = 0 121.27/34.92 c (34,19) opt[110][2] = 1 121.27/34.92 c (34,19) opt[110][3] = 1 121.27/34.92 c (34,19) opt[110][4] = 0 121.27/34.92 c (34,19) opt[111][0] = 1 121.27/34.92 c (34,19) opt[111][1] = 1 121.27/34.92 c (34,19) opt[111][2] = 0 121.27/34.92 c (34,19) opt[111][3] = 0 121.27/34.92 c (34,19) opt[111][4] = 0 121.27/34.92 c (34,19) opt[112][0] = 0 121.27/34.92 c (34,19) opt[112][1] = 1 121.27/34.92 c (34,19) opt[112][2] = 0 121.27/34.92 c (34,19) opt[112][3] = 1 121.27/34.92 c (34,19) opt[112][4] = 0 121.27/34.92 c (34,19) opt[113][0] = 0 121.27/34.92 c (34,19) opt[113][1] = 0 121.27/34.92 c (34,19) opt[113][2] = 1 121.27/34.92 c (34,19) opt[113][3] = 0 121.27/34.92 c (34,19) opt[113][4] = 1 121.27/34.92 c (34,19) opt[114][0] = 1 121.27/34.92 c (34,19) opt[114][1] = 1 121.27/34.92 c (34,19) opt[114][2] = 0 121.27/34.92 c (34,19) opt[114][3] = 0 121.27/34.92 c (34,19) opt[114][4] = 0 121.27/34.92 c (34,19) opt[115][0] = 0 121.27/34.92 c (34,19) opt[115][1] = 1 121.27/34.92 c (34,19) opt[115][2] = 0 121.27/34.92 c (34,19) opt[115][3] = 1 121.27/34.92 c (34,19) opt[115][4] = 0 121.27/34.92 c (34,19) opt[116][0] = 1 121.27/34.92 c (34,19) opt[116][1] = 0 121.27/34.92 c (34,19) opt[116][2] = 0 121.27/34.92 c (34,19) opt[116][3] = 0 121.27/34.92 c (34,19) opt[116][4] = 0 121.27/34.92 c (34,19) opt[117][0] = 0 121.27/34.92 c (34,19) opt[117][1] = 0 121.27/34.92 c (34,19) opt[117][2] = 1 121.27/34.92 c (34,19) opt[117][3] = 1 121.27/34.92 c (34,19) opt[117][4] = 0 121.27/34.92 c (34,19) opt[118][0] = 1 121.27/34.92 c (34,19) opt[118][1] = 0 121.27/34.92 c (34,19) opt[118][2] = 0 121.27/34.92 c (34,19) opt[118][3] = 0 121.27/34.92 c (34,19) opt[118][4] = 1 121.27/34.92 c (34,19) opt[119][0] = 0 121.27/34.92 c (34,19) opt[119][1] = 1 121.27/34.92 c (34,19) opt[119][2] = 0 121.27/34.92 c (34,19) opt[119][3] = 0 121.27/34.92 c (34,19) opt[119][4] = 0 121.27/34.92 c (34,19) opt[120][0] = 1 121.27/34.92 c (34,19) opt[120][1] = 1 121.27/34.92 c (34,19) opt[120][2] = 0 121.27/34.92 c (34,19) opt[120][3] = 1 121.27/34.92 c (34,19) opt[120][4] = 0 121.27/34.92 c (34,19) opt[121][0] = 0 121.27/34.92 c (34,19) opt[121][1] = 0 121.27/34.92 c (34,19) opt[121][2] = 1 121.27/34.92 c (34,19) opt[121][3] = 0 121.27/34.92 c (34,19) opt[121][4] = 0 121.27/34.92 c (34,19) opt[122][0] = 1 121.27/34.92 c (34,19) opt[122][1] = 1 121.27/34.92 c (34,19) opt[122][2] = 0 121.27/34.92 c (34,19) opt[122][3] = 0 121.27/34.92 c (34,19) opt[122][4] = 0 121.27/34.92 c (34,19) opt[123][0] = 0 121.27/34.92 c (34,19) opt[123][1] = 0 121.27/34.92 c (34,19) opt[123][2] = 0 121.27/34.92 c (34,19) opt[123][3] = 1 121.27/34.92 c (34,19) opt[123][4] = 1 121.27/34.92 c (34,19) opt[124][0] = 1 121.27/34.92 c (34,19) opt[124][1] = 0 121.27/34.92 c (34,19) opt[124][2] = 0 121.27/34.92 c (34,19) opt[124][3] = 0 121.27/34.92 c (34,19) opt[124][4] = 0 121.27/34.92 c (34,19) opt[125][0] = 0 121.27/34.92 c (34,19) opt[125][1] = 1 121.27/34.92 c (34,19) opt[125][2] = 0 121.27/34.92 c (34,19) opt[125][3] = 1 121.27/34.92 c (34,19) opt[125][4] = 0 121.27/34.92 c (34,19) opt[126][0] = 1 121.27/34.92 c (34,19) opt[126][1] = 0 121.27/34.92 c (34,19) opt[126][2] = 1 121.27/34.92 c (34,19) opt[126][3] = 0 121.27/34.92 c (34,19) opt[126][4] = 0 121.27/34.92 c (34,19) opt[127][0] = 0 121.27/34.92 c (34,19) opt[127][1] = 1 121.27/34.92 c (34,19) opt[127][2] = 0 121.27/34.92 c (34,19) opt[127][3] = 0 121.27/34.92 c (34,19) opt[127][4] = 0 121.27/34.92 c (34,19) opt[128][0] = 1 121.27/34.92 c (34,19) opt[128][1] = 1 121.27/34.92 c (34,19) opt[128][2] = 0 121.27/34.92 c (34,19) opt[128][3] = 0 121.27/34.92 c (34,19) opt[128][4] = 0 121.27/34.92 c (34,19) opt[129][0] = 0 121.27/34.92 c (34,19) opt[129][1] = 0 121.27/34.92 c (34,19) opt[129][2] = 1 121.27/34.92 c (34,19) opt[129][3] = 1 121.27/34.92 c (34,19) opt[129][4] = 1 121.27/34.92 c (34,19) opt[130][0] = 1 121.27/34.92 c (34,19) opt[130][1] = 1 121.27/34.92 c (34,19) opt[130][2] = 0 121.27/34.92 c (34,19) opt[130][3] = 0 121.27/34.92 c (34,19) opt[130][4] = 0 121.27/34.92 c (34,19) opt[131][0] = 0 121.27/34.92 c (34,19) opt[131][1] = 0 121.27/34.92 c (34,19) opt[131][2] = 0 121.27/34.92 c (34,19) opt[131][3] = 1 121.27/34.92 c (34,19) opt[131][4] = 0 121.27/34.92 c (34,19) opt[132][0] = 1 121.27/34.92 c (34,19) opt[132][1] = 0 121.27/34.92 c (34,19) opt[132][2] = 1 121.27/34.92 c (34,19) opt[132][3] = 0 121.27/34.92 c (34,19) opt[132][4] = 0 121.27/34.92 c (34,19) opt[133][0] = 0 121.27/34.92 c (34,19) opt[133][1] = 1 121.27/34.92 c (34,19) opt[133][2] = 0 121.27/34.92 c (34,19) opt[133][3] = 0 121.27/34.92 c (34,19) opt[133][4] = 0 121.27/34.92 c (34,19) opt[134][0] = 1 121.27/34.92 c (34,19) opt[134][1] = 0 121.27/34.92 c (34,19) opt[134][2] = 0 121.27/34.92 c (34,19) opt[134][3] = 1 121.27/34.92 c (34,19) opt[134][4] = 0 121.27/34.92 c (34,19) opt[135][0] = 0 121.27/34.92 c (34,19) opt[135][1] = 1 121.27/34.92 c (34,19) opt[135][2] = 1 121.27/34.92 c (34,19) opt[135][3] = 0 121.27/34.92 c (34,19) opt[135][4] = 1 121.27/34.92 c (34,19) opt[136][0] = 0 121.27/34.92 c (34,19) opt[136][1] = 0 121.27/34.92 c (34,19) opt[136][2] = 0 121.27/34.92 c (34,19) opt[136][3] = 1 121.27/34.92 c (34,19) opt[136][4] = 0 121.27/34.92 c (34,19) opt[137][0] = 0 121.27/34.92 c (34,19) opt[137][1] = 1 121.27/34.92 c (34,19) opt[137][2] = 0 121.27/34.92 c (34,19) opt[137][3] = 0 121.27/34.92 c (34,19) opt[137][4] = 0 121.27/34.92 c (34,19) opt[138][0] = 1 121.27/34.92 c (34,19) opt[138][1] = 1 121.27/34.92 c (34,19) opt[138][2] = 1 121.27/34.92 c (34,19) opt[138][3] = 0 121.27/34.92 c (34,19) opt[138][4] = 0 121.27/34.92 c (34,19) opt[139][0] = 0 121.27/34.92 c (34,19) opt[139][1] = 0 121.27/34.92 c (34,19) opt[139][2] = 0 121.27/34.92 c (34,19) opt[139][3] = 1 121.27/34.92 c (34,19) opt[139][4] = 0 121.27/34.92 c (34,19) opt[140][0] = 1 121.27/34.92 c (34,19) opt[140][1] = 0 121.27/34.92 c (34,19) opt[140][2] = 0 121.27/34.92 c (34,19) opt[140][3] = 0 121.27/34.92 c (34,19) opt[140][4] = 1 121.27/34.92 c (34,19) opt[141][0] = 0 121.27/34.92 c (34,19) opt[141][1] = 0 121.27/34.92 c (34,19) opt[141][2] = 1 121.27/34.92 c (34,19) opt[141][3] = 1 121.27/34.92 c (34,19) opt[141][4] = 0 121.27/34.92 c (34,19) opt[142][0] = 1 121.27/34.92 c (34,19) opt[142][1] = 0 121.27/34.92 c (34,19) opt[142][2] = 0 121.27/34.92 c (34,19) opt[142][3] = 0 121.27/34.92 c (34,19) opt[142][4] = 0 121.27/34.92 c (34,19) opt[143][0] = 0 121.27/34.92 c (34,19) opt[143][1] = 1 121.27/34.92 c (34,19) opt[143][2] = 0 121.27/34.92 c (34,19) opt[143][3] = 0 121.27/34.92 c (34,19) opt[143][4] = 0 121.27/34.92 c (34,19) opt[144][0] = 1 121.27/34.92 c (34,19) opt[144][1] = 1 121.27/34.92 c (34,19) opt[144][2] = 0 121.27/34.92 c (34,19) opt[144][3] = 0 121.27/34.92 c (34,19) opt[144][4] = 0 121.27/34.92 c (34,19) opt[145][0] = 0 121.27/34.92 c (34,19) opt[145][1] = 0 121.27/34.92 c (34,19) opt[145][2] = 1 121.27/34.92 c (34,19) opt[145][3] = 0 121.27/34.92 c (34,19) opt[145][4] = 0 121.27/34.92 c (34,19) opt[146][0] = 0 121.27/34.92 c (34,19) opt[146][1] = 0 121.27/34.92 c (34,19) opt[146][2] = 0 121.27/34.92 c (34,19) opt[146][3] = 1 121.27/34.92 c (34,19) opt[146][4] = 0 121.27/34.92 c (34,19) opt[147][0] = 0 121.27/34.92 c (34,19) opt[147][1] = 1 121.27/34.92 c (34,19) opt[147][2] = 0 121.27/34.92 c (34,19) opt[147][3] = 0 121.27/34.92 c (34,19) opt[147][4] = 0 121.27/34.92 c (34,19) opt[148][0] = 1 121.27/34.92 c (34,19) opt[148][1] = 1 121.27/34.92 c (34,19) opt[148][2] = 1 121.27/34.92 c (34,19) opt[148][3] = 0 121.27/34.92 c (34,19) opt[148][4] = 0 121.27/34.92 c (34,19) opt[149][0] = 0 121.27/34.92 c (34,19) opt[149][1] = 0 121.27/34.92 c (34,19) opt[149][2] = 0 121.27/34.92 c (34,19) opt[149][3] = 1 121.27/34.92 c (34,19) opt[149][4] = 0 121.27/34.92 c (34,19) opt[150][0] = 1 121.27/34.92 c (34,19) opt[150][1] = 1 121.27/34.92 c (34,19) opt[150][2] = 0 121.27/34.92 c (34,19) opt[150][3] = 0 121.27/34.92 c (34,19) opt[150][4] = 1 121.27/34.92 c (34,19) opt[151][0] = 0 121.27/34.92 c (34,19) opt[151][1] = 0 121.27/34.92 c (34,19) opt[151][2] = 1 121.27/34.92 c (34,19) opt[151][3] = 1 121.27/34.92 c (34,19) opt[151][4] = 0 121.27/34.92 c (34,19) opt[152][0] = 1 121.27/34.92 c (34,19) opt[152][1] = 0 121.27/34.92 c (34,19) opt[152][2] = 0 121.27/34.92 c (34,19) opt[152][3] = 0 121.27/34.92 c (34,19) opt[152][4] = 0 121.27/34.92 c (34,19) opt[153][0] = 0 121.27/34.92 c (34,19) opt[153][1] = 1 121.27/34.92 c (34,19) opt[153][2] = 0 121.27/34.92 c (34,19) opt[153][3] = 0 121.27/34.92 c (34,19) opt[153][4] = 0 121.27/34.92 c (34,19) opt[154][0] = 0 121.27/34.92 c (34,19) opt[154][1] = 1 121.27/34.92 c (34,19) opt[154][2] = 0 121.27/34.92 c (34,19) opt[154][3] = 0 121.27/34.92 c (34,19) opt[154][4] = 0 121.27/34.92 c (34,19) opt[155][0] = 1 121.27/34.92 c (34,19) opt[155][1] = 0 121.27/34.92 c (34,19) opt[155][2] = 1 121.27/34.92 c (34,19) opt[155][3] = 1 121.27/34.92 c (34,19) opt[155][4] = 0 121.27/34.92 c (34,19) opt[156][0] = 0 121.27/34.92 c (34,19) opt[156][1] = 1 121.27/34.92 c (34,19) opt[156][2] = 0 121.27/34.92 c (34,19) opt[156][3] = 0 121.27/34.92 c (34,19) opt[156][4] = 0 121.27/34.92 c (34,19) opt[157][0] = 0 121.27/34.92 c (34,19) opt[157][1] = 1 121.27/34.92 c (34,19) opt[157][2] = 0 121.27/34.92 c (34,19) opt[157][3] = 1 121.27/34.92 c (34,19) opt[157][4] = 0 121.27/34.92 c (34,19) opt[158][0] = 1 121.27/34.92 c (34,19) opt[158][1] = 0 121.27/34.92 c (34,19) opt[158][2] = 1 121.27/34.92 c (34,19) opt[158][3] = 0 121.27/34.92 c (34,19) opt[158][4] = 1 121.27/34.92 c (34,19) opt[159][0] = 0 121.27/34.92 c (34,19) opt[159][1] = 1 121.27/34.92 c (34,19) opt[159][2] = 0 121.27/34.92 c (34,19) opt[159][3] = 0 121.27/34.92 c (34,19) opt[159][4] = 0 121.27/34.92 c (34,19) opt[160][0] = 0 121.27/34.92 c (34,19) opt[160][1] = 1 121.27/34.92 c (34,19) opt[160][2] = 0 121.27/34.92 c (34,19) opt[160][3] = 0 121.27/34.92 c (34,19) opt[160][4] = 0 121.27/34.92 c (34,19) opt[161][0] = 1 121.27/34.92 c (34,19) opt[161][1] = 0 121.27/34.92 c (34,19) opt[161][2] = 0 121.27/34.92 c (34,19) opt[161][3] = 1 121.27/34.92 c (34,19) opt[161][4] = 0 121.27/34.92 c (34,19) opt[162][0] = 0 121.27/34.92 c (34,19) opt[162][1] = 0 121.27/34.92 c (34,19) opt[162][2] = 1 121.27/34.92 c (34,19) opt[162][3] = 1 121.27/34.92 c (34,19) opt[162][4] = 0 121.27/34.92 c (34,19) opt[163][0] = 1 121.27/34.92 c (34,19) opt[163][1] = 1 121.27/34.92 c (34,19) opt[163][2] = 0 121.27/34.92 c (34,19) opt[163][3] = 0 121.27/34.92 c (34,19) opt[163][4] = 0 121.27/34.92 c (34,19) opt[164][0] = 0 121.27/34.92 c (34,19) opt[164][1] = 0 121.27/34.92 c (34,19) opt[164][2] = 0 121.27/34.92 c (34,19) opt[164][3] = 0 121.27/34.92 c (34,19) opt[164][4] = 1 121.27/34.92 c (34,19) opt[165][0] = 0 121.27/34.92 c (34,19) opt[165][1] = 1 121.27/34.92 c (34,19) opt[165][2] = 1 121.27/34.92 c (34,19) opt[165][3] = 0 121.27/34.92 c (34,19) opt[165][4] = 0 121.27/34.92 c (34,19) opt[166][0] = 0 121.27/34.92 c (34,19) opt[166][1] = 1 121.27/34.93 c (34,19) opt[166][2] = 0 121.27/34.93 c (34,19) opt[166][3] = 0 121.27/34.93 c (34,19) opt[166][4] = 0 121.27/34.93 c (34,19) opt[167][0] = 0 121.27/34.93 c (34,19) opt[167][1] = 0 121.27/34.93 c (34,19) opt[167][2] = 0 121.27/34.93 c (34,19) opt[167][3] = 1 121.27/34.93 c (34,19) opt[167][4] = 0 121.27/34.93 c (34,19) opt[168][0] = 0 121.27/34.93 c (34,19) opt[168][1] = 1 121.27/34.93 c (34,19) opt[168][2] = 0 121.27/34.93 c (34,19) opt[168][3] = 1 121.27/34.93 c (34,19) opt[168][4] = 0 121.27/34.93 c (34,19) opt[169][0] = 1 121.27/34.93 c (34,19) opt[169][1] = 0 121.27/34.93 c (34,19) opt[169][2] = 1 121.27/34.93 c (34,19) opt[169][3] = 0 121.27/34.93 c (34,19) opt[169][4] = 0 121.27/34.93 c (34,19) opt[170][0] = 0 121.27/34.93 c (34,19) opt[170][1] = 1 121.27/34.93 c (34,19) opt[170][2] = 0 121.27/34.93 c (34,19) opt[170][3] = 0 121.27/34.93 c (34,19) opt[170][4] = 0 121.27/34.93 c (34,19) opt[171][0] = 1 121.27/34.93 c (34,19) opt[171][1] = 0 121.27/34.93 c (34,19) opt[171][2] = 0 121.27/34.93 c (34,19) opt[171][3] = 0 121.27/34.93 c (34,19) opt[171][4] = 1 121.27/34.93 c (34,19) opt[172][0] = 0 121.27/34.93 c (34,19) opt[172][1] = 1 121.27/34.93 c (34,19) opt[172][2] = 0 121.27/34.93 c (34,19) opt[172][3] = 1 121.27/34.93 c (34,19) opt[172][4] = 0 121.27/34.93 c (34,19) opt[173][0] = 0 121.27/34.93 c (34,19) opt[173][1] = 1 121.27/34.93 c (34,19) opt[173][2] = 0 121.27/34.93 c (34,19) opt[173][3] = 0 121.27/34.93 c (34,19) opt[173][4] = 0 121.27/34.93 c (34,19) opt[174][0] = 1 121.27/34.93 c (34,19) opt[174][1] = 0 121.27/34.93 c (34,19) opt[174][2] = 1 121.27/34.93 c (34,19) opt[174][3] = 1 121.27/34.93 c (34,19) opt[174][4] = 0 121.27/34.93 c (34,19) opt[175][0] = 0 121.27/34.93 c (34,19) opt[175][1] = 1 121.27/34.93 c (34,19) opt[175][2] = 0 121.27/34.93 c (34,19) opt[175][3] = 0 121.27/34.93 c (34,19) opt[175][4] = 0 121.27/34.93 c (34,19) opt[176][0] = 0 121.27/34.93 c (34,19) opt[176][1] = 0 121.27/34.93 c (34,19) opt[176][2] = 0 121.27/34.93 c (34,19) opt[176][3] = 0 121.27/34.93 c (34,19) opt[176][4] = 1 121.27/34.93 c (34,19) opt[177][0] = 1 121.27/34.93 c (34,19) opt[177][1] = 1 121.27/34.93 c (34,19) opt[177][2] = 0 121.27/34.93 c (34,19) opt[177][3] = 1 121.27/34.93 c (34,19) opt[177][4] = 0 121.27/34.93 c (34,19) opt[178][0] = 0 121.27/34.93 c (34,19) opt[178][1] = 1 121.27/34.93 c (34,19) opt[178][2] = 0 121.27/34.93 c (34,19) opt[178][3] = 0 121.27/34.93 c (34,19) opt[178][4] = 0 121.27/34.93 c (34,19) opt[179][0] = 0 121.27/34.93 c (34,19) opt[179][1] = 0 121.27/34.93 c (34,19) opt[179][2] = 1 121.27/34.93 c (34,19) opt[179][3] = 1 121.27/34.93 c (34,19) opt[179][4] = 0 121.27/34.93 c (34,19) opt[180][0] = 0 121.27/34.93 c (34,19) opt[180][1] = 1 121.27/34.93 c (34,19) opt[180][2] = 0 121.27/34.93 c (34,19) opt[180][3] = 0 121.27/34.93 c (34,19) opt[180][4] = 0 121.27/34.93 c (34,19) opt[181][0] = 1 121.27/34.93 c (34,19) opt[181][1] = 0 121.27/34.93 c (34,19) opt[181][2] = 0 121.27/34.93 c (34,19) opt[181][3] = 0 121.27/34.93 c (34,19) opt[181][4] = 1 121.27/34.93 c (34,19) opt[182][0] = 0 121.27/34.93 c (34,19) opt[182][1] = 0 121.27/34.93 c (34,19) opt[182][2] = 0 121.27/34.93 c (34,19) opt[182][3] = 1 121.27/34.93 c (34,19) opt[182][4] = 0 121.27/34.93 c (34,19) opt[183][0] = 1 121.27/34.93 c (34,19) opt[183][1] = 1 121.27/34.93 c (34,19) opt[183][2] = 1 121.27/34.93 c (34,19) opt[183][3] = 0 121.27/34.93 c (34,19) opt[183][4] = 0 121.27/34.93 c (34,19) opt[184][0] = 0 121.27/34.93 c (34,19) opt[184][1] = 0 121.27/34.93 c (34,19) opt[184][2] = 0 121.27/34.93 c (34,19) opt[184][3] = 1 121.27/34.93 c (34,19) opt[184][4] = 0 121.27/34.93 c (34,19) opt[185][0] = 0 121.27/34.93 c (34,19) opt[185][1] = 1 121.27/34.93 c (34,19) opt[185][2] = 0 121.27/34.93 c (34,19) opt[185][3] = 0 121.27/34.93 c (34,19) opt[185][4] = 0 121.27/34.93 c (34,19) opt[186][0] = 1 121.27/34.93 c (34,19) opt[186][1] = 1 121.27/34.93 c (34,19) opt[186][2] = 0 121.27/34.93 c (34,19) opt[186][3] = 0 121.27/34.93 c (34,19) opt[186][4] = 1 121.27/34.93 c (34,19) opt[187][0] = 0 121.27/34.93 c (34,19) opt[187][1] = 0 121.27/34.93 c (34,19) opt[187][2] = 0 121.27/34.93 c (34,19) opt[187][3] = 1 121.27/34.93 c (34,19) opt[187][4] = 0 121.27/34.93 c (34,19) opt[188][0] = 1 121.27/34.93 c (34,19) opt[188][1] = 0 121.27/34.93 c (34,19) opt[188][2] = 1 121.27/34.93 c (34,19) opt[188][3] = 0 121.27/34.93 c (34,19) opt[188][4] = 0 121.27/34.93 c (34,19) opt[189][0] = 0 121.27/34.93 c (34,19) opt[189][1] = 1 121.27/34.93 c (34,19) opt[189][2] = 0 121.27/34.93 c (34,19) opt[189][3] = 1 121.27/34.93 c (34,19) opt[189][4] = 0 121.27/34.93 c (34,19) opt[190][0] = 0 121.27/34.93 c (34,19) opt[190][1] = 1 121.27/34.93 c (34,19) opt[190][2] = 0 121.27/34.93 c (34,19) opt[190][3] = 0 121.27/34.93 c (34,19) opt[190][4] = 0 121.27/34.93 c (34,19) opt[191][0] = 0 121.27/34.93 c (34,19) opt[191][1] = 0 121.27/34.93 c (34,19) opt[191][2] = 1 121.27/34.93 c (34,19) opt[191][3] = 0 121.27/34.93 c (34,19) opt[191][4] = 0 121.27/34.93 c (34,19) opt[192][0] = 1 121.27/34.93 c (34,19) opt[192][1] = 1 121.27/34.93 c (34,19) opt[192][2] = 0 121.27/34.93 c (34,19) opt[192][3] = 0 121.27/34.93 c (34,19) opt[192][4] = 0 121.27/34.93 c (34,19) opt[193][0] = 0 121.27/34.93 c (34,19) opt[193][1] = 0 121.27/34.93 c (34,19) opt[193][2] = 0 121.27/34.93 c (34,19) opt[193][3] = 1 121.27/34.93 c (34,19) opt[193][4] = 0 121.27/34.93 c (34,19) opt[194][0] = 1 121.27/34.93 c (34,19) opt[194][1] = 1 121.27/34.93 c (34,19) opt[194][2] = 0 121.27/34.93 c (34,19) opt[194][3] = 1 121.27/34.93 c (34,19) opt[194][4] = 0 121.27/34.93 c (34,19) opt[195][0] = 0 121.27/34.93 c (34,19) opt[195][1] = 1 121.27/34.93 c (34,19) opt[195][2] = 0 121.27/34.93 c (34,19) opt[195][3] = 0 121.27/34.93 c (34,19) opt[195][4] = 0 121.27/34.93 c (34,19) opt[196][0] = 1 121.27/34.93 c (34,19) opt[196][1] = 0 121.27/34.93 c (34,19) opt[196][2] = 1 121.27/34.93 c (34,19) opt[196][3] = 0 121.27/34.93 c (34,19) opt[196][4] = 0 121.27/34.93 c (34,19) opt[197][0] = 0 121.27/34.93 c (34,19) opt[197][1] = 0 121.27/34.93 c (34,19) opt[197][2] = 0 121.27/34.93 c (34,19) opt[197][3] = 0 121.27/34.93 c (34,19) opt[197][4] = 1 121.27/34.93 c (34,19) opt[198][0] = 0 121.27/34.93 c (34,19) opt[198][1] = 0 121.27/34.93 c (34,19) opt[198][2] = 0 121.27/34.93 c (34,19) opt[198][3] = 1 121.27/34.93 c (34,19) opt[198][4] = 0 121.27/34.93 c (34,19) opt[199][0] = 0 121.27/34.93 c (34,19) opt[199][1] = 0 121.27/34.93 c (34,19) opt[199][2] = 1 121.27/34.93 c (34,19) opt[199][3] = 1 121.27/34.93 c (34,19) opt[199][4] = 0 121.27/34.93 s SATISFIABLE 121.27/34.93 v <instantiation> 121.27/34.93 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> 121.27/34.93 v <values>1 11 12 20 2 14 1 20 14 20 23 11 16 8 20 11 2 20 10 12 2 12 20 3 12 20 15 20 12 20 15 20 17 23 22 0 20 7 11 5 20 2 12 22 0 20 2 12 10 20 12 11 20 23 13 8 23 12 2 9 23 8 24 11 2 5 4 20 12 7 20 10 20 12 4 8 23 13 12 2 14 23 20 21 5 8 12 11 23 20 4 5 7 14 2 20 23 9 12 20 2 11 8 19 11 20 2 14 5 20 14 2 8 9 2 8 23 14 1 20 7 11 2 19 23 8 15 22 2 18 2 12 15 20 24 13 12 20 4 12 1 14 23 20 2 11 12 20 4 12 6 14 23 20 20 0 20 8 10 20 20 24 14 2 5 21 20 12 8 15 20 1 8 20 0 20 5 7 20 14 20 1 12 4 12 22 6 12 15 8 20 11 2 12 7 20 15 5 12 14 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 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 1 0 1 0 0 0 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 1 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0</values> 121.27/34.93 v </instantiation> 121.27/34.93 c (34,19) Show results End 121.27/34.93 c (34,19) Heap : 1463 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 121.27/34.93 c (34,19) 0,0,11,11,12,12,19,34,34,STOP-AFTER(ALL) 121.27/34.93 c END-Prog: Fri Jul 27 05:58:46 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 (10423 MiB free)
memory of node 1: 16384 MiB (15842 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296906-1532663891/watcher-4296906-1532663891 -o /tmp/evaluation-result-4296906-1532663891/solver-4296906-1532663891 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532663884-17497 --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-4296906-1532663891.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17632, runsolver pid=17629
[startup+0.100111 s]*
/proc/loadavg: 1.67 1.96 2.71 2/201 17652
/proc/meminfo: memFree=26802448/32770624 swapFree=67027124/67108860
[pid=17632] ppid=17629 vsize=27312552 memory=105080 CPUtime=0.1 cores=0-7
/proc/17632/stat : 17632 (java) S 17629 17632 17470 0 -1 1077944320 6262 0 0 0 8 2 0 0 20 0 20 0 83952254 27968053248 26270 33554432000 4194304 4196468 140726866306192 140726866288736 140607148576503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
/proc/17632/statm: 6828138 26270 2734 1 0 6790598 0
[pid=17632/tid=17634] ppid=17629 vsize=27312552 memory=4134930498285298233 CPUtime=0.07 cores=0-7
/proc/17632/task/17634/stat : 17634 (java) R 17629 17632 17470 0 -1 4202560 4412 0 0 0 6 1 0 0 20 0 20 0 83952254 27968053248 26284 33554432000 4194304 4196468 140726866306192 140607120408704 140607129970237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17635] ppid=17629 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/17632/task/17635/stat : 17635 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 26284 33554432000 4194304 4196468 140726866306192 140607152819344 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17636] ppid=17629 vsize=27312552 memory=140268042323584 CPUtime=0 cores=0-7
/proc/17632/task/17636/stat : 17636 (java) S 17629 17632 17470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606966975504 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17637] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17637/stat : 17637 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606965922704 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17638] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17638/stat : 17638 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606964869904 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17639] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17639/stat : 17639 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606963817104 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17640] ppid=17629 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17632/task/17640/stat : 17640 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606962764304 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17641] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17641/stat : 17641 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606565939600 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17642] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17642/stat : 17642 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606564886800 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17643] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17643/stat : 17643 (java) S 17629 17632 17470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83952258 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606072351600 140607148587650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17644] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17644/stat : 17644 (java) S 17629 17632 17470 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83952259 27968053248 26284 33554432000 4194304 4196468 140726866306192 140605082560032 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17645] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17645/stat : 17645 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952259 27968053248 26284 33554432000 4194304 4196468 140726866306192 140604814124400 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17646] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17646/stat : 17646 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952261 27968053248 26284 33554432000 4194304 4196468 140726866306192 140604439615824 140607148595099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17647] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17647/stat : 17647 (java) S 17629 17632 17470 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 83952262 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606071298416 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17648] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17648/stat : 17648 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83952262 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606070245616 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17649] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17649/stat : 17649 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83952262 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606069192816 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17650] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17650/stat : 17650 (java) S 17629 17632 17470 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 20 0 83952262 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606068140016 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17651] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17651/stat : 17651 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83952263 27968053248 26284 33554432000 4194304 4196468 140726866306192 140603941710944 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17652] ppid=17629 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17632/task/17652/stat : 17652 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952263 27968053248 26284 33554432000 4194304 4196468 140726866306192 140606067088432 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 105080 KiB
[startup+0.210052 s]*
/proc/loadavg: 1.67 1.96 2.71 4/201 17652
/proc/meminfo: memFree=26784120/32770624 swapFree=67027124/67108860
[pid=17632] ppid=17629 vsize=27312552 memory=123992 CPUtime=0.24 cores=0-7
/proc/17632/stat : 17632 (java) S 17629 17632 17470 0 -1 1077944320 10279 0 0 0 21 3 0 0 20 0 20 0 83952254 27968053248 30998 33554432000 4194304 4196468 140726866306192 140726866288736 140607148576503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
/proc/17632/statm: 6828138 30998 2884 1 0 6790598 0
[pid=17632/tid=17634] ppid=17629 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/17632/task/17634/stat : 17634 (java) R 17629 17632 17470 0 -1 4202560 8205 0 0 0 17 2 0 0 20 0 20 0 83952254 27968053248 30998 33554432000 4194304 4196468 140726866306192 140607120360064 140607130140063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17635] ppid=17629 vsize=27312552 memory=9237 CPUtime=0 cores=0-7
/proc/17632/task/17635/stat : 17635 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 30998 33554432000 4194304 4196468 140726866306192 140607152819344 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17636] ppid=17629 vsize=27312552 memory=140268042340651 CPUtime=0 cores=0-7
/proc/17632/task/17636/stat : 17636 (java) S 17629 17632 17470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606966975504 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17637] ppid=17629 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17632/task/17637/stat : 17637 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606965922704 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17638] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17638/stat : 17638 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606964869904 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17639] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17639/stat : 17639 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606963817104 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17640] ppid=17629 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17632/task/17640/stat : 17640 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606962764304 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17641] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17641/stat : 17641 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606565939600 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17642] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17642/stat : 17642 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606564886800 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17643] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17643/stat : 17643 (java) S 17629 17632 17470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83952258 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606072351600 140607148587650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17644] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17644/stat : 17644 (java) S 17629 17632 17470 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83952259 27968053248 30998 33554432000 4194304 4196468 140726866306192 140605082560032 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17645] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17645/stat : 17645 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952259 27968053248 30998 33554432000 4194304 4196468 140726866306192 140604814124400 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17646] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17646/stat : 17646 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952261 27968053248 30998 33554432000 4194304 4196468 140726866306192 140604439615824 140607148595099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17647] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17647/stat : 17647 (java) S 17629 17632 17470 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 83952262 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606071298416 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17648] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17648/stat : 17648 (java) S 17629 17632 17470 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 83952262 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606070245616 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17649] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17649/stat : 17649 (java) S 17629 17632 17470 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 83952262 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606069192816 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17650] ppid=17629 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/17632/task/17650/stat : 17650 (java) S 17629 17632 17470 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 83952262 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606068140016 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17651] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17651/stat : 17651 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83952263 27968053248 30998 33554432000 4194304 4196468 140726866306192 140603941710944 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17652] ppid=17629 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17632/task/17652/stat : 17652 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952263 27968053248 30998 33554432000 4194304 4196468 140726866306192 140606067088432 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123992 KiB
[startup+0.310142 s]*
/proc/loadavg: 1.67 1.96 2.71 2/201 17652
/proc/meminfo: memFree=26781064/32770624 swapFree=67027124/67108860
[pid=17632] ppid=17629 vsize=27312552 memory=127984 CPUtime=0.41 cores=0-7
/proc/17632/stat : 17632 (java) S 17629 17632 17470 0 -1 1077944320 10836 0 0 0 38 3 0 0 20 0 20 0 83952254 27968053248 31996 33554432000 4194304 4196468 140726866306192 140726866288736 140607148576503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
/proc/17632/statm: 6828138 31996 3008 1 0 6790598 0
[pid=17632/tid=17634] ppid=17629 vsize=27312552 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/17632/task/17634/stat : 17634 (java) R 17629 17632 17470 0 -1 4202560 8599 0 0 0 26 2 0 0 20 0 20 0 83952254 27968053248 31996 33554432000 4194304 4196468 140726866306192 140607120380656 140607133742096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17635] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17635/stat : 17635 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 31996 33554432000 4194304 4196468 140726866306192 140607152819344 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17636] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17636/stat : 17636 (java) S 17629 17632 17470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606966975504 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17637] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17637/stat : 17637 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606965922704 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17638] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17638/stat : 17638 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606964869904 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17639] ppid=17629 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/17632/task/17639/stat : 17639 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606963817104 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17640] ppid=17629 vsize=27312552 memory=140267927729071 CPUtime=0 cores=0-7
/proc/17632/task/17640/stat : 17640 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606962764304 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17641] ppid=17629 vsize=27312552 memory=140267927731376 CPUtime=0 cores=0-7
/proc/17632/task/17641/stat : 17641 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606565939600 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17642] ppid=17629 vsize=27312552 memory=140267927733680 CPUtime=0 cores=0-7
/proc/17632/task/17642/stat : 17642 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606564886800 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17643] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17643/stat : 17643 (java) S 17629 17632 17470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83952258 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606072351600 140607148587650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17644] ppid=17629 vsize=27312552 memory=280535855474320 CPUtime=0 cores=0-7
/proc/17632/task/17644/stat : 17644 (java) S 17629 17632 17470 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83952259 27968053248 31996 33554432000 4194304 4196468 140726866306192 140605082560032 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17645] ppid=17629 vsize=27312552 memory=280535855481232 CPUtime=0 cores=0-7
/proc/17632/task/17645/stat : 17645 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952259 27968053248 31996 33554432000 4194304 4196468 140726866306192 140604814124400 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17646] ppid=17629 vsize=27312552 memory=280535855422384 CPUtime=0 cores=0-7
/proc/17632/task/17646/stat : 17646 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952261 27968053248 31996 33554432000 4194304 4196468 140726866306192 140604439615824 140607148595099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17647] ppid=17629 vsize=27312552 memory=280535855495056 CPUtime=0 cores=0-7
/proc/17632/task/17647/stat : 17647 (java) S 17629 17632 17470 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 83952262 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606071298416 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17648] ppid=17629 vsize=27312552 memory=280535855501968 CPUtime=0.01 cores=0-7
/proc/17632/task/17648/stat : 17648 (java) S 17629 17632 17470 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 83952262 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606070245616 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17649] ppid=17629 vsize=27312552 memory=280535855499664 CPUtime=0.02 cores=0-7
/proc/17632/task/17649/stat : 17649 (java) S 17629 17632 17470 0 -1 1077944384 156 0 0 0 2 0 0 0 20 0 20 0 83952262 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606069192816 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17650] ppid=17629 vsize=27312552 memory=280535855516272 CPUtime=0.07 cores=0-7
/proc/17632/task/17650/stat : 17650 (java) S 17629 17632 17470 0 -1 1077944384 280 0 0 0 7 0 0 0 20 0 20 0 83952262 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606068140016 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17651] ppid=17629 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17651/stat : 17651 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83952263 27968053248 31996 33554432000 4194304 4196468 140726866306192 140603941710944 140607148586709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17652] ppid=17629 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17632/task/17652/stat : 17652 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952263 27968053248 31996 33554432000 4194304 4196468 140726866306192 140606067088432 140607148587650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127984 KiB
[startup+0.70086 s]
/proc/loadavg: 1.61 1.94 2.70 2/201 17652
/proc/meminfo: memFree=26757004/32770624 swapFree=67027124/67108860
[pid=17632] ppid=17629 vsize=27318824 memory=164448 CPUtime=0.98 cores=0-7
/proc/17632/stat : 17632 (java) S 17629 17632 17470 0 -1 1077944320 17672 0 0 0 93 5 0 0 20 0 20 0 83952254 27974475776 41112 33554432000 4194304 4196468 140726866306192 140726866288736 140607148576503 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
/proc/17632/statm: 6829706 41112 3135 1 0 6791110 0
[pid=17632/tid=17634] ppid=17629 vsize=27318824 memory=0 CPUtime=0.66 cores=0-7
/proc/17632/task/17634/stat : 17634 (java) R 17629 17632 17470 0 -1 4202560 14969 0 0 0 62 4 0 0 20 0 20 0 83952254 27974475776 41112 33554432000 4194304 4196468 140726866306192 140607120412320 140606642965392 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17635] ppid=17629 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17635/stat : 17635 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27974475776 41112 33554432000 4194304 4196468 140726866306192 140607152819344 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17636] ppid=17629 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17636/stat : 17636 (java) S 17629 17632 17470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83952257 27974475776 41112 33554432000 4194304 4196468 140726866306192 140606966975504 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17637] ppid=17629 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/17632/task/17637/stat : 17637 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27974475776 41112 33554432000 4194304 4196468 140726866306192 140606965922704 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17638] ppid=17629 vsize=27318824 memory=3008 CPUtime=0 cores=0-7
/proc/17632/task/17638/stat : 17638 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27974475776 41112 33554432000 4194304 4196468 140726866306192 140606964869904 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17639] ppid=17629 vsize=27318824 memory=2764 CPUtime=0 cores=0-7
/proc/17632/task/17639/stat : 17639 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27974475776 41112 33554432000 4194304 4196468 140726866306192 140606963817104 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17640] ppid=17629 vsize=27318824 memory=796 CPUtime=0 cores=0-7
/proc/17632/task/17640/stat : 17640 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27974475776 41112 33554432000 4194304 4196468 140726866306192 140606962764304 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17641] ppid=17629 vsize=27318824 memory=1004 CPUtime=0 cores=0-7
/proc/17632/task/17641/stat : 17641 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83952257 27974475776 41112 33554432000 4194304 4196468 140726866306192 140606565939600 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17642] ppid=17629 vsize=27318824 memory=15316 CPUtime=0 cores=0-7
/proc/17632/task/17642/stat : 17642 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83952257 27974475776 41112 33554432000 4194304 4196468 140726866306192 140606564886800 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17643] ppid=17629 vsize=27318824 memory=3604 CPUtime=0 cores=0-7
/proc/17632/task/17643/stat : 17643 (java) S 17629 17632 17470 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83952258 27974475776 41112 33554432000 4194304 4196468 140726866306192 140606072351600 140607148587650 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
################
# More data... #
################
/proc/17632/task/17634/stat : 17634 (java) S 17629 17632 17470 0 -1 1077944384 21132 0 0 0 1903 99 0 0 20 0 24 0 83952254 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140607120415744 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17635] ppid=17629 vsize=27984808 memory=15316 CPUtime=0.19 cores=0-7
/proc/17632/task/17635/stat : 17635 (java) S 17629 17632 17470 0 -1 1077944384 218 0 0 0 12 7 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140607152819344 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17636] ppid=17629 vsize=27984808 memory=3604 CPUtime=0.19 cores=0-7
/proc/17632/task/17636/stat : 17636 (java) S 17629 17632 17470 0 -1 1077944384 127 0 0 0 11 8 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606966975504 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17637] ppid=17629 vsize=27984808 memory=10800 CPUtime=0.13 cores=0-7
/proc/17632/task/17637/stat : 17637 (java) S 17629 17632 17470 0 -1 1077944384 91 0 0 0 8 5 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606965922704 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17638] ppid=17629 vsize=27984808 memory=15128 CPUtime=0.12 cores=0-7
/proc/17632/task/17638/stat : 17638 (java) S 17629 17632 17470 0 -1 1077944384 109 0 0 0 7 5 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606964869904 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17639] ppid=17629 vsize=27984808 memory=640 CPUtime=0.19 cores=0-7
/proc/17632/task/17639/stat : 17639 (java) S 17629 17632 17470 0 -1 1077944384 135 0 0 0 12 7 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606963817104 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17640] ppid=17629 vsize=27984808 memory=1760 CPUtime=0.19 cores=0-7
/proc/17632/task/17640/stat : 17640 (java) S 17629 17632 17470 0 -1 1077944384 145 0 0 0 12 7 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606962764304 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17641] ppid=17629 vsize=27984808 memory=960 CPUtime=0.17 cores=0-7
/proc/17632/task/17641/stat : 17641 (java) S 17629 17632 17470 0 -1 1077944384 101 0 0 0 11 6 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606565939600 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17642] ppid=17629 vsize=27984808 memory=1220 CPUtime=0.19 cores=0-7
/proc/17632/task/17642/stat : 17642 (java) S 17629 17632 17470 0 -1 1077944384 109 0 0 0 12 7 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606564886800 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17643] ppid=17629 vsize=27984808 memory=15316 CPUtime=0.01 cores=0-7
/proc/17632/task/17643/stat : 17643 (java) S 17629 17632 17470 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 24 0 83952258 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606072351600 140607148587650 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17644] ppid=17629 vsize=27984808 memory=3604 CPUtime=0 cores=0-7
/proc/17632/task/17644/stat : 17644 (java) S 17629 17632 17470 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 83952259 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140605082560096 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17645] ppid=17629 vsize=27984808 memory=10800 CPUtime=0 cores=0-7
/proc/17632/task/17645/stat : 17645 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83952259 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140604814124416 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17646] ppid=17629 vsize=27984808 memory=15128 CPUtime=0 cores=0-7
/proc/17632/task/17646/stat : 17646 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83952261 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140604439615824 140607148595099 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17647] ppid=17629 vsize=27984808 memory=640 CPUtime=5.97 cores=0-7
/proc/17632/task/17647/stat : 17647 (java) S 17629 17632 17470 0 -1 1077944384 7885 0 0 0 595 2 0 0 20 0 24 0 83952262 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606071298416 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17648] ppid=17629 vsize=27984808 memory=1760 CPUtime=7.13 cores=0-7
/proc/17632/task/17648/stat : 17648 (java) S 17629 17632 17470 0 -1 1077944384 8855 0 0 0 711 2 0 0 20 0 24 0 83952262 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606070245616 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17649] ppid=17629 vsize=27984808 memory=960 CPUtime=5.72 cores=0-7
/proc/17632/task/17649/stat : 17649 (java) S 17629 17632 17470 0 -1 1077944384 6965 0 0 0 570 2 0 0 20 0 24 0 83952262 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606069192816 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17650] ppid=17629 vsize=27984808 memory=1220 CPUtime=1.68 cores=0-7
/proc/17632/task/17650/stat : 17650 (java) S 17629 17632 17470 0 -1 1077944384 4172 0 0 0 166 2 0 0 20 0 24 0 83952262 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606068140016 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17651] ppid=17629 vsize=27984808 memory=1540 CPUtime=0 cores=0-7
/proc/17632/task/17651/stat : 17651 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83952263 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140603941710944 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17652] ppid=17629 vsize=27984808 memory=2164 CPUtime=0.01 cores=0-7
/proc/17632/task/17652/stat : 17652 (java) S 17629 17632 17470 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 24 0 83952263 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606067088432 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17654] ppid=17629 vsize=27984808 memory=3700 CPUtime=0 cores=0-7
/proc/17632/task/17654/stat : 17654 (java) S 17629 17632 17470 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83954296 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606559438400 140607148601113 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17656] ppid=17629 vsize=27984808 memory=844 CPUtime=0 cores=0-7
/proc/17632/task/17656/stat : 17656 (java) S 17629 17632 17470 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 83954296 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140603270610480 140607148598429 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17657] ppid=17629 vsize=27984808 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/17632/task/17657/stat : 17657 (java) S 17629 17632 17470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 83954297 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140603539045808 140607148598429 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17658] ppid=17629 vsize=27984808 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/17632/task/17658/stat : 17658 (java) S 17629 17632 17470 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 83954298 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140603002182688 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
Current children cumulated CPU time: 117.83 s
Current children cumulated vsize: 29693284 KiB
Current children cumulated memory: 7364540 KiB
[startup+34.8013 s]
/proc/loadavg: 2.09 2.01 2.70 9/214 17666
/proc/meminfo: memFree=19468484/32770624 swapFree=67027124/67108860
[pid=17632] ppid=17629 vsize=27984808 memory=6214064 CPUtime=42.07 cores=0-7
/proc/17632/stat : 17632 (java) S 17629 17632 17470 0 -1 1077944320 51458 0 0 0 4041 166 0 0 20 0 24 0 83952254 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140726866288736 140607148576503 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
/proc/17632/statm: 6996202 1553516 3250 1 0 6957058 0
[pid=17653] ppid=17632 vsize=1676232 memory=1151776 CPUtime=78.91 cores=0-7
/proc/17653/stat : 17653 (glucose-syrup) R 17632 17632 17470 0 -1 4202496 875527 0 0 0 7710 181 0 0 20 0 1 0 83954296 1716461568 287944 33554432000 4194304 4373367 140725213916720 140725213915248 140127356042365 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6470912 6472264 7876608 140725213918127 140725213918380 140725213918380 140725213921223 0
/proc/17653/statm: 419058 287944 401 44 0 414746 0
[pid=17632/tid=17634] ppid=17629 vsize=27984808 memory=0 CPUtime=20.02 cores=0-7
/proc/17632/task/17634/stat : 17634 (java) S 17629 17632 17470 0 -1 1077944384 21132 0 0 0 1903 99 0 0 20 0 24 0 83952254 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140607120415744 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17635] ppid=17629 vsize=27984808 memory=1268 CPUtime=0.19 cores=0-7
/proc/17632/task/17635/stat : 17635 (java) S 17629 17632 17470 0 -1 1077944384 218 0 0 0 12 7 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140607152819344 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17636] ppid=17629 vsize=27984808 memory=6944652177228980320 CPUtime=0.19 cores=0-7
/proc/17632/task/17636/stat : 17636 (java) S 17629 17632 17470 0 -1 1077944384 127 0 0 0 11 8 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606966975504 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17637] ppid=17629 vsize=27984808 memory=0 CPUtime=0.13 cores=0-7
/proc/17632/task/17637/stat : 17637 (java) S 17629 17632 17470 0 -1 1077944384 91 0 0 0 8 5 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606965922704 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17638] ppid=17629 vsize=27984808 memory=7649399392838235953 CPUtime=0.12 cores=0-7
/proc/17632/task/17638/stat : 17638 (java) S 17629 17632 17470 0 -1 1077944384 109 0 0 0 7 5 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606964869904 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17639] ppid=17629 vsize=27984808 memory=7649399397133203249 CPUtime=0.19 cores=0-7
/proc/17632/task/17639/stat : 17639 (java) S 17629 17632 17470 0 -1 1077944384 135 0 0 0 12 7 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606963817104 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17640] ppid=17629 vsize=27984808 memory=7649399358495274801 CPUtime=0.19 cores=0-7
/proc/17632/task/17640/stat : 17640 (java) S 17629 17632 17470 0 -1 1077944384 145 0 0 0 12 7 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606962764304 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17641] ppid=17629 vsize=27984808 memory=7649399362790242097 CPUtime=0.17 cores=0-7
/proc/17632/task/17641/stat : 17641 (java) S 17629 17632 17470 0 -1 1077944384 101 0 0 0 11 6 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606565939600 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17642] ppid=17629 vsize=27984808 memory=7649399367085209393 CPUtime=0.19 cores=0-7
/proc/17632/task/17642/stat : 17642 (java) S 17629 17632 17470 0 -1 1077944384 109 0 0 0 12 7 0 0 20 0 24 0 83952257 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606564886800 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17643] ppid=17629 vsize=27984808 memory=7649399371380176689 CPUtime=0.01 cores=0-7
/proc/17632/task/17643/stat : 17643 (java) S 17629 17632 17470 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 24 0 83952258 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606072351600 140607148587650 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17644] ppid=17629 vsize=27984808 memory=7649399375675143985 CPUtime=0 cores=0-7
/proc/17632/task/17644/stat : 17644 (java) S 17629 17632 17470 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 83952259 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140605082560096 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17645] ppid=17629 vsize=27984808 memory=7649399379970111281 CPUtime=0 cores=0-7
/proc/17632/task/17645/stat : 17645 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83952259 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140604814124416 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17646] ppid=17629 vsize=27984808 memory=7649399384265078577 CPUtime=0 cores=0-7
/proc/17632/task/17646/stat : 17646 (java) S 17629 17632 17470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83952261 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140604439615824 140607148595099 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17647] ppid=17629 vsize=27984808 memory=7649399388560045873 CPUtime=5.97 cores=0-7
/proc/17632/task/17647/stat : 17647 (java) S 17629 17632 17470 0 -1 1077944384 7885 0 0 0 595 2 0 0 20 0 24 0 83952262 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606071298416 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17648] ppid=17629 vsize=27984808 memory=7649399392855013169 CPUtime=7.14 cores=0-7
/proc/17632/task/17648/stat : 17648 (java) S 17629 17632 17470 0 -1 1077944384 8856 0 0 0 712 2 0 0 20 0 24 0 83952262 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606070245616 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17649] ppid=17629 vsize=27984808 memory=7649399397149980465 CPUtime=5.72 cores=0-7
/proc/17632/task/17649/stat : 17649 (java) S 17629 17632 17470 0 -1 1077944384 6965 0 0 0 570 2 0 0 20 0 24 0 83952262 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606069192816 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17650] ppid=17629 vsize=27984808 memory=7649399358512052017 CPUtime=1.68 cores=0-7
/proc/17632/task/17650/stat : 17650 (java) S 17629 17632 17470 0 -1 1077944384 4172 0 0 0 166 2 0 0 20 0 24 0 83952262 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606068140016 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17651] ppid=17629 vsize=27984808 memory=7649399362807019313 CPUtime=0 cores=0-7
/proc/17632/task/17651/stat : 17651 (java) S 17629 17632 17470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83952263 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140603941710944 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17652] ppid=17629 vsize=27984808 memory=7649399367101986609 CPUtime=0.01 cores=0-7
/proc/17632/task/17652/stat : 17652 (java) S 17629 17632 17470 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 24 0 83952263 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606067088432 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17654] ppid=17629 vsize=27984808 memory=7649399375691921201 CPUtime=0 cores=0-7
/proc/17632/task/17654/stat : 17654 (java) S 17629 17632 17470 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83954296 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140606559438400 140607148601113 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17656] ppid=17629 vsize=27984808 memory=7649399384281855793 CPUtime=0 cores=0-7
/proc/17632/task/17656/stat : 17656 (java) R 17629 17632 17470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 83954296 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140603270610480 140607148598429 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17657] ppid=17629 vsize=27984808 memory=7649399388576823089 CPUtime=0 cores=0-7
/proc/17632/task/17657/stat : 17657 (java) S 17629 17632 17470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 83954297 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140603539045808 140607148598429 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17658] ppid=17629 vsize=27984808 memory=7649399392871790385 CPUtime=0 cores=0-7
/proc/17632/task/17658/stat : 17658 (java) S 17629 17632 17470 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 83954298 28656443392 1553516 33554432000 4194304 4196468 140726866306192 140603002182688 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
Current children cumulated CPU time: 120.98 s
Current children cumulated vsize: 29661040 KiB
Current children cumulated memory: 7365840 KiB
[startup+34.9011 s]
/proc/loadavg: 2.09 2.01 2.70 9/214 17666
/proc/meminfo: memFree=19468484/32770624 swapFree=67027124/67108860
[pid=17632] ppid=17629 vsize=27853732 memory=6212052 CPUtime=121.27 cores=0-7
/proc/17632/stat : 17632 (java) S 17629 17632 17470 0 -1 1077944320 51497 875534 0 0 4061 167 7712 187 20 0 22 0 83952254 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140726866288736 140607148576503 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
/proc/17632/statm: 6963433 1553013 3250 1 0 6924289 0
[pid=17632/tid=17634] ppid=17629 vsize=27853732 memory=1149784 CPUtime=99.03 cores=0-7
/proc/17632/task/17634/stat : 17634 (java) R 17629 17632 17470 0 -1 4202560 21149 875534 0 0 1905 99 7712 187 20 0 22 0 83952254 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140607120415216 140606650626988 0 4 0 25189583 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17635] ppid=17629 vsize=27853732 memory=1143752 CPUtime=79.18 cores=0-7
/proc/17632/task/17635/stat : 17635 (java) S 17629 17632 17470 0 -1 1077944384 218 875534 0 0 12 7 7712 187 20 0 22 0 83952257 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140607152819344 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17636] ppid=17629 vsize=27853732 memory=1142696 CPUtime=79.18 cores=0-7
/proc/17632/task/17636/stat : 17636 (java) S 17629 17632 17470 0 -1 1077944384 127 875534 0 0 11 8 7712 187 20 0 22 0 83952257 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606966975504 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17637] ppid=17629 vsize=27853732 memory=1151264 CPUtime=79.12 cores=0-7
/proc/17632/task/17637/stat : 17637 (java) S 17629 17632 17470 0 -1 1077944384 91 875534 0 0 8 5 7712 187 20 0 22 0 83952257 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606965922704 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17638] ppid=17629 vsize=27853732 memory=6214064 CPUtime=79.11 cores=0-7
/proc/17632/task/17638/stat : 17638 (java) S 17629 17632 17470 0 -1 1077944384 109 875534 0 0 7 5 7712 187 20 0 22 0 83952257 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606964869904 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17639] ppid=17629 vsize=27853732 memory=0 CPUtime=79.18 cores=0-7
/proc/17632/task/17639/stat : 17639 (java) S 17629 17632 17470 0 -1 1077944384 135 875534 0 0 12 7 7712 187 20 0 22 0 83952257 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606963817104 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17640] ppid=17629 vsize=27853732 memory=0 CPUtime=79.18 cores=0-7
/proc/17632/task/17640/stat : 17640 (java) S 17629 17632 17470 0 -1 1077944384 145 875534 0 0 12 7 7712 187 20 0 22 0 83952257 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606962764304 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17641] ppid=17629 vsize=27853732 memory=7809355447389548387 CPUtime=79.16 cores=0-7
/proc/17632/task/17641/stat : 17641 (java) S 17629 17632 17470 0 -1 1077944384 101 875534 0 0 11 6 7712 187 20 0 22 0 83952257 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606565939600 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17642] ppid=17629 vsize=27853732 memory=7449348952176813670 CPUtime=79.18 cores=0-7
/proc/17632/task/17642/stat : 17642 (java) S 17629 17632 17470 0 -1 1077944384 109 875534 0 0 12 7 7712 187 20 0 22 0 83952257 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606564886800 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17643] ppid=17629 vsize=27853732 memory=6211236 CPUtime=79 cores=0-7
/proc/17632/task/17643/stat : 17643 (java) S 17629 17632 17470 0 -1 1077944384 24 875534 0 0 1 0 7712 187 20 0 22 0 83952258 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606072351600 140607148587650 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17644] ppid=17629 vsize=27853732 memory=2940 CPUtime=78.99 cores=0-7
/proc/17632/task/17644/stat : 17644 (java) S 17629 17632 17470 0 -1 1077944384 14 875534 0 0 0 0 7712 187 20 0 22 0 83952259 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140605082560096 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17645] ppid=17629 vsize=27853732 memory=20668 CPUtime=78.99 cores=0-7
/proc/17632/task/17645/stat : 17645 (java) S 17629 17632 17470 0 -1 1077944384 3 875534 0 0 0 0 7712 187 20 0 22 0 83952259 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140604814124416 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17646] ppid=17629 vsize=27853732 memory=2940 CPUtime=78.99 cores=0-7
/proc/17632/task/17646/stat : 17646 (java) S 17629 17632 17470 0 -1 1077944384 1 875534 0 0 0 0 7712 187 20 0 22 0 83952261 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140604439615824 140607148595099 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17647] ppid=17629 vsize=27853732 memory=20668 CPUtime=84.97 cores=0-7
/proc/17632/task/17647/stat : 17647 (java) S 17629 17632 17470 0 -1 1077944384 7886 875534 0 0 596 2 7712 187 20 0 22 0 83952262 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606071298416 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17648] ppid=17629 vsize=27853732 memory=776 CPUtime=86.16 cores=0-7
/proc/17632/task/17648/stat : 17648 (java) S 17629 17632 17470 0 -1 1077944384 8856 875534 0 0 715 2 7712 187 20 0 22 0 83952262 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606070245616 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17649] ppid=17629 vsize=27853732 memory=2764 CPUtime=84.75 cores=0-7
/proc/17632/task/17649/stat : 17649 (java) S 17629 17632 17470 0 -1 1077944384 6965 875534 0 0 574 2 7712 187 20 0 22 0 83952262 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606069192816 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17650] ppid=17629 vsize=27853732 memory=796 CPUtime=80.7 cores=0-7
/proc/17632/task/17650/stat : 17650 (java) S 17629 17632 17470 0 -1 1077944384 4176 875534 0 0 169 2 7712 187 20 0 22 0 83952262 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606068140016 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17651] ppid=17629 vsize=27853732 memory=140267927756369 CPUtime=78.99 cores=0-7
/proc/17632/task/17651/stat : 17651 (java) S 17629 17632 17470 0 -1 1077944384 3 875534 0 0 0 0 7712 187 20 0 22 0 83952263 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140603941710944 140607148586709 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17652] ppid=17629 vsize=27853732 memory=6214064 CPUtime=79 cores=0-7
/proc/17632/task/17652/stat : 17652 (java) S 17629 17632 17470 0 -1 1077944384 5 875534 0 0 1 0 7712 187 20 0 22 0 83952263 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606067088432 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17654] ppid=17629 vsize=27853732 memory=1142912 CPUtime=78.99 cores=0-7
/proc/17632/task/17654/stat : 17654 (java) S 17629 17632 17470 0 -1 1077944384 24 875534 0 0 0 0 7712 187 20 0 22 0 83954296 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140606559437584 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
[pid=17632/tid=17658] ppid=17629 vsize=27853732 memory=8039887049847964325 CPUtime=78.99 cores=0-7
/proc/17632/task/17658/stat : 17658 (java) S 17629 17632 17470 0 -1 1077944384 16 875534 0 0 0 0 7712 187 20 0 22 0 83954298 28522221568 1553013 33554432000 4194304 4196468 140726866306192 140603002184496 140607148587650 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140726866310105 140726866310405 140726866310405 140726866313167 0
Current children cumulated CPU time: 121.27 s
Current children cumulated vsize: 27853732 KiB
Current children cumulated memory: 6212052 KiB
Child status: 0
Real time (s): 34.9819
CPU time (s): 121.434
CPU user time (s): 117.844
CPU system time (s): 3.59006
CPU usage (%): 347.134
Max. virtual memory (cumulated for all children) (KiB): 29693560
Max. memory (cumulated for all children) (KiB): 7365840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.844
system time used= 3.59006
maximum resident set size= 6218160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 927102
page faults= 0
swaps= 0
block input operations= 144
block output operations= 123688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64132
involuntary context switches= 781
# summary of solver processes directly reported to runsolver:
# pid: 17632
# total CPU time (s): 121.434
# total CPU user time (s): 117.844
# total CPU system time (s): 3.59006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.288107 second user time and 0.419612 second system time
The end
Begin job on node102 at 2018-07-27 05:58:11 IDJOB=4296906 IDBENCH=141450 IDSOLVER=2758 FILE ID=node102/4296906-1532663891 RUNJOBID= node102-1532663884-17497 PBS_JOBID= 21022230 Free space on /tmp= 52748 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/CarSequencing/CarSequencing-80-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-4296906-1532663891/watcher-4296906-1532663891 -o /tmp/evaluation-result-4296906-1532663891/solver-4296906-1532663891 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532663884-17497 --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-4296906-1532663891.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 201da62bda966dccc44cd0c6ff0d4af7 RANDOM SEED=693352259 node102.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.51 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.51 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.51 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.51 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: 26897304 kB MemAvailable: 31933408 kB Buffers: 177136 kB Cached: 5113740 kB SwapCached: 53680 kB Active: 1114688 kB Inactive: 4256924 kB Active(anon): 5928 kB Inactive(anon): 98624 kB Active(file): 1108760 kB Inactive(file): 4158300 kB Unevictable: 6644 kB Mlocked: 6644 kB SwapTotal: 67108860 kB SwapFree: 67027124 kB Dirty: 8184 kB Writeback: 0 kB AnonPages: 43784 kB Mapped: 32328 kB Shmem: 21372 kB Slab: 197548 kB SReclaimable: 169756 kB SUnreclaim: 27792 kB KernelStack: 3552 kB PageTables: 5140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323364 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 52740 MiB End job on node102 at 2018-07-27 05:58:46