| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-07) | SAT | 100.82 | 32.5856 |
| Name | CarSequencing/ CarSequencing-80-01_c18.xml |
| MD5SUM | 1fae7142163c3dd6bc5a43a0b85b79be |
| 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 | 12.9743 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1429 |
| 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 | 78 |
| 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":54,"count":9}, {"degree":55,"count":9}, {"degree":56,"count":51}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":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":3}, {"degree":78,"count":51}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 200 |
| Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":2},{"arity":50,"count":3},{"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":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
| Number of extensional constraints | 200 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1228},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.66/0.53 0.66/0.53 scop order+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.55 c BEGIN-Prog: Fri Jul 27 06:07:55 CEST 2018 0.66/0.55 c PID: 5934 0.66/0.55 c IP: 172.20.3.104 0.66/0.55 c HOST: node104.alineos.net 0.66/0.56 c (0,0) Parsing Begin 3.05/1.39 c (0,0) Parsing End 3.37/1.47 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1429 ctr, max domain size 26 3.37/1.47 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.37/1.47 c (0,0) Constraint Name Generate Begin 3.37/1.47 c (0,0) Ctr:HOME/instance-4296905-1532664475.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum 3.37/1.47 c (0,0) Constraint Name Generate End 3.37/1.47 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.37/1.47 c (0,0) CSP to CSPinCNF Begin 12.14/4.55 c (4,4) translated 143 (10%) constraints 12.70/5.01 c (4,4) translated 286 (20%) constraints 12.70/5.03 c (4,4) translated 429 (30%) constraints 12.70/5.05 c (4,4) translated 572 (40%) constraints 12.70/5.07 c (4,4) translated 715 (50%) constraints 12.70/5.09 c (4,4) translated 858 (60%) constraints 13.18/5.11 c (4,4) translated 1001 (70%) constraints 13.18/5.13 c (4,4) translated 1144 (80%) constraints 15.13/6.58 c (6,6) translated 1287 (90%) constraints 16.24/7.65 c (7,7) translated 1429 (100%) constraints 17.57/8.20 c (7,7) STATISTICS1:HOME/instance-4296905-1532664475.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57054,9223372036854775807,26,25,200,9223372036854775807:268;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:3;70368744177664:2;17592186044416:1;8796093022208:1;1099511627776:1;549755813888:1;16:392;4:396;2:199,26:20400;2:158730,25:200;3:29600;2:26000;1:1254,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:2;74:3;72:1;71:2;70:3;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:3;47:2;45:1;44:1;41:1;40:1;5:392;3:396;2:199;1:145600;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:3;2401:3;2304:1;2209:2;2116:3;2025:3;1936:1;1849:3;1764:1 17.57/8.20 c (7,7) =========================================== 17.57/8.20 c (7,7) Order 17.57/8.20 c (7,7) =========================================== 20.11/8.97 c (8,8) translated 5706 (10%) constraints 21.00/9.20 c (8,8) translated 11411 (20%) constraints 21.29/9.31 c (8,8) translated 17117 (30%) constraints 21.29/9.40 c (8,8) translated 22822 (40%) constraints 21.39/9.49 c (8,8) translated 28527 (50%) constraints 21.48/9.57 c (9,9) translated 34233 (60%) constraints 21.59/9.66 c (9,9) translated 39938 (70%) constraints 21.69/9.75 c (9,9) translated 45644 (80%) constraints 21.79/9.84 c (9,9) translated 51349 (90%) constraints 26.70/11.92 c (11,11) translated 57054 (100%) constraints 26.70/11.93 c (11,11) CSP to CSPinCNF End 26.70/11.95 c (11,11) CSP: 4103 int (3903 aux), 21654 bool (20654 aux), 77698 ctr, max domain size 68 26.70/11.95 c (11,11) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 26.70/11.95 c (11,11) CSPinCNF Propagation Begin 28.22/12.45 c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed 28.22/12.45 c (11,11) CSPinCNF Propagation End 28.22/12.46 c (11,11) CSP: 4103 int (3903 aux), 21654 bool (20654 aux), 77298 ctr, max domain size 68 28.22/12.46 c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 28.22/12.46 c (11,11) Simplify CSPinCNF Begin 28.75/12.65 c (12,12) Simplify CSPinCNF End 28.75/12.65 c (12,12) CSP: 4103 int (3903 aux), 21654 bool (20654 aux), 77298 ctr, max domain size 68 28.75/12.65 c (12,12) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 28.75/12.65 c (12,12) Calculate Precise Domain Begin 28.94/12.71 c (12,12) 0 values are removed by re-calculation 28.94/12.71 c (12,12) Calculate Precise Domain End 28.94/12.71 c (12,12) CSP: 4103 int (3903 aux), 21654 bool (20654 aux), 77298 ctr, max domain size 68 28.94/12.71 c (12,12) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 28.94/12.71 c (12,12) CSPinCNF to SatSolver Begin 32.81/14.84 c (14,14) 7730 (10 %) CSP clauses are encoded (94297 SAT variables, 584865 SAT clauses) 33.12/14.90 c (14,14) 15460 (20 %) CSP clauses are encoded (94297 SAT variables, 592595 SAT clauses) 33.12/14.97 c (14,14) 23190 (30 %) CSP clauses are encoded (94297 SAT variables, 600325 SAT clauses) 33.37/15.02 c (14,14) 30920 (40 %) CSP clauses are encoded (94297 SAT variables, 608055 SAT clauses) 33.37/15.05 c (14,14) 38649 (50 %) CSP clauses are encoded (94297 SAT variables, 615784 SAT clauses) 33.37/15.09 c (14,14) 46379 (60 %) CSP clauses are encoded (94297 SAT variables, 623514 SAT clauses) 33.48/15.13 c (14,14) 54109 (70 %) CSP clauses are encoded (94297 SAT variables, 631244 SAT clauses) 33.48/15.16 c (14,14) 61839 (80 %) CSP clauses are encoded (94297 SAT variables, 638974 SAT clauses) 34.10/15.51 c (14,14) 69569 (90 %) CSP clauses are encoded (94297 SAT variables, 759892 SAT clauses) 38.77/19.99 c (19,18) 77298 (100 %) CSP clauses are encoded (94297 SAT variables, 2458952 SAT clauses) 38.77/19.99 c (19,18) CSPinCNF to SatSolver End 38.77/19.99 c (19,18) Heap : 876 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 39.86/20.34 c (19,19) STATISTICS2:HOME/instance-4296905-1532664475.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25757,77298,4556,68,24,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:3;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:3;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:3;1892:3;1849: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:294;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:19;729:16;702:14;676:20;650:15;625:16;600:16;576:16;552:19;529:14;512:759;506:17;484:16;462:15;441:27;420:14;400:16;380:17;361:15;342:18;324:32;306:85;289:71;288:4;272:78;270:8;256:1913;255:16;252:4;240:69;238:8;225:87;216:4;210:71;204:8;196:78;182:74;180:12;170:24;169:69;162:4;156:70;153:8;144:77;132:67;128:1146;126:8;121:72;119:16;110:67;100:93;96:275;90:562;85:16;81:499;72:305;68:24;64:1133;56:285;54:8;51:16;49:298;36:24;34:48;25:291;16:966;9:16;4:444;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:26;54: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:30148;25:138;24:140;23:138;22:134;21:180;20:134;19:138;18:1108;17:982;16:622;15:640;14:606;13:564;12:1136;11:556;10:1626;9:3694;8:2292;7:1770;5:1172;4:108;3:72;2:179346,24:200;3:29200;2:36400;1:11498,11:278;10:759;9:1829;8:1146;7:849;5:1217;3:5221;2:199;1:165200, 39.86/20.34 c (19,19) SatSolver.solve Begin 39.86/20.34 c (19,19) 94297 bool, 2459653 clause 39.86/20.34 c (19,19) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296905-1532664475.xml-scop-5934.cnf HOME/instance-4296905-1532664475.xml-scop-5934.cnf.out 99.63/32.39 c (31,0) c 99.63/32.39 c (31,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 99.63/32.39 c (31,0) c 99.63/32.39 c (31,0) c WARNING: for repeatability, setting FPU to use double precision 99.63/32.39 c (31,0) c 8 solvers engines and 1 companion as a blackboard created. 99.63/32.39 c (31,0) c ========================================[ Problem Statistics ]=========================================== 99.63/32.39 c (31,0) c | | 99.63/32.39 c (31,0) c | Number of variables: 94297 | 99.63/32.39 c (31,0) c | Number of clauses: 2459365 | 99.63/32.39 c (31,0) c | Parse time: 0.83 s | 99.63/32.39 c (31,0) c | | 99.63/32.39 c (31,0) c | Eliminated clauses: 0.34 Mb | 99.63/32.39 c (31,0) c | Simplification time: 3.59 s | 99.63/32.39 c (31,0) c | | 99.63/32.39 c (31,0) c | Generating clones | 99.63/32.39 c (31,0) c | all clones generated. Memory = 1045.21Mb. | 99.63/32.39 c (31,0) c ========================================================================================================| 99.63/32.39 c (31,0) c 99.63/32.39 c (31,0) c |-------------------------------------------------------------------------------------------------------| 99.63/32.39 c (31,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 99.63/32.39 c (31,0) c |-------------------------------------------------------------------------------------------------------| 99.63/32.39 c (31,0) c | 0 | 47 | 88568 | 7832 | 22217 | 4045 | 630 | 4763 | 8 | 5.493 | 99.63/32.39 c (31,0) c | 1 | 60 | 88044 | 8089 | 25978 | 4297 | 589 | 4789 | 8 | 5.493 | 99.63/32.39 c (31,0) c | 2 | 46 | 94190 | 5381 | 25048 | 4385 | 259 | 5112 | 14 | 5.493 | 99.63/32.39 c (31,0) c | 3 | 34 | 83000 | 14869 | 18626 | 6082 | 2647 | 2733 | 3 | 5.493 | 99.63/32.39 c (31,0) c | 4 | 30 | 96011 | 3484 | 21680 | 2488 | 256 | 4894 | 13 | 5.493 | 99.63/32.39 c (31,0) c | 5 | 38 | 84656 | 4688 | 24873 | 3691 | 195 | 5057 | 10 | 5.493 | 99.63/32.39 c (31,0) c | 6 | 64 | 92103 | 7781 | 26090 | 3985 | 414 | 4963 | 16 | 5.493 | 99.63/32.39 c (31,0) c | 7 | 63 | 88196 | 7326 | 26218 | 3529 | 414 | 4989 | 14 | 5.493 | 99.63/32.39 c (31,0) c 99.63/32.39 c (31,0) c synthesis 59455 conflicts 86069436 propagations 1561 conflicts/sec 2259680 propagations/sec 99.63/32.39 c (31,0) c Total Memory so far : 1669.04Mb 99.63/32.39 c (31,0) c last restart ## conflicts : 176 2011 99.63/32.39 c (31,0) c Thread 0 is 100% pure glucose! First thread to finish! (SAT answer). 99.63/32.39 c (31,0) c Total Memory so far : 1673.04Mb 99.63/32.39 c (31,0) c 99.63/32.39 c (31,0) c real time : 12.035 s 99.63/32.39 c (31,0) c cpu time : 58.6693 s 99.63/32.39 c (31,0) c 99.63/32.39 c (31,0) c 99.63/32.39 c (31,0) c 99.63/32.39 c (31,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 99.63/32.39 c (31,0) c 99.63/32.39 c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 99.63/32.39 c (31,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 99.63/32.39 c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 99.63/32.39 c (31,0) c | Conflicts | 81909 | 10159 | 10426 | 8112 | 17256 | 5994 | 8271 | 11001 | 10690 | 99.63/32.39 c (31,0) c | Decisions | 1196278 | 141470 | 147015 | 153584 | 142304 | 161620 | 145483 | 156707 | 148095 | 99.63/32.39 c (31,0) c | Propagations | 143273815 | 15584721 | 17896480 | 18276277 | 20041365 | 17474675 | 16879784 | 19166517 | 17953996 | 99.63/32.39 c (31,0) c | Avg_Trail | | 23164 | 25959 | 37008 | 22010 | 38640 | 32377 | 32460 | 33194 | 99.63/32.39 c (31,0) c | Avg_DL | | 238 | 276 | 397 | 195 | 406 | 347 | 334 | 345 | 99.63/32.39 c (31,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 99.63/32.39 c (31,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 99.63/32.39 c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 99.63/32.39 c (31,0) c | Exported | 8326 | 831 | 796 | 791 | 2952 | 539 | 718 | 792 | 907 | 99.63/32.39 c (31,0) c | Imported | 57431 | 7351 | 7518 | 7038 | 5358 | 7760 | 7555 | 7482 | 7369 | 99.63/32.39 c (31,0) c | Good | 17793 | 2192 | 2260 | 2078 | 2295 | 2159 | 2254 | 2244 | 2311 | 99.63/32.39 c (31,0) c | Purge | 39638 | 5159 | 5258 | 4960 | 3063 | 5601 | 5301 | 5238 | 5058 | 99.63/32.39 c (31,0) c | Promoted | 715 | 107 | 81 | 68 | 105 | 123 | 69 | 73 | 89 | 99.63/32.39 c (31,0) c | Remove_Imp | 1256 | 0 | 0 | 309 | 0 | 0 | 947 | 0 | 0 | 99.63/32.39 c (31,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 99.63/32.39 c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 99.63/32.39 c (31,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 99.63/32.39 c (31,0) c | Binaries | | 332 | 325 | 354 | 286 | 412 | 311 | 320 | 253 | 99.63/32.39 c (31,0) c | Glues | | 488 | 430 | 367 | 319 | 421 | 332 | 343 | 268 | 99.63/32.39 c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 99.63/32.39 c (31,0) c | Orig_Seen | 1 % | 34285 | 34427 | 33314 | 29732 | 31746 | 33538 | 35723 | 36544 | 99.63/32.39 c (31,0) c | Diff Orig seen| | X | 142 | - 971 | - 4553 | - 2539 | - 747 | 1438 | 2259 | 99.63/32.39 c (31,0) c | Hamming | 8 % | X | 7855 | 7357 | 7618 | 7960 | 7632 | 7724 | 7999 | 99.63/32.39 c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 99.63/32.39 c (31,0) 99.63/32.39 c (31,0) s SATISFIABLE 100.38/32.48 c (31,19) SatSolver.solve End 100.38/32.48 c (31,19) Heap : 1470 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 100.38/32.48 c (31,19) Show results Begin 100.67/32.51 c (31,19) cls[0] = 23 100.67/32.51 c (31,19) cls[1] = 25 100.67/32.51 c (31,19) cls[2] = 17 100.67/32.51 c (31,19) cls[3] = 11 100.67/32.51 c (31,19) cls[4] = 2 100.67/32.51 c (31,19) cls[5] = 6 100.67/32.51 c (31,19) cls[6] = 19 100.67/32.51 c (31,19) cls[7] = 3 100.67/32.51 c (31,19) cls[8] = 9 100.67/32.51 c (31,19) cls[9] = 18 100.67/32.51 c (31,19) cls[10] = 16 100.67/32.51 c (31,19) cls[11] = 9 100.67/32.51 c (31,19) cls[12] = 5 100.67/32.51 c (31,19) cls[13] = 18 100.67/32.51 c (31,19) cls[14] = 11 100.67/32.51 c (31,19) cls[15] = 6 100.67/32.51 c (31,19) cls[16] = 8 100.67/32.51 c (31,19) cls[17] = 19 100.67/32.51 c (31,19) cls[18] = 2 100.67/32.51 c (31,19) cls[19] = 21 100.67/32.51 c (31,19) cls[20] = 3 100.67/32.51 c (31,19) cls[21] = 2 100.67/32.51 c (31,19) cls[22] = 16 100.67/32.51 c (31,19) cls[23] = 25 100.67/32.51 c (31,19) cls[24] = 20 100.67/32.51 c (31,19) cls[25] = 19 100.67/32.51 c (31,19) cls[26] = 2 100.67/32.51 c (31,19) cls[27] = 8 100.67/32.51 c (31,19) cls[28] = 7 100.67/32.51 c (31,19) cls[29] = 2 100.67/32.51 c (31,19) cls[30] = 19 100.67/32.51 c (31,19) cls[31] = 2 100.67/32.51 c (31,19) cls[32] = 15 100.67/32.51 c (31,19) cls[33] = 2 100.67/32.51 c (31,19) cls[34] = 18 100.67/32.51 c (31,19) cls[35] = 14 100.67/32.51 c (31,19) cls[36] = 2 100.67/32.51 c (31,19) cls[37] = 1 100.67/32.51 c (31,19) cls[38] = 9 100.67/32.51 c (31,19) cls[39] = 18 100.67/32.51 c (31,19) cls[40] = 5 100.67/32.51 c (31,19) cls[41] = 12 100.67/32.51 c (31,19) cls[42] = 3 100.67/32.51 c (31,19) cls[43] = 19 100.67/32.51 c (31,19) cls[44] = 3 100.67/32.51 c (31,19) cls[45] = 2 100.67/32.51 c (31,19) cls[46] = 6 100.67/32.51 c (31,19) cls[47] = 8 100.67/32.51 c (31,19) cls[48] = 2 100.67/32.51 c (31,19) cls[49] = 15 100.67/32.51 c (31,19) cls[50] = 1 100.67/32.51 c (31,19) cls[51] = 2 100.67/32.51 c (31,19) cls[52] = 2 100.67/32.51 c (31,19) cls[53] = 10 100.67/32.51 c (31,19) cls[54] = 3 100.67/32.51 c (31,19) cls[55] = 5 100.67/32.51 c (31,19) cls[56] = 15 100.67/32.51 c (31,19) cls[57] = 5 100.67/32.51 c (31,19) cls[58] = 2 100.67/32.51 c (31,19) cls[59] = 6 100.67/32.51 c (31,19) cls[60] = 11 100.67/32.51 c (31,19) cls[61] = 8 100.67/32.51 c (31,19) cls[62] = 11 100.67/32.51 c (31,19) cls[63] = 9 100.67/32.51 c (31,19) cls[64] = 19 100.67/32.51 c (31,19) cls[65] = 25 100.67/32.51 c (31,19) cls[66] = 8 100.67/32.51 c (31,19) cls[67] = 1 100.67/32.51 c (31,19) cls[68] = 20 100.67/32.51 c (31,19) cls[69] = 25 100.67/32.51 c (31,19) cls[70] = 19 100.67/32.51 c (31,19) cls[71] = 6 100.67/32.51 c (31,19) cls[72] = 2 100.67/32.51 c (31,19) cls[73] = 11 100.67/32.51 c (31,19) cls[74] = 12 100.67/32.51 c (31,19) cls[75] = 19 100.67/32.51 c (31,19) cls[76] = 2 100.67/32.51 c (31,19) cls[77] = 11 100.67/32.51 c (31,19) cls[78] = 6 100.67/32.51 c (31,19) cls[79] = 18 100.67/32.51 c (31,19) cls[80] = 2 100.67/32.51 c (31,19) cls[81] = 2 100.67/32.51 c (31,19) cls[82] = 8 100.67/32.51 c (31,19) cls[83] = 21 100.67/32.51 c (31,19) cls[84] = 2 100.67/32.51 c (31,19) cls[85] = 19 100.67/32.51 c (31,19) cls[86] = 25 100.67/32.51 c (31,19) cls[87] = 1 100.67/32.51 c (31,19) cls[88] = 9 100.67/32.51 c (31,19) cls[89] = 16 100.67/32.51 c (31,19) cls[90] = 3 100.67/32.51 c (31,19) cls[91] = 2 100.67/32.51 c (31,19) cls[92] = 1 100.67/32.51 c (31,19) cls[93] = 6 100.67/32.52 c (31,19) cls[94] = 13 100.67/32.52 c (31,19) cls[95] = 3 100.67/32.52 c (31,19) cls[96] = 6 100.67/32.52 c (31,19) cls[97] = 5 100.67/32.52 c (31,19) cls[98] = 3 100.67/32.52 c (31,19) cls[99] = 0 100.67/32.52 c (31,19) cls[100] = 25 100.67/32.52 c (31,19) cls[101] = 11 100.67/32.52 c (31,19) cls[102] = 6 100.67/32.52 c (31,19) cls[103] = 19 100.67/32.52 c (31,19) cls[104] = 3 100.67/32.52 c (31,19) cls[105] = 5 100.67/32.52 c (31,19) cls[106] = 8 100.67/32.52 c (31,19) cls[107] = 7 100.67/32.52 c (31,19) cls[108] = 2 100.67/32.52 c (31,19) cls[109] = 19 100.67/32.52 c (31,19) cls[110] = 18 100.67/32.52 c (31,19) cls[111] = 13 100.67/32.52 c (31,19) cls[112] = 3 100.67/32.52 c (31,19) cls[113] = 19 100.67/32.52 c (31,19) cls[114] = 6 100.67/32.52 c (31,19) cls[115] = 2 100.67/32.52 c (31,19) cls[116] = 1 100.67/32.52 c (31,19) cls[117] = 9 100.67/32.52 c (31,19) cls[118] = 5 100.67/32.52 c (31,19) cls[119] = 18 100.67/32.52 c (31,19) cls[120] = 5 100.67/32.52 c (31,19) cls[121] = 6 100.67/32.52 c (31,19) cls[122] = 2 100.67/32.52 c (31,19) cls[123] = 4 100.67/32.52 c (31,19) cls[124] = 15 100.67/32.52 c (31,19) cls[125] = 5 100.67/32.52 c (31,19) cls[126] = 2 100.67/32.52 c (31,19) cls[127] = 19 100.67/32.52 c (31,19) cls[128] = 6 100.67/32.52 c (31,19) cls[129] = 18 100.67/32.52 c (31,19) cls[130] = 19 100.67/32.52 c (31,19) cls[131] = 9 100.67/32.52 c (31,19) cls[132] = 18 100.67/32.52 c (31,19) cls[133] = 2 100.67/32.52 c (31,19) cls[134] = 7 100.67/32.52 c (31,19) cls[135] = 8 100.67/32.52 c (31,19) cls[136] = 25 100.67/32.52 c (31,19) cls[137] = 1 100.67/32.52 c (31,19) cls[138] = 2 100.67/32.52 c (31,19) cls[139] = 25 100.67/32.52 c (31,19) cls[140] = 6 100.67/32.52 c (31,19) cls[141] = 22 100.67/32.52 c (31,19) cls[142] = 2 100.67/32.52 c (31,19) cls[143] = 15 100.67/32.52 c (31,19) cls[144] = 2 100.67/32.52 c (31,19) cls[145] = 19 100.67/32.52 c (31,19) cls[146] = 2 100.67/32.52 c (31,19) cls[147] = 0 100.67/32.52 c (31,19) cls[148] = 2 100.67/32.52 c (31,19) cls[149] = 18 100.67/32.52 c (31,19) cls[150] = 11 100.67/32.52 c (31,19) cls[151] = 9 100.67/32.52 c (31,19) cls[152] = 8 100.67/32.52 c (31,19) cls[153] = 5 100.67/32.52 c (31,19) cls[154] = 18 100.67/32.52 c (31,19) cls[155] = 7 100.67/32.52 c (31,19) cls[156] = 2 100.67/32.52 c (31,19) cls[157] = 19 100.67/32.52 c (31,19) cls[158] = 9 100.67/32.52 c (31,19) cls[159] = 3 100.67/32.52 c (31,19) cls[160] = 19 100.67/32.52 c (31,19) cls[161] = 20 100.67/32.52 c (31,19) cls[162] = 19 100.67/32.52 c (31,19) cls[163] = 2 100.67/32.52 c (31,19) cls[164] = 24 100.67/32.52 c (31,19) cls[165] = 5 100.67/32.52 c (31,19) cls[166] = 2 100.67/32.52 c (31,19) cls[167] = 18 100.67/32.52 c (31,19) cls[168] = 5 100.67/32.52 c (31,19) cls[169] = 12 100.67/32.52 c (31,19) cls[170] = 3 100.67/32.52 c (31,19) cls[171] = 2 100.67/32.52 c (31,19) cls[172] = 18 100.67/32.52 c (31,19) cls[173] = 5 100.67/32.52 c (31,19) cls[174] = 2 100.67/32.52 c (31,19) cls[175] = 0 100.67/32.52 c (31,19) cls[176] = 8 100.67/32.52 c (31,19) cls[177] = 5 100.67/32.52 c (31,19) cls[178] = 15 100.67/32.52 c (31,19) cls[179] = 11 100.67/32.52 c (31,19) cls[180] = 2 100.67/32.52 c (31,19) cls[181] = 19 100.67/32.52 c (31,19) cls[182] = 12 100.67/32.52 c (31,19) cls[183] = 1 100.67/32.52 c (31,19) cls[184] = 3 100.67/32.52 c (31,19) cls[185] = 19 100.67/32.52 c (31,19) cls[186] = 2 100.67/32.52 c (31,19) cls[187] = 0 100.67/32.52 c (31,19) cls[188] = 25 100.67/32.52 c (31,19) cls[189] = 18 100.67/32.52 c (31,19) cls[190] = 0 100.67/32.52 c (31,19) cls[191] = 2 100.67/32.52 c (31,19) cls[192] = 5 100.67/32.52 c (31,19) cls[193] = 17 100.67/32.52 c (31,19) cls[194] = 21 100.67/32.52 c (31,19) cls[195] = 2 100.67/32.52 c (31,19) cls[196] = 2 100.67/32.52 c (31,19) cls[197] = 0 100.67/32.52 c (31,19) cls[198] = 3 100.67/32.52 c (31,19) cls[199] = 8 100.67/32.52 c (31,19) opt[0][0] = 1 100.67/32.52 c (31,19) opt[0][1] = 1 100.67/32.52 c (31,19) opt[0][2] = 1 100.67/32.52 c (31,19) opt[0][3] = 0 100.67/32.52 c (31,19) opt[0][4] = 0 100.67/32.52 c (31,19) opt[1][0] = 0 100.67/32.52 c (31,19) opt[1][1] = 1 100.67/32.52 c (31,19) opt[1][2] = 0 100.67/32.52 c (31,19) opt[1][3] = 0 100.67/32.52 c (31,19) opt[1][4] = 0 100.67/32.52 c (31,19) opt[2][0] = 0 100.67/32.52 c (31,19) opt[2][1] = 0 100.67/32.52 c (31,19) opt[2][2] = 0 100.67/32.52 c (31,19) opt[2][3] = 1 100.67/32.52 c (31,19) opt[2][4] = 1 100.67/32.52 c (31,19) opt[3][0] = 1 100.67/32.52 c (31,19) opt[3][1] = 1 100.67/32.52 c (31,19) opt[3][2] = 0 100.67/32.52 c (31,19) opt[3][3] = 1 100.67/32.52 c (31,19) opt[3][4] = 0 100.67/32.52 c (31,19) opt[4][0] = 0 100.67/32.52 c (31,19) opt[4][1] = 1 100.67/32.52 c (31,19) opt[4][2] = 0 100.67/32.52 c (31,19) opt[4][3] = 0 100.67/32.52 c (31,19) opt[4][4] = 0 100.67/32.52 c (31,19) opt[5][0] = 0 100.67/32.52 c (31,19) opt[5][1] = 0 100.67/32.52 c (31,19) opt[5][2] = 1 100.67/32.52 c (31,19) opt[5][3] = 0 100.67/32.52 c (31,19) opt[5][4] = 0 100.67/32.52 c (31,19) opt[6][0] = 1 100.67/32.52 c (31,19) opt[6][1] = 0 100.67/32.52 c (31,19) opt[6][2] = 0 100.67/32.52 c (31,19) opt[6][3] = 0 100.67/32.52 c (31,19) opt[6][4] = 0 100.67/32.52 c (31,19) opt[7][0] = 0 100.67/32.52 c (31,19) opt[7][1] = 1 100.67/32.52 c (31,19) opt[7][2] = 0 100.67/32.52 c (31,19) opt[7][3] = 1 100.67/32.52 c (31,19) opt[7][4] = 0 100.67/32.52 c (31,19) opt[8][0] = 0 100.67/32.52 c (31,19) opt[8][1] = 1 100.67/32.52 c (31,19) opt[8][2] = 1 100.67/32.52 c (31,19) opt[8][3] = 0 100.67/32.52 c (31,19) opt[8][4] = 0 100.67/32.52 c (31,19) opt[9][0] = 0 100.67/32.52 c (31,19) opt[9][1] = 0 100.67/32.52 c (31,19) opt[9][2] = 0 100.67/32.52 c (31,19) opt[9][3] = 1 100.67/32.52 c (31,19) opt[9][4] = 0 100.67/32.52 c (31,19) opt[10][0] = 1 100.67/32.52 c (31,19) opt[10][1] = 0 100.67/32.52 c (31,19) opt[10][2] = 0 100.67/32.52 c (31,19) opt[10][3] = 0 100.67/32.52 c (31,19) opt[10][4] = 1 100.67/32.52 c (31,19) opt[11][0] = 0 100.67/32.52 c (31,19) opt[11][1] = 1 100.67/32.52 c (31,19) opt[11][2] = 1 100.67/32.52 c (31,19) opt[11][3] = 0 100.67/32.52 c (31,19) opt[11][4] = 0 100.67/32.52 c (31,19) opt[12][0] = 1 100.67/32.52 c (31,19) opt[12][1] = 1 100.67/32.52 c (31,19) opt[12][2] = 0 100.67/32.52 c (31,19) opt[12][3] = 0 100.67/32.52 c (31,19) opt[12][4] = 0 100.67/32.52 c (31,19) opt[13][0] = 0 100.67/32.52 c (31,19) opt[13][1] = 0 100.67/32.52 c (31,19) opt[13][2] = 0 100.67/32.52 c (31,19) opt[13][3] = 1 100.67/32.52 c (31,19) opt[13][4] = 0 100.67/32.52 c (31,19) opt[14][0] = 1 100.67/32.52 c (31,19) opt[14][1] = 1 100.67/32.52 c (31,19) opt[14][2] = 0 100.67/32.52 c (31,19) opt[14][3] = 1 100.67/32.52 c (31,19) opt[14][4] = 0 100.67/32.52 c (31,19) opt[15][0] = 0 100.67/32.52 c (31,19) opt[15][1] = 0 100.67/32.52 c (31,19) opt[15][2] = 1 100.67/32.52 c (31,19) opt[15][3] = 0 100.67/32.52 c (31,19) opt[15][4] = 0 100.67/32.52 c (31,19) opt[16][0] = 0 100.67/32.52 c (31,19) opt[16][1] = 0 100.67/32.52 c (31,19) opt[16][2] = 0 100.67/32.52 c (31,19) opt[16][3] = 0 100.67/32.52 c (31,19) opt[16][4] = 1 100.67/32.52 c (31,19) opt[17][0] = 1 100.67/32.52 c (31,19) opt[17][1] = 0 100.67/32.52 c (31,19) opt[17][2] = 0 100.67/32.52 c (31,19) opt[17][3] = 0 100.67/32.52 c (31,19) opt[17][4] = 0 100.67/32.52 c (31,19) opt[18][0] = 0 100.67/32.52 c (31,19) opt[18][1] = 1 100.67/32.52 c (31,19) opt[18][2] = 0 100.67/32.52 c (31,19) opt[18][3] = 0 100.67/32.52 c (31,19) opt[18][4] = 0 100.67/32.52 c (31,19) opt[19][0] = 1 100.67/32.52 c (31,19) opt[19][1] = 0 100.67/32.52 c (31,19) opt[19][2] = 1 100.67/32.52 c (31,19) opt[19][3] = 1 100.67/32.52 c (31,19) opt[19][4] = 0 100.67/32.52 c (31,19) opt[20][0] = 0 100.67/32.52 c (31,19) opt[20][1] = 1 100.67/32.52 c (31,19) opt[20][2] = 0 100.67/32.52 c (31,19) opt[20][3] = 1 100.67/32.52 c (31,19) opt[20][4] = 0 100.67/32.52 c (31,19) opt[21][0] = 0 100.67/32.52 c (31,19) opt[21][1] = 1 100.67/32.52 c (31,19) opt[21][2] = 0 100.67/32.52 c (31,19) opt[21][3] = 0 100.67/32.52 c (31,19) opt[21][4] = 0 100.67/32.52 c (31,19) opt[22][0] = 1 100.67/32.52 c (31,19) opt[22][1] = 0 100.67/32.52 c (31,19) opt[22][2] = 0 100.67/32.52 c (31,19) opt[22][3] = 0 100.67/32.52 c (31,19) opt[22][4] = 1 100.67/32.52 c (31,19) opt[23][0] = 0 100.67/32.52 c (31,19) opt[23][1] = 1 100.67/32.52 c (31,19) opt[23][2] = 0 100.67/32.52 c (31,19) opt[23][3] = 0 100.67/32.52 c (31,19) opt[23][4] = 0 100.67/32.52 c (31,19) opt[24][0] = 0 100.67/32.52 c (31,19) opt[24][1] = 1 100.67/32.52 c (31,19) opt[24][2] = 1 100.67/32.52 c (31,19) opt[24][3] = 1 100.67/32.52 c (31,19) opt[24][4] = 0 100.67/32.52 c (31,19) opt[25][0] = 1 100.67/32.52 c (31,19) opt[25][1] = 0 100.67/32.52 c (31,19) opt[25][2] = 0 100.67/32.52 c (31,19) opt[25][3] = 0 100.67/32.52 c (31,19) opt[25][4] = 0 100.67/32.52 c (31,19) opt[26][0] = 0 100.67/32.52 c (31,19) opt[26][1] = 1 100.67/32.52 c (31,19) opt[26][2] = 0 100.67/32.52 c (31,19) opt[26][3] = 0 100.67/32.52 c (31,19) opt[26][4] = 0 100.67/32.52 c (31,19) opt[27][0] = 0 100.67/32.52 c (31,19) opt[27][1] = 0 100.67/32.52 c (31,19) opt[27][2] = 0 100.67/32.52 c (31,19) opt[27][3] = 0 100.67/32.52 c (31,19) opt[27][4] = 1 100.67/32.52 c (31,19) opt[28][0] = 1 100.67/32.52 c (31,19) opt[28][1] = 1 100.67/32.52 c (31,19) opt[28][2] = 1 100.67/32.52 c (31,19) opt[28][3] = 1 100.67/32.52 c (31,19) opt[28][4] = 0 100.67/32.52 c (31,19) opt[29][0] = 0 100.67/32.52 c (31,19) opt[29][1] = 1 100.67/32.52 c (31,19) opt[29][2] = 0 100.67/32.52 c (31,19) opt[29][3] = 0 100.67/32.52 c (31,19) opt[29][4] = 0 100.67/32.52 c (31,19) opt[30][0] = 1 100.67/32.52 c (31,19) opt[30][1] = 0 100.67/32.52 c (31,19) opt[30][2] = 0 100.67/32.52 c (31,19) opt[30][3] = 0 100.67/32.52 c (31,19) opt[30][4] = 0 100.67/32.52 c (31,19) opt[31][0] = 0 100.67/32.52 c (31,19) opt[31][1] = 1 100.67/32.52 c (31,19) opt[31][2] = 0 100.67/32.52 c (31,19) opt[31][3] = 0 100.67/32.52 c (31,19) opt[31][4] = 0 100.67/32.52 c (31,19) opt[32][0] = 0 100.67/32.52 c (31,19) opt[32][1] = 0 100.67/32.52 c (31,19) opt[32][2] = 1 100.67/32.52 c (31,19) opt[32][3] = 1 100.67/32.52 c (31,19) opt[32][4] = 0 100.67/32.52 c (31,19) opt[33][0] = 0 100.67/32.52 c (31,19) opt[33][1] = 1 100.67/32.52 c (31,19) opt[33][2] = 0 100.67/32.52 c (31,19) opt[33][3] = 0 100.67/32.52 c (31,19) opt[33][4] = 0 100.67/32.52 c (31,19) opt[34][0] = 0 100.67/32.52 c (31,19) opt[34][1] = 0 100.67/32.52 c (31,19) opt[34][2] = 0 100.67/32.52 c (31,19) opt[34][3] = 1 100.67/32.52 c (31,19) opt[34][4] = 0 100.67/32.52 c (31,19) opt[35][0] = 1 100.67/32.52 c (31,19) opt[35][1] = 1 100.67/32.52 c (31,19) opt[35][2] = 1 100.67/32.52 c (31,19) opt[35][3] = 0 100.67/32.52 c (31,19) opt[35][4] = 1 100.67/32.52 c (31,19) opt[36][0] = 0 100.67/32.52 c (31,19) opt[36][1] = 1 100.67/32.52 c (31,19) opt[36][2] = 0 100.67/32.52 c (31,19) opt[36][3] = 0 100.67/32.52 c (31,19) opt[36][4] = 0 100.67/32.52 c (31,19) opt[37][0] = 1 100.67/32.52 c (31,19) opt[37][1] = 0 100.67/32.52 c (31,19) opt[37][2] = 0 100.67/32.52 c (31,19) opt[37][3] = 1 100.67/32.52 c (31,19) opt[37][4] = 0 100.67/32.52 c (31,19) opt[38][0] = 0 100.67/32.52 c (31,19) opt[38][1] = 1 100.67/32.52 c (31,19) opt[38][2] = 1 100.67/32.52 c (31,19) opt[38][3] = 0 100.67/32.52 c (31,19) opt[38][4] = 0 100.67/32.52 c (31,19) opt[39][0] = 0 100.67/32.52 c (31,19) opt[39][1] = 0 100.67/32.52 c (31,19) opt[39][2] = 0 100.67/32.52 c (31,19) opt[39][3] = 1 100.67/32.52 c (31,19) opt[39][4] = 0 100.67/32.52 c (31,19) opt[40][0] = 1 100.67/32.52 c (31,19) opt[40][1] = 1 100.67/32.52 c (31,19) opt[40][2] = 0 100.67/32.52 c (31,19) opt[40][3] = 0 100.67/32.52 c (31,19) opt[40][4] = 0 100.67/32.52 c (31,19) opt[41][0] = 0 100.67/32.52 c (31,19) opt[41][1] = 0 100.67/32.52 c (31,19) opt[41][2] = 1 100.67/32.52 c (31,19) opt[41][3] = 0 100.67/32.52 c (31,19) opt[41][4] = 1 100.67/32.52 c (31,19) opt[42][0] = 0 100.67/32.52 c (31,19) opt[42][1] = 1 100.67/32.52 c (31,19) opt[42][2] = 0 100.67/32.52 c (31,19) opt[42][3] = 1 100.67/32.52 c (31,19) opt[42][4] = 0 100.67/32.52 c (31,19) opt[43][0] = 1 100.67/32.52 c (31,19) opt[43][1] = 0 100.67/32.52 c (31,19) opt[43][2] = 0 100.67/32.52 c (31,19) opt[43][3] = 0 100.67/32.52 c (31,19) opt[43][4] = 0 100.67/32.52 c (31,19) opt[44][0] = 0 100.67/32.52 c (31,19) opt[44][1] = 1 100.67/32.52 c (31,19) opt[44][2] = 0 100.67/32.52 c (31,19) opt[44][3] = 1 100.67/32.52 c (31,19) opt[44][4] = 0 100.67/32.52 c (31,19) opt[45][0] = 0 100.67/32.52 c (31,19) opt[45][1] = 1 100.67/32.52 c (31,19) opt[45][2] = 0 100.67/32.52 c (31,19) opt[45][3] = 0 100.67/32.52 c (31,19) opt[45][4] = 0 100.67/32.52 c (31,19) opt[46][0] = 0 100.67/32.52 c (31,19) opt[46][1] = 0 100.67/32.52 c (31,19) opt[46][2] = 1 100.67/32.52 c (31,19) opt[46][3] = 0 100.67/32.52 c (31,19) opt[46][4] = 0 100.67/32.52 c (31,19) opt[47][0] = 0 100.67/32.52 c (31,19) opt[47][1] = 0 100.67/32.52 c (31,19) opt[47][2] = 0 100.67/32.52 c (31,19) opt[47][3] = 0 100.67/32.52 c (31,19) opt[47][4] = 1 100.67/32.52 c (31,19) opt[48][0] = 0 100.67/32.52 c (31,19) opt[48][1] = 1 100.67/32.52 c (31,19) opt[48][2] = 0 100.67/32.52 c (31,19) opt[48][3] = 0 100.67/32.52 c (31,19) opt[48][4] = 0 100.67/32.52 c (31,19) opt[49][0] = 0 100.67/32.52 c (31,19) opt[49][1] = 0 100.67/32.52 c (31,19) opt[49][2] = 1 100.67/32.52 c (31,19) opt[49][3] = 1 100.67/32.52 c (31,19) opt[49][4] = 0 100.67/32.52 c (31,19) opt[50][0] = 1 100.67/32.52 c (31,19) opt[50][1] = 0 100.67/32.52 c (31,19) opt[50][2] = 0 100.67/32.52 c (31,19) opt[50][3] = 1 100.67/32.52 c (31,19) opt[50][4] = 0 100.67/32.52 c (31,19) opt[51][0] = 0 100.67/32.52 c (31,19) opt[51][1] = 1 100.67/32.52 c (31,19) opt[51][2] = 0 100.67/32.52 c (31,19) opt[51][3] = 0 100.67/32.52 c (31,19) opt[51][4] = 0 100.67/32.52 c (31,19) opt[52][0] = 0 100.67/32.52 c (31,19) opt[52][1] = 1 100.67/32.52 c (31,19) opt[52][2] = 0 100.67/32.52 c (31,19) opt[52][3] = 0 100.67/32.52 c (31,19) opt[52][4] = 0 100.67/32.52 c (31,19) opt[53][0] = 1 100.67/32.52 c (31,19) opt[53][1] = 0 100.67/32.52 c (31,19) opt[53][2] = 1 100.67/32.52 c (31,19) opt[53][3] = 0 100.67/32.52 c (31,19) opt[53][4] = 1 100.67/32.52 c (31,19) opt[54][0] = 0 100.67/32.52 c (31,19) opt[54][1] = 1 100.67/32.52 c (31,19) opt[54][2] = 0 100.67/32.52 c (31,19) opt[54][3] = 1 100.67/32.52 c (31,19) opt[54][4] = 0 100.67/32.52 c (31,19) opt[55][0] = 1 100.67/32.52 c (31,19) opt[55][1] = 1 100.67/32.52 c (31,19) opt[55][2] = 0 100.67/32.52 c (31,19) opt[55][3] = 0 100.67/32.52 c (31,19) opt[55][4] = 0 100.67/32.52 c (31,19) opt[56][0] = 0 100.67/32.52 c (31,19) opt[56][1] = 0 100.67/32.52 c (31,19) opt[56][2] = 1 100.67/32.52 c (31,19) opt[56][3] = 1 100.67/32.52 c (31,19) opt[56][4] = 0 100.67/32.52 c (31,19) opt[57][0] = 1 100.67/32.52 c (31,19) opt[57][1] = 1 100.67/32.52 c (31,19) opt[57][2] = 0 100.67/32.52 c (31,19) opt[57][3] = 0 100.67/32.52 c (31,19) opt[57][4] = 0 100.67/32.52 c (31,19) opt[58][0] = 0 100.67/32.52 c (31,19) opt[58][1] = 1 100.67/32.52 c (31,19) opt[58][2] = 0 100.67/32.52 c (31,19) opt[58][3] = 0 100.67/32.52 c (31,19) opt[58][4] = 0 100.67/32.52 c (31,19) opt[59][0] = 0 100.67/32.52 c (31,19) opt[59][1] = 0 100.67/32.52 c (31,19) opt[59][2] = 1 100.67/32.52 c (31,19) opt[59][3] = 0 100.67/32.52 c (31,19) opt[59][4] = 0 100.67/32.52 c (31,19) opt[60][0] = 1 100.67/32.52 c (31,19) opt[60][1] = 1 100.67/32.52 c (31,19) opt[60][2] = 0 100.67/32.52 c (31,19) opt[60][3] = 1 100.67/32.52 c (31,19) opt[60][4] = 0 100.67/32.52 c (31,19) opt[61][0] = 0 100.67/32.52 c (31,19) opt[61][1] = 0 100.67/32.52 c (31,19) opt[61][2] = 0 100.67/32.52 c (31,19) opt[61][3] = 0 100.67/32.52 c (31,19) opt[61][4] = 1 100.67/32.52 c (31,19) opt[62][0] = 1 100.67/32.52 c (31,19) opt[62][1] = 1 100.67/32.52 c (31,19) opt[62][2] = 0 100.67/32.52 c (31,19) opt[62][3] = 1 100.67/32.52 c (31,19) opt[62][4] = 0 100.67/32.52 c (31,19) opt[63][0] = 0 100.67/32.52 c (31,19) opt[63][1] = 1 100.67/32.52 c (31,19) opt[63][2] = 1 100.67/32.52 c (31,19) opt[63][3] = 0 100.67/32.52 c (31,19) opt[63][4] = 0 100.67/32.52 c (31,19) opt[64][0] = 1 100.67/32.52 c (31,19) opt[64][1] = 0 100.67/32.52 c (31,19) opt[64][2] = 0 100.67/32.52 c (31,19) opt[64][3] = 0 100.67/32.52 c (31,19) opt[64][4] = 0 100.67/32.52 c (31,19) opt[65][0] = 0 100.67/32.52 c (31,19) opt[65][1] = 1 100.67/32.52 c (31,19) opt[65][2] = 0 100.67/32.52 c (31,19) opt[65][3] = 0 100.67/32.52 c (31,19) opt[65][4] = 0 100.67/32.52 c (31,19) opt[66][0] = 0 100.67/32.52 c (31,19) opt[66][1] = 0 100.67/32.52 c (31,19) opt[66][2] = 0 100.67/32.52 c (31,19) opt[66][3] = 0 100.67/32.52 c (31,19) opt[66][4] = 1 100.67/32.52 c (31,19) opt[67][0] = 1 100.67/32.52 c (31,19) opt[67][1] = 0 100.67/32.52 c (31,19) opt[67][2] = 0 100.67/32.52 c (31,19) opt[67][3] = 1 100.67/32.52 c (31,19) opt[67][4] = 0 100.67/32.52 c (31,19) opt[68][0] = 0 100.67/32.52 c (31,19) opt[68][1] = 1 100.67/32.52 c (31,19) opt[68][2] = 1 100.67/32.52 c (31,19) opt[68][3] = 1 100.67/32.52 c (31,19) opt[68][4] = 0 100.67/32.52 c (31,19) opt[69][0] = 0 100.67/32.52 c (31,19) opt[69][1] = 1 100.67/32.52 c (31,19) opt[69][2] = 0 100.67/32.52 c (31,19) opt[69][3] = 0 100.67/32.52 c (31,19) opt[69][4] = 0 100.67/32.52 c (31,19) opt[70][0] = 1 100.67/32.52 c (31,19) opt[70][1] = 0 100.67/32.52 c (31,19) opt[70][2] = 0 100.67/32.52 c (31,19) opt[70][3] = 0 100.67/32.52 c (31,19) opt[70][4] = 0 100.67/32.52 c (31,19) opt[71][0] = 0 100.67/32.52 c (31,19) opt[71][1] = 0 100.67/32.52 c (31,19) opt[71][2] = 1 100.67/32.52 c (31,19) opt[71][3] = 0 100.67/32.52 c (31,19) opt[71][4] = 0 100.67/32.52 c (31,19) opt[72][0] = 0 100.67/32.52 c (31,19) opt[72][1] = 1 100.67/32.52 c (31,19) opt[72][2] = 0 100.67/32.52 c (31,19) opt[72][3] = 0 100.67/32.52 c (31,19) opt[72][4] = 0 100.67/32.52 c (31,19) opt[73][0] = 1 100.67/32.52 c (31,19) opt[73][1] = 1 100.67/32.52 c (31,19) opt[73][2] = 0 100.67/32.52 c (31,19) opt[73][3] = 1 100.67/32.52 c (31,19) opt[73][4] = 0 100.67/32.52 c (31,19) opt[74][0] = 0 100.67/32.52 c (31,19) opt[74][1] = 0 100.67/32.52 c (31,19) opt[74][2] = 1 100.67/32.52 c (31,19) opt[74][3] = 0 100.67/32.52 c (31,19) opt[74][4] = 1 100.67/32.52 c (31,19) opt[75][0] = 1 100.67/32.52 c (31,19) opt[75][1] = 0 100.67/32.52 c (31,19) opt[75][2] = 0 100.67/32.52 c (31,19) opt[75][3] = 0 100.67/32.52 c (31,19) opt[75][4] = 0 100.67/32.52 c (31,19) opt[76][0] = 0 100.67/32.52 c (31,19) opt[76][1] = 1 100.67/32.52 c (31,19) opt[76][2] = 0 100.67/32.52 c (31,19) opt[76][3] = 0 100.67/32.52 c (31,19) opt[76][4] = 0 100.67/32.52 c (31,19) opt[77][0] = 1 100.67/32.52 c (31,19) opt[77][1] = 1 100.67/32.52 c (31,19) opt[77][2] = 0 100.67/32.52 c (31,19) opt[77][3] = 1 100.67/32.52 c (31,19) opt[77][4] = 0 100.67/32.52 c (31,19) opt[78][0] = 0 100.67/32.52 c (31,19) opt[78][1] = 0 100.67/32.52 c (31,19) opt[78][2] = 1 100.67/32.52 c (31,19) opt[78][3] = 0 100.67/32.52 c (31,19) opt[78][4] = 0 100.67/32.52 c (31,19) opt[79][0] = 0 100.67/32.52 c (31,19) opt[79][1] = 0 100.67/32.52 c (31,19) opt[79][2] = 0 100.67/32.52 c (31,19) opt[79][3] = 1 100.67/32.52 c (31,19) opt[79][4] = 0 100.67/32.52 c (31,19) opt[80][0] = 0 100.67/32.52 c (31,19) opt[80][1] = 1 100.67/32.52 c (31,19) opt[80][2] = 0 100.67/32.52 c (31,19) opt[80][3] = 0 100.67/32.52 c (31,19) opt[80][4] = 0 100.67/32.52 c (31,19) opt[81][0] = 0 100.67/32.52 c (31,19) opt[81][1] = 1 100.67/32.52 c (31,19) opt[81][2] = 0 100.67/32.52 c (31,19) opt[81][3] = 0 100.67/32.52 c (31,19) opt[81][4] = 0 100.67/32.52 c (31,19) opt[82][0] = 0 100.67/32.52 c (31,19) opt[82][1] = 0 100.67/32.52 c (31,19) opt[82][2] = 0 100.67/32.52 c (31,19) opt[82][3] = 0 100.67/32.52 c (31,19) opt[82][4] = 1 100.67/32.52 c (31,19) opt[83][0] = 1 100.67/32.52 c (31,19) opt[83][1] = 0 100.67/32.52 c (31,19) opt[83][2] = 1 100.67/32.52 c (31,19) opt[83][3] = 1 100.67/32.52 c (31,19) opt[83][4] = 0 100.67/32.52 c (31,19) opt[84][0] = 0 100.67/32.52 c (31,19) opt[84][1] = 1 100.67/32.52 c (31,19) opt[84][2] = 0 100.67/32.52 c (31,19) opt[84][3] = 0 100.67/32.52 c (31,19) opt[84][4] = 0 100.67/32.52 c (31,19) opt[85][0] = 1 100.67/32.52 c (31,19) opt[85][1] = 0 100.67/32.52 c (31,19) opt[85][2] = 0 100.67/32.52 c (31,19) opt[85][3] = 0 100.67/32.52 c (31,19) opt[85][4] = 0 100.67/32.52 c (31,19) opt[86][0] = 0 100.67/32.52 c (31,19) opt[86][1] = 1 100.67/32.52 c (31,19) opt[86][2] = 0 100.67/32.52 c (31,19) opt[86][3] = 0 100.67/32.52 c (31,19) opt[86][4] = 0 100.67/32.52 c (31,19) opt[87][0] = 1 100.67/32.52 c (31,19) opt[87][1] = 0 100.67/32.52 c (31,19) opt[87][2] = 0 100.67/32.52 c (31,19) opt[87][3] = 1 100.67/32.52 c (31,19) opt[87][4] = 0 100.67/32.52 c (31,19) opt[88][0] = 0 100.67/32.52 c (31,19) opt[88][1] = 1 100.67/32.52 c (31,19) opt[88][2] = 1 100.67/32.52 c (31,19) opt[88][3] = 0 100.67/32.52 c (31,19) opt[88][4] = 0 100.67/32.52 c (31,19) opt[89][0] = 1 100.67/32.52 c (31,19) opt[89][1] = 0 100.67/32.52 c (31,19) opt[89][2] = 0 100.67/32.52 c (31,19) opt[89][3] = 0 100.67/32.52 c (31,19) opt[89][4] = 1 100.67/32.52 c (31,19) opt[90][0] = 0 100.67/32.52 c (31,19) opt[90][1] = 1 100.67/32.52 c (31,19) opt[90][2] = 0 100.67/32.52 c (31,19) opt[90][3] = 1 100.67/32.52 c (31,19) opt[90][4] = 0 100.67/32.52 c (31,19) opt[91][0] = 0 100.67/32.52 c (31,19) opt[91][1] = 1 100.67/32.52 c (31,19) opt[91][2] = 0 100.67/32.52 c (31,19) opt[91][3] = 0 100.67/32.52 c (31,19) opt[91][4] = 0 100.67/32.53 c (31,19) opt[92][0] = 1 100.67/32.53 c (31,19) opt[92][1] = 0 100.67/32.53 c (31,19) opt[92][2] = 0 100.67/32.53 c (31,19) opt[92][3] = 1 100.67/32.53 c (31,19) opt[92][4] = 0 100.67/32.53 c (31,19) opt[93][0] = 0 100.67/32.53 c (31,19) opt[93][1] = 0 100.67/32.53 c (31,19) opt[93][2] = 1 100.67/32.53 c (31,19) opt[93][3] = 0 100.67/32.53 c (31,19) opt[93][4] = 0 100.67/32.53 c (31,19) opt[94][0] = 1 100.67/32.53 c (31,19) opt[94][1] = 1 100.67/32.53 c (31,19) opt[94][2] = 0 100.67/32.53 c (31,19) opt[94][3] = 0 100.67/32.53 c (31,19) opt[94][4] = 1 100.67/32.53 c (31,19) opt[95][0] = 0 100.67/32.53 c (31,19) opt[95][1] = 1 100.67/32.53 c (31,19) opt[95][2] = 0 100.67/32.53 c (31,19) opt[95][3] = 1 100.67/32.53 c (31,19) opt[95][4] = 0 100.67/32.53 c (31,19) opt[96][0] = 0 100.67/32.53 c (31,19) opt[96][1] = 0 100.67/32.53 c (31,19) opt[96][2] = 1 100.67/32.53 c (31,19) opt[96][3] = 0 100.67/32.53 c (31,19) opt[96][4] = 0 100.67/32.53 c (31,19) opt[97][0] = 1 100.67/32.53 c (31,19) opt[97][1] = 1 100.67/32.53 c (31,19) opt[97][2] = 0 100.67/32.53 c (31,19) opt[97][3] = 0 100.67/32.53 c (31,19) opt[97][4] = 0 100.67/32.53 c (31,19) opt[98][0] = 0 100.67/32.53 c (31,19) opt[98][1] = 1 100.67/32.53 c (31,19) opt[98][2] = 0 100.67/32.53 c (31,19) opt[98][3] = 1 100.67/32.53 c (31,19) opt[98][4] = 0 100.67/32.53 c (31,19) opt[99][0] = 1 100.67/32.53 c (31,19) opt[99][1] = 0 100.67/32.53 c (31,19) opt[99][2] = 1 100.67/32.53 c (31,19) opt[99][3] = 0 100.67/32.53 c (31,19) opt[99][4] = 0 100.67/32.53 c (31,19) opt[100][0] = 0 100.67/32.53 c (31,19) opt[100][1] = 1 100.67/32.53 c (31,19) opt[100][2] = 0 100.67/32.53 c (31,19) opt[100][3] = 0 100.67/32.53 c (31,19) opt[100][4] = 0 100.67/32.53 c (31,19) opt[101][0] = 1 100.67/32.53 c (31,19) opt[101][1] = 1 100.67/32.53 c (31,19) opt[101][2] = 0 100.67/32.53 c (31,19) opt[101][3] = 1 100.67/32.53 c (31,19) opt[101][4] = 0 100.67/32.53 c (31,19) opt[102][0] = 0 100.67/32.53 c (31,19) opt[102][1] = 0 100.67/32.53 c (31,19) opt[102][2] = 1 100.67/32.53 c (31,19) opt[102][3] = 0 100.67/32.53 c (31,19) opt[102][4] = 0 100.67/32.53 c (31,19) opt[103][0] = 1 100.67/32.53 c (31,19) opt[103][1] = 0 100.67/32.53 c (31,19) opt[103][2] = 0 100.67/32.53 c (31,19) opt[103][3] = 0 100.67/32.53 c (31,19) opt[103][4] = 0 100.67/32.53 c (31,19) opt[104][0] = 0 100.67/32.53 c (31,19) opt[104][1] = 1 100.67/32.53 c (31,19) opt[104][2] = 0 100.67/32.53 c (31,19) opt[104][3] = 1 100.67/32.53 c (31,19) opt[104][4] = 0 100.67/32.53 c (31,19) opt[105][0] = 1 100.67/32.53 c (31,19) opt[105][1] = 1 100.67/32.53 c (31,19) opt[105][2] = 0 100.67/32.53 c (31,19) opt[105][3] = 0 100.67/32.53 c (31,19) opt[105][4] = 0 100.67/32.53 c (31,19) opt[106][0] = 0 100.67/32.53 c (31,19) opt[106][1] = 0 100.67/32.53 c (31,19) opt[106][2] = 0 100.67/32.53 c (31,19) opt[106][3] = 0 100.67/32.53 c (31,19) opt[106][4] = 1 100.67/32.53 c (31,19) opt[107][0] = 1 100.67/32.53 c (31,19) opt[107][1] = 1 100.67/32.53 c (31,19) opt[107][2] = 1 100.67/32.53 c (31,19) opt[107][3] = 1 100.67/32.53 c (31,19) opt[107][4] = 0 100.67/32.53 c (31,19) opt[108][0] = 0 100.67/32.53 c (31,19) opt[108][1] = 1 100.67/32.53 c (31,19) opt[108][2] = 0 100.67/32.53 c (31,19) opt[108][3] = 0 100.67/32.53 c (31,19) opt[108][4] = 0 100.67/32.53 c (31,19) opt[109][0] = 1 100.67/32.53 c (31,19) opt[109][1] = 0 100.67/32.53 c (31,19) opt[109][2] = 0 100.67/32.53 c (31,19) opt[109][3] = 0 100.67/32.53 c (31,19) opt[109][4] = 0 100.67/32.53 c (31,19) opt[110][0] = 0 100.67/32.53 c (31,19) opt[110][1] = 0 100.67/32.53 c (31,19) opt[110][2] = 0 100.67/32.53 c (31,19) opt[110][3] = 1 100.67/32.53 c (31,19) opt[110][4] = 0 100.67/32.53 c (31,19) opt[111][0] = 1 100.67/32.53 c (31,19) opt[111][1] = 1 100.67/32.53 c (31,19) opt[111][2] = 0 100.67/32.53 c (31,19) opt[111][3] = 0 100.67/32.53 c (31,19) opt[111][4] = 1 100.67/32.53 c (31,19) opt[112][0] = 0 100.67/32.53 c (31,19) opt[112][1] = 1 100.67/32.53 c (31,19) opt[112][2] = 0 100.67/32.53 c (31,19) opt[112][3] = 1 100.67/32.53 c (31,19) opt[112][4] = 0 100.67/32.53 c (31,19) opt[113][0] = 1 100.67/32.53 c (31,19) opt[113][1] = 0 100.67/32.53 c (31,19) opt[113][2] = 0 100.67/32.53 c (31,19) opt[113][3] = 0 100.67/32.53 c (31,19) opt[113][4] = 0 100.67/32.53 c (31,19) opt[114][0] = 0 100.67/32.53 c (31,19) opt[114][1] = 0 100.67/32.53 c (31,19) opt[114][2] = 1 100.67/32.53 c (31,19) opt[114][3] = 0 100.67/32.53 c (31,19) opt[114][4] = 0 100.67/32.53 c (31,19) opt[115][0] = 0 100.67/32.53 c (31,19) opt[115][1] = 1 100.67/32.53 c (31,19) opt[115][2] = 0 100.67/32.53 c (31,19) opt[115][3] = 0 100.67/32.53 c (31,19) opt[115][4] = 0 100.67/32.53 c (31,19) opt[116][0] = 1 100.67/32.53 c (31,19) opt[116][1] = 0 100.67/32.53 c (31,19) opt[116][2] = 0 100.67/32.53 c (31,19) opt[116][3] = 1 100.67/32.53 c (31,19) opt[116][4] = 0 100.67/32.53 c (31,19) opt[117][0] = 0 100.67/32.53 c (31,19) opt[117][1] = 1 100.67/32.53 c (31,19) opt[117][2] = 1 100.67/32.53 c (31,19) opt[117][3] = 0 100.67/32.53 c (31,19) opt[117][4] = 0 100.67/32.53 c (31,19) opt[118][0] = 1 100.67/32.53 c (31,19) opt[118][1] = 1 100.67/32.53 c (31,19) opt[118][2] = 0 100.67/32.53 c (31,19) opt[118][3] = 0 100.67/32.53 c (31,19) opt[118][4] = 0 100.67/32.53 c (31,19) opt[119][0] = 0 100.67/32.53 c (31,19) opt[119][1] = 0 100.67/32.53 c (31,19) opt[119][2] = 0 100.67/32.53 c (31,19) opt[119][3] = 1 100.67/32.53 c (31,19) opt[119][4] = 0 100.67/32.53 c (31,19) opt[120][0] = 1 100.67/32.53 c (31,19) opt[120][1] = 1 100.67/32.53 c (31,19) opt[120][2] = 0 100.67/32.53 c (31,19) opt[120][3] = 0 100.67/32.53 c (31,19) opt[120][4] = 0 100.67/32.53 c (31,19) opt[121][0] = 0 100.67/32.53 c (31,19) opt[121][1] = 0 100.67/32.53 c (31,19) opt[121][2] = 1 100.67/32.53 c (31,19) opt[121][3] = 0 100.67/32.53 c (31,19) opt[121][4] = 0 100.67/32.53 c (31,19) opt[122][0] = 0 100.67/32.53 c (31,19) opt[122][1] = 1 100.67/32.53 c (31,19) opt[122][2] = 0 100.67/32.53 c (31,19) opt[122][3] = 0 100.67/32.53 c (31,19) opt[122][4] = 0 100.67/32.53 c (31,19) opt[123][0] = 1 100.67/32.53 c (31,19) opt[123][1] = 0 100.67/32.53 c (31,19) opt[123][2] = 0 100.67/32.53 c (31,19) opt[123][3] = 1 100.67/32.53 c (31,19) opt[123][4] = 1 100.67/32.53 c (31,19) opt[124][0] = 0 100.67/32.53 c (31,19) opt[124][1] = 0 100.67/32.53 c (31,19) opt[124][2] = 1 100.67/32.53 c (31,19) opt[124][3] = 1 100.67/32.53 c (31,19) opt[124][4] = 0 100.67/32.53 c (31,19) opt[125][0] = 1 100.67/32.53 c (31,19) opt[125][1] = 1 100.67/32.53 c (31,19) opt[125][2] = 0 100.67/32.53 c (31,19) opt[125][3] = 0 100.67/32.53 c (31,19) opt[125][4] = 0 100.67/32.53 c (31,19) opt[126][0] = 0 100.67/32.53 c (31,19) opt[126][1] = 1 100.67/32.53 c (31,19) opt[126][2] = 0 100.67/32.53 c (31,19) opt[126][3] = 0 100.67/32.53 c (31,19) opt[126][4] = 0 100.67/32.53 c (31,19) opt[127][0] = 1 100.67/32.53 c (31,19) opt[127][1] = 0 100.67/32.53 c (31,19) opt[127][2] = 0 100.67/32.53 c (31,19) opt[127][3] = 0 100.67/32.53 c (31,19) opt[127][4] = 0 100.67/32.53 c (31,19) opt[128][0] = 0 100.67/32.53 c (31,19) opt[128][1] = 0 100.67/32.53 c (31,19) opt[128][2] = 1 100.67/32.53 c (31,19) opt[128][3] = 0 100.67/32.53 c (31,19) opt[128][4] = 0 100.67/32.53 c (31,19) opt[129][0] = 0 100.67/32.53 c (31,19) opt[129][1] = 0 100.67/32.53 c (31,19) opt[129][2] = 0 100.67/32.53 c (31,19) opt[129][3] = 1 100.67/32.53 c (31,19) opt[129][4] = 0 100.67/32.53 c (31,19) opt[130][0] = 1 100.67/32.53 c (31,19) opt[130][1] = 0 100.67/32.53 c (31,19) opt[130][2] = 0 100.67/32.53 c (31,19) opt[130][3] = 0 100.67/32.53 c (31,19) opt[130][4] = 0 100.67/32.53 c (31,19) opt[131][0] = 0 100.67/32.53 c (31,19) opt[131][1] = 1 100.67/32.53 c (31,19) opt[131][2] = 1 100.67/32.53 c (31,19) opt[131][3] = 0 100.67/32.53 c (31,19) opt[131][4] = 0 100.67/32.53 c (31,19) opt[132][0] = 0 100.67/32.53 c (31,19) opt[132][1] = 0 100.67/32.53 c (31,19) opt[132][2] = 0 100.67/32.53 c (31,19) opt[132][3] = 1 100.67/32.53 c (31,19) opt[132][4] = 0 100.67/32.53 c (31,19) opt[133][0] = 0 100.67/32.53 c (31,19) opt[133][1] = 1 100.67/32.53 c (31,19) opt[133][2] = 0 100.67/32.53 c (31,19) opt[133][3] = 0 100.67/32.53 c (31,19) opt[133][4] = 0 100.67/32.53 c (31,19) opt[134][0] = 1 100.67/32.53 c (31,19) opt[134][1] = 1 100.67/32.53 c (31,19) opt[134][2] = 1 100.67/32.53 c (31,19) opt[134][3] = 1 100.67/32.53 c (31,19) opt[134][4] = 0 100.67/32.53 c (31,19) opt[135][0] = 0 100.67/32.53 c (31,19) opt[135][1] = 0 100.67/32.53 c (31,19) opt[135][2] = 0 100.67/32.53 c (31,19) opt[135][3] = 0 100.67/32.53 c (31,19) opt[135][4] = 1 100.67/32.53 c (31,19) opt[136][0] = 0 100.67/32.53 c (31,19) opt[136][1] = 1 100.67/32.53 c (31,19) opt[136][2] = 0 100.67/32.53 c (31,19) opt[136][3] = 0 100.67/32.53 c (31,19) opt[136][4] = 0 100.67/32.53 c (31,19) opt[137][0] = 1 100.67/32.53 c (31,19) opt[137][1] = 0 100.67/32.53 c (31,19) opt[137][2] = 0 100.67/32.53 c (31,19) opt[137][3] = 1 100.67/32.53 c (31,19) opt[137][4] = 0 100.67/32.53 c (31,19) opt[138][0] = 0 100.67/32.53 c (31,19) opt[138][1] = 1 100.67/32.53 c (31,19) opt[138][2] = 0 100.67/32.53 c (31,19) opt[138][3] = 0 100.67/32.53 c (31,19) opt[138][4] = 0 100.67/32.53 c (31,19) opt[139][0] = 0 100.67/32.53 c (31,19) opt[139][1] = 1 100.67/32.53 c (31,19) opt[139][2] = 0 100.67/32.53 c (31,19) opt[139][3] = 0 100.67/32.53 c (31,19) opt[139][4] = 0 100.67/32.53 c (31,19) opt[140][0] = 0 100.67/32.53 c (31,19) opt[140][1] = 0 100.67/32.53 c (31,19) opt[140][2] = 1 100.67/32.53 c (31,19) opt[140][3] = 0 100.67/32.53 c (31,19) opt[140][4] = 0 100.67/32.53 c (31,19) opt[141][0] = 1 100.67/32.53 c (31,19) opt[141][1] = 1 100.67/32.53 c (31,19) opt[141][2] = 0 100.67/32.53 c (31,19) opt[141][3] = 1 100.67/32.53 c (31,19) opt[141][4] = 1 100.67/32.53 c (31,19) opt[142][0] = 0 100.67/32.53 c (31,19) opt[142][1] = 1 100.67/32.53 c (31,19) opt[142][2] = 0 100.67/32.53 c (31,19) opt[142][3] = 0 100.67/32.53 c (31,19) opt[142][4] = 0 100.67/32.53 c (31,19) opt[143][0] = 0 100.67/32.53 c (31,19) opt[143][1] = 0 100.67/32.53 c (31,19) opt[143][2] = 1 100.67/32.53 c (31,19) opt[143][3] = 1 100.67/32.53 c (31,19) opt[143][4] = 0 100.67/32.53 c (31,19) opt[144][0] = 0 100.67/32.53 c (31,19) opt[144][1] = 1 100.67/32.53 c (31,19) opt[144][2] = 0 100.67/32.53 c (31,19) opt[144][3] = 0 100.67/32.53 c (31,19) opt[144][4] = 0 100.67/32.53 c (31,19) opt[145][0] = 1 100.67/32.53 c (31,19) opt[145][1] = 0 100.67/32.53 c (31,19) opt[145][2] = 0 100.67/32.53 c (31,19) opt[145][3] = 0 100.67/32.53 c (31,19) opt[145][4] = 0 100.67/32.53 c (31,19) opt[146][0] = 0 100.67/32.53 c (31,19) opt[146][1] = 1 100.67/32.53 c (31,19) opt[146][2] = 0 100.67/32.53 c (31,19) opt[146][3] = 0 100.67/32.53 c (31,19) opt[146][4] = 0 100.67/32.53 c (31,19) opt[147][0] = 1 100.67/32.53 c (31,19) opt[147][1] = 0 100.67/32.53 c (31,19) opt[147][2] = 1 100.67/32.53 c (31,19) opt[147][3] = 0 100.67/32.53 c (31,19) opt[147][4] = 0 100.67/32.53 c (31,19) opt[148][0] = 0 100.67/32.53 c (31,19) opt[148][1] = 1 100.67/32.53 c (31,19) opt[148][2] = 0 100.67/32.53 c (31,19) opt[148][3] = 0 100.67/32.53 c (31,19) opt[148][4] = 0 100.67/32.53 c (31,19) opt[149][0] = 0 100.67/32.53 c (31,19) opt[149][1] = 0 100.67/32.53 c (31,19) opt[149][2] = 0 100.67/32.53 c (31,19) opt[149][3] = 1 100.67/32.53 c (31,19) opt[149][4] = 0 100.67/32.53 c (31,19) opt[150][0] = 1 100.67/32.53 c (31,19) opt[150][1] = 1 100.67/32.53 c (31,19) opt[150][2] = 0 100.67/32.53 c (31,19) opt[150][3] = 1 100.67/32.53 c (31,19) opt[150][4] = 0 100.67/32.53 c (31,19) opt[151][0] = 0 100.67/32.53 c (31,19) opt[151][1] = 1 100.67/32.53 c (31,19) opt[151][2] = 1 100.67/32.53 c (31,19) opt[151][3] = 0 100.67/32.53 c (31,19) opt[151][4] = 0 100.67/32.53 c (31,19) opt[152][0] = 0 100.67/32.53 c (31,19) opt[152][1] = 0 100.67/32.53 c (31,19) opt[152][2] = 0 100.67/32.53 c (31,19) opt[152][3] = 0 100.67/32.53 c (31,19) opt[152][4] = 1 100.67/32.53 c (31,19) opt[153][0] = 1 100.67/32.53 c (31,19) opt[153][1] = 1 100.67/32.53 c (31,19) opt[153][2] = 0 100.67/32.53 c (31,19) opt[153][3] = 0 100.67/32.53 c (31,19) opt[153][4] = 0 100.67/32.53 c (31,19) opt[154][0] = 0 100.67/32.53 c (31,19) opt[154][1] = 0 100.67/32.53 c (31,19) opt[154][2] = 0 100.67/32.53 c (31,19) opt[154][3] = 1 100.67/32.53 c (31,19) opt[154][4] = 0 100.67/32.53 c (31,19) opt[155][0] = 1 100.67/32.53 c (31,19) opt[155][1] = 1 100.67/32.53 c (31,19) opt[155][2] = 1 100.67/32.53 c (31,19) opt[155][3] = 1 100.67/32.53 c (31,19) opt[155][4] = 0 100.67/32.53 c (31,19) opt[156][0] = 0 100.67/32.53 c (31,19) opt[156][1] = 1 100.67/32.53 c (31,19) opt[156][2] = 0 100.67/32.53 c (31,19) opt[156][3] = 0 100.67/32.53 c (31,19) opt[156][4] = 0 100.67/32.53 c (31,19) opt[157][0] = 1 100.67/32.53 c (31,19) opt[157][1] = 0 100.67/32.53 c (31,19) opt[157][2] = 0 100.67/32.53 c (31,19) opt[157][3] = 0 100.67/32.53 c (31,19) opt[157][4] = 0 100.67/32.53 c (31,19) opt[158][0] = 0 100.67/32.53 c (31,19) opt[158][1] = 1 100.67/32.53 c (31,19) opt[158][2] = 1 100.67/32.53 c (31,19) opt[158][3] = 0 100.67/32.53 c (31,19) opt[158][4] = 0 100.67/32.53 c (31,19) opt[159][0] = 0 100.67/32.53 c (31,19) opt[159][1] = 1 100.67/32.53 c (31,19) opt[159][2] = 0 100.67/32.53 c (31,19) opt[159][3] = 1 100.67/32.53 c (31,19) opt[159][4] = 0 100.67/32.53 c (31,19) opt[160][0] = 1 100.67/32.53 c (31,19) opt[160][1] = 0 100.67/32.53 c (31,19) opt[160][2] = 0 100.67/32.53 c (31,19) opt[160][3] = 0 100.67/32.53 c (31,19) opt[160][4] = 0 100.67/32.53 c (31,19) opt[161][0] = 0 100.67/32.53 c (31,19) opt[161][1] = 1 100.67/32.53 c (31,19) opt[161][2] = 1 100.67/32.53 c (31,19) opt[161][3] = 1 100.67/32.53 c (31,19) opt[161][4] = 0 100.67/32.53 c (31,19) opt[162][0] = 1 100.67/32.53 c (31,19) opt[162][1] = 0 100.67/32.53 c (31,19) opt[162][2] = 0 100.67/32.53 c (31,19) opt[162][3] = 0 100.67/32.53 c (31,19) opt[162][4] = 0 100.67/32.53 c (31,19) opt[163][0] = 0 100.67/32.53 c (31,19) opt[163][1] = 1 100.67/32.53 c (31,19) opt[163][2] = 0 100.67/32.53 c (31,19) opt[163][3] = 0 100.67/32.53 c (31,19) opt[163][4] = 0 100.67/32.53 c (31,19) opt[164][0] = 0 100.67/32.53 c (31,19) opt[164][1] = 0 100.67/32.53 c (31,19) opt[164][2] = 1 100.67/32.53 c (31,19) opt[164][3] = 0 100.67/32.53 c (31,19) opt[164][4] = 1 100.67/32.53 c (31,19) opt[165][0] = 1 100.67/32.53 c (31,19) opt[165][1] = 1 100.67/32.53 c (31,19) opt[165][2] = 0 100.67/32.53 c (31,19) opt[165][3] = 0 100.67/32.53 c (31,19) opt[165][4] = 0 100.67/32.53 c (31,19) opt[166][0] = 0 100.67/32.53 c (31,19) opt[166][1] = 1 100.67/32.53 c (31,19) opt[166][2] = 0 100.67/32.53 c (31,19) opt[166][3] = 0 100.67/32.53 c (31,19) opt[166][4] = 0 100.67/32.53 c (31,19) opt[167][0] = 0 100.67/32.53 c (31,19) opt[167][1] = 0 100.67/32.53 c (31,19) opt[167][2] = 0 100.67/32.53 c (31,19) opt[167][3] = 1 100.67/32.53 c (31,19) opt[167][4] = 0 100.67/32.53 c (31,19) opt[168][0] = 1 100.67/32.53 c (31,19) opt[168][1] = 1 100.67/32.53 c (31,19) opt[168][2] = 0 100.67/32.53 c (31,19) opt[168][3] = 0 100.67/32.53 c (31,19) opt[168][4] = 0 100.67/32.53 c (31,19) opt[169][0] = 0 100.67/32.53 c (31,19) opt[169][1] = 0 100.67/32.53 c (31,19) opt[169][2] = 1 100.67/32.53 c (31,19) opt[169][3] = 0 100.67/32.53 c (31,19) opt[169][4] = 1 100.67/32.53 c (31,19) opt[170][0] = 0 100.67/32.53 c (31,19) opt[170][1] = 1 100.67/32.53 c (31,19) opt[170][2] = 0 100.67/32.53 c (31,19) opt[170][3] = 1 100.67/32.53 c (31,19) opt[170][4] = 0 100.67/32.53 c (31,19) opt[171][0] = 0 100.67/32.53 c (31,19) opt[171][1] = 1 100.67/32.53 c (31,19) opt[171][2] = 0 100.67/32.53 c (31,19) opt[171][3] = 0 100.67/32.53 c (31,19) opt[171][4] = 0 100.67/32.53 c (31,19) opt[172][0] = 0 100.67/32.53 c (31,19) opt[172][1] = 0 100.67/32.53 c (31,19) opt[172][2] = 0 100.67/32.53 c (31,19) opt[172][3] = 1 100.67/32.53 c (31,19) opt[172][4] = 0 100.67/32.53 c (31,19) opt[173][0] = 1 100.67/32.53 c (31,19) opt[173][1] = 1 100.67/32.53 c (31,19) opt[173][2] = 0 100.67/32.53 c (31,19) opt[173][3] = 0 100.67/32.53 c (31,19) opt[173][4] = 0 100.67/32.53 c (31,19) opt[174][0] = 0 100.67/32.53 c (31,19) opt[174][1] = 1 100.67/32.53 c (31,19) opt[174][2] = 0 100.67/32.53 c (31,19) opt[174][3] = 0 100.67/32.53 c (31,19) opt[174][4] = 0 100.67/32.53 c (31,19) opt[175][0] = 1 100.67/32.53 c (31,19) opt[175][1] = 0 100.67/32.53 c (31,19) opt[175][2] = 1 100.67/32.53 c (31,19) opt[175][3] = 0 100.67/32.53 c (31,19) opt[175][4] = 0 100.67/32.53 c (31,19) opt[176][0] = 0 100.67/32.53 c (31,19) opt[176][1] = 0 100.67/32.53 c (31,19) opt[176][2] = 0 100.67/32.53 c (31,19) opt[176][3] = 0 100.67/32.53 c (31,19) opt[176][4] = 1 100.67/32.53 c (31,19) opt[177][0] = 1 100.67/32.53 c (31,19) opt[177][1] = 1 100.67/32.53 c (31,19) opt[177][2] = 0 100.67/32.53 c (31,19) opt[177][3] = 0 100.67/32.53 c (31,19) opt[177][4] = 0 100.67/32.53 c (31,19) opt[178][0] = 0 100.67/32.53 c (31,19) opt[178][1] = 0 100.67/32.53 c (31,19) opt[178][2] = 1 100.67/32.53 c (31,19) opt[178][3] = 1 100.67/32.53 c (31,19) opt[178][4] = 0 100.67/32.53 c (31,19) opt[179][0] = 1 100.67/32.53 c (31,19) opt[179][1] = 1 100.67/32.53 c (31,19) opt[179][2] = 0 100.67/32.53 c (31,19) opt[179][3] = 1 100.67/32.53 c (31,19) opt[179][4] = 0 100.67/32.53 c (31,19) opt[180][0] = 0 100.67/32.53 c (31,19) opt[180][1] = 1 100.67/32.53 c (31,19) opt[180][2] = 0 100.67/32.53 c (31,19) opt[180][3] = 0 100.67/32.53 c (31,19) opt[180][4] = 0 100.67/32.53 c (31,19) opt[181][0] = 1 100.67/32.53 c (31,19) opt[181][1] = 0 100.67/32.53 c (31,19) opt[181][2] = 0 100.67/32.53 c (31,19) opt[181][3] = 0 100.67/32.53 c (31,19) opt[181][4] = 0 100.67/32.53 c (31,19) opt[182][0] = 0 100.67/32.53 c (31,19) opt[182][1] = 0 100.67/32.53 c (31,19) opt[182][2] = 1 100.67/32.53 c (31,19) opt[182][3] = 0 100.67/32.53 c (31,19) opt[182][4] = 1 100.67/32.53 c (31,19) opt[183][0] = 1 100.67/32.53 c (31,19) opt[183][1] = 0 100.67/32.53 c (31,19) opt[183][2] = 0 100.67/32.53 c (31,19) opt[183][3] = 1 100.67/32.53 c (31,19) opt[183][4] = 0 100.67/32.53 c (31,19) opt[184][0] = 0 100.67/32.53 c (31,19) opt[184][1] = 1 100.67/32.53 c (31,19) opt[184][2] = 0 100.67/32.53 c (31,19) opt[184][3] = 1 100.67/32.53 c (31,19) opt[184][4] = 0 100.67/32.53 c (31,19) opt[185][0] = 1 100.67/32.53 c (31,19) opt[185][1] = 0 100.67/32.53 c (31,19) opt[185][2] = 0 100.67/32.53 c (31,19) opt[185][3] = 0 100.67/32.53 c (31,19) opt[185][4] = 0 100.67/32.53 c (31,19) opt[186][0] = 0 100.67/32.53 c (31,19) opt[186][1] = 1 100.67/32.53 c (31,19) opt[186][2] = 0 100.67/32.53 c (31,19) opt[186][3] = 0 100.67/32.53 c (31,19) opt[186][4] = 0 100.67/32.53 c (31,19) opt[187][0] = 1 100.67/32.53 c (31,19) opt[187][1] = 0 100.67/32.53 c (31,19) opt[187][2] = 1 100.67/32.53 c (31,19) opt[187][3] = 0 100.67/32.53 c (31,19) opt[187][4] = 0 100.67/32.53 c (31,19) opt[188][0] = 0 100.67/32.53 c (31,19) opt[188][1] = 1 100.67/32.53 c (31,19) opt[188][2] = 0 100.67/32.53 c (31,19) opt[188][3] = 0 100.67/32.53 c (31,19) opt[188][4] = 0 100.67/32.53 c (31,19) opt[189][0] = 0 100.67/32.53 c (31,19) opt[189][1] = 0 100.67/32.53 c (31,19) opt[189][2] = 0 100.67/32.53 c (31,19) opt[189][3] = 1 100.67/32.53 c (31,19) opt[189][4] = 0 100.67/32.53 c (31,19) opt[190][0] = 1 100.67/32.53 c (31,19) opt[190][1] = 0 100.67/32.53 c (31,19) opt[190][2] = 1 100.67/32.53 c (31,19) opt[190][3] = 0 100.67/32.53 c (31,19) opt[190][4] = 0 100.67/32.53 c (31,19) opt[191][0] = 0 100.67/32.53 c (31,19) opt[191][1] = 1 100.67/32.53 c (31,19) opt[191][2] = 0 100.67/32.53 c (31,19) opt[191][3] = 0 100.67/32.53 c (31,19) opt[191][4] = 0 100.67/32.53 c (31,19) opt[192][0] = 1 100.67/32.53 c (31,19) opt[192][1] = 1 100.67/32.53 c (31,19) opt[192][2] = 0 100.67/32.53 c (31,19) opt[192][3] = 0 100.67/32.53 c (31,19) opt[192][4] = 0 100.67/32.53 c (31,19) opt[193][0] = 0 100.67/32.53 c (31,19) opt[193][1] = 0 100.67/32.53 c (31,19) opt[193][2] = 0 100.67/32.53 c (31,19) opt[193][3] = 1 100.67/32.53 c (31,19) opt[193][4] = 1 100.67/32.53 c (31,19) opt[194][0] = 1 100.67/32.53 c (31,19) opt[194][1] = 0 100.67/32.53 c (31,19) opt[194][2] = 1 100.67/32.53 c (31,19) opt[194][3] = 1 100.67/32.53 c (31,19) opt[194][4] = 0 100.67/32.53 c (31,19) opt[195][0] = 0 100.67/32.53 c (31,19) opt[195][1] = 1 100.67/32.53 c (31,19) opt[195][2] = 0 100.67/32.53 c (31,19) opt[195][3] = 0 100.67/32.53 c (31,19) opt[195][4] = 0 100.67/32.53 c (31,19) opt[196][0] = 0 100.67/32.53 c (31,19) opt[196][1] = 1 100.67/32.53 c (31,19) opt[196][2] = 0 100.67/32.53 c (31,19) opt[196][3] = 0 100.67/32.53 c (31,19) opt[196][4] = 0 100.67/32.53 c (31,19) opt[197][0] = 1 100.67/32.53 c (31,19) opt[197][1] = 0 100.67/32.53 c (31,19) opt[197][2] = 1 100.67/32.53 c (31,19) opt[197][3] = 0 100.67/32.53 c (31,19) opt[197][4] = 0 100.67/32.53 c (31,19) opt[198][0] = 0 100.67/32.53 c (31,19) opt[198][1] = 1 100.67/32.53 c (31,19) opt[198][2] = 0 100.67/32.53 c (31,19) opt[198][3] = 1 100.67/32.53 c (31,19) opt[198][4] = 0 100.67/32.53 c (31,19) opt[199][0] = 0 100.67/32.53 c (31,19) opt[199][1] = 0 100.67/32.53 c (31,19) opt[199][2] = 0 100.67/32.53 c (31,19) opt[199][3] = 0 100.67/32.53 c (31,19) opt[199][4] = 1 100.67/32.53 s SATISFIABLE 100.67/32.53 v <instantiation> 100.67/32.53 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> 100.67/32.53 v <values>23 25 17 11 2 6 19 3 9 18 16 9 5 18 11 6 8 19 2 21 3 2 16 25 20 19 2 8 7 2 19 2 15 2 18 14 2 1 9 18 5 12 3 19 3 2 6 8 2 15 1 2 2 10 3 5 15 5 2 6 11 8 11 9 19 25 8 1 20 25 19 6 2 11 12 19 2 11 6 18 2 2 8 21 2 19 25 1 9 16 3 2 1 6 13 3 6 5 3 0 25 11 6 19 3 5 8 7 2 19 18 13 3 19 6 2 1 9 5 18 5 6 2 4 15 5 2 19 6 18 19 9 18 2 7 8 25 1 2 25 6 22 2 15 2 19 2 0 2 18 11 9 8 5 18 7 2 19 9 3 19 20 19 2 24 5 2 18 5 12 3 2 18 5 2 0 8 5 15 11 2 19 12 1 3 19 2 0 25 18 0 2 5 17 21 2 2 0 3 8 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 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 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 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 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1</values> 100.67/32.53 v </instantiation> 100.67/32.53 c (32,19) Show results End 100.67/32.53 c (32,19) Heap : 1470 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 100.67/32.53 c (32,19) 0,0,11,11,12,12,19,31,32,STOP-AFTER(ALL) 100.67/32.53 c END-Prog: Fri Jul 27 06:08:27 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 (13589 MiB free)
memory of node 1: 16384 MiB (13990 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296905-1532664475/watcher-4296905-1532664475 -o /tmp/evaluation-result-4296905-1532664475/solver-4296905-1532664475 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532664469-5802 --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-4296905-1532664475.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5934, runsolver pid=5931
[startup+0.10015 s]*
/proc/loadavg: 8.12 7.87 6.46 2/198 5954
/proc/meminfo: memFree=28144668/32770624 swapFree=67108532/67108860
[pid=5934] ppid=5931 vsize=27312552 memory=109980 CPUtime=0.1 cores=0-7
/proc/5934/stat : 5934 (java) S 5931 5934 5775 0 -1 1077944320 6515 0 0 0 8 2 0 0 20 0 20 0 84010637 27968053248 27495 33554432000 4194304 4196468 140736355868912 140736355851456 140064843071223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
/proc/5934/statm: 6828138 27495 2750 1 0 6790598 0
[pid=5934/tid=5936] ppid=5931 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5934/task/5936/stat : 5936 (java) R 5931 5934 5775 0 -1 4202560 4625 0 0 0 7 2 0 0 20 0 20 0 84010638 27968053248 27495 33554432000 4194304 4196468 140736355868912 140064814876696 140064827151710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5937] ppid=5931 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5934/task/5937/stat : 5937 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 27495 33554432000 4194304 4196468 140736355868912 140064847313296 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5938] ppid=5931 vsize=27312552 memory=139698142992000 CPUtime=0 cores=0-7
/proc/5934/task/5938/stat : 5938 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 27495 33554432000 4194304 4196468 140736355868912 140064661469456 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5939] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5939/stat : 5939 (java) S 5931 5934 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 27495 33554432000 4194304 4196468 140736355868912 140064660417168 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5940] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5940/stat : 5940 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 27495 33554432000 4194304 4196468 140736355868912 140064659364368 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5941] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5941/stat : 5941 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 27495 33554432000 4194304 4196468 140736355868912 140064658312080 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5942] ppid=5931 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5934/task/5942/stat : 5942 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 27495 33554432000 4194304 4196468 140736355868912 140064657259280 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5943] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5943/stat : 5943 (java) S 5931 5934 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 27495 33554432000 4194304 4196468 140736355868912 140064656206992 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5944] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5944/stat : 5944 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 27495 33554432000 4194304 4196468 140736355868912 140064259210256 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5945] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5945/stat : 5945 (java) S 5931 5934 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84010642 27968053248 27495 33554432000 4194304 4196468 140736355868912 140062961367152 140064843082370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5946] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5946/stat : 5946 (java) S 5931 5934 5775 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84010642 27968053248 27495 33554432000 4194304 4196468 140736355868912 140062775829280 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5947] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5947/stat : 5947 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010642 27968053248 27495 33554432000 4194304 4196468 140736355868912 140062507394160 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5948] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5948/stat : 5948 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 27495 33554432000 4194304 4196468 140736355868912 140062132885584 140064843089819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5949] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5949/stat : 5949 (java) S 5931 5934 5775 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 27495 33554432000 4194304 4196468 140736355868912 140062960314992 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5950] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5950/stat : 5950 (java) S 5931 5934 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 27495 33554432000 4194304 4196468 140736355868912 140062959262192 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5951] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5951/stat : 5951 (java) S 5931 5934 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 27495 33554432000 4194304 4196468 140736355868912 140062958209904 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5952] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5952/stat : 5952 (java) S 5931 5934 5775 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 27495 33554432000 4194304 4196468 140736355868912 140062957157104 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5953] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5953/stat : 5953 (java) S 5931 5934 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 27495 33554432000 4194304 4196468 140736355868912 140061634980192 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5954] ppid=5931 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5934/task/5954/stat : 5954 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 27495 33554432000 4194304 4196468 140736355868912 140062956103984 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109980 KiB
[startup+0.20991 s]*
/proc/loadavg: 8.12 7.87 6.46 3/198 5954
/proc/meminfo: memFree=28128544/32770624 swapFree=67108532/67108860
[pid=5934] ppid=5931 vsize=27312552 memory=124408 CPUtime=0.24 cores=0-7
/proc/5934/stat : 5934 (java) S 5931 5934 5775 0 -1 1077944320 10310 0 0 0 21 3 0 0 20 0 20 0 84010637 27968053248 31102 33554432000 4194304 4196468 140736355868912 140736355851456 140064843071223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
/proc/5934/statm: 6828138 31102 2910 1 0 6790598 0
[pid=5934/tid=5936] ppid=5931 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/5934/task/5936/stat : 5936 (java) R 5931 5934 5775 0 -1 4202560 8211 0 0 0 17 3 0 0 20 0 20 0 84010638 27968053248 31102 33554432000 4194304 4196468 140736355868912 140064814869968 140064843083158 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5937] ppid=5931 vsize=27312552 memory=11921 CPUtime=0 cores=0-7
/proc/5934/task/5937/stat : 5937 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31102 33554432000 4194304 4196468 140736355868912 140064847313296 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5938] ppid=5931 vsize=27312552 memory=139698142998187 CPUtime=0 cores=0-7
/proc/5934/task/5938/stat : 5938 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31102 33554432000 4194304 4196468 140736355868912 140064661469456 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5939] ppid=5931 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5934/task/5939/stat : 5939 (java) S 5931 5934 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31102 33554432000 4194304 4196468 140736355868912 140064660417168 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5940] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5940/stat : 5940 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31102 33554432000 4194304 4196468 140736355868912 140064659364368 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5941] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5941/stat : 5941 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31102 33554432000 4194304 4196468 140736355868912 140064658312080 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5942] ppid=5931 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5934/task/5942/stat : 5942 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31102 33554432000 4194304 4196468 140736355868912 140064657259280 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5943] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5943/stat : 5943 (java) S 5931 5934 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31102 33554432000 4194304 4196468 140736355868912 140064656206992 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5944] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5944/stat : 5944 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31102 33554432000 4194304 4196468 140736355868912 140064259210256 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5945] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5945/stat : 5945 (java) S 5931 5934 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84010642 27968053248 31102 33554432000 4194304 4196468 140736355868912 140062961367152 140064843082370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5946] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5946/stat : 5946 (java) S 5931 5934 5775 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84010642 27968053248 31102 33554432000 4194304 4196468 140736355868912 140062775829280 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5947] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5947/stat : 5947 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010642 27968053248 31102 33554432000 4194304 4196468 140736355868912 140062507394160 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5948] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5948/stat : 5948 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 31102 33554432000 4194304 4196468 140736355868912 140062132885584 140064843089819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5949] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5949/stat : 5949 (java) S 5931 5934 5775 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 31102 33554432000 4194304 4196468 140736355868912 140062960314992 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5950] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5950/stat : 5950 (java) S 5931 5934 5775 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 31102 33554432000 4194304 4196468 140736355868912 140062959262192 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5951] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5951/stat : 5951 (java) S 5931 5934 5775 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 31102 33554432000 4194304 4196468 140736355868912 140062958209904 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5952] ppid=5931 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/5934/task/5952/stat : 5952 (java) S 5931 5934 5775 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 20 0 84010645 27968053248 31102 33554432000 4194304 4196468 140736355868912 140062957157104 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5953] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5953/stat : 5953 (java) S 5931 5934 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 31102 33554432000 4194304 4196468 140736355868912 140061634980192 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5954] ppid=5931 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5934/task/5954/stat : 5954 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 31102 33554432000 4194304 4196468 140736355868912 140062956103984 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124408 KiB
[startup+0.30928 s]*
/proc/loadavg: 8.12 7.87 6.46 3/198 5954
/proc/meminfo: memFree=28125240/32770624 swapFree=67108532/67108860
[pid=5934] ppid=5931 vsize=27312552 memory=127616 CPUtime=0.42 cores=0-7
/proc/5934/stat : 5934 (java) S 5931 5934 5775 0 -1 1077944320 10861 0 0 0 38 4 0 0 20 0 20 0 84010637 27968053248 31904 33554432000 4194304 4196468 140736355868912 140736355851456 140064843071223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
/proc/5934/statm: 6828138 31904 2961 1 0 6790598 0
[pid=5934/tid=5936] ppid=5931 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5934/task/5936/stat : 5936 (java) R 5931 5934 5775 0 -1 4202560 8581 0 0 0 26 3 0 0 20 0 20 0 84010638 27968053248 31904 33554432000 4194304 4196468 140736355868912 140064814862672 140064823347107 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5937] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5937/stat : 5937 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31904 33554432000 4194304 4196468 140736355868912 140064847313296 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5938] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5938/stat : 5938 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31904 33554432000 4194304 4196468 140736355868912 140064661469456 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5939] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5939/stat : 5939 (java) S 5931 5934 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31904 33554432000 4194304 4196468 140736355868912 140064660417168 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5940] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5940/stat : 5940 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31904 33554432000 4194304 4196468 140736355868912 140064659364368 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5941] ppid=5931 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/5934/task/5941/stat : 5941 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31904 33554432000 4194304 4196468 140736355868912 140064658312080 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5942] ppid=5931 vsize=27312552 memory=139698039255983 CPUtime=0 cores=0-7
/proc/5934/task/5942/stat : 5942 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31904 33554432000 4194304 4196468 140736355868912 140064657259280 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5943] ppid=5931 vsize=27312552 memory=139698039258288 CPUtime=0 cores=0-7
/proc/5934/task/5943/stat : 5943 (java) S 5931 5934 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31904 33554432000 4194304 4196468 140736355868912 140064656206992 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5944] ppid=5931 vsize=27312552 memory=139698039260592 CPUtime=0 cores=0-7
/proc/5934/task/5944/stat : 5944 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27968053248 31904 33554432000 4194304 4196468 140736355868912 140064259210256 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5945] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5945/stat : 5945 (java) S 5931 5934 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84010642 27968053248 31904 33554432000 4194304 4196468 140736355868912 140062961367152 140064843082370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5946] ppid=5931 vsize=27312552 memory=279396078528144 CPUtime=0 cores=0-7
/proc/5934/task/5946/stat : 5946 (java) S 5931 5934 5775 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84010642 27968053248 31904 33554432000 4194304 4196468 140736355868912 140062775829280 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5947] ppid=5931 vsize=27312552 memory=279396078535056 CPUtime=0 cores=0-7
/proc/5934/task/5947/stat : 5947 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010642 27968053248 31904 33554432000 4194304 4196468 140736355868912 140062507394160 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5948] ppid=5931 vsize=27312552 memory=279396078476336 CPUtime=0 cores=0-7
/proc/5934/task/5948/stat : 5948 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 31904 33554432000 4194304 4196468 140736355868912 140062132885584 140064843089819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5949] ppid=5931 vsize=27312552 memory=279396078548880 CPUtime=0.01 cores=0-7
/proc/5934/task/5949/stat : 5949 (java) S 5931 5934 5775 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 84010645 27968053248 31904 33554432000 4194304 4196468 140736355868912 140062960314992 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5950] ppid=5931 vsize=27312552 memory=279396078555792 CPUtime=0.01 cores=0-7
/proc/5934/task/5950/stat : 5950 (java) S 5931 5934 5775 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 20 0 84010645 27968053248 31904 33554432000 4194304 4196468 140736355868912 140062959262192 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5951] ppid=5931 vsize=27312552 memory=279396078553488 CPUtime=0.01 cores=0-7
/proc/5934/task/5951/stat : 5951 (java) S 5931 5934 5775 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 20 0 84010645 27968053248 31904 33554432000 4194304 4196468 140736355868912 140062958209904 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5952] ppid=5931 vsize=27312552 memory=279396078570096 CPUtime=0.07 cores=0-7
/proc/5934/task/5952/stat : 5952 (java) S 5931 5934 5775 0 -1 1077944384 303 0 0 0 7 0 0 0 20 0 20 0 84010645 27968053248 31904 33554432000 4194304 4196468 140736355868912 140062957157104 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5953] ppid=5931 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5953/stat : 5953 (java) S 5931 5934 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 31904 33554432000 4194304 4196468 140736355868912 140061634980192 140064843081429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5954] ppid=5931 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5934/task/5954/stat : 5954 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010645 27968053248 31904 33554432000 4194304 4196468 140736355868912 140062956103984 140064843082370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127616 KiB
[startup+0.700814 s]
/proc/loadavg: 8.12 7.87 6.46 2/198 5954
/proc/meminfo: memFree=28101908/32770624 swapFree=67108532/67108860
[pid=5934] ppid=5931 vsize=27318824 memory=166904 CPUtime=1.03 cores=0-7
/proc/5934/stat : 5934 (java) S 5931 5934 5775 0 -1 1077944320 17837 0 0 0 97 6 0 0 20 0 20 0 84010637 27974475776 41726 33554432000 4194304 4196468 140736355868912 140736355851456 140064843071223 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
/proc/5934/statm: 6829706 41726 3143 1 0 6791110 0
[pid=5934/tid=5936] ppid=5931 vsize=27318824 memory=0 CPUtime=0.66 cores=0-7
/proc/5934/task/5936/stat : 5936 (java) R 5931 5934 5775 0 -1 4202560 15002 0 0 0 62 4 0 0 20 0 20 0 84010638 27974475776 41726 33554432000 4194304 4196468 140736355868912 140064814906800 140064827151710 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5937] ppid=5931 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5937/stat : 5937 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27974475776 41726 33554432000 4194304 4196468 140736355868912 140064847313296 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5938] ppid=5931 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5938/stat : 5938 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27974475776 41726 33554432000 4194304 4196468 140736355868912 140064661469456 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5939] ppid=5931 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5939/stat : 5939 (java) S 5931 5934 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84010640 27974475776 41726 33554432000 4194304 4196468 140736355868912 140064660417168 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5940] ppid=5931 vsize=27318824 memory=7120 CPUtime=0 cores=0-7
/proc/5934/task/5940/stat : 5940 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27974475776 41726 33554432000 4194304 4196468 140736355868912 140064659364368 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5941] ppid=5931 vsize=27318824 memory=1012 CPUtime=0 cores=0-7
/proc/5934/task/5941/stat : 5941 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27974475776 41726 33554432000 4194304 4196468 140736355868912 140064658312080 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5942] ppid=5931 vsize=27318824 memory=1444 CPUtime=0 cores=0-7
/proc/5934/task/5942/stat : 5942 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27974475776 41726 33554432000 4194304 4196468 140736355868912 140064657259280 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5943] ppid=5931 vsize=27318824 memory=1200 CPUtime=0 cores=0-7
/proc/5934/task/5943/stat : 5943 (java) S 5931 5934 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84010640 27974475776 41726 33554432000 4194304 4196468 140736355868912 140064656206992 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5944] ppid=5931 vsize=27318824 memory=15436 CPUtime=0 cores=0-7
/proc/5934/task/5944/stat : 5944 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84010640 27974475776 41726 33554432000 4194304 4196468 140736355868912 140064259210256 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5945] ppid=5931 vsize=27318824 memory=15024 CPUtime=0 cores=0-7
/proc/5934/task/5945/stat : 5945 (java) S 5931 5934 5775 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84010642 27974475776 41726 33554432000 4194304 4196468 140736355868912 140062961367152 140064843082370 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
################
# More data... #
################
/proc/5934/task/5936/stat : 5936 (java) S 5931 5934 5775 0 -1 1077944384 21310 0 0 0 1882 102 0 0 20 0 24 0 84010638 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064814910464 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5937] ppid=5931 vsize=27984808 memory=4872558044660077418 CPUtime=0.16 cores=0-7
/proc/5934/task/5937/stat : 5937 (java) S 5931 5934 5775 0 -1 1077944384 115 0 0 0 10 6 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064847313296 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5938] ppid=5931 vsize=27984808 memory=792 CPUtime=0.18 cores=0-7
/proc/5934/task/5938/stat : 5938 (java) S 5931 5934 5775 0 -1 1077944384 106 0 0 0 10 8 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064661469456 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5939] ppid=5931 vsize=27984808 memory=1960 CPUtime=0.16 cores=0-7
/proc/5934/task/5939/stat : 5939 (java) S 5931 5934 5775 0 -1 1077944384 136 0 0 0 10 6 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064660417168 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5940] ppid=5931 vsize=27984808 memory=5756 CPUtime=0.18 cores=0-7
/proc/5934/task/5940/stat : 5940 (java) S 5931 5934 5775 0 -1 1077944384 109 0 0 0 10 8 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064659364368 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5941] ppid=5931 vsize=27984808 memory=4616 CPUtime=0.17 cores=0-7
/proc/5934/task/5941/stat : 5941 (java) S 5931 5934 5775 0 -1 1077944384 136 0 0 0 10 7 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064658312080 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5942] ppid=5931 vsize=27984808 memory=1232 CPUtime=0.18 cores=0-7
/proc/5934/task/5942/stat : 5942 (java) S 5931 5934 5775 0 -1 1077944384 151 0 0 0 12 6 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064657259280 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5943] ppid=5931 vsize=27984808 memory=12012 CPUtime=0.18 cores=0-7
/proc/5934/task/5943/stat : 5943 (java) S 5931 5934 5775 0 -1 1077944384 130 0 0 0 11 7 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064656206992 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5944] ppid=5931 vsize=27984808 memory=4616 CPUtime=0.16 cores=0-7
/proc/5934/task/5944/stat : 5944 (java) S 5931 5934 5775 0 -1 1077944384 141 0 0 0 9 7 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064259210256 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5945] ppid=5931 vsize=27984808 memory=1232 CPUtime=0.01 cores=0-7
/proc/5934/task/5945/stat : 5945 (java) S 5931 5934 5775 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 24 0 84010642 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062961367152 140064843082370 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5946] ppid=5931 vsize=27984808 memory=12012 CPUtime=0 cores=0-7
/proc/5934/task/5946/stat : 5946 (java) S 5931 5934 5775 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 84010642 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062775829344 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5947] ppid=5931 vsize=27984808 memory=1724 CPUtime=0 cores=0-7
/proc/5934/task/5947/stat : 5947 (java) S 5931 5934 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 84010642 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062507394176 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5948] ppid=5931 vsize=27984808 memory=7120 CPUtime=0 cores=0-7
/proc/5934/task/5948/stat : 5948 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062132885584 140064843089819 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5949] ppid=5931 vsize=27984808 memory=1012 CPUtime=5.14 cores=0-7
/proc/5934/task/5949/stat : 5949 (java) S 5931 5934 5775 0 -1 1077944384 4601 0 0 0 512 2 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062960314992 140064843082370 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5950] ppid=5931 vsize=27984808 memory=1444 CPUtime=6.19 cores=0-7
/proc/5934/task/5950/stat : 5950 (java) S 5931 5934 5775 0 -1 1077944384 6686 0 0 0 617 2 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062959262192 140064843082370 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5951] ppid=5931 vsize=27984808 memory=1200 CPUtime=5.64 cores=0-7
/proc/5934/task/5951/stat : 5951 (java) S 5931 5934 5775 0 -1 1077944384 7140 0 0 0 563 1 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062958209904 140064843082370 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5952] ppid=5931 vsize=27984808 memory=15436 CPUtime=1.63 cores=0-7
/proc/5934/task/5952/stat : 5952 (java) S 5931 5934 5775 0 -1 1077944384 4217 0 0 0 161 2 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062957157104 140064843082370 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5953] ppid=5931 vsize=27984808 memory=15024 CPUtime=0 cores=0-7
/proc/5934/task/5953/stat : 5953 (java) S 5931 5934 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140061634980192 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5954] ppid=5931 vsize=27984808 memory=16236 CPUtime=0 cores=0-7
/proc/5934/task/5954/stat : 5954 (java) S 5931 5934 5775 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062956103984 140064843082370 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5956] ppid=5931 vsize=27984808 memory=4048 CPUtime=0 cores=0-7
/proc/5934/task/5956/stat : 5956 (java) S 5931 5934 5775 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84012673 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064655152448 140064843095833 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5958] ppid=5931 vsize=27984808 memory=640 CPUtime=0 cores=0-7
/proc/5934/task/5958/stat : 5958 (java) S 5931 5934 5775 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 84012673 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140060963880752 140064843093149 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5959] ppid=5931 vsize=27984808 memory=1788 CPUtime=0 cores=0-7
/proc/5934/task/5959/stat : 5959 (java) S 5931 5934 5775 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 84012673 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140061232316080 140064843093149 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5960] ppid=5931 vsize=27984808 memory=960 CPUtime=0 cores=0-7
/proc/5934/task/5960/stat : 5960 (java) S 5931 5934 5775 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 84012675 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140060695453472 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
Current children cumulated CPU time: 97.31 s
Current children cumulated vsize: 29697576 KiB
Current children cumulated memory: 7344320 KiB
[startup+32.4013 s]
/proc/loadavg: 5.98 7.33 6.33 9/211 5968
/proc/meminfo: memFree=20834552/32770624 swapFree=67108532/67108860
[pid=5934] ppid=5931 vsize=27984808 memory=6196864 CPUtime=40.02 cores=0-7
/proc/5934/stat : 5934 (java) S 5931 5934 5775 0 -1 1077944320 46396 0 0 0 3830 172 0 0 20 0 24 0 84010637 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140736355851456 140064843071223 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
/proc/5934/statm: 6996202 1549216 3251 1 0 6957058 0
[pid=5955] ppid=5934 vsize=1680552 memory=1148580 CPUtime=60.36 cores=0-7
/proc/5955/stat : 5955 (glucose-syrup) R 5934 5934 5775 0 -1 4202496 752655 0 0 0 5867 169 0 0 20 0 1 0 84012673 1720885248 287145 33554432000 4194304 4373367 140724676826528 140724676823392 139917490023549 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6470912 6472264 17207296 140724676830129 140724676830380 140724676830380 140724676833223 0
/proc/5955/statm: 420138 287145 401 44 0 415826 0
[pid=5934/tid=5936] ppid=5931 vsize=27984808 memory=840 CPUtime=19.84 cores=0-7
/proc/5934/task/5936/stat : 5936 (java) S 5931 5934 5775 0 -1 1077944384 21310 0 0 0 1882 102 0 0 20 0 24 0 84010638 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064814910464 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5937] ppid=5931 vsize=27984808 memory=4104 CPUtime=0.16 cores=0-7
/proc/5934/task/5937/stat : 5937 (java) S 5931 5934 5775 0 -1 1077944384 115 0 0 0 10 6 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064847313296 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5938] ppid=5931 vsize=27984808 memory=1696 CPUtime=0.18 cores=0-7
/proc/5934/task/5938/stat : 5938 (java) S 5931 5934 5775 0 -1 1077944384 106 0 0 0 10 8 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064661469456 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5939] ppid=5931 vsize=27984808 memory=-3622645143214314312 CPUtime=0.16 cores=0-7
/proc/5934/task/5939/stat : 5939 (java) S 5931 5934 5775 0 -1 1077944384 136 0 0 0 10 6 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064660417168 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5940] ppid=5931 vsize=27984808 memory=4132 CPUtime=0.18 cores=0-7
/proc/5934/task/5940/stat : 5940 (java) S 5931 5934 5775 0 -1 1077944384 109 0 0 0 10 8 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064659364368 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5941] ppid=5931 vsize=27984808 memory=1408 CPUtime=0.17 cores=0-7
/proc/5934/task/5941/stat : 5941 (java) S 5931 5934 5775 0 -1 1077944384 136 0 0 0 10 7 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064658312080 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5942] ppid=5931 vsize=27984808 memory=65 CPUtime=0.18 cores=0-7
/proc/5934/task/5942/stat : 5942 (java) S 5931 5934 5775 0 -1 1077944384 151 0 0 0 12 6 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064657259280 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5943] ppid=5931 vsize=27984808 memory=0 CPUtime=0.18 cores=0-7
/proc/5934/task/5943/stat : 5943 (java) S 5931 5934 5775 0 -1 1077944384 130 0 0 0 11 7 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064656206992 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5944] ppid=5931 vsize=27984808 memory=0 CPUtime=0.16 cores=0-7
/proc/5934/task/5944/stat : 5944 (java) S 5931 5934 5775 0 -1 1077944384 141 0 0 0 9 7 0 0 20 0 24 0 84010640 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064259210256 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5945] ppid=5931 vsize=27984808 memory=0 CPUtime=0.01 cores=0-7
/proc/5934/task/5945/stat : 5945 (java) S 5931 5934 5775 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 24 0 84010642 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062961367152 140064843082370 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5946] ppid=5931 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5946/stat : 5946 (java) S 5931 5934 5775 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 84010642 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062775829344 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5947] ppid=5931 vsize=27984808 memory=4104 CPUtime=0 cores=0-7
/proc/5934/task/5947/stat : 5947 (java) S 5931 5934 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 84010642 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062507394176 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5948] ppid=5931 vsize=27984808 memory=1696 CPUtime=0 cores=0-7
/proc/5934/task/5948/stat : 5948 (java) S 5931 5934 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062132885584 140064843089819 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5949] ppid=5931 vsize=27984808 memory=920 CPUtime=5.15 cores=0-7
/proc/5934/task/5949/stat : 5949 (java) R 5931 5934 5775 0 -1 4202560 4602 0 0 0 513 2 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062960314992 140064843078620 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5950] ppid=5931 vsize=27984808 memory=4132 CPUtime=6.2 cores=0-7
/proc/5934/task/5950/stat : 5950 (java) R 5931 5934 5775 0 -1 4202560 6687 0 0 0 618 2 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062959262192 140064822318588 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5951] ppid=5931 vsize=27984808 memory=-1161699032756282206 CPUtime=5.65 cores=0-7
/proc/5934/task/5951/stat : 5951 (java) R 5931 5934 5775 0 -1 4202560 7140 0 0 0 564 1 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062958197248 140064824596853 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5952] ppid=5931 vsize=27984808 memory=-3472574513799858007 CPUtime=1.64 cores=0-7
/proc/5934/task/5952/stat : 5952 (java) R 5931 5934 5775 0 -1 4202560 4219 0 0 0 162 2 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062957157104 140064822025864 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5953] ppid=5931 vsize=27984808 memory=-2127763401593990185 CPUtime=0 cores=0-7
/proc/5934/task/5953/stat : 5953 (java) S 5931 5934 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140061634980192 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5954] ppid=5931 vsize=27984808 memory=-2895393861898743079 CPUtime=0 cores=0-7
/proc/5934/task/5954/stat : 5954 (java) S 5931 5934 5775 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 84010645 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140062956103984 140064843082370 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5956] ppid=5931 vsize=27984808 memory=-2127767799640501289 CPUtime=0 cores=0-7
/proc/5934/task/5956/stat : 5956 (java) S 5931 5934 5775 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84012673 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140064655152448 140064843095833 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5958] ppid=5931 vsize=27984808 memory=-7016477082706732394 CPUtime=0 cores=0-7
/proc/5934/task/5958/stat : 5958 (java) R 5931 5934 5775 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 84012673 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140060963886608 140064843093149 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5959] ppid=5931 vsize=27984808 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/5934/task/5959/stat : 5959 (java) S 5931 5934 5775 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 84012673 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140061232316080 140064843093149 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5960] ppid=5931 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/5934/task/5960/stat : 5960 (java) S 5931 5934 5775 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 84012675 28656443392 1549216 33554432000 4194304 4196468 140736355868912 140060695453472 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
Current children cumulated CPU time: 100.38 s
Current children cumulated vsize: 29665360 KiB
Current children cumulated memory: 7345444 KiB
[startup+32.5011 s]
/proc/loadavg: 5.98 7.33 6.33 9/211 5968
/proc/meminfo: memFree=20834552/32770624 swapFree=67108532/67108860
[pid=5934] ppid=5931 vsize=27853732 memory=6194860 CPUtime=100.67 cores=0-7
/proc/5934/stat : 5934 (java) S 5931 5934 5775 0 -1 1077944320 46428 752662 0 0 3850 173 5869 175 20 0 22 0 84010637 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140736355851456 140064843071223 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
/proc/5934/statm: 6963433 1548715 3251 1 0 6924289 0
[pid=5934/tid=5936] ppid=5931 vsize=27853732 memory=1147716 CPUtime=80.3 cores=0-7
/proc/5934/task/5936/stat : 5936 (java) R 5931 5934 5775 0 -1 4202560 21325 752662 0 0 1884 102 5869 175 20 0 22 0 84010638 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140064814908640 140064843083158 0 4 0 25189583 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5937] ppid=5931 vsize=27853732 memory=279396078944320 CPUtime=60.6 cores=0-7
/proc/5934/task/5937/stat : 5937 (java) S 5931 5934 5775 0 -1 1077944384 115 752662 0 0 10 6 5869 175 20 0 22 0 84010640 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140064847313296 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5938] ppid=5931 vsize=27853732 memory=28062758544 CPUtime=60.62 cores=0-7
/proc/5934/task/5938/stat : 5938 (java) S 5931 5934 5775 0 -1 1077944384 106 752662 0 0 10 8 5869 175 20 0 22 0 84010640 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140064661469456 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5939] ppid=5931 vsize=27853732 memory=33 CPUtime=60.6 cores=0-7
/proc/5934/task/5939/stat : 5939 (java) S 5931 5934 5775 0 -1 1077944384 136 752662 0 0 10 6 5869 175 20 0 22 0 84010640 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140064660417168 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5940] ppid=5931 vsize=27853732 memory=0 CPUtime=60.62 cores=0-7
/proc/5934/task/5940/stat : 5940 (java) S 5931 5934 5775 0 -1 1077944384 109 752662 0 0 10 8 5869 175 20 0 22 0 84010640 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140064659364368 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5941] ppid=5931 vsize=27853732 memory=55 CPUtime=60.61 cores=0-7
/proc/5934/task/5941/stat : 5941 (java) S 5931 5934 5775 0 -1 1077944384 136 752662 0 0 10 7 5869 175 20 0 22 0 84010640 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140064658312080 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5942] ppid=5931 vsize=27853732 memory=66508483 CPUtime=60.62 cores=0-7
/proc/5934/task/5942/stat : 5942 (java) S 5931 5934 5775 0 -1 1077944384 151 752662 0 0 12 6 5869 175 20 0 22 0 84010640 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140064657259280 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5943] ppid=5931 vsize=27853732 memory=6196864 CPUtime=60.62 cores=0-7
/proc/5934/task/5943/stat : 5943 (java) S 5931 5934 5775 0 -1 1077944384 130 752662 0 0 11 7 5869 175 20 0 22 0 84010640 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140064656206992 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5944] ppid=5931 vsize=27853732 memory=1124856 CPUtime=60.6 cores=0-7
/proc/5934/task/5944/stat : 5944 (java) S 5931 5934 5775 0 -1 1077944384 141 752662 0 0 9 7 5869 175 20 0 22 0 84010640 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140064259210256 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5945] ppid=5931 vsize=27853732 memory=1788 CPUtime=60.45 cores=0-7
/proc/5934/task/5945/stat : 5945 (java) S 5931 5934 5775 0 -1 1077944384 23 752662 0 0 1 0 5869 175 20 0 22 0 84010642 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140062961367152 140064843082370 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5946] ppid=5931 vsize=27853732 memory=960 CPUtime=60.44 cores=0-7
/proc/5934/task/5946/stat : 5946 (java) S 5931 5934 5775 0 -1 1077944384 14 752662 0 0 0 0 5869 175 20 0 22 0 84010642 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140062775829344 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5947] ppid=5931 vsize=27853732 memory=1232 CPUtime=60.44 cores=0-7
/proc/5934/task/5947/stat : 5947 (java) S 5931 5934 5775 0 -1 1077944384 2 752662 0 0 0 0 5869 175 20 0 22 0 84010642 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140062507394176 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5948] ppid=5931 vsize=27853732 memory=16 CPUtime=60.44 cores=0-7
/proc/5934/task/5948/stat : 5948 (java) S 5931 5934 5775 0 -1 1077944384 1 752662 0 0 0 0 5869 175 20 0 22 0 84010645 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140062132885584 140064843089819 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5949] ppid=5931 vsize=27853732 memory=1 CPUtime=65.62 cores=0-7
/proc/5934/task/5949/stat : 5949 (java) S 5931 5934 5775 0 -1 1077944384 4602 752662 0 0 516 2 5869 175 20 0 22 0 84010645 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140062960314992 140064843082370 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5950] ppid=5931 vsize=27853732 memory=0 CPUtime=66.68 cores=0-7
/proc/5934/task/5950/stat : 5950 (java) S 5931 5934 5775 0 -1 1077944384 6687 752662 0 0 622 2 5869 175 20 0 22 0 84010645 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140062959262192 140064843082370 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5951] ppid=5931 vsize=27853732 memory=3868 CPUtime=66.12 cores=0-7
/proc/5934/task/5951/stat : 5951 (java) S 5931 5934 5775 0 -1 1077944384 7140 752662 0 0 566 2 5869 175 20 0 22 0 84010645 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140062958209904 140064843082370 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5952] ppid=5931 vsize=27853732 memory=24792 CPUtime=62.11 cores=0-7
/proc/5934/task/5952/stat : 5952 (java) R 5931 5934 5775 0 -1 4202560 4219 752662 0 0 165 2 5869 175 20 0 22 0 84010645 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140062957156912 140064843092570 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5953] ppid=5931 vsize=27853732 memory=1280 CPUtime=60.44 cores=0-7
/proc/5934/task/5953/stat : 5953 (java) S 5931 5934 5775 0 -1 1077944384 3 752662 0 0 0 0 5869 175 20 0 22 0 84010645 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140061634980192 140064843081429 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5954] ppid=5931 vsize=27853732 memory=6196864 CPUtime=60.44 cores=0-7
/proc/5934/task/5954/stat : 5954 (java) S 5931 5934 5775 0 -1 1077944384 5 752662 0 0 0 0 5869 175 20 0 22 0 84010645 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140062956103984 140064843082370 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5956] ppid=5931 vsize=27853732 memory=192596 CPUtime=60.44 cores=0-7
/proc/5934/task/5956/stat : 5956 (java) S 5931 5934 5775 0 -1 1077944384 26 752662 0 0 0 0 5869 175 20 0 22 0 84012673 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140064655151632 140064843082370 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
[pid=5934/tid=5960] ppid=5931 vsize=27853732 memory=6196864 CPUtime=60.44 cores=0-7
/proc/5934/task/5960/stat : 5960 (java) S 5931 5934 5775 0 -1 1077944384 13 752662 0 0 0 0 5869 175 20 0 22 0 84012675 28522221568 1548715 33554432000 4194304 4196468 140736355868912 140060695455280 140064843082370 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13197312 140736355877849 140736355878149 140736355878149 140736355880911 0
Current children cumulated CPU time: 100.67 s
Current children cumulated vsize: 27853732 KiB
Current children cumulated memory: 6194860 KiB
Child status: 0
Real time (s): 32.5856
CPU time (s): 100.82
CPU user time (s): 97.28
CPU system time (s): 3.53984
CPU usage (%): 309.401
Max. virtual memory (cumulated for all children) (KiB): 29697840
Max. memory (cumulated for all children) (KiB): 7345444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.28
system time used= 3.53985
maximum resident set size= 6196864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 799160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 124960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57516
involuntary context switches= 558
# summary of solver processes directly reported to runsolver:
# pid: 5934
# total CPU time (s): 100.82
# total CPU user time (s): 97.28
# total CPU system time (s): 3.53984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.237804 second user time and 0.399214 second system time
The end
Begin job on node104 at 2018-07-27 06:07:55 IDJOB=4296905 IDBENCH=141459 IDSOLVER=2758 FILE ID=node104/4296905-1532664475 RUNJOBID= node104-1532664469-5802 PBS_JOBID= 21022233 Free space on /tmp= 48344 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/CarSequencing/CarSequencing-80-01_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-4296905-1532664475/watcher-4296905-1532664475 -o /tmp/evaluation-result-4296905-1532664475/solver-4296905-1532664475 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532664469-5802 --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-4296905-1532664475.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1fae7142163c3dd6bc5a43a0b85b79be RANDOM SEED=2090503603 node104.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.11 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.11 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.11 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.11 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: 28242516 kB MemAvailable: 31951100 kB Buffers: 95384 kB Cached: 3866648 kB SwapCached: 12 kB Active: 1866864 kB Inactive: 2148392 kB Active(anon): 6536 kB Inactive(anon): 73880 kB Active(file): 1860328 kB Inactive(file): 2074512 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108532 kB Dirty: 8496 kB Writeback: 0 kB AnonPages: 71452 kB Mapped: 38724 kB Shmem: 25060 kB Slab: 207388 kB SReclaimable: 179160 kB SUnreclaim: 28228 kB KernelStack: 3520 kB PageTables: 5532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324304 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48336 MiB End job on node104 at 2018-07-27 06:08:27