| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-07) | SAT | 127.501 | 37.0265 |
| Name | CarSequencing/ CarSequencing-85-02_c18.xml |
| MD5SUM | 8bc781233594bd95127afade52cac536 |
| 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 | 70.0837 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1442 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":26,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 86 |
| 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":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":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":3}, {"degree":86,"count":35}] |
| 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":32,"count":1},{"arity":35,"count":2},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":2},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":4},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"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":1241},{"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.58 c BEGIN-Prog: Fri Jul 27 05:57:17 CEST 2018 0.64/0.58 c PID: 12397 0.64/0.58 c IP: 172.20.3.149 0.64/0.58 c HOST: node149.alineos.net 0.64/0.59 c (0,0) Parsing Begin 2.88/2.00 c (1,0) Parsing End 3.24/2.02 c (1,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1442 ctr, max domain size 26 3.24/2.02 c (1,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.24/2.02 c (1,0) Constraint Name Generate Begin 3.24/2.06 c (1,0) Ctr:HOME/instance-4296908-1532663837.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum 3.24/2.06 c (1,0) Constraint Name Generate End 3.24/2.06 c (1,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.24/2.06 c (1,0) CSP to CSPinCNF Begin 11.93/5.25 c (4,4) translated 145 (10%) constraints 12.45/5.73 c (5,4) translated 289 (20%) constraints 12.45/5.75 c (5,4) translated 433 (30%) constraints 12.45/5.78 c (5,4) translated 577 (40%) constraints 12.91/5.81 c (5,4) translated 721 (50%) constraints 12.91/5.83 c (5,4) translated 866 (60%) constraints 12.91/5.85 c (5,4) translated 1010 (70%) constraints 12.91/5.87 c (5,4) translated 1154 (80%) constraints 15.14/7.37 c (6,6) translated 1298 (90%) constraints 16.14/8.37 c (7,7) translated 1442 (100%) constraints 17.62/8.94 c (8,7) STATISTICS1:HOME/instance-4296908-1532663837.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,17200,59467,9223372036854775807,26,26,200,9223372036854775807:266;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:4;140737488355328:1;70368744177664:2;35184372088832:1;17592186044416:1;8796093022208:3;2199023255552:1;1099511627776:2;549755813888:2;137438953472:3;34359738368:1;17179869184:2;2147483648:1;16:392;4:396;2:199,26:20400;2:165392,26:200;3:30800;2:27200;1:1267,200:57;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:1;74:3;72:1;71:2;70:2;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:4;48:1;47:2;46:1;45:1;44:3;42:1;41:2;40:2;38:3;36:1;35:2;32:1;5:392;3:396;2:199;1:151800;0:200,17689:57;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:2;2401:3;2304:1;2209:2;2116:2;2025:3;1936:1;1849:3;1764:1 17.62/8.94 c (8,7) =========================================== 17.62/8.94 c (8,7) Order 17.62/8.94 c (8,7) =========================================== 20.13/9.72 c (9,8) translated 5947 (10%) constraints 20.93/9.96 c (9,8) translated 11894 (20%) constraints 21.34/10.07 c (9,8) translated 17841 (30%) constraints 21.62/10.17 c (9,8) translated 23787 (40%) constraints 21.71/10.26 c (9,9) translated 29734 (50%) constraints 21.82/10.36 c (9,9) translated 35681 (60%) constraints 21.91/10.45 c (9,9) translated 41627 (70%) constraints 22.01/10.55 c (9,9) translated 47574 (80%) constraints 22.12/10.64 c (10,9) translated 53521 (90%) constraints 27.18/12.80 c (12,11) translated 59467 (100%) constraints 27.18/12.81 c (12,11) CSP to CSPinCNF End 27.18/12.82 c (12,11) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 80204 ctr, max domain size 68 27.18/12.82 c (12,11) Heap : 5519 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 27.18/12.82 c (12,11) CSPinCNF Propagation Begin 29.43/13.47 c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed 29.43/13.47 c (12,12) CSPinCNF Propagation End 29.43/13.47 c (12,12) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 79804 ctr, max domain size 68 29.43/13.47 c (12,12) Heap : 286 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 29.43/13.47 c (12,12) Simplify CSPinCNF Begin 29.88/13.64 c (13,12) Simplify CSPinCNF End 29.88/13.65 c (13,12) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 79804 ctr, max domain size 68 29.88/13.65 c (13,12) Heap : 395 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 29.88/13.65 c (13,12) Calculate Precise Domain Begin 30.08/13.70 c (13,12) 0 values are removed by re-calculation 30.08/13.70 c (13,12) Calculate Precise Domain End 30.08/13.71 c (13,12) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 79804 ctr, max domain size 68 30.08/13.71 c (13,12) Heap : 395 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 30.08/13.71 c (13,12) CSPinCNF to SatSolver Begin 33.18/15.71 c (15,14) 7981 (10 %) CSP clauses are encoded (95329 SAT variables, 585380 SAT clauses) 33.18/15.76 c (15,14) 15961 (20 %) CSP clauses are encoded (95329 SAT variables, 593360 SAT clauses) 33.48/15.81 c (15,14) 23942 (30 %) CSP clauses are encoded (95329 SAT variables, 601341 SAT clauses) 33.48/15.88 c (15,14) 31922 (40 %) CSP clauses are encoded (95329 SAT variables, 609321 SAT clauses) 33.76/15.95 c (15,14) 39902 (50 %) CSP clauses are encoded (95329 SAT variables, 617301 SAT clauses) 33.98/16.03 c (15,14) 47883 (60 %) CSP clauses are encoded (95329 SAT variables, 625282 SAT clauses) 33.98/16.08 c (15,14) 55863 (70 %) CSP clauses are encoded (95329 SAT variables, 633262 SAT clauses) 34.12/16.11 c (15,14) 63844 (80 %) CSP clauses are encoded (95329 SAT variables, 641243 SAT clauses) 34.32/16.34 c (15,15) 71824 (90 %) CSP clauses are encoded (95329 SAT variables, 730289 SAT clauses) 39.16/21.05 c (20,19) 79804 (100 %) CSP clauses are encoded (95329 SAT variables, 2490622 SAT clauses) 39.16/21.06 c (20,19) CSPinCNF to SatSolver End 39.16/21.06 c (20,19) Heap : 1204 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 40.24/21.41 c (20,19) STATISTICS2:HOME/instance-4296908-1532663837.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,26409,79804,4556,68,25,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:1;1806:4;1764:1;1722:3;1681:3;1640:2;1600:3;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:295;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:19;729:16;702:14;676:19;650:15;625:16;600:16;576:15;552:19;529:22;512:761;506:17;484:16;462:15;441:19;420:14;400:16;380:17;361:15;342:18;324:32;306:90;289:88;272:70;270:8;256:1924;255:16;240:71;234:4;225:88;221:8;210:72;198:4;196:71;187:8;182:74;169:77;162:16;156:70;153:32;144:69;132:68;128:1174;126:4;121:80;119:8;110:67;100:69;96:277;90:568;85:24;81:528;72:315;68:32;64:1153;56:291;54:16;51:32;49:293;36:12;34:24;25:301;16:978;9:32;4:420;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:26;54:28;53:30;52:24;51:34;50:24;49:30;48:28;47:26;46:32;45:26;44:28;43:30;42:24;41:34;40:36;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:30142;25:136;24:136;23:174;22:134;21:144;20:134;19:138;18:1112;17:1028;16:598;15:656;14:582;13:606;12:1108;11:594;10:1522;9:3838;8:2348;7:1758;5:1216;4:144;3:144;2:185900,25:200;3:30400;2:37600;1:11604,11:279;10:761;9:1847;8:1174;7:861;5:1223;3:5260;2:199;1:171400, 40.24/21.41 c (20,19) SatSolver.solve Begin 40.24/21.41 c (20,19) 95329 bool, 2491323 clause 40.24/21.41 c (20,19) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296908-1532663837.xml-scop-12397.cnf HOME/instance-4296908-1532663837.xml-scop-12397.cnf.out 117.24/35.68 c (35,0) c 117.24/35.68 c (35,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 117.24/35.68 c (35,0) c 117.24/35.68 c (35,0) c WARNING: for repeatability, setting FPU to use double precision 117.24/35.68 c (35,0) c 8 solvers engines and 1 companion as a blackboard created. 117.24/35.68 c (35,0) c ========================================[ Problem Statistics ]=========================================== 117.24/35.68 c (35,0) c | | 117.24/35.68 c (35,0) c | Number of variables: 95329 | 117.24/35.68 c (35,0) c | Number of clauses: 2491039 | 117.24/35.68 c (35,0) c | Parse time: 0.84 s | 117.24/35.68 c (35,0) c | | 117.24/35.68 c (35,0) c | Eliminated clauses: 0.33 Mb | 117.24/35.68 c (35,0) c | Simplification time: 3.61 s | 117.24/35.68 c (35,0) c | | 117.24/35.68 c (35,0) c | Generating clones | 117.24/35.68 c (35,0) c | all clones generated. Memory = 1052.55Mb. | 117.24/35.68 c (35,0) c ========================================================================================================| 117.24/35.68 c (35,0) c 117.24/35.68 c (35,0) c |-------------------------------------------------------------------------------------------------------| 117.24/35.68 c (35,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 117.24/35.68 c (35,0) c |-------------------------------------------------------------------------------------------------------| 117.24/35.68 c (35,0) c | 0 | 38 | 69994 | 7288 | 19655 | 3498 | 479 | 8084 | 10 | 5.434 | 117.24/35.68 c (35,0) c | 1 | 67 | 79435 | 8722 | 26111 | 4927 | 490 | 8204 | 13 | 5.434 | 117.24/35.68 c (35,0) c | 2 | 73 | 83592 | 13061 | 27140 | 9264 | 1519 | 7078 | 28 | 5.434 | 117.24/35.68 c (35,0) c | 3 | 42 | 70391 | 13175 | 22660 | 9387 | 1555 | 6616 | 4 | 5.434 | 117.24/35.68 c (35,0) c | 4 | 44 | 76778 | 10829 | 25607 | 7033 | 771 | 7790 | 8 | 5.434 | 117.24/35.68 c (35,0) c | 5 | 56 | 74603 | 14737 | 23856 | 5945 | 1967 | 6665 | 5 | 5.434 | 117.24/35.68 c (35,0) c | 6 | 53 | 72871 | 10418 | 24783 | 6626 | 1012 | 7887 | 8 | 5.434 | 117.24/35.68 c (35,0) c | 7 | 56 | 62364 | 11616 | 24266 | 7824 | 1118 | 6884 | 30 | 5.434 | 117.24/35.68 c (35,0) c 117.24/35.68 c (35,0) c synthesis 89847 conflicts 91601606 propagations 2493 conflicts/sec 2541638 propagations/sec 117.24/35.68 c (35,0) c Total Memory so far : 1675.35Mb 117.24/35.68 c (35,0) c 117.24/35.68 c (35,0) c |-------------------------------------------------------------------------------------------------------| 117.24/35.68 c (35,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 117.24/35.68 c (35,0) c |-------------------------------------------------------------------------------------------------------| 117.24/35.68 c (35,0) c | 0 | 120 | 137267 | 30934 | 39012 | 14746 | 3295 | 28309 | 120 | 5.434 | 117.24/35.68 c (35,0) c | 1 | 145 | 162110 | 24575 | 46164 | 8389 | 2376 | 33849 | 161 | 5.434 | 117.24/35.68 c (35,0) c | 2 | 123 | 167785 | 30864 | 46185 | 14674 | 3441 | 32581 | 161 | 5.434 | 117.24/35.68 c (35,0) c | 3 | 78 | 145954 | 39259 | 41956 | 13170 | 5469 | 27948 | 121 | 5.434 | 117.24/35.68 c (35,0) c | 4 | 91 | 161148 | 33225 | 47201 | 17041 | 4510 | 30826 | 231 | 5.434 | 117.24/35.68 c (35,0) c | 5 | 130 | 148004 | 37201 | 39547 | 11118 | 5624 | 30532 | 176 | 5.434 | 117.24/35.68 c (35,0) c | 6 | 108 | 144509 | 36335 | 39853 | 10248 | 4887 | 26288 | 77 | 5.434 | 117.24/35.68 c (35,0) c | 7 | 97 | 108974 | 40487 | 32854 | 14404 | 6667 | 27652 | 171 | 5.434 | 117.24/35.68 c (35,0) c 126.80/36.83 c (36,0) c synthesis 272881 conflicts 227153257 propagations 3611 conflicts/sec 3005791 propagations/sec 126.80/36.83 c (36,0) c Total Memory so far : 1681.38Mb 126.80/36.83 c (36,0) c last restart ## conflicts : 143 2252 126.80/36.83 c (36,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer). 126.80/36.83 c (36,0) c Total Memory so far : 1682.59Mb 126.80/36.83 c (36,0) c 126.80/36.83 c (36,0) c real time : 15.4051 s 126.80/36.83 c (36,0) c cpu time : 84.7509 s 126.80/36.83 c (36,0) c 126.80/36.83 c (36,0) c 126.80/36.83 c (36,0) c 126.80/36.83 c (36,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 126.80/36.83 c (36,0) c 126.80/36.83 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 126.80/36.84 c (36,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 126.80/36.84 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 126.80/36.84 c (36,0) c | Conflicts | 318025 | 38621 | 29369 | 34348 | 45084 | 40050 | 42981 | 42277 | 45295 | 126.80/36.84 c (36,0) c | Decisions | 1303856 | 146284 | 179267 | 188945 | 164221 | 176474 | 163785 | 158832 | 126048 | 126.80/36.84 c (36,0) c | Propagations | 257947490 | 28877780 | 30868730 | 32804397 | 33143441 | 33733845 | 33772923 | 32577652 | 32168722 | 126.80/36.84 c (36,0) c | Avg_Trail | | 19405 | 23752 | 23884 | 20918 | 20035 | 20963 | 20308 | 17012 | 126.80/36.84 c (36,0) c | Avg_DL | | 131 | 168 | 163 | 136 | 131 | 130 | 120 | 93 | 126.80/36.84 c (36,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 126.80/36.84 c (36,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 126.80/36.84 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 126.80/36.84 c (36,0) c | Exported | 42887 | 4580 | 3229 | 3842 | 6135 | 5922 | 6372 | 5730 | 7077 | 126.80/36.84 c (36,0) c | Imported | 288266 | 28309 | 38523 | 38945 | 36746 | 36872 | 36311 | 36807 | 35753 | 126.80/36.84 c (36,0) c | Good | 13791 | 1550 | 1688 | 1671 | 1755 | 1669 | 1805 | 1782 | 1871 | 126.80/36.84 c (36,0) c | Purge | 274475 | 26759 | 36835 | 37274 | 34991 | 35203 | 34506 | 35025 | 33882 | 126.80/36.84 c (36,0) c | Promoted | 1472 | 130 | 180 | 187 | 143 | 273 | 229 | 125 | 205 | 126.80/36.84 c (36,0) c | Remove_Imp | 82352 | 13481 | 17558 | 10337 | 8126 | 11000 | 8581 | 6462 | 6807 | 126.80/36.84 c (36,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 126.80/36.84 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 126.80/36.84 c (36,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 126.80/36.84 c (36,0) c | Binaries | | 199 | 287 | 344 | 264 | 348 | 207 | 224 | 146 | 126.80/36.84 c (36,0) c | Glues | | 266 | 349 | 402 | 336 | 467 | 261 | 273 | 274 | 126.80/36.84 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 126.80/36.84 c (36,0) c | Orig_Seen | 1 % | 39169 | 48041 | 49323 | 44071 | 49356 | 42504 | 42594 | 37865 | 126.80/36.84 c (36,0) c | Diff Orig seen| | - 3425 | 5447 | 6729 | 1477 | 6762 | - 90 | X | - 4729 | 126.80/36.84 c (36,0) c | Hamming | 8 % | 7774 | 8089 | 8321 | 8232 | 9601 | 8508 | X | 8866 | 126.80/36.84 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 126.80/36.84 c (36,0) 126.80/36.84 c (36,0) s SATISFIABLE 40.54/36.92 c (36,19) SatSolver.solve End 40.54/36.92 c (36,19) Heap : 1686 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 40.54/36.92 c (36,19) Show results Begin 40.54/36.95 c (36,19) cls[0] = 3 40.54/36.95 c (36,19) cls[1] = 23 40.54/36.95 c (36,19) cls[2] = 22 40.54/36.95 c (36,19) cls[3] = 7 40.54/36.95 c (36,19) cls[4] = 13 40.54/36.95 c (36,19) cls[5] = 2 40.54/36.95 c (36,19) cls[6] = 12 40.54/36.95 c (36,19) cls[7] = 1 40.54/36.95 c (36,19) cls[8] = 7 40.54/36.95 c (36,19) cls[9] = 22 40.54/36.95 c (36,19) cls[10] = 11 40.54/36.95 c (36,19) cls[11] = 13 40.54/36.95 c (36,19) cls[12] = 21 40.54/36.95 c (36,19) cls[13] = 2 40.54/36.95 c (36,19) cls[14] = 11 40.54/36.95 c (36,19) cls[15] = 1 40.54/36.95 c (36,19) cls[16] = 10 40.54/36.95 c (36,19) cls[17] = 22 40.54/36.95 c (36,19) cls[18] = 5 40.54/36.95 c (36,19) cls[19] = 2 40.54/36.95 c (36,19) cls[20] = 4 40.54/36.95 c (36,19) cls[21] = 13 40.54/36.95 c (36,19) cls[22] = 11 40.54/36.95 c (36,19) cls[23] = 8 40.54/36.95 c (36,19) cls[24] = 25 40.54/36.95 c (36,19) cls[25] = 0 40.54/36.95 c (36,19) cls[26] = 2 40.54/36.95 c (36,19) cls[27] = 21 40.54/36.95 c (36,19) cls[28] = 2 40.54/36.95 c (36,19) cls[29] = 25 40.54/36.95 c (36,19) cls[30] = 13 40.54/36.95 c (36,19) cls[31] = 14 40.54/36.95 c (36,19) cls[32] = 22 40.54/36.95 c (36,19) cls[33] = 22 40.54/36.95 c (36,19) cls[34] = 6 40.54/36.95 c (36,19) cls[35] = 2 40.54/36.95 c (36,19) cls[36] = 12 40.54/36.95 c (36,19) cls[37] = 3 40.54/36.95 c (36,19) cls[38] = 11 40.54/36.95 c (36,19) cls[39] = 15 40.54/36.95 c (36,19) cls[40] = 11 40.54/36.95 c (36,19) cls[41] = 8 40.54/36.95 c (36,19) cls[42] = 2 40.54/36.95 c (36,19) cls[43] = 5 40.54/36.95 c (36,19) cls[44] = 19 40.54/36.95 c (36,19) cls[45] = 13 40.54/36.95 c (36,19) cls[46] = 25 40.54/36.95 c (36,19) cls[47] = 2 40.54/36.95 c (36,19) cls[48] = 21 40.54/36.95 c (36,19) cls[49] = 16 40.54/36.95 c (36,19) cls[50] = 11 40.54/36.95 c (36,19) cls[51] = 8 40.54/36.95 c (36,19) cls[52] = 2 40.54/36.95 c (36,19) cls[53] = 12 40.54/36.95 c (36,19) cls[54] = 13 40.54/36.95 c (36,19) cls[55] = 16 40.54/36.95 c (36,19) cls[56] = 7 40.54/36.95 c (36,19) cls[57] = 2 40.54/36.95 c (36,19) cls[58] = 25 40.54/36.95 c (36,19) cls[59] = 2 40.54/36.95 c (36,19) cls[60] = 3 40.54/36.95 c (36,19) cls[61] = 12 40.54/36.95 c (36,19) cls[62] = 2 40.54/36.95 c (36,19) cls[63] = 10 40.54/36.95 c (36,19) cls[64] = 1 40.54/36.95 c (36,19) cls[65] = 2 40.54/36.95 c (36,19) cls[66] = 12 40.54/36.95 c (36,19) cls[67] = 3 40.54/36.95 c (36,19) cls[68] = 11 40.54/36.95 c (36,19) cls[69] = 15 40.54/36.95 c (36,19) cls[70] = 8 40.54/36.95 c (36,19) cls[71] = 5 40.54/36.95 c (36,19) cls[72] = 2 40.54/36.95 c (36,19) cls[73] = 8 40.54/36.95 c (36,19) cls[74] = 25 40.54/36.95 c (36,19) cls[75] = 13 40.54/36.95 c (36,19) cls[76] = 6 40.54/36.95 c (36,19) cls[77] = 25 40.54/36.95 c (36,19) cls[78] = 13 40.54/36.95 c (36,19) cls[79] = 14 40.54/36.95 c (36,19) cls[80] = 22 40.54/36.95 c (36,19) cls[81] = 17 40.54/36.95 c (36,19) cls[82] = 2 40.54/36.95 c (36,19) cls[83] = 11 40.54/36.95 c (36,19) cls[84] = 8 40.54/36.95 c (36,19) cls[85] = 5 40.54/36.95 c (36,19) cls[86] = 2 40.54/36.95 c (36,19) cls[87] = 21 40.54/36.95 c (36,19) cls[88] = 1 40.54/36.95 c (36,19) cls[89] = 11 40.54/36.95 c (36,19) cls[90] = 20 40.54/36.95 c (36,19) cls[91] = 11 40.54/36.95 c (36,19) cls[92] = 2 40.54/36.95 c (36,19) cls[93] = 7 40.54/36.95 c (36,19) cls[94] = 13 40.54/36.95 c (36,19) cls[95] = 25 40.54/36.95 c (36,19) cls[96] = 13 40.54/36.95 c (36,19) cls[97] = 4 40.54/36.95 c (36,19) cls[98] = 2 40.54/36.95 c (36,19) cls[99] = 11 40.54/36.95 c (36,19) cls[100] = 8 40.54/36.95 c (36,19) cls[101] = 5 40.54/36.95 c (36,19) cls[102] = 2 40.54/36.95 c (36,19) cls[103] = 4 40.54/36.95 c (36,19) cls[104] = 2 40.54/36.95 c (36,19) cls[105] = 22 40.54/36.95 c (36,19) cls[106] = 11 40.54/36.95 c (36,19) cls[107] = 13 40.54/36.95 c (36,19) cls[108] = 7 40.54/36.95 c (36,19) cls[109] = 16 40.54/36.95 c (36,19) cls[110] = 12 40.54/36.95 c (36,19) cls[111] = 2 40.54/36.95 c (36,19) cls[112] = 5 40.54/36.95 c (36,19) cls[113] = 8 40.54/36.95 c (36,19) cls[114] = 2 40.54/36.95 c (36,19) cls[115] = 25 40.54/36.95 c (36,19) cls[116] = 24 40.54/36.95 c (36,19) cls[117] = 2 40.54/36.95 c (36,19) cls[118] = 25 40.54/36.95 c (36,19) cls[119] = 1 40.54/36.95 c (36,19) cls[120] = 24 40.54/36.95 c (36,19) cls[121] = 25 40.54/36.95 c (36,19) cls[122] = 2 40.54/36.95 c (36,19) cls[123] = 11 40.54/36.95 c (36,19) cls[124] = 9 40.54/36.95 c (36,19) cls[125] = 11 40.54/36.95 c (36,19) cls[126] = 22 40.54/36.95 c (36,19) cls[127] = 2 40.54/36.95 c (36,19) cls[128] = 7 40.54/36.95 c (36,19) cls[129] = 1 40.54/36.95 c (36,19) cls[130] = 2 40.54/36.95 c (36,19) cls[131] = 11 40.54/36.95 c (36,19) cls[132] = 8 40.54/36.95 c (36,19) cls[133] = 12 40.54/36.95 c (36,19) cls[134] = 0 40.54/36.95 c (36,19) cls[135] = 3 40.54/36.95 c (36,19) cls[136] = 22 40.54/36.95 c (36,19) cls[137] = 11 40.54/36.95 c (36,19) cls[138] = 24 40.54/36.95 c (36,19) cls[139] = 1 40.54/36.95 c (36,19) cls[140] = 2 40.54/36.95 c (36,19) cls[141] = 7 40.54/36.95 c (36,19) cls[142] = 2 40.54/36.95 c (36,19) cls[143] = 25 40.54/36.95 c (36,19) cls[144] = 0 40.54/36.95 c (36,19) cls[145] = 10 40.54/36.95 c (36,19) cls[146] = 22 40.54/36.96 c (36,19) cls[147] = 11 40.54/36.96 c (36,19) cls[148] = 3 40.54/36.96 c (36,19) cls[149] = 15 40.54/36.96 c (36,19) cls[150] = 2 40.54/36.96 c (36,19) cls[151] = 11 40.54/36.96 c (36,19) cls[152] = 8 40.54/36.96 c (36,19) cls[153] = 13 40.54/36.96 c (36,19) cls[154] = 1 40.54/36.96 c (36,19) cls[155] = 11 40.54/36.96 c (36,19) cls[156] = 3 40.54/36.96 c (36,19) cls[157] = 22 40.54/36.96 c (36,19) cls[158] = 5 40.54/36.96 c (36,19) cls[159] = 6 40.54/36.96 c (36,19) cls[160] = 25 40.54/36.96 c (36,19) cls[161] = 2 40.54/36.96 c (36,19) cls[162] = 5 40.54/36.96 c (36,19) cls[163] = 20 40.54/36.96 c (36,19) cls[164] = 18 40.54/36.96 c (36,19) cls[165] = 2 40.54/36.96 c (36,19) cls[166] = 25 40.54/36.96 c (36,19) cls[167] = 3 40.54/36.96 c (36,19) cls[168] = 5 40.54/36.96 c (36,19) cls[169] = 22 40.54/36.96 c (36,19) cls[170] = 16 40.54/36.96 c (36,19) cls[171] = 22 40.54/36.96 c (36,19) cls[172] = 7 40.54/36.96 c (36,19) cls[173] = 2 40.54/36.96 c (36,19) cls[174] = 5 40.54/36.96 c (36,19) cls[175] = 8 40.54/36.96 c (36,19) cls[176] = 22 40.54/36.96 c (36,19) cls[177] = 18 40.54/36.96 c (36,19) cls[178] = 2 40.54/36.96 c (36,19) cls[179] = 25 40.54/36.96 c (36,19) cls[180] = 24 40.54/36.96 c (36,19) cls[181] = 25 40.54/36.96 c (36,19) cls[182] = 2 40.54/36.96 c (36,19) cls[183] = 4 40.54/36.96 c (36,19) cls[184] = 2 40.54/36.96 c (36,19) cls[185] = 12 40.54/36.96 c (36,19) cls[186] = 13 40.54/36.96 c (36,19) cls[187] = 2 40.54/36.96 c (36,19) cls[188] = 4 40.54/36.96 c (36,19) cls[189] = 2 40.54/36.96 c (36,19) cls[190] = 25 40.54/36.96 c (36,19) cls[191] = 13 40.54/36.96 c (36,19) cls[192] = 11 40.54/36.96 c (36,19) cls[193] = 9 40.54/36.96 c (36,19) cls[194] = 11 40.54/36.96 c (36,19) cls[195] = 2 40.54/36.96 c (36,19) cls[196] = 8 40.54/36.96 c (36,19) cls[197] = 11 40.54/36.96 c (36,19) cls[198] = 2 40.54/36.96 c (36,19) cls[199] = 4 40.54/36.96 c (36,19) opt[0][0] = 0 40.54/36.96 c (36,19) opt[0][1] = 1 40.54/36.96 c (36,19) opt[0][2] = 1 40.54/36.96 c (36,19) opt[0][3] = 0 40.54/36.96 c (36,19) opt[0][4] = 0 40.54/36.96 c (36,19) opt[1][0] = 1 40.54/36.96 c (36,19) opt[1][1] = 0 40.54/36.96 c (36,19) opt[1][2] = 0 40.54/36.96 c (36,19) opt[1][3] = 0 40.54/36.96 c (36,19) opt[1][4] = 1 40.54/36.96 c (36,19) opt[2][0] = 0 40.54/36.96 c (36,19) opt[2][1] = 0 40.54/36.96 c (36,19) opt[2][2] = 0 40.54/36.96 c (36,19) opt[2][3] = 0 40.54/36.96 c (36,19) opt[2][4] = 0 40.54/36.96 c (36,19) opt[3][0] = 1 40.54/36.96 c (36,19) opt[3][1] = 0 40.54/36.96 c (36,19) opt[3][2] = 1 40.54/36.96 c (36,19) opt[3][3] = 0 40.54/36.96 c (36,19) opt[3][4] = 0 40.54/36.96 c (36,19) opt[4][0] = 0 40.54/36.96 c (36,19) opt[4][1] = 1 40.54/36.96 c (36,19) opt[4][2] = 0 40.54/36.96 c (36,19) opt[4][3] = 1 40.54/36.96 c (36,19) opt[4][4] = 0 40.54/36.96 c (36,19) opt[5][0] = 0 40.54/36.96 c (36,19) opt[5][1] = 1 40.54/36.96 c (36,19) opt[5][2] = 0 40.54/36.96 c (36,19) opt[5][3] = 0 40.54/36.96 c (36,19) opt[5][4] = 0 40.54/36.96 c (36,19) opt[6][0] = 1 40.54/36.96 c (36,19) opt[6][1] = 0 40.54/36.96 c (36,19) opt[6][2] = 0 40.54/36.96 c (36,19) opt[6][3] = 1 40.54/36.96 c (36,19) opt[6][4] = 0 40.54/36.96 c (36,19) opt[7][0] = 0 40.54/36.96 c (36,19) opt[7][1] = 0 40.54/36.96 c (36,19) opt[7][2] = 0 40.54/36.96 c (36,19) opt[7][3] = 0 40.54/36.96 c (36,19) opt[7][4] = 1 40.54/36.96 c (36,19) opt[8][0] = 1 40.54/36.96 c (36,19) opt[8][1] = 0 40.54/36.96 c (36,19) opt[8][2] = 1 40.54/36.96 c (36,19) opt[8][3] = 0 40.54/36.96 c (36,19) opt[8][4] = 0 40.54/36.96 c (36,19) opt[9][0] = 0 40.54/36.96 c (36,19) opt[9][1] = 0 40.54/36.96 c (36,19) opt[9][2] = 0 40.54/36.96 c (36,19) opt[9][3] = 0 40.54/36.96 c (36,19) opt[9][4] = 0 40.54/36.96 c (36,19) opt[10][0] = 1 40.54/36.96 c (36,19) opt[10][1] = 1 40.54/36.96 c (36,19) opt[10][2] = 0 40.54/36.96 c (36,19) opt[10][3] = 0 40.54/36.96 c (36,19) opt[10][4] = 0 40.54/36.96 c (36,19) opt[11][0] = 0 40.54/36.96 c (36,19) opt[11][1] = 1 40.54/36.96 c (36,19) opt[11][2] = 0 40.54/36.96 c (36,19) opt[11][3] = 1 40.54/36.96 c (36,19) opt[11][4] = 0 40.54/36.96 c (36,19) opt[12][0] = 1 40.54/36.96 c (36,19) opt[12][1] = 0 40.54/36.96 c (36,19) opt[12][2] = 1 40.54/36.96 c (36,19) opt[12][3] = 1 40.54/36.96 c (36,19) opt[12][4] = 0 40.54/36.96 c (36,19) opt[13][0] = 0 40.54/36.96 c (36,19) opt[13][1] = 1 40.54/36.96 c (36,19) opt[13][2] = 0 40.54/36.96 c (36,19) opt[13][3] = 0 40.54/36.96 c (36,19) opt[13][4] = 0 40.54/36.96 c (36,19) opt[14][0] = 1 40.54/36.96 c (36,19) opt[14][1] = 1 40.54/36.96 c (36,19) opt[14][2] = 0 40.54/36.96 c (36,19) opt[14][3] = 0 40.54/36.96 c (36,19) opt[14][4] = 0 40.54/36.96 c (36,19) opt[15][0] = 0 40.54/36.96 c (36,19) opt[15][1] = 0 40.54/36.96 c (36,19) opt[15][2] = 0 40.54/36.96 c (36,19) opt[15][3] = 0 40.54/36.96 c (36,19) opt[15][4] = 1 40.54/36.96 c (36,19) opt[16][0] = 1 40.54/36.96 c (36,19) opt[16][1] = 1 40.54/36.96 c (36,19) opt[16][2] = 1 40.54/36.96 c (36,19) opt[16][3] = 1 40.54/36.96 c (36,19) opt[16][4] = 0 40.54/36.96 c (36,19) opt[17][0] = 0 40.54/36.96 c (36,19) opt[17][1] = 0 40.54/36.96 c (36,19) opt[17][2] = 0 40.54/36.96 c (36,19) opt[17][3] = 0 40.54/36.96 c (36,19) opt[17][4] = 0 40.54/36.96 c (36,19) opt[18][0] = 1 40.54/36.96 c (36,19) opt[18][1] = 1 40.54/36.96 c (36,19) opt[18][2] = 0 40.54/36.96 c (36,19) opt[18][3] = 1 40.54/36.96 c (36,19) opt[18][4] = 0 40.54/36.96 c (36,19) opt[19][0] = 0 40.54/36.96 c (36,19) opt[19][1] = 1 40.54/36.96 c (36,19) opt[19][2] = 0 40.54/36.96 c (36,19) opt[19][3] = 0 40.54/36.96 c (36,19) opt[19][4] = 0 40.54/36.96 c (36,19) opt[20][0] = 1 40.54/36.96 c (36,19) opt[20][1] = 0 40.54/36.96 c (36,19) opt[20][2] = 1 40.54/36.96 c (36,19) opt[20][3] = 0 40.54/36.96 c (36,19) opt[20][4] = 1 40.54/36.96 c (36,19) opt[21][0] = 0 40.54/36.96 c (36,19) opt[21][1] = 1 40.54/36.96 c (36,19) opt[21][2] = 0 40.54/36.96 c (36,19) opt[21][3] = 1 40.54/36.96 c (36,19) opt[21][4] = 0 40.54/36.96 c (36,19) opt[22][0] = 1 40.54/36.96 c (36,19) opt[22][1] = 1 40.54/36.96 c (36,19) opt[22][2] = 0 40.54/36.96 c (36,19) opt[22][3] = 0 40.54/36.96 c (36,19) opt[22][4] = 0 40.54/36.96 c (36,19) opt[23][0] = 0 40.54/36.96 c (36,19) opt[23][1] = 0 40.54/36.96 c (36,19) opt[23][2] = 1 40.54/36.96 c (36,19) opt[23][3] = 0 40.54/36.96 c (36,19) opt[23][4] = 0 40.54/36.96 c (36,19) opt[24][0] = 1 40.54/36.96 c (36,19) opt[24][1] = 0 40.54/36.96 c (36,19) opt[24][2] = 0 40.54/36.96 c (36,19) opt[24][3] = 0 40.54/36.96 c (36,19) opt[24][4] = 0 40.54/36.96 c (36,19) opt[25][0] = 0 40.54/36.96 c (36,19) opt[25][1] = 1 40.54/36.96 c (36,19) opt[25][2] = 0 40.54/36.96 c (36,19) opt[25][3] = 1 40.54/36.96 c (36,19) opt[25][4] = 1 40.54/36.96 c (36,19) opt[26][0] = 0 40.54/36.96 c (36,19) opt[26][1] = 1 40.54/36.96 c (36,19) opt[26][2] = 0 40.54/36.96 c (36,19) opt[26][3] = 0 40.54/36.96 c (36,19) opt[26][4] = 0 40.54/36.96 c (36,19) opt[27][0] = 1 40.54/36.96 c (36,19) opt[27][1] = 0 40.54/36.96 c (36,19) opt[27][2] = 1 40.54/36.96 c (36,19) opt[27][3] = 1 40.54/36.96 c (36,19) opt[27][4] = 0 40.54/36.96 c (36,19) opt[28][0] = 0 40.54/36.96 c (36,19) opt[28][1] = 1 40.54/36.96 c (36,19) opt[28][2] = 0 40.54/36.96 c (36,19) opt[28][3] = 0 40.54/36.96 c (36,19) opt[28][4] = 0 40.54/36.96 c (36,19) opt[29][0] = 1 40.54/36.96 c (36,19) opt[29][1] = 0 40.54/36.96 c (36,19) opt[29][2] = 0 40.54/36.96 c (36,19) opt[29][3] = 0 40.54/36.96 c (36,19) opt[29][4] = 0 40.54/36.96 c (36,19) opt[30][0] = 0 40.54/36.96 c (36,19) opt[30][1] = 1 40.54/36.96 c (36,19) opt[30][2] = 0 40.54/36.96 c (36,19) opt[30][3] = 1 40.54/36.96 c (36,19) opt[30][4] = 0 40.54/36.96 c (36,19) opt[31][0] = 1 40.54/36.96 c (36,19) opt[31][1] = 1 40.54/36.96 c (36,19) opt[31][2] = 1 40.54/36.96 c (36,19) opt[31][3] = 0 40.54/36.96 c (36,19) opt[31][4] = 0 40.54/36.96 c (36,19) opt[32][0] = 0 40.54/36.96 c (36,19) opt[32][1] = 0 40.54/36.96 c (36,19) opt[32][2] = 0 40.54/36.96 c (36,19) opt[32][3] = 0 40.54/36.96 c (36,19) opt[32][4] = 0 40.54/36.96 c (36,19) opt[33][0] = 0 40.54/36.96 c (36,19) opt[33][1] = 0 40.54/36.96 c (36,19) opt[33][2] = 0 40.54/36.96 c (36,19) opt[33][3] = 0 40.54/36.96 c (36,19) opt[33][4] = 0 40.54/36.96 c (36,19) opt[34][0] = 0 40.54/36.96 c (36,19) opt[34][1] = 1 40.54/36.96 c (36,19) opt[34][2] = 1 40.54/36.96 c (36,19) opt[34][3] = 0 40.54/36.96 c (36,19) opt[34][4] = 1 40.54/36.96 c (36,19) opt[35][0] = 0 40.54/36.96 c (36,19) opt[35][1] = 1 40.54/36.96 c (36,19) opt[35][2] = 0 40.54/36.96 c (36,19) opt[35][3] = 0 40.54/36.96 c (36,19) opt[35][4] = 0 40.54/36.96 c (36,19) opt[36][0] = 1 40.54/36.96 c (36,19) opt[36][1] = 0 40.54/36.96 c (36,19) opt[36][2] = 0 40.54/36.96 c (36,19) opt[36][3] = 1 40.54/36.96 c (36,19) opt[36][4] = 0 40.54/36.96 c (36,19) opt[37][0] = 0 40.54/36.96 c (36,19) opt[37][1] = 1 40.54/36.96 c (36,19) opt[37][2] = 1 40.54/36.96 c (36,19) opt[37][3] = 0 40.54/36.96 c (36,19) opt[37][4] = 0 40.54/36.96 c (36,19) opt[38][0] = 1 40.54/36.96 c (36,19) opt[38][1] = 1 40.54/36.96 c (36,19) opt[38][2] = 0 40.54/36.96 c (36,19) opt[38][3] = 0 40.54/36.96 c (36,19) opt[38][4] = 0 40.54/36.96 c (36,19) opt[39][0] = 0 40.54/36.96 c (36,19) opt[39][1] = 0 40.54/36.96 c (36,19) opt[39][2] = 0 40.54/36.96 c (36,19) opt[39][3] = 1 40.54/36.96 c (36,19) opt[39][4] = 1 40.54/36.96 c (36,19) opt[40][0] = 1 40.54/36.96 c (36,19) opt[40][1] = 1 40.54/36.96 c (36,19) opt[40][2] = 0 40.54/36.96 c (36,19) opt[40][3] = 0 40.54/36.96 c (36,19) opt[40][4] = 0 40.54/36.96 c (36,19) opt[41][0] = 0 40.54/36.96 c (36,19) opt[41][1] = 0 40.54/36.96 c (36,19) opt[41][2] = 1 40.54/36.96 c (36,19) opt[41][3] = 0 40.54/36.96 c (36,19) opt[41][4] = 0 40.54/36.96 c (36,19) opt[42][0] = 0 40.54/36.96 c (36,19) opt[42][1] = 1 40.54/36.96 c (36,19) opt[42][2] = 0 40.54/36.96 c (36,19) opt[42][3] = 0 40.54/36.96 c (36,19) opt[42][4] = 0 40.54/36.96 c (36,19) opt[43][0] = 1 40.54/36.96 c (36,19) opt[43][1] = 1 40.54/36.96 c (36,19) opt[43][2] = 0 40.54/36.96 c (36,19) opt[43][3] = 1 40.54/36.96 c (36,19) opt[43][4] = 0 40.54/36.96 c (36,19) opt[44][0] = 0 40.54/36.96 c (36,19) opt[44][1] = 0 40.54/36.96 c (36,19) opt[44][2] = 1 40.54/36.96 c (36,19) opt[44][3] = 0 40.54/36.96 c (36,19) opt[44][4] = 1 40.54/36.96 c (36,19) opt[45][0] = 0 40.54/36.96 c (36,19) opt[45][1] = 1 40.54/36.96 c (36,19) opt[45][2] = 0 40.54/36.96 c (36,19) opt[45][3] = 1 40.54/36.96 c (36,19) opt[45][4] = 0 40.54/36.96 c (36,19) opt[46][0] = 1 40.54/36.96 c (36,19) opt[46][1] = 0 40.54/36.96 c (36,19) opt[46][2] = 0 40.54/36.96 c (36,19) opt[46][3] = 0 40.54/36.96 c (36,19) opt[46][4] = 0 40.54/36.96 c (36,19) opt[47][0] = 0 40.54/36.96 c (36,19) opt[47][1] = 1 40.54/36.96 c (36,19) opt[47][2] = 0 40.54/36.96 c (36,19) opt[47][3] = 0 40.54/36.96 c (36,19) opt[47][4] = 0 40.54/36.96 c (36,19) opt[48][0] = 1 40.54/36.96 c (36,19) opt[48][1] = 0 40.54/36.96 c (36,19) opt[48][2] = 1 40.54/36.96 c (36,19) opt[48][3] = 1 40.54/36.96 c (36,19) opt[48][4] = 0 40.54/36.96 c (36,19) opt[49][0] = 0 40.54/36.96 c (36,19) opt[49][1] = 1 40.54/36.96 c (36,19) opt[49][2] = 0 40.54/36.96 c (36,19) opt[49][3] = 0 40.54/36.96 c (36,19) opt[49][4] = 1 40.54/36.96 c (36,19) opt[50][0] = 1 40.54/36.96 c (36,19) opt[50][1] = 1 40.54/36.96 c (36,19) opt[50][2] = 0 40.54/36.96 c (36,19) opt[50][3] = 0 40.54/36.96 c (36,19) opt[50][4] = 0 40.54/36.96 c (36,19) opt[51][0] = 0 40.54/36.96 c (36,19) opt[51][1] = 0 40.54/36.96 c (36,19) opt[51][2] = 1 40.54/36.96 c (36,19) opt[51][3] = 0 40.54/36.96 c (36,19) opt[51][4] = 0 40.54/36.96 c (36,19) opt[52][0] = 0 40.54/36.96 c (36,19) opt[52][1] = 1 40.54/36.96 c (36,19) opt[52][2] = 0 40.54/36.96 c (36,19) opt[52][3] = 0 40.54/36.96 c (36,19) opt[52][4] = 0 40.54/36.96 c (36,19) opt[53][0] = 1 40.54/36.96 c (36,19) opt[53][1] = 0 40.54/36.96 c (36,19) opt[53][2] = 0 40.54/36.96 c (36,19) opt[53][3] = 1 40.54/36.96 c (36,19) opt[53][4] = 0 40.54/36.96 c (36,19) opt[54][0] = 0 40.54/36.96 c (36,19) opt[54][1] = 1 40.54/36.96 c (36,19) opt[54][2] = 0 40.54/36.96 c (36,19) opt[54][3] = 1 40.54/36.96 c (36,19) opt[54][4] = 0 40.54/36.96 c (36,19) opt[55][0] = 0 40.54/36.96 c (36,19) opt[55][1] = 1 40.54/36.96 c (36,19) opt[55][2] = 0 40.54/36.96 c (36,19) opt[55][3] = 0 40.54/36.96 c (36,19) opt[55][4] = 1 40.54/36.96 c (36,19) opt[56][0] = 1 40.54/36.96 c (36,19) opt[56][1] = 0 40.54/36.96 c (36,19) opt[56][2] = 1 40.54/36.96 c (36,19) opt[56][3] = 0 40.54/36.96 c (36,19) opt[56][4] = 0 40.54/36.96 c (36,19) opt[57][0] = 0 40.54/36.96 c (36,19) opt[57][1] = 1 40.54/36.96 c (36,19) opt[57][2] = 0 40.54/36.96 c (36,19) opt[57][3] = 0 40.54/36.96 c (36,19) opt[57][4] = 0 40.54/36.96 c (36,19) opt[58][0] = 1 40.54/36.96 c (36,19) opt[58][1] = 0 40.54/36.96 c (36,19) opt[58][2] = 0 40.54/36.96 c (36,19) opt[58][3] = 0 40.54/36.96 c (36,19) opt[58][4] = 0 40.54/36.96 c (36,19) opt[59][0] = 0 40.54/36.96 c (36,19) opt[59][1] = 1 40.54/36.96 c (36,19) opt[59][2] = 0 40.54/36.96 c (36,19) opt[59][3] = 0 40.54/36.96 c (36,19) opt[59][4] = 0 40.54/36.96 c (36,19) opt[60][0] = 0 40.54/36.96 c (36,19) opt[60][1] = 1 40.54/36.96 c (36,19) opt[60][2] = 1 40.54/36.96 c (36,19) opt[60][3] = 0 40.54/36.96 c (36,19) opt[60][4] = 0 40.54/36.96 c (36,19) opt[61][0] = 1 40.54/36.96 c (36,19) opt[61][1] = 0 40.54/36.96 c (36,19) opt[61][2] = 0 40.54/36.96 c (36,19) opt[61][3] = 1 40.54/36.96 c (36,19) opt[61][4] = 0 40.54/36.96 c (36,19) opt[62][0] = 0 40.54/36.96 c (36,19) opt[62][1] = 1 40.54/36.96 c (36,19) opt[62][2] = 0 40.54/36.96 c (36,19) opt[62][3] = 0 40.54/36.96 c (36,19) opt[62][4] = 0 40.54/36.96 c (36,19) opt[63][0] = 1 40.54/36.96 c (36,19) opt[63][1] = 1 40.54/36.96 c (36,19) opt[63][2] = 1 40.54/36.96 c (36,19) opt[63][3] = 1 40.54/36.96 c (36,19) opt[63][4] = 0 40.54/36.96 c (36,19) opt[64][0] = 0 40.54/36.96 c (36,19) opt[64][1] = 0 40.54/36.96 c (36,19) opt[64][2] = 0 40.54/36.96 c (36,19) opt[64][3] = 0 40.54/36.96 c (36,19) opt[64][4] = 1 40.54/36.96 c (36,19) opt[65][0] = 0 40.54/36.96 c (36,19) opt[65][1] = 1 40.54/36.96 c (36,19) opt[65][2] = 0 40.54/36.96 c (36,19) opt[65][3] = 0 40.54/36.96 c (36,19) opt[65][4] = 0 40.54/36.96 c (36,19) opt[66][0] = 1 40.54/36.96 c (36,19) opt[66][1] = 0 40.54/36.96 c (36,19) opt[66][2] = 0 40.54/36.96 c (36,19) opt[66][3] = 1 40.54/36.96 c (36,19) opt[66][4] = 0 40.54/36.96 c (36,19) opt[67][0] = 0 40.54/36.96 c (36,19) opt[67][1] = 1 40.54/36.96 c (36,19) opt[67][2] = 1 40.54/36.96 c (36,19) opt[67][3] = 0 40.54/36.96 c (36,19) opt[67][4] = 0 40.54/36.96 c (36,19) opt[68][0] = 1 40.54/36.96 c (36,19) opt[68][1] = 1 40.54/36.96 c (36,19) opt[68][2] = 0 40.54/36.96 c (36,19) opt[68][3] = 0 40.54/36.96 c (36,19) opt[68][4] = 0 40.54/36.96 c (36,19) opt[69][0] = 0 40.54/36.96 c (36,19) opt[69][1] = 0 40.54/36.96 c (36,19) opt[69][2] = 0 40.54/36.96 c (36,19) opt[69][3] = 1 40.54/36.96 c (36,19) opt[69][4] = 1 40.54/36.96 c (36,19) opt[70][0] = 0 40.54/36.96 c (36,19) opt[70][1] = 0 40.54/36.96 c (36,19) opt[70][2] = 1 40.54/36.96 c (36,19) opt[70][3] = 0 40.54/36.96 c (36,19) opt[70][4] = 0 40.54/36.96 c (36,19) opt[71][0] = 1 40.54/36.96 c (36,19) opt[71][1] = 1 40.54/36.96 c (36,19) opt[71][2] = 0 40.54/36.96 c (36,19) opt[71][3] = 1 40.54/36.96 c (36,19) opt[71][4] = 0 40.54/36.96 c (36,19) opt[72][0] = 0 40.54/36.96 c (36,19) opt[72][1] = 1 40.54/36.96 c (36,19) opt[72][2] = 0 40.54/36.96 c (36,19) opt[72][3] = 0 40.54/36.96 c (36,19) opt[72][4] = 0 40.54/36.96 c (36,19) opt[73][0] = 0 40.54/36.96 c (36,19) opt[73][1] = 0 40.54/36.96 c (36,19) opt[73][2] = 1 40.54/36.96 c (36,19) opt[73][3] = 0 40.54/36.96 c (36,19) opt[73][4] = 0 40.54/36.96 c (36,19) opt[74][0] = 1 40.54/36.96 c (36,19) opt[74][1] = 0 40.54/36.96 c (36,19) opt[74][2] = 0 40.54/36.96 c (36,19) opt[74][3] = 0 40.54/36.96 c (36,19) opt[74][4] = 0 40.54/36.96 c (36,19) opt[75][0] = 0 40.54/36.96 c (36,19) opt[75][1] = 1 40.54/36.96 c (36,19) opt[75][2] = 0 40.54/36.96 c (36,19) opt[75][3] = 1 40.54/36.96 c (36,19) opt[75][4] = 0 40.54/36.96 c (36,19) opt[76][0] = 0 40.54/36.96 c (36,19) opt[76][1] = 1 40.54/36.96 c (36,19) opt[76][2] = 1 40.54/36.96 c (36,19) opt[76][3] = 0 40.54/36.96 c (36,19) opt[76][4] = 1 40.54/36.96 c (36,19) opt[77][0] = 1 40.54/36.96 c (36,19) opt[77][1] = 0 40.54/36.96 c (36,19) opt[77][2] = 0 40.54/36.96 c (36,19) opt[77][3] = 0 40.54/36.96 c (36,19) opt[77][4] = 0 40.54/36.96 c (36,19) opt[78][0] = 0 40.54/36.96 c (36,19) opt[78][1] = 1 40.54/36.96 c (36,19) opt[78][2] = 0 40.54/36.96 c (36,19) opt[78][3] = 1 40.54/36.96 c (36,19) opt[78][4] = 0 40.54/36.96 c (36,19) opt[79][0] = 1 40.54/36.96 c (36,19) opt[79][1] = 1 40.54/36.96 c (36,19) opt[79][2] = 1 40.54/36.96 c (36,19) opt[79][3] = 0 40.54/36.96 c (36,19) opt[79][4] = 0 40.54/36.96 c (36,19) opt[80][0] = 0 40.54/36.96 c (36,19) opt[80][1] = 0 40.54/36.96 c (36,19) opt[80][2] = 0 40.54/36.96 c (36,19) opt[80][3] = 0 40.54/36.96 c (36,19) opt[80][4] = 0 40.54/36.96 c (36,19) opt[81][0] = 1 40.54/36.96 c (36,19) opt[81][1] = 0 40.54/36.96 c (36,19) opt[81][2] = 0 40.54/36.96 c (36,19) opt[81][3] = 1 40.54/36.96 c (36,19) opt[81][4] = 1 40.54/36.96 c (36,19) opt[82][0] = 0 40.54/36.96 c (36,19) opt[82][1] = 1 40.54/36.96 c (36,19) opt[82][2] = 0 40.54/36.96 c (36,19) opt[82][3] = 0 40.54/36.96 c (36,19) opt[82][4] = 0 40.54/36.96 c (36,19) opt[83][0] = 1 40.54/36.96 c (36,19) opt[83][1] = 1 40.54/36.96 c (36,19) opt[83][2] = 0 40.54/36.96 c (36,19) opt[83][3] = 0 40.54/36.96 c (36,19) opt[83][4] = 0 40.54/36.96 c (36,19) opt[84][0] = 0 40.54/36.96 c (36,19) opt[84][1] = 0 40.54/36.96 c (36,19) opt[84][2] = 1 40.54/36.96 c (36,19) opt[84][3] = 0 40.54/36.96 c (36,19) opt[84][4] = 0 40.54/36.96 c (36,19) opt[85][0] = 1 40.54/36.96 c (36,19) opt[85][1] = 1 40.54/36.96 c (36,19) opt[85][2] = 0 40.54/36.96 c (36,19) opt[85][3] = 1 40.54/36.96 c (36,19) opt[85][4] = 0 40.54/36.96 c (36,19) opt[86][0] = 0 40.54/36.96 c (36,19) opt[86][1] = 1 40.54/36.96 c (36,19) opt[86][2] = 0 40.54/36.96 c (36,19) opt[86][3] = 0 40.54/36.96 c (36,19) opt[86][4] = 0 40.54/36.96 c (36,19) opt[87][0] = 1 40.54/36.96 c (36,19) opt[87][1] = 0 40.54/36.96 c (36,19) opt[87][2] = 1 40.54/36.96 c (36,19) opt[87][3] = 1 40.54/36.96 c (36,19) opt[87][4] = 0 40.54/36.96 c (36,19) opt[88][0] = 0 40.54/36.96 c (36,19) opt[88][1] = 0 40.54/36.96 c (36,19) opt[88][2] = 0 40.54/36.96 c (36,19) opt[88][3] = 0 40.54/36.96 c (36,19) opt[88][4] = 1 40.54/36.96 c (36,19) opt[89][0] = 1 40.54/36.96 c (36,19) opt[89][1] = 1 40.54/36.96 c (36,19) opt[89][2] = 0 40.54/36.96 c (36,19) opt[89][3] = 0 40.54/36.96 c (36,19) opt[89][4] = 0 40.54/36.96 c (36,19) opt[90][0] = 0 40.54/36.96 c (36,19) opt[90][1] = 0 40.54/36.96 c (36,19) opt[90][2] = 1 40.54/36.96 c (36,19) opt[90][3] = 1 40.54/36.96 c (36,19) opt[90][4] = 0 40.54/36.96 c (36,19) opt[91][0] = 1 40.54/36.96 c (36,19) opt[91][1] = 1 40.54/36.96 c (36,19) opt[91][2] = 0 40.54/36.96 c (36,19) opt[91][3] = 0 40.54/36.96 c (36,19) opt[91][4] = 0 40.54/36.96 c (36,19) opt[92][0] = 0 40.54/36.96 c (36,19) opt[92][1] = 1 40.54/36.96 c (36,19) opt[92][2] = 0 40.54/36.96 c (36,19) opt[92][3] = 0 40.54/36.96 c (36,19) opt[92][4] = 0 40.54/36.96 c (36,19) opt[93][0] = 1 40.54/36.96 c (36,19) opt[93][1] = 0 40.54/36.96 c (36,19) opt[93][2] = 1 40.54/36.96 c (36,19) opt[93][3] = 0 40.54/36.96 c (36,19) opt[93][4] = 0 40.54/36.96 c (36,19) opt[94][0] = 0 40.54/36.96 c (36,19) opt[94][1] = 1 40.54/36.96 c (36,19) opt[94][2] = 0 40.54/36.96 c (36,19) opt[94][3] = 1 40.54/36.96 c (36,19) opt[94][4] = 0 40.54/36.96 c (36,19) opt[95][0] = 1 40.54/36.96 c (36,19) opt[95][1] = 0 40.54/36.96 c (36,19) opt[95][2] = 0 40.54/36.96 c (36,19) opt[95][3] = 0 40.54/36.96 c (36,19) opt[95][4] = 0 40.54/36.96 c (36,19) opt[96][0] = 0 40.54/36.96 c (36,19) opt[96][1] = 1 40.54/36.96 c (36,19) opt[96][2] = 0 40.54/36.96 c (36,19) opt[96][3] = 1 40.54/36.96 c (36,19) opt[96][4] = 0 40.54/36.96 c (36,19) opt[97][0] = 1 40.54/36.96 c (36,19) opt[97][1] = 0 40.54/36.96 c (36,19) opt[97][2] = 1 40.54/36.96 c (36,19) opt[97][3] = 0 40.54/36.96 c (36,19) opt[97][4] = 1 40.54/36.96 c (36,19) opt[98][0] = 0 40.54/36.96 c (36,19) opt[98][1] = 1 40.54/36.96 c (36,19) opt[98][2] = 0 40.54/36.96 c (36,19) opt[98][3] = 0 40.54/36.96 c (36,19) opt[98][4] = 0 40.54/36.96 c (36,19) opt[99][0] = 1 40.54/36.96 c (36,19) opt[99][1] = 1 40.54/36.96 c (36,19) opt[99][2] = 0 40.54/36.96 c (36,19) opt[99][3] = 0 40.54/36.96 c (36,19) opt[99][4] = 0 40.54/36.96 c (36,19) opt[100][0] = 0 40.54/36.96 c (36,19) opt[100][1] = 0 40.54/36.96 c (36,19) opt[100][2] = 1 40.54/36.96 c (36,19) opt[100][3] = 0 40.54/36.96 c (36,19) opt[100][4] = 0 40.54/36.96 c (36,19) opt[101][0] = 1 40.54/36.96 c (36,19) opt[101][1] = 1 40.54/36.96 c (36,19) opt[101][2] = 0 40.54/36.96 c (36,19) opt[101][3] = 1 40.54/36.96 c (36,19) opt[101][4] = 0 40.54/36.96 c (36,19) opt[102][0] = 0 40.54/36.96 c (36,19) opt[102][1] = 1 40.54/36.96 c (36,19) opt[102][2] = 0 40.54/36.96 c (36,19) opt[102][3] = 0 40.54/36.96 c (36,19) opt[102][4] = 0 40.54/36.96 c (36,19) opt[103][0] = 1 40.54/36.96 c (36,19) opt[103][1] = 0 40.54/36.96 c (36,19) opt[103][2] = 1 40.54/36.96 c (36,19) opt[103][3] = 0 40.54/36.96 c (36,19) opt[103][4] = 1 40.54/36.96 c (36,19) opt[104][0] = 0 40.54/36.96 c (36,19) opt[104][1] = 1 40.54/36.96 c (36,19) opt[104][2] = 0 40.54/36.96 c (36,19) opt[104][3] = 0 40.54/36.96 c (36,19) opt[104][4] = 0 40.54/36.96 c (36,19) opt[105][0] = 0 40.54/36.96 c (36,19) opt[105][1] = 0 40.54/36.96 c (36,19) opt[105][2] = 0 40.54/36.96 c (36,19) opt[105][3] = 0 40.54/36.96 c (36,19) opt[105][4] = 0 40.54/36.96 c (36,19) opt[106][0] = 1 40.54/36.96 c (36,19) opt[106][1] = 1 40.54/36.96 c (36,19) opt[106][2] = 0 40.54/36.96 c (36,19) opt[106][3] = 0 40.54/36.96 c (36,19) opt[106][4] = 0 40.54/36.96 c (36,19) opt[107][0] = 0 40.54/36.96 c (36,19) opt[107][1] = 1 40.54/36.96 c (36,19) opt[107][2] = 0 40.54/36.96 c (36,19) opt[107][3] = 1 40.54/36.96 c (36,19) opt[107][4] = 0 40.54/36.96 c (36,19) opt[108][0] = 1 40.54/36.96 c (36,19) opt[108][1] = 0 40.54/36.96 c (36,19) opt[108][2] = 1 40.54/36.96 c (36,19) opt[108][3] = 0 40.54/36.96 c (36,19) opt[108][4] = 0 40.54/36.96 c (36,19) opt[109][0] = 0 40.54/36.96 c (36,19) opt[109][1] = 1 40.54/36.96 c (36,19) opt[109][2] = 0 40.54/36.96 c (36,19) opt[109][3] = 0 40.54/36.96 c (36,19) opt[109][4] = 1 40.54/36.96 c (36,19) opt[110][0] = 1 40.54/36.96 c (36,19) opt[110][1] = 0 40.54/36.96 c (36,19) opt[110][2] = 0 40.54/36.96 c (36,19) opt[110][3] = 1 40.54/36.96 c (36,19) opt[110][4] = 0 40.54/36.96 c (36,19) opt[111][0] = 0 40.54/36.96 c (36,19) opt[111][1] = 1 40.54/36.96 c (36,19) opt[111][2] = 0 40.54/36.96 c (36,19) opt[111][3] = 0 40.54/36.96 c (36,19) opt[111][4] = 0 40.54/36.96 c (36,19) opt[112][0] = 1 40.54/36.96 c (36,19) opt[112][1] = 1 40.54/36.96 c (36,19) opt[112][2] = 0 40.54/36.96 c (36,19) opt[112][3] = 1 40.54/36.96 c (36,19) opt[112][4] = 0 40.54/36.96 c (36,19) opt[113][0] = 0 40.54/36.96 c (36,19) opt[113][1] = 0 40.54/36.96 c (36,19) opt[113][2] = 1 40.54/36.96 c (36,19) opt[113][3] = 0 40.54/36.96 c (36,19) opt[113][4] = 0 40.54/36.96 c (36,19) opt[114][0] = 0 40.54/36.96 c (36,19) opt[114][1] = 1 40.54/36.96 c (36,19) opt[114][2] = 0 40.54/36.96 c (36,19) opt[114][3] = 0 40.54/36.96 c (36,19) opt[114][4] = 0 40.54/36.96 c (36,19) opt[115][0] = 1 40.54/36.96 c (36,19) opt[115][1] = 0 40.54/36.96 c (36,19) opt[115][2] = 0 40.54/36.96 c (36,19) opt[115][3] = 0 40.54/36.96 c (36,19) opt[115][4] = 0 40.54/36.96 c (36,19) opt[116][0] = 0 40.54/36.96 c (36,19) opt[116][1] = 1 40.54/36.96 c (36,19) opt[116][2] = 1 40.54/36.96 c (36,19) opt[116][3] = 0 40.54/36.96 c (36,19) opt[116][4] = 0 40.54/36.96 c (36,19) opt[117][0] = 0 40.54/36.96 c (36,19) opt[117][1] = 1 40.54/36.96 c (36,19) opt[117][2] = 0 40.54/36.96 c (36,19) opt[117][3] = 0 40.54/36.97 c (36,19) opt[117][4] = 0 40.54/36.97 c (36,19) opt[118][0] = 1 40.54/36.97 c (36,19) opt[118][1] = 0 40.54/36.97 c (36,19) opt[118][2] = 0 40.54/36.97 c (36,19) opt[118][3] = 0 40.54/36.97 c (36,19) opt[118][4] = 0 40.54/36.97 c (36,19) opt[119][0] = 0 40.54/36.97 c (36,19) opt[119][1] = 0 40.54/36.97 c (36,19) opt[119][2] = 0 40.54/36.97 c (36,19) opt[119][3] = 0 40.54/36.97 c (36,19) opt[119][4] = 1 40.54/36.97 c (36,19) opt[120][0] = 0 40.54/36.97 c (36,19) opt[120][1] = 1 40.54/36.97 c (36,19) opt[120][2] = 1 40.54/36.97 c (36,19) opt[120][3] = 0 40.54/36.97 c (36,19) opt[120][4] = 0 40.54/36.97 c (36,19) opt[121][0] = 1 40.54/36.97 c (36,19) opt[121][1] = 0 40.54/36.97 c (36,19) opt[121][2] = 0 40.54/36.97 c (36,19) opt[121][3] = 0 40.54/36.97 c (36,19) opt[121][4] = 0 40.54/36.97 c (36,19) opt[122][0] = 0 40.54/36.97 c (36,19) opt[122][1] = 1 40.54/36.97 c (36,19) opt[122][2] = 0 40.54/36.97 c (36,19) opt[122][3] = 0 40.54/36.97 c (36,19) opt[122][4] = 0 40.54/36.97 c (36,19) opt[123][0] = 1 40.54/36.97 c (36,19) opt[123][1] = 1 40.54/36.97 c (36,19) opt[123][2] = 0 40.54/36.97 c (36,19) opt[123][3] = 0 40.54/36.97 c (36,19) opt[123][4] = 0 40.54/36.97 c (36,19) opt[124][0] = 0 40.54/36.97 c (36,19) opt[124][1] = 0 40.54/36.97 c (36,19) opt[124][2] = 1 40.54/36.97 c (36,19) opt[124][3] = 1 40.54/36.97 c (36,19) opt[124][4] = 1 40.54/36.97 c (36,19) opt[125][0] = 1 40.54/36.97 c (36,19) opt[125][1] = 1 40.54/36.97 c (36,19) opt[125][2] = 0 40.54/36.97 c (36,19) opt[125][3] = 0 40.54/36.97 c (36,19) opt[125][4] = 0 40.54/36.97 c (36,19) opt[126][0] = 0 40.54/36.97 c (36,19) opt[126][1] = 0 40.54/36.97 c (36,19) opt[126][2] = 0 40.54/36.97 c (36,19) opt[126][3] = 0 40.54/36.97 c (36,19) opt[126][4] = 0 40.54/36.97 c (36,19) opt[127][0] = 0 40.54/36.97 c (36,19) opt[127][1] = 1 40.54/36.97 c (36,19) opt[127][2] = 0 40.54/36.97 c (36,19) opt[127][3] = 0 40.54/36.97 c (36,19) opt[127][4] = 0 40.54/36.97 c (36,19) opt[128][0] = 1 40.54/36.97 c (36,19) opt[128][1] = 0 40.54/36.97 c (36,19) opt[128][2] = 1 40.54/36.97 c (36,19) opt[128][3] = 0 40.54/36.97 c (36,19) opt[128][4] = 0 40.54/36.97 c (36,19) opt[129][0] = 0 40.54/36.97 c (36,19) opt[129][1] = 0 40.54/36.97 c (36,19) opt[129][2] = 0 40.54/36.97 c (36,19) opt[129][3] = 0 40.54/36.97 c (36,19) opt[129][4] = 1 40.54/36.97 c (36,19) opt[130][0] = 0 40.54/36.97 c (36,19) opt[130][1] = 1 40.54/36.97 c (36,19) opt[130][2] = 0 40.54/36.97 c (36,19) opt[130][3] = 0 40.54/36.97 c (36,19) opt[130][4] = 0 40.54/36.97 c (36,19) opt[131][0] = 1 40.54/36.97 c (36,19) opt[131][1] = 1 40.54/36.97 c (36,19) opt[131][2] = 0 40.54/36.97 c (36,19) opt[131][3] = 0 40.54/36.97 c (36,19) opt[131][4] = 0 40.54/36.97 c (36,19) opt[132][0] = 0 40.54/36.97 c (36,19) opt[132][1] = 0 40.54/36.97 c (36,19) opt[132][2] = 1 40.54/36.97 c (36,19) opt[132][3] = 0 40.54/36.97 c (36,19) opt[132][4] = 0 40.54/36.97 c (36,19) opt[133][0] = 1 40.54/36.97 c (36,19) opt[133][1] = 0 40.54/36.97 c (36,19) opt[133][2] = 0 40.54/36.97 c (36,19) opt[133][3] = 1 40.54/36.97 c (36,19) opt[133][4] = 0 40.54/36.97 c (36,19) opt[134][0] = 0 40.54/36.97 c (36,19) opt[134][1] = 1 40.54/36.97 c (36,19) opt[134][2] = 0 40.54/36.97 c (36,19) opt[134][3] = 1 40.54/36.97 c (36,19) opt[134][4] = 1 40.54/36.97 c (36,19) opt[135][0] = 0 40.54/36.97 c (36,19) opt[135][1] = 1 40.54/36.97 c (36,19) opt[135][2] = 1 40.54/36.97 c (36,19) opt[135][3] = 0 40.54/36.97 c (36,19) opt[135][4] = 0 40.54/36.97 c (36,19) opt[136][0] = 0 40.54/36.97 c (36,19) opt[136][1] = 0 40.54/36.97 c (36,19) opt[136][2] = 0 40.54/36.97 c (36,19) opt[136][3] = 0 40.54/36.97 c (36,19) opt[136][4] = 0 40.54/36.97 c (36,19) opt[137][0] = 1 40.54/36.97 c (36,19) opt[137][1] = 1 40.54/36.97 c (36,19) opt[137][2] = 0 40.54/36.97 c (36,19) opt[137][3] = 0 40.54/36.97 c (36,19) opt[137][4] = 0 40.54/36.97 c (36,19) opt[138][0] = 0 40.54/36.97 c (36,19) opt[138][1] = 1 40.54/36.97 c (36,19) opt[138][2] = 1 40.54/36.97 c (36,19) opt[138][3] = 0 40.54/36.97 c (36,19) opt[138][4] = 0 40.54/36.97 c (36,19) opt[139][0] = 0 40.54/36.97 c (36,19) opt[139][1] = 0 40.54/36.97 c (36,19) opt[139][2] = 0 40.54/36.97 c (36,19) opt[139][3] = 0 40.54/36.97 c (36,19) opt[139][4] = 1 40.54/36.97 c (36,19) opt[140][0] = 0 40.54/36.97 c (36,19) opt[140][1] = 1 40.54/36.97 c (36,19) opt[140][2] = 0 40.54/36.97 c (36,19) opt[140][3] = 0 40.54/36.97 c (36,19) opt[140][4] = 0 40.54/36.97 c (36,19) opt[141][0] = 1 40.54/36.97 c (36,19) opt[141][1] = 0 40.54/36.97 c (36,19) opt[141][2] = 1 40.54/36.97 c (36,19) opt[141][3] = 0 40.54/36.97 c (36,19) opt[141][4] = 0 40.54/36.97 c (36,19) opt[142][0] = 0 40.54/36.97 c (36,19) opt[142][1] = 1 40.54/36.97 c (36,19) opt[142][2] = 0 40.54/36.97 c (36,19) opt[142][3] = 0 40.54/36.97 c (36,19) opt[142][4] = 0 40.54/36.97 c (36,19) opt[143][0] = 1 40.54/36.97 c (36,19) opt[143][1] = 0 40.54/36.97 c (36,19) opt[143][2] = 0 40.54/36.97 c (36,19) opt[143][3] = 0 40.54/36.97 c (36,19) opt[143][4] = 0 40.54/36.97 c (36,19) opt[144][0] = 0 40.54/36.97 c (36,19) opt[144][1] = 1 40.54/36.97 c (36,19) opt[144][2] = 0 40.54/36.97 c (36,19) opt[144][3] = 1 40.54/36.97 c (36,19) opt[144][4] = 1 40.54/36.97 c (36,19) opt[145][0] = 1 40.54/36.97 c (36,19) opt[145][1] = 1 40.54/36.97 c (36,19) opt[145][2] = 1 40.54/36.97 c (36,19) opt[145][3] = 1 40.54/36.97 c (36,19) opt[145][4] = 0 40.54/36.97 c (36,19) opt[146][0] = 0 40.54/36.97 c (36,19) opt[146][1] = 0 40.54/36.97 c (36,19) opt[146][2] = 0 40.54/36.97 c (36,19) opt[146][3] = 0 40.54/36.97 c (36,19) opt[146][4] = 0 40.54/36.97 c (36,19) opt[147][0] = 1 40.54/36.97 c (36,19) opt[147][1] = 1 40.54/36.97 c (36,19) opt[147][2] = 0 40.54/36.97 c (36,19) opt[147][3] = 0 40.54/36.97 c (36,19) opt[147][4] = 0 40.54/36.97 c (36,19) opt[148][0] = 0 40.54/36.97 c (36,19) opt[148][1] = 1 40.54/36.97 c (36,19) opt[148][2] = 1 40.54/36.97 c (36,19) opt[148][3] = 0 40.54/36.97 c (36,19) opt[148][4] = 0 40.54/36.97 c (36,19) opt[149][0] = 0 40.54/36.97 c (36,19) opt[149][1] = 0 40.54/36.97 c (36,19) opt[149][2] = 0 40.54/36.97 c (36,19) opt[149][3] = 1 40.54/36.97 c (36,19) opt[149][4] = 1 40.54/36.97 c (36,19) opt[150][0] = 0 40.54/36.97 c (36,19) opt[150][1] = 1 40.54/36.97 c (36,19) opt[150][2] = 0 40.54/36.97 c (36,19) opt[150][3] = 0 40.54/36.97 c (36,19) opt[150][4] = 0 40.54/36.97 c (36,19) opt[151][0] = 1 40.54/36.97 c (36,19) opt[151][1] = 1 40.54/36.97 c (36,19) opt[151][2] = 0 40.54/36.97 c (36,19) opt[151][3] = 0 40.54/36.97 c (36,19) opt[151][4] = 0 40.54/36.97 c (36,19) opt[152][0] = 0 40.54/36.97 c (36,19) opt[152][1] = 0 40.54/36.97 c (36,19) opt[152][2] = 1 40.54/36.97 c (36,19) opt[152][3] = 0 40.54/36.97 c (36,19) opt[152][4] = 0 40.54/36.97 c (36,19) opt[153][0] = 0 40.54/36.97 c (36,19) opt[153][1] = 1 40.54/36.97 c (36,19) opt[153][2] = 0 40.54/36.97 c (36,19) opt[153][3] = 1 40.54/36.97 c (36,19) opt[153][4] = 0 40.54/36.97 c (36,19) opt[154][0] = 0 40.54/36.97 c (36,19) opt[154][1] = 0 40.54/36.97 c (36,19) opt[154][2] = 0 40.54/36.97 c (36,19) opt[154][3] = 0 40.54/36.97 c (36,19) opt[154][4] = 1 40.54/36.97 c (36,19) opt[155][0] = 1 40.54/36.97 c (36,19) opt[155][1] = 1 40.54/36.97 c (36,19) opt[155][2] = 0 40.54/36.97 c (36,19) opt[155][3] = 0 40.54/36.97 c (36,19) opt[155][4] = 0 40.54/36.97 c (36,19) opt[156][0] = 0 40.54/36.97 c (36,19) opt[156][1] = 1 40.54/36.97 c (36,19) opt[156][2] = 1 40.54/36.97 c (36,19) opt[156][3] = 0 40.54/36.97 c (36,19) opt[156][4] = 0 40.54/36.97 c (36,19) opt[157][0] = 0 40.54/36.97 c (36,19) opt[157][1] = 0 40.54/36.97 c (36,19) opt[157][2] = 0 40.54/36.97 c (36,19) opt[157][3] = 0 40.54/36.97 c (36,19) opt[157][4] = 0 40.54/36.97 c (36,19) opt[158][0] = 1 40.54/36.97 c (36,19) opt[158][1] = 1 40.54/36.97 c (36,19) opt[158][2] = 0 40.54/36.97 c (36,19) opt[158][3] = 1 40.54/36.97 c (36,19) opt[158][4] = 0 40.54/36.97 c (36,19) opt[159][0] = 0 40.54/36.97 c (36,19) opt[159][1] = 1 40.54/36.97 c (36,19) opt[159][2] = 1 40.54/36.97 c (36,19) opt[159][3] = 0 40.54/36.97 c (36,19) opt[159][4] = 1 40.54/36.97 c (36,19) opt[160][0] = 1 40.54/36.97 c (36,19) opt[160][1] = 0 40.54/36.97 c (36,19) opt[160][2] = 0 40.54/36.97 c (36,19) opt[160][3] = 0 40.54/36.97 c (36,19) opt[160][4] = 0 40.54/36.97 c (36,19) opt[161][0] = 0 40.54/36.97 c (36,19) opt[161][1] = 1 40.54/36.97 c (36,19) opt[161][2] = 0 40.54/36.97 c (36,19) opt[161][3] = 0 40.54/36.97 c (36,19) opt[161][4] = 0 40.54/36.97 c (36,19) opt[162][0] = 1 40.54/36.97 c (36,19) opt[162][1] = 1 40.54/36.97 c (36,19) opt[162][2] = 0 40.54/36.97 c (36,19) opt[162][3] = 1 40.54/36.97 c (36,19) opt[162][4] = 0 40.54/36.97 c (36,19) opt[163][0] = 0 40.54/36.97 c (36,19) opt[163][1] = 0 40.54/36.97 c (36,19) opt[163][2] = 1 40.54/36.97 c (36,19) opt[163][3] = 1 40.54/36.97 c (36,19) opt[163][4] = 0 40.54/36.97 c (36,19) opt[164][0] = 1 40.54/36.97 c (36,19) opt[164][1] = 1 40.54/36.97 c (36,19) opt[164][2] = 0 40.54/36.97 c (36,19) opt[164][3] = 0 40.54/36.97 c (36,19) opt[164][4] = 1 40.54/36.97 c (36,19) opt[165][0] = 0 40.54/36.97 c (36,19) opt[165][1] = 1 40.54/36.97 c (36,19) opt[165][2] = 0 40.54/36.97 c (36,19) opt[165][3] = 0 40.54/36.97 c (36,19) opt[165][4] = 0 40.54/36.97 c (36,19) opt[166][0] = 1 40.54/36.97 c (36,19) opt[166][1] = 0 40.54/36.97 c (36,19) opt[166][2] = 0 40.54/36.97 c (36,19) opt[166][3] = 0 40.54/36.97 c (36,19) opt[166][4] = 0 40.54/36.97 c (36,19) opt[167][0] = 0 40.54/36.97 c (36,19) opt[167][1] = 1 40.54/36.97 c (36,19) opt[167][2] = 1 40.54/36.97 c (36,19) opt[167][3] = 0 40.54/36.97 c (36,19) opt[167][4] = 0 40.54/36.97 c (36,19) opt[168][0] = 1 40.54/36.97 c (36,19) opt[168][1] = 1 40.54/36.97 c (36,19) opt[168][2] = 0 40.54/36.97 c (36,19) opt[168][3] = 1 40.54/36.97 c (36,19) opt[168][4] = 0 40.54/36.97 c (36,19) opt[169][0] = 0 40.54/36.97 c (36,19) opt[169][1] = 0 40.54/36.97 c (36,19) opt[169][2] = 0 40.54/36.97 c (36,19) opt[169][3] = 0 40.54/36.97 c (36,19) opt[169][4] = 0 40.54/36.97 c (36,19) opt[170][0] = 0 40.54/36.97 c (36,19) opt[170][1] = 1 40.54/36.97 c (36,19) opt[170][2] = 0 40.54/36.97 c (36,19) opt[170][3] = 0 40.54/36.97 c (36,19) opt[170][4] = 1 40.54/36.97 c (36,19) opt[171][0] = 0 40.54/36.97 c (36,19) opt[171][1] = 0 40.54/36.97 c (36,19) opt[171][2] = 0 40.54/36.97 c (36,19) opt[171][3] = 0 40.54/36.97 c (36,19) opt[171][4] = 0 40.54/36.97 c (36,19) opt[172][0] = 1 40.54/36.97 c (36,19) opt[172][1] = 0 40.54/36.97 c (36,19) opt[172][2] = 1 40.54/36.97 c (36,19) opt[172][3] = 0 40.54/36.97 c (36,19) opt[172][4] = 0 40.54/36.97 c (36,19) opt[173][0] = 0 40.54/36.97 c (36,19) opt[173][1] = 1 40.54/36.97 c (36,19) opt[173][2] = 0 40.54/36.97 c (36,19) opt[173][3] = 0 40.54/36.97 c (36,19) opt[173][4] = 0 40.54/36.97 c (36,19) opt[174][0] = 1 40.54/36.97 c (36,19) opt[174][1] = 1 40.54/36.97 c (36,19) opt[174][2] = 0 40.54/36.97 c (36,19) opt[174][3] = 1 40.54/36.97 c (36,19) opt[174][4] = 0 40.54/36.97 c (36,19) opt[175][0] = 0 40.54/36.97 c (36,19) opt[175][1] = 0 40.54/36.97 c (36,19) opt[175][2] = 1 40.54/36.97 c (36,19) opt[175][3] = 0 40.54/36.97 c (36,19) opt[175][4] = 0 40.54/36.97 c (36,19) opt[176][0] = 0 40.54/36.97 c (36,19) opt[176][1] = 0 40.54/36.97 c (36,19) opt[176][2] = 0 40.54/36.97 c (36,19) opt[176][3] = 0 40.54/36.97 c (36,19) opt[176][4] = 0 40.54/36.97 c (36,19) opt[177][0] = 1 40.54/36.97 c (36,19) opt[177][1] = 1 40.54/36.97 c (36,19) opt[177][2] = 0 40.54/36.97 c (36,19) opt[177][3] = 0 40.54/36.97 c (36,19) opt[177][4] = 1 40.54/36.97 c (36,19) opt[178][0] = 0 40.54/36.97 c (36,19) opt[178][1] = 1 40.54/36.97 c (36,19) opt[178][2] = 0 40.54/36.97 c (36,19) opt[178][3] = 0 40.54/36.97 c (36,19) opt[178][4] = 0 40.54/36.97 c (36,19) opt[179][0] = 1 40.54/36.97 c (36,19) opt[179][1] = 0 40.54/36.97 c (36,19) opt[179][2] = 0 40.54/36.97 c (36,19) opt[179][3] = 0 40.54/36.97 c (36,19) opt[179][4] = 0 40.54/36.97 c (36,19) opt[180][0] = 0 40.54/36.97 c (36,19) opt[180][1] = 1 40.54/36.97 c (36,19) opt[180][2] = 1 40.54/36.97 c (36,19) opt[180][3] = 0 40.54/36.97 c (36,19) opt[180][4] = 0 40.54/36.97 c (36,19) opt[181][0] = 1 40.54/36.97 c (36,19) opt[181][1] = 0 40.54/36.97 c (36,19) opt[181][2] = 0 40.54/36.97 c (36,19) opt[181][3] = 0 40.54/36.97 c (36,19) opt[181][4] = 0 40.54/36.97 c (36,19) opt[182][0] = 0 40.54/36.97 c (36,19) opt[182][1] = 1 40.54/36.97 c (36,19) opt[182][2] = 0 40.54/36.97 c (36,19) opt[182][3] = 0 40.54/36.97 c (36,19) opt[182][4] = 0 40.54/36.97 c (36,19) opt[183][0] = 1 40.54/36.97 c (36,19) opt[183][1] = 0 40.54/36.97 c (36,19) opt[183][2] = 1 40.54/36.97 c (36,19) opt[183][3] = 0 40.54/36.97 c (36,19) opt[183][4] = 1 40.54/36.97 c (36,19) opt[184][0] = 0 40.54/36.97 c (36,19) opt[184][1] = 1 40.54/36.97 c (36,19) opt[184][2] = 0 40.54/36.97 c (36,19) opt[184][3] = 0 40.54/36.97 c (36,19) opt[184][4] = 0 40.54/36.97 c (36,19) opt[185][0] = 1 40.54/36.97 c (36,19) opt[185][1] = 0 40.54/36.97 c (36,19) opt[185][2] = 0 40.54/36.97 c (36,19) opt[185][3] = 1 40.54/36.97 c (36,19) opt[185][4] = 0 40.54/36.97 c (36,19) opt[186][0] = 0 40.54/36.97 c (36,19) opt[186][1] = 1 40.54/36.97 c (36,19) opt[186][2] = 0 40.54/36.97 c (36,19) opt[186][3] = 1 40.54/36.97 c (36,19) opt[186][4] = 0 40.54/36.97 c (36,19) opt[187][0] = 0 40.54/36.97 c (36,19) opt[187][1] = 1 40.54/36.97 c (36,19) opt[187][2] = 0 40.54/36.97 c (36,19) opt[187][3] = 0 40.54/36.97 c (36,19) opt[187][4] = 0 40.54/36.97 c (36,19) opt[188][0] = 1 40.54/36.97 c (36,19) opt[188][1] = 0 40.54/36.97 c (36,19) opt[188][2] = 1 40.54/36.97 c (36,19) opt[188][3] = 0 40.54/36.97 c (36,19) opt[188][4] = 1 40.54/36.97 c (36,19) opt[189][0] = 0 40.54/36.97 c (36,19) opt[189][1] = 1 40.54/36.97 c (36,19) opt[189][2] = 0 40.54/36.97 c (36,19) opt[189][3] = 0 40.54/36.97 c (36,19) opt[189][4] = 0 40.54/36.97 c (36,19) opt[190][0] = 1 40.54/36.97 c (36,19) opt[190][1] = 0 40.54/36.97 c (36,19) opt[190][2] = 0 40.54/36.97 c (36,19) opt[190][3] = 0 40.54/36.97 c (36,19) opt[190][4] = 0 40.54/36.97 c (36,19) opt[191][0] = 0 40.54/36.97 c (36,19) opt[191][1] = 1 40.54/36.97 c (36,19) opt[191][2] = 0 40.54/36.97 c (36,19) opt[191][3] = 1 40.54/36.97 c (36,19) opt[191][4] = 0 40.54/36.97 c (36,19) opt[192][0] = 1 40.54/36.97 c (36,19) opt[192][1] = 1 40.54/36.97 c (36,19) opt[192][2] = 0 40.54/36.97 c (36,19) opt[192][3] = 0 40.54/36.97 c (36,19) opt[192][4] = 0 40.54/36.97 c (36,19) opt[193][0] = 0 40.54/36.97 c (36,19) opt[193][1] = 0 40.54/36.97 c (36,19) opt[193][2] = 1 40.54/36.97 c (36,19) opt[193][3] = 1 40.54/36.97 c (36,19) opt[193][4] = 1 40.54/36.97 c (36,19) opt[194][0] = 1 40.54/36.97 c (36,19) opt[194][1] = 1 40.54/36.97 c (36,19) opt[194][2] = 0 40.54/36.97 c (36,19) opt[194][3] = 0 40.54/36.97 c (36,19) opt[194][4] = 0 40.54/36.97 c (36,19) opt[195][0] = 0 40.54/36.97 c (36,19) opt[195][1] = 1 40.54/36.97 c (36,19) opt[195][2] = 0 40.54/36.97 c (36,19) opt[195][3] = 0 40.54/36.97 c (36,19) opt[195][4] = 0 40.54/36.97 c (36,19) opt[196][0] = 0 40.54/36.97 c (36,19) opt[196][1] = 0 40.54/36.97 c (36,19) opt[196][2] = 1 40.54/36.97 c (36,19) opt[196][3] = 0 40.54/36.97 c (36,19) opt[196][4] = 0 40.54/36.97 c (36,19) opt[197][0] = 1 40.54/36.97 c (36,19) opt[197][1] = 1 40.54/36.97 c (36,19) opt[197][2] = 0 40.54/36.97 c (36,19) opt[197][3] = 0 40.54/36.97 c (36,19) opt[197][4] = 0 40.54/36.97 c (36,19) opt[198][0] = 0 40.54/36.97 c (36,19) opt[198][1] = 1 40.54/36.97 c (36,19) opt[198][2] = 0 40.54/36.97 c (36,19) opt[198][3] = 0 40.54/36.97 c (36,19) opt[198][4] = 0 40.54/36.97 c (36,19) opt[199][0] = 1 40.54/36.97 c (36,19) opt[199][1] = 0 40.54/36.97 c (36,19) opt[199][2] = 1 40.54/36.97 c (36,19) opt[199][3] = 0 40.54/36.97 c (36,19) opt[199][4] = 1 40.54/36.97 s SATISFIABLE 40.54/36.97 v <instantiation> 40.54/36.97 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> 40.54/36.97 v <values>3 23 22 7 13 2 12 1 7 22 11 13 21 2 11 1 10 22 5 2 4 13 11 8 25 0 2 21 2 25 13 14 22 22 6 2 12 3 11 15 11 8 2 5 19 13 25 2 21 16 11 8 2 12 13 16 7 2 25 2 3 12 2 10 1 2 12 3 11 15 8 5 2 8 25 13 6 25 13 14 22 17 2 11 8 5 2 21 1 11 20 11 2 7 13 25 13 4 2 11 8 5 2 4 2 22 11 13 7 16 12 2 5 8 2 25 24 2 25 1 24 25 2 11 9 11 22 2 7 1 2 11 8 12 0 3 22 11 24 1 2 7 2 25 0 10 22 11 3 15 2 11 8 13 1 11 3 22 5 6 25 2 5 20 18 2 25 3 5 22 16 22 7 2 5 8 22 18 2 25 24 25 2 4 2 12 13 2 4 2 25 13 11 9 11 2 8 11 2 4 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 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 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 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</values> 40.54/36.97 v </instantiation> 40.54/36.97 c (36,19) Show results End 40.54/36.97 c (36,19) Heap : 1686 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 40.54/36.97 c (36,19) 1,1,12,12,13,13,20,36,36,STOP-AFTER(ALL) 40.54/36.97 c END-Prog: Fri Jul 27 05:57:54 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 (15206 MiB free)
memory of node 1: 16384 MiB (11785 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296908-1532663837/watcher-4296908-1532663837 -o /tmp/evaluation-result-4296908-1532663837/solver-4296908-1532663837 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532653106-10585 --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-4296908-1532663837.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12397, runsolver pid=12394
Current StackSize limit: 8192 KiB
[startup+0.100188 s]*
/proc/loadavg: 1.85 2.36 4.15 3/198 12417
/proc/meminfo: memFree=27544616/32770624 swapFree=67108496/67108860
[pid=12397] ppid=12394 vsize=27312552 memory=107684 CPUtime=0.11 cores=0-7
/proc/12397/stat : 12397 (java) S 12394 12397 10558 0 -1 1077944320 6975 0 0 0 8 3 0 0 20 0 20 0 83946876 27968053248 26921 33554432000 4194304 4196468 140731363616400 140731363598944 140568225169143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
/proc/12397/statm: 6828138 26921 2751 1 0 6790598 0
[pid=12397/tid=12399] ppid=12394 vsize=27312552 memory=7896668804756709536 CPUtime=0.09 cores=0-7
/proc/12397/task/12399/stat : 12399 (java) R 12394 12397 10558 0 -1 4202560 5083 0 0 0 7 2 0 0 20 0 20 0 83946876 27968053248 26921 33554432000 4194304 4196468 140731363616400 140568196995472 140568209249630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12400] ppid=12394 vsize=27312552 memory=732369830765358053 CPUtime=0 cores=0-7
/proc/12397/task/12400/stat : 12400 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 26921 33554432000 4194304 4196468 140731363616400 140568229411344 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12401] ppid=12394 vsize=27312552 memory=139692427904640 CPUtime=0 cores=0-7
/proc/12397/task/12401/stat : 12401 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 26921 33554432000 4194304 4196468 140731363616400 140568043567760 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12402] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12402/stat : 12402 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 26921 33554432000 4194304 4196468 140731363616400 140568042514704 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12403] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12403/stat : 12403 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 26921 33554432000 4194304 4196468 140731363616400 140568041462160 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12404] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12404/stat : 12404 (java) S 12394 12397 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 26921 33554432000 4194304 4196468 140731363616400 140568040410128 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12405] ppid=12394 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12397/task/12405/stat : 12405 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 26921 33554432000 4194304 4196468 140731363616400 140567642799248 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12406] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12406/stat : 12406 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 26921 33554432000 4194304 4196468 140731363616400 140567641746192 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12407] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12407/stat : 12407 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 26921 33554432000 4194304 4196468 140731363616400 140567640693648 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12408] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12408/stat : 12408 (java) S 12394 12397 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83946880 27968053248 26921 33554432000 4194304 4196468 140731363616400 140566478121200 140568225180290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12409] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12409/stat : 12409 (java) S 12394 12397 10558 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83946880 27968053248 26921 33554432000 4194304 4196468 140731363616400 140566092309664 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12410] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12410/stat : 12410 (java) S 12394 12397 10558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83946880 27968053248 26921 33554432000 4194304 4196468 140731363616400 140565958087408 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12411] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12411/stat : 12411 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 26921 33554432000 4194304 4196468 140731363616400 140565583583184 140568225187739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12412] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12412/stat : 12412 (java) S 12394 12397 10558 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 26921 33554432000 4194304 4196468 140731363616400 140566477069040 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12413] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12413/stat : 12413 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 26921 33554432000 4194304 4196468 140731363616400 140566476016496 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12414] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12414/stat : 12414 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 26921 33554432000 4194304 4196468 140731363616400 140566474963440 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12415] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12415/stat : 12415 (java) S 12394 12397 10558 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 26921 33554432000 4194304 4196468 140731363616400 140566473910896 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12416] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12416/stat : 12416 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 26921 33554432000 4194304 4196468 140731363616400 140565085678048 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12417] ppid=12394 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12397/task/12417/stat : 12417 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 26921 33554432000 4194304 4196468 140731363616400 140566472858288 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 107684 KiB
[startup+0.209865 s]*
/proc/loadavg: 1.85 2.36 4.15 2/198 12417
/proc/meminfo: memFree=27525764/32770624 swapFree=67108496/67108860
[pid=12397] ppid=12394 vsize=27312552 memory=124352 CPUtime=0.24 cores=0-7
/proc/12397/stat : 12397 (java) S 12394 12397 10558 0 -1 1077944320 11362 0 0 0 20 4 0 0 20 0 20 0 83946876 27968053248 31088 33554432000 4194304 4196468 140731363616400 140731363598944 140568225169143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
/proc/12397/statm: 6828138 31088 2884 1 0 6790598 0
[pid=12397/tid=12399] ppid=12394 vsize=27312552 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/12397/task/12399/stat : 12399 (java) R 12394 12397 10558 0 -1 4202560 9255 0 0 0 17 3 0 0 20 0 20 0 83946876 27968053248 31088 33554432000 4194304 4196468 140731363616400 140568196967888 140568225191069 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12400] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12400/stat : 12400 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31088 33554432000 4194304 4196468 140731363616400 140568229411344 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12401] ppid=12394 vsize=27312552 memory=139692427916866 CPUtime=0 cores=0-7
/proc/12397/task/12401/stat : 12401 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31088 33554432000 4194304 4196468 140731363616400 140568043567760 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12402] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12402/stat : 12402 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31088 33554432000 4194304 4196468 140731363616400 140568042514704 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12403] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12403/stat : 12403 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31088 33554432000 4194304 4196468 140731363616400 140568041462160 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12404] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12404/stat : 12404 (java) S 12394 12397 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31088 33554432000 4194304 4196468 140731363616400 140568040410128 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12405] ppid=12394 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12397/task/12405/stat : 12405 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31088 33554432000 4194304 4196468 140731363616400 140567642799248 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12406] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12406/stat : 12406 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31088 33554432000 4194304 4196468 140731363616400 140567641746192 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12407] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12407/stat : 12407 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31088 33554432000 4194304 4196468 140731363616400 140567640693648 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12408] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12408/stat : 12408 (java) S 12394 12397 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83946880 27968053248 31088 33554432000 4194304 4196468 140731363616400 140566478121200 140568225180290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12409] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12409/stat : 12409 (java) S 12394 12397 10558 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83946880 27968053248 31088 33554432000 4194304 4196468 140731363616400 140566092309664 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12410] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12410/stat : 12410 (java) S 12394 12397 10558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83946880 27968053248 31088 33554432000 4194304 4196468 140731363616400 140565958087408 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12411] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12411/stat : 12411 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 31088 33554432000 4194304 4196468 140731363616400 140565583583184 140568225187739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12412] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12412/stat : 12412 (java) S 12394 12397 10558 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 31088 33554432000 4194304 4196468 140731363616400 140566477069040 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12413] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12413/stat : 12413 (java) S 12394 12397 10558 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 31088 33554432000 4194304 4196468 140731363616400 140566476016496 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12414] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12414/stat : 12414 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 31088 33554432000 4194304 4196468 140731363616400 140566474963440 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12415] ppid=12394 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/12397/task/12415/stat : 12415 (java) S 12394 12397 10558 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 20 0 83946883 27968053248 31088 33554432000 4194304 4196468 140731363616400 140566473910896 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12416] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12416/stat : 12416 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 31088 33554432000 4194304 4196468 140731363616400 140565085678048 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12417] ppid=12394 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12397/task/12417/stat : 12417 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 31088 33554432000 4194304 4196468 140731363616400 140566472858288 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124352 KiB
[startup+0.309327 s]*
/proc/loadavg: 1.85 2.36 4.15 2/198 12417
/proc/meminfo: memFree=27523096/32770624 swapFree=67108496/67108860
[pid=12397] ppid=12394 vsize=27312552 memory=127720 CPUtime=0.4 cores=0-7
/proc/12397/stat : 12397 (java) S 12394 12397 10558 0 -1 1077944320 11843 0 0 0 36 4 0 0 20 0 20 0 83946876 27968053248 31930 33554432000 4194304 4196468 140731363616400 140731363598944 140568225169143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
/proc/12397/statm: 6828138 31930 2986 1 0 6790598 0
[pid=12397/tid=12399] ppid=12394 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12397/task/12399/stat : 12399 (java) R 12394 12397 10558 0 -1 4202560 9550 0 0 0 26 3 0 0 20 0 20 0 83946876 27968053248 31930 33554432000 4194304 4196468 140731363616400 140568196973296 140568206732699 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12400] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12400/stat : 12400 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31930 33554432000 4194304 4196468 140731363616400 140568229411344 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12401] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12401/stat : 12401 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31930 33554432000 4194304 4196468 140731363616400 140568043567760 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12402] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12402/stat : 12402 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31930 33554432000 4194304 4196468 140731363616400 140568042514704 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12403] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12403/stat : 12403 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31930 33554432000 4194304 4196468 140731363616400 140568041462160 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12404] ppid=12394 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/12397/task/12404/stat : 12404 (java) S 12394 12397 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31930 33554432000 4194304 4196468 140731363616400 140568040410128 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12405] ppid=12394 vsize=27312552 memory=139692267893679 CPUtime=0 cores=0-7
/proc/12397/task/12405/stat : 12405 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31930 33554432000 4194304 4196468 140731363616400 140567642799248 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12406] ppid=12394 vsize=27312552 memory=139692267895984 CPUtime=0 cores=0-7
/proc/12397/task/12406/stat : 12406 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31930 33554432000 4194304 4196468 140731363616400 140567641746192 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12407] ppid=12394 vsize=27312552 memory=139692267898288 CPUtime=0 cores=0-7
/proc/12397/task/12407/stat : 12407 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27968053248 31930 33554432000 4194304 4196468 140731363616400 140567640693648 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12408] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12408/stat : 12408 (java) S 12394 12397 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83946880 27968053248 31930 33554432000 4194304 4196468 140731363616400 140566478121200 140568225180290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12409] ppid=12394 vsize=27312552 memory=279384535803536 CPUtime=0 cores=0-7
/proc/12397/task/12409/stat : 12409 (java) S 12394 12397 10558 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83946880 27968053248 31930 33554432000 4194304 4196468 140731363616400 140566092309664 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12410] ppid=12394 vsize=27312552 memory=279384535810448 CPUtime=0 cores=0-7
/proc/12397/task/12410/stat : 12410 (java) S 12394 12397 10558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83946880 27968053248 31930 33554432000 4194304 4196468 140731363616400 140565958087408 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12411] ppid=12394 vsize=27312552 memory=279384535751728 CPUtime=0 cores=0-7
/proc/12397/task/12411/stat : 12411 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 31930 33554432000 4194304 4196468 140731363616400 140565583583184 140568225187739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12412] ppid=12394 vsize=27312552 memory=279384535824272 CPUtime=0.01 cores=0-7
/proc/12397/task/12412/stat : 12412 (java) S 12394 12397 10558 0 -1 1077944384 530 0 0 0 1 0 0 0 20 0 20 0 83946883 27968053248 31930 33554432000 4194304 4196468 140731363616400 140566477069040 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12413] ppid=12394 vsize=27312552 memory=279384535831184 CPUtime=0.01 cores=0-7
/proc/12397/task/12413/stat : 12413 (java) S 12394 12397 10558 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 83946883 27968053248 31930 33554432000 4194304 4196468 140731363616400 140566476016496 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12414] ppid=12394 vsize=27312552 memory=279384535828880 CPUtime=0 cores=0-7
/proc/12397/task/12414/stat : 12414 (java) S 12394 12397 10558 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 31930 33554432000 4194304 4196468 140731363616400 140566474963440 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12415] ppid=12394 vsize=27312552 memory=279384535845440 CPUtime=0.07 cores=0-7
/proc/12397/task/12415/stat : 12415 (java) S 12394 12397 10558 0 -1 1077944384 301 0 0 0 7 0 0 0 20 0 20 0 83946883 27968053248 31930 33554432000 4194304 4196468 140731363616400 140566473910896 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12416] ppid=12394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12416/stat : 12416 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 31930 33554432000 4194304 4196468 140731363616400 140565085678048 140568225179349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12417] ppid=12394 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12397/task/12417/stat : 12417 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946883 27968053248 31930 33554432000 4194304 4196468 140731363616400 140566472858288 140568225180290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127720 KiB
[startup+0.700896 s]
/proc/loadavg: 1.85 2.36 4.15 2/198 12417
/proc/meminfo: memFree=27501112/32770624 swapFree=67108496/67108860
[pid=12397] ppid=12394 vsize=27318824 memory=162704 CPUtime=0.9 cores=0-7
/proc/12397/stat : 12397 (java) S 12394 12397 10558 0 -1 1077944320 17755 0 0 0 83 7 0 0 20 0 20 0 83946876 27974475776 40676 33554432000 4194304 4196468 140731363616400 140731363598944 140568225169143 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
/proc/12397/statm: 6829706 40676 3126 1 0 6791110 0
[pid=12397/tid=12399] ppid=12394 vsize=27318824 memory=7230638415906761303 CPUtime=0.62 cores=0-7
/proc/12397/task/12399/stat : 12399 (java) D 12394 12397 10558 0 -1 4202560 15073 0 0 0 57 5 0 0 20 0 20 0 83946876 27974475776 40676 33554432000 4194304 4196468 140731363616400 140568197002112 140568225191069 0 4 0 25189583 18446744071580419588 0 0 -1 6 0 0 3 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12400] ppid=12394 vsize=27318824 memory=53326313971968 CPUtime=0 cores=0-7
/proc/12397/task/12400/stat : 12400 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27974475776 40676 33554432000 4194304 4196468 140731363616400 140568229411344 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12401] ppid=12394 vsize=27318824 memory=139692267908262 CPUtime=0 cores=0-7
/proc/12397/task/12401/stat : 12401 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27974475776 40676 33554432000 4194304 4196468 140731363616400 140568043567760 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12402] ppid=12394 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12402/stat : 12402 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27974475776 40676 33554432000 4194304 4196468 140731363616400 140568042514704 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12403] ppid=12394 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12403/stat : 12403 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83946878 27974475776 40676 33554432000 4194304 4196468 140731363616400 140568041462160 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12404] ppid=12394 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12404/stat : 12404 (java) S 12394 12397 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83946878 27974475776 40676 33554432000 4194304 4196468 140731363616400 140568040410128 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12405] ppid=12394 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12405/stat : 12405 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27974475776 40676 33554432000 4194304 4196468 140731363616400 140567642799248 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12406] ppid=12394 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12406/stat : 12406 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27974475776 40676 33554432000 4194304 4196468 140731363616400 140567641746192 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12407] ppid=12394 vsize=27318824 memory=1788 CPUtime=0 cores=0-7
/proc/12397/task/12407/stat : 12407 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83946878 27974475776 40676 33554432000 4194304 4196468 140731363616400 140567640693648 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12408] ppid=12394 vsize=27318824 memory=860 CPUtime=0 cores=0-7
/proc/12397/task/12408/stat : 12408 (java) S 12394 12397 10558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83946880 27974475776 40676 33554432000 4194304 4196468 140731363616400 140566478121200 140568225180290 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
################
# More data... #
################
Current children cumulated vsize: 29705996 KiB
Current children cumulated memory: 7392416 KiB
[startup+36.0016 s]*
/proc/loadavg: 2.75 2.50 4.13 10/212 12432
/proc/meminfo: memFree=20169176/32770624 swapFree=67108496/67108860
[pid=12397] ppid=12394 vsize=27984808 memory=6224160 CPUtime=40.38 cores=0-7
/proc/12397/stat : 12397 (java) S 12394 12397 10558 0 -1 1077944320 51662 0 3 0 3868 170 0 0 20 0 24 0 83946876 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140731363598944 140568225169143 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
/proc/12397/statm: 6996202 1556040 3251 1 0 6957058 0
[pid=12419] ppid=12397 vsize=1722164 memory=1172212 CPUtime=80.1 cores=0-7
/proc/12419/stat : 12419 (glucose-syrup) S 12397 12397 10558 0 -1 1077944320 888637 0 0 0 7820 190 0 0 20 0 9 0 83949019 1763495936 293053 33554432000 4194304 4373367 140737321811120 140737321809664 139643752512130 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
/proc/12419/statm: 430541 293053 388 44 0 426229 0
[pid=12419/tid=12425] ppid=12397 vsize=1722164 memory=7452449600986895462 CPUtime=9.39 cores=0-7
/proc/12419/task/12425/stat : 12425 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 74581 0 0 0 918 21 0 0 20 0 9 0 83949529 1763495936 293053 33554432000 4194304 4373367 140737321811120 139643704454288 4271828 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12426] ppid=12397 vsize=1722164 memory=7019533291542243181 CPUtime=9.38 cores=0-7
/proc/12419/task/12426/stat : 12426 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 100505 0 0 0 925 13 0 0 20 0 9 0 83949529 1763495936 293053 33554432000 4194304 4373367 140737321811120 139643696061808 4271894 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12427] ppid=12397 vsize=1722164 memory=3976875562265295540 CPUtime=9.38 cores=0-7
/proc/12419/task/12427/stat : 12427 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 86045 0 0 0 926 12 0 0 20 0 9 0 83949529 1763495936 293053 33554432000 4194304 4373367 140737321811120 139643687669008 4272341 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12428] ppid=12397 vsize=1722164 memory=7236229500900889449 CPUtime=9.26 cores=0-7
/proc/12419/task/12428/stat : 12428 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 85223 0 0 0 913 13 0 0 20 0 9 0 83949529 1763495936 293053 33554432000 4194304 4373367 140737321811120 139643256679696 4272344 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12429] ppid=12397 vsize=1722164 memory=7230076621367042410 CPUtime=9.33 cores=0-7
/proc/12419/task/12429/stat : 12429 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 82382 0 0 0 919 14 0 0 20 0 9 0 83949529 1763495936 293053 33554432000 4194304 4373367 140737321811120 139643248287088 4271828 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12430] ppid=12397 vsize=1722164 memory=279384537385296 CPUtime=9.39 cores=0-7
/proc/12419/task/12430/stat : 12430 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 81472 0 0 0 911 28 0 0 20 0 9 0 83949529 1763495936 293053 33554432000 4194304 4373367 140737321811120 139643239894288 4271597 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12431] ppid=12397 vsize=1722164 memory=3472328296227418159 CPUtime=9.38 cores=0-7
/proc/12419/task/12431/stat : 12431 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 73476 0 0 0 912 26 0 0 20 0 9 0 83949529 1763495936 293053 33554432000 4194304 4373367 140737321811120 139643231501680 4271897 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12432] ppid=12397 vsize=1722164 memory=279384536109760 CPUtime=9.4 cores=0-7
/proc/12419/task/12432/stat : 12432 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 69079 0 0 0 916 24 0 0 20 0 9 0 83949529 1763495936 293053 33554432000 4194304 4373367 140737321811120 139643223108488 4272341 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12397/tid=12399] ppid=12394 vsize=27984808 memory=8039887049847965611 CPUtime=20.12 cores=0-7
/proc/12397/task/12399/stat : 12399 (java) S 12394 12397 10558 0 -1 1077944384 21088 0 1 0 1911 101 0 0 20 0 24 0 83946876 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568197008384 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 108 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12400] ppid=12394 vsize=27984808 memory=-7003737579269690708 CPUtime=0.2 cores=0-7
/proc/12397/task/12400/stat : 12400 (java) S 12394 12397 10558 0 -1 1077944384 213 0 0 0 13 7 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568229411344 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12401] ppid=12394 vsize=27984808 memory=2212 CPUtime=0.2 cores=0-7
/proc/12397/task/12401/stat : 12401 (java) S 12394 12397 10558 0 -1 1077944384 139 0 0 0 14 6 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568043567760 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12402] ppid=12394 vsize=27984808 memory=3988 CPUtime=0.18 cores=0-7
/proc/12397/task/12402/stat : 12402 (java) S 12394 12397 10558 0 -1 1077944384 103 0 0 0 11 7 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568042514704 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12403] ppid=12394 vsize=27984808 memory=6224160 CPUtime=0.19 cores=0-7
/proc/12397/task/12403/stat : 12403 (java) S 12394 12397 10558 0 -1 1077944384 137 0 0 0 12 7 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568041462160 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12404] ppid=12394 vsize=27984808 memory=1160608 CPUtime=0.18 cores=0-7
/proc/12397/task/12404/stat : 12404 (java) S 12394 12397 10558 0 -1 1077944384 130 0 0 0 12 6 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568040410128 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12405] ppid=12394 vsize=27984808 memory=808 CPUtime=0.18 cores=0-7
/proc/12397/task/12405/stat : 12405 (java) S 12394 12397 10558 0 -1 1077944384 150 0 0 0 11 7 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140567642799248 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12406] ppid=12394 vsize=27984808 memory=1796 CPUtime=0.21 cores=0-7
/proc/12397/task/12406/stat : 12406 (java) S 12394 12397 10558 0 -1 1077944384 126 0 0 0 14 7 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140567641746192 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12407] ppid=12394 vsize=27984808 memory=912 CPUtime=0.16 cores=0-7
/proc/12397/task/12407/stat : 12407 (java) S 12394 12397 10558 0 -1 1077944384 99 0 0 0 10 6 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140567640693648 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12408] ppid=12394 vsize=27984808 memory=0 CPUtime=0.01 cores=0-7
/proc/12397/task/12408/stat : 12408 (java) S 12394 12397 10558 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 24 0 83946880 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566478121200 140568225180290 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12409] ppid=12394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12409/stat : 12409 (java) S 12394 12397 10558 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 24 0 83946880 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566092309728 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12410] ppid=12394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12410/stat : 12410 (java) S 12394 12397 10558 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 24 0 83946880 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140565958087424 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12411] ppid=12394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12411/stat : 12411 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140565583583184 140568225187739 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12412] ppid=12394 vsize=27984808 memory=7228928657758118720 CPUtime=5.54 cores=0-7
/proc/12397/task/12412/stat : 12412 (java) S 12394 12397 10558 0 -1 1077944384 7206 0 0 0 551 3 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566477069040 140568225180290 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12413] ppid=12394 vsize=27984808 memory=7957700465622864744 CPUtime=6.33 cores=0-7
/proc/12397/task/12413/stat : 12413 (java) S 12394 12397 10558 0 -1 1077944384 9633 0 1 0 631 2 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566476016496 140568225180290 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12414] ppid=12394 vsize=27984808 memory=7595997423800707666 CPUtime=5.03 cores=0-7
/proc/12397/task/12414/stat : 12414 (java) S 12394 12397 10558 0 -1 1077944384 4641 0 1 0 501 2 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566474963440 140568225180290 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12415] ppid=12394 vsize=27984808 memory=53339198850025 CPUtime=1.7 cores=0-7
/proc/12397/task/12415/stat : 12415 (java) S 12394 12397 10558 0 -1 1077944384 6566 0 0 0 167 3 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566473910896 140568225180290 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12416] ppid=12394 vsize=27984808 memory=1755746303 CPUtime=0 cores=0-7
/proc/12397/task/12416/stat : 12416 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140565085678048 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12417] ppid=12394 vsize=27984808 memory=8089320557117075564 CPUtime=0.01 cores=0-7
/proc/12397/task/12417/stat : 12417 (java) S 12394 12397 10558 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566472858288 140568225180290 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12420] ppid=12394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12420/stat : 12420 (java) S 12394 12397 10558 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83949019 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568038699968 140568225193753 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12422] ppid=12394 vsize=27984808 memory=-7818383519274965019 CPUtime=0 cores=0-7
/proc/12397/task/12422/stat : 12422 (java) S 12394 12397 10558 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 83949019 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140564414578608 140568225191069 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12423] ppid=12394 vsize=27984808 memory=7440053663678222442 CPUtime=0 cores=0-7
/proc/12397/task/12423/stat : 12423 (java) S 12394 12397 10558 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 83949019 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140564683014192 140568225191069 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12424] ppid=12394 vsize=27984808 memory=7517159034060820560 CPUtime=0 cores=0-7
/proc/12397/task/12424/stat : 12424 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83949023 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140564146150816 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
Current children cumulated CPU time: 120.48 s
Current children cumulated vsize: 29706972 KiB
Current children cumulated memory: 7396372 KiB
[startup+36.8016 s]
/proc/loadavg: 2.75 2.50 4.13 10/212 12432
/proc/meminfo: memFree=20169176/32770624 swapFree=67108496/67108860
[pid=12397] ppid=12394 vsize=27984808 memory=6224160 CPUtime=40.38 cores=0-7
/proc/12397/stat : 12397 (java) S 12394 12397 10558 0 -1 1077944320 51662 0 3 0 3868 170 0 0 20 0 24 0 83946876 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140731363598944 140568225169143 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
/proc/12397/statm: 6996202 1556040 3251 1 0 6957058 0
[pid=12419] ppid=12397 vsize=1722972 memory=1174040 CPUtime=86.42 cores=0-7
/proc/12419/stat : 12419 (glucose-syrup) S 12397 12397 10558 0 -1 1077944320 910745 0 0 0 8449 193 0 0 20 0 9 0 83949019 1764323328 293510 33554432000 4194304 4373367 140737321811120 140737321809664 139643752512130 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
/proc/12419/statm: 430743 293510 388 44 0 426431 0
[pid=12419/tid=12425] ppid=12397 vsize=1722972 memory=8039887049847965611 CPUtime=10.18 cores=0-7
/proc/12419/task/12425/stat : 12425 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 74880 0 0 0 997 21 0 0 20 0 9 0 83949529 1764323328 293510 33554432000 4194304 4373367 140737321811120 139643704454288 4272031 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12426] ppid=12397 vsize=1722972 memory=1171232 CPUtime=10.17 cores=0-7
/proc/12419/task/12426/stat : 12426 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 102654 0 0 0 1004 13 0 0 20 0 9 0 83949529 1764323328 293510 33554432000 4194304 4373367 140737321811120 139643696061640 4271619 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12427] ppid=12397 vsize=1722972 memory=928 CPUtime=10.18 cores=0-7
/proc/12419/task/12427/stat : 12427 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 87859 0 0 0 1005 13 0 0 20 0 9 0 83949529 1764323328 293510 33554432000 4194304 4373367 140737321811120 139643687668504 4252341 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12428] ppid=12397 vsize=1722972 memory=2296 CPUtime=10.04 cores=0-7
/proc/12419/task/12428/stat : 12428 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 85676 0 0 0 991 13 0 0 20 0 9 0 83949529 1764323328 293510 33554432000 4194304 4373367 140737321811120 139643256679192 4249146 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12429] ppid=12397 vsize=1722972 memory=932 CPUtime=10.13 cores=0-7
/proc/12419/task/12429/stat : 12429 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 84723 0 0 0 998 15 0 0 20 0 9 0 83949529 1764323328 293510 33554432000 4194304 4373367 140737321811120 139643248286920 4271619 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12430] ppid=12397 vsize=1722972 memory=1564 CPUtime=10.19 cores=0-7
/proc/12419/task/12430/stat : 12430 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 83076 0 0 0 990 29 0 0 20 0 9 0 83949529 1764323328 293510 33554432000 4194304 4373367 140737321811120 139643239893800 4259418 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12431] ppid=12397 vsize=1722972 memory=2212 CPUtime=10.18 cores=0-7
/proc/12419/task/12431/stat : 12431 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 83614 0 0 0 990 28 0 0 20 0 9 0 83949529 1764323328 293510 33554432000 4194304 4373367 140737321811120 139643231501512 4271894 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12419/tid=12432] ppid=12397 vsize=1722972 memory=8039887049847965611 CPUtime=10.2 cores=0-7
/proc/12419/task/12432/stat : 12432 (glucose-syrup) R 12397 12397 10558 0 -1 4202560 71868 0 0 0 995 25 0 0 20 0 9 0 83949529 1764323328 293510 33554432000 4194304 4373367 140737321811120 139643223108880 4271597 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 29151232 140737321812911 140737321813164 140737321813164 140737321816007 0
[pid=12397/tid=12399] ppid=12394 vsize=27984808 memory=7151835416830698833 CPUtime=20.12 cores=0-7
/proc/12397/task/12399/stat : 12399 (java) S 12394 12397 10558 0 -1 1077944384 21088 0 1 0 1911 101 0 0 20 0 24 0 83946876 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568197008384 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 108 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12400] ppid=12394 vsize=27984808 memory=6224160 CPUtime=0.2 cores=0-7
/proc/12397/task/12400/stat : 12400 (java) S 12394 12397 10558 0 -1 1077944384 213 0 0 0 13 7 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568229411344 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12401] ppid=12394 vsize=27984808 memory=1145404 CPUtime=0.2 cores=0-7
/proc/12397/task/12401/stat : 12401 (java) S 12394 12397 10558 0 -1 1077944384 139 0 0 0 14 6 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568043567760 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12402] ppid=12394 vsize=27984808 memory=756 CPUtime=0.18 cores=0-7
/proc/12397/task/12402/stat : 12402 (java) S 12394 12397 10558 0 -1 1077944384 103 0 0 0 11 7 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568042514704 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12403] ppid=12394 vsize=27984808 memory=1612 CPUtime=0.19 cores=0-7
/proc/12397/task/12403/stat : 12403 (java) S 12394 12397 10558 0 -1 1077944384 137 0 0 0 12 7 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568041462160 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12404] ppid=12394 vsize=27984808 memory=1836 CPUtime=0.18 cores=0-7
/proc/12397/task/12404/stat : 12404 (java) S 12394 12397 10558 0 -1 1077944384 130 0 0 0 12 6 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568040410128 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12405] ppid=12394 vsize=27984808 memory=1132 CPUtime=0.18 cores=0-7
/proc/12397/task/12405/stat : 12405 (java) S 12394 12397 10558 0 -1 1077944384 150 0 0 0 11 7 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140567642799248 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12406] ppid=12394 vsize=27984808 memory=4000 CPUtime=0.21 cores=0-7
/proc/12397/task/12406/stat : 12406 (java) S 12394 12397 10558 0 -1 1077944384 126 0 0 0 14 7 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140567641746192 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12407] ppid=12394 vsize=27984808 memory=14256 CPUtime=0.16 cores=0-7
/proc/12397/task/12407/stat : 12407 (java) S 12394 12397 10558 0 -1 1077944384 99 0 0 0 10 6 0 0 20 0 24 0 83946878 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140567640693648 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12408] ppid=12394 vsize=27984808 memory=14664 CPUtime=0.01 cores=0-7
/proc/12397/task/12408/stat : 12408 (java) S 12394 12397 10558 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 24 0 83946880 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566478121200 140568225180290 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12409] ppid=12394 vsize=27984808 memory=1180 CPUtime=0 cores=0-7
/proc/12397/task/12409/stat : 12409 (java) S 12394 12397 10558 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 24 0 83946880 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566092309728 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12410] ppid=12394 vsize=27984808 memory=504 CPUtime=0 cores=0-7
/proc/12397/task/12410/stat : 12410 (java) S 12394 12397 10558 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 24 0 83946880 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140565958087424 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12411] ppid=12394 vsize=27984808 memory=1720 CPUtime=0 cores=0-7
/proc/12397/task/12411/stat : 12411 (java) S 12394 12397 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140565583583184 140568225187739 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12412] ppid=12394 vsize=27984808 memory=288230574492221466 CPUtime=5.54 cores=0-7
/proc/12397/task/12412/stat : 12412 (java) S 12394 12397 10558 0 -1 1077944384 7206 0 0 0 551 3 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566477069040 140568225180290 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12413] ppid=12394 vsize=27984808 memory=288230583166042426 CPUtime=6.33 cores=0-7
/proc/12397/task/12413/stat : 12413 (java) S 12394 12397 10558 0 -1 1077944384 9633 0 1 0 631 2 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566476016496 140568225180290 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12414] ppid=12394 vsize=27984808 memory=14694093276061419 CPUtime=5.03 cores=0-7
/proc/12397/task/12414/stat : 12414 (java) S 12394 12397 10558 0 -1 1077944384 4641 0 1 0 501 2 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566474963440 140568225180290 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12415] ppid=12394 vsize=27984808 memory=0 CPUtime=1.7 cores=0-7
/proc/12397/task/12415/stat : 12415 (java) S 12394 12397 10558 0 -1 1077944384 6566 0 0 0 167 3 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566473910896 140568225180290 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12416] ppid=12394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12416/stat : 12416 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140565085678048 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12417] ppid=12394 vsize=27984808 memory=0 CPUtime=0.01 cores=0-7
/proc/12397/task/12417/stat : 12417 (java) S 12394 12397 10558 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 24 0 83946883 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140566472858288 140568225180290 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12420] ppid=12394 vsize=27984808 memory=134129 CPUtime=0 cores=0-7
/proc/12397/task/12420/stat : 12420 (java) S 12394 12397 10558 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83949019 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140568038699968 140568225193753 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12422] ppid=12394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12422/stat : 12422 (java) S 12394 12397 10558 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 83949019 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140564414578608 140568225191069 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12423] ppid=12394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12423/stat : 12423 (java) S 12394 12397 10558 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 83949019 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140564683014192 140568225191069 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
[pid=12397/tid=12424] ppid=12394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/12397/task/12424/stat : 12424 (java) S 12394 12397 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83949023 28656443392 1556040 33554432000 4194304 4196468 140731363616400 140564146150816 140568225179349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29802496 140731363619801 140731363620101 140731363620101 140731363622863 0
Current children cumulated CPU time: 126.8 s
Current children cumulated vsize: 29707780 KiB
Current children cumulated memory: 7398200 KiB
[startup+37.001 s]*
/proc/loadavg: 2.75 2.50 4.13 2/181 12432
/proc/meminfo: memFree=24344336/32770624 swapFree=67108496/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 37.0265
CPU time (s): 127.501
CPU user time (s): 123.743
CPU system time (s): 3.75806
CPU usage (%): 344.35
Max. virtual memory (cumulated for all children) (KiB): 29707780
Max. memory (cumulated for all children) (KiB): 7398200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.743
system time used= 3.75806
maximum resident set size= 6224160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 963085
page faults= 3
swaps= 0
block input operations= 14600
block output operations= 126344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80431
involuntary context switches= 1218
# summary of solver processes directly reported to runsolver:
# pid: 12397
# total CPU time (s): 127.501
# total CPU user time (s): 123.743
# total CPU system time (s): 3.75806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.303697 second user time and 0.436791 second system time
The end
Begin job on node149 at 2018-07-27 05:57:17 IDJOB=4296908 IDBENCH=141449 IDSOLVER=2758 FILE ID=node149/4296908-1532663837 RUNJOBID= node149-1532653106-10585 PBS_JOBID= 21022211 Free space on /tmp= 43260 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/CarSequencing/CarSequencing-85-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-4296908-1532663837/watcher-4296908-1532663837 -o /tmp/evaluation-result-4296908-1532663837/solver-4296908-1532663837 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532653106-10585 --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-4296908-1532663837.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8bc781233594bd95127afade52cac536 RANDOM SEED=1825232470 node149.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.60 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.60 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.60 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.60 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: 27639596 kB MemAvailable: 31927084 kB Buffers: 77876 kB Cached: 4428388 kB SwapCached: 60 kB Active: 1460808 kB Inactive: 3099720 kB Active(anon): 1724 kB Inactive(anon): 80308 kB Active(file): 1459084 kB Inactive(file): 3019412 kB Unevictable: 7736 kB Mlocked: 7736 kB SwapTotal: 67108860 kB SwapFree: 67108496 kB Dirty: 8372 kB Writeback: 0 kB AnonPages: 61864 kB Mapped: 33672 kB Shmem: 25040 kB Slab: 265216 kB SReclaimable: 237452 kB SUnreclaim: 27764 kB KernelStack: 3312 kB PageTables: 4920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325552 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 43248 MiB End job on node149 at 2018-07-27 05:57:54