Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-07) | SAT | 51.544 | 25.6398 |
Name | CarSequencing/ CarSequencing-70-01_c18.xml |
MD5SUM | 5ebb66a2f72e45e9d6642a776a6cc19c |
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 | 11.4514 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1402 |
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 | 63 |
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":19},{"degree":25,"count":19},{"degree":26,"count":19},"...",{"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":8}, {"degree":44,"count":8}, {"degree":45,"count":8}, {"degree":46,"count":8}, {"degree":47,"count":8}, {"degree":48,"count":8}, {"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":8}, {"degree":53,"count":9}, {"degree":54,"count":9}, {"degree":55,"count":53}, {"degree":56,"count":5}, {"degree":57,"count":6}, {"degree":58,"count":6}, {"degree":59,"count":38}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":3}, {"degree":63,"count":81}] |
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":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":1},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":62,"count":2},{"arity":65,"count":2},{"arity":68,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":77,"count":2},{"arity":80,"count":3},{"arity":82,"count":1},{"arity":83,"count":2},{"arity":84,"count":1},{"arity":85,"count":1},{"arity":86,"count":3},"...",{"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":1201},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
0.65/0.52 0.65/0.53 scop order+glucose-syrup (2018-07-07) 0.65/0.53 0.65/0.55 c BEGIN-Prog: Fri Jul 27 06:04:14 CEST 2018 0.65/0.55 c PID: 9493 0.65/0.55 c IP: 172.20.3.136 0.65/0.55 c HOST: node136.alineos.net 0.65/0.56 c (0,0) Parsing Begin 3.02/1.37 c (0,0) Parsing End 3.02/1.38 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1402 ctr, max domain size 26 3.02/1.39 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.02/1.39 c (0,0) Constraint Name Generate Begin 3.34/1.41 c (0,0) Ctr:HOME/instance-4296901-1532664254.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum 3.34/1.41 c (0,0) Constraint Name Generate End 3.34/1.41 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.34/1.41 c (0,0) CSP to CSPinCNF Begin 12.05/4.52 c (3,3) translated 141 (10%) constraints 12.47/4.99 c (4,4) translated 281 (20%) constraints 12.70/5.01 c (4,4) translated 421 (30%) constraints 12.70/5.03 c (4,4) translated 561 (40%) constraints 12.70/5.06 c (4,4) translated 701 (50%) constraints 12.70/5.08 c (4,4) translated 842 (60%) constraints 12.70/5.09 c (4,4) translated 982 (70%) constraints 13.13/5.11 c (4,4) translated 1122 (80%) constraints 14.68/6.25 c (5,5) translated 1262 (90%) constraints 16.00/7.52 c (6,6) translated 1402 (100%) constraints 17.32/8.05 c (7,7) STATISTICS1:HOME/instance-4296901-1532664254.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57027,9223372036854775807,26,25,200,9223372036854775807:252;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:1;8796093022208:1;1099511627776:1;137438953472:1;16:392;4:396;2:199,26:20400;2:156946,25:200;3:29600;2:26000;1:1227,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:2;89:2;88:1;86:3;85:1;84:1;83:2;82:1;80:3;77:2;75:1;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:1;44:1;41:1;38: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:2;3481:2;3364:1;3249:3;3136:2;3025:2;2916:1;2809:3;2601:2;2500:1;2401:2;2209:2;2025:2;1849:2 17.32/8.05 c (7,7) =========================================== 17.32/8.05 c (7,7) Order 17.32/8.05 c (7,7) =========================================== 19.81/8.80 c (8,8) translated 5703 (10%) constraints 20.63/9.04 c (8,8) translated 11406 (20%) constraints 21.02/9.15 c (8,8) translated 17109 (30%) constraints 21.32/9.24 c (8,8) translated 22811 (40%) constraints 21.51/9.33 c (8,8) translated 28514 (50%) constraints 21.61/9.42 c (8,8) translated 34217 (60%) constraints 21.71/9.51 c (8,8) translated 39919 (70%) constraints 21.71/9.60 c (9,8) translated 45622 (80%) constraints 21.81/9.68 c (9,9) translated 51325 (90%) constraints 26.70/11.64 c (11,11) translated 57027 (100%) constraints 26.70/11.65 c (11,11) CSP to CSPinCNF End 26.70/11.66 c (11,11) CSP: 3851 int (3651 aux), 21672 bool (20672 aux), 77211 ctr, max domain size 68 26.70/11.66 c (11,11) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 26.70/11.66 c (11,11) CSPinCNF Propagation Begin 28.59/12.17 c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed 28.59/12.17 c (11,11) CSPinCNF Propagation End 28.59/12.17 c (11,11) CSP: 3851 int (3651 aux), 21672 bool (20672 aux), 76811 ctr, max domain size 68 28.59/12.17 c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 28.59/12.17 c (11,11) Simplify CSPinCNF Begin 29.17/12.35 c (11,11) Simplify CSPinCNF End 29.17/12.36 c (11,11) CSP: 3851 int (3651 aux), 21672 bool (20672 aux), 76811 ctr, max domain size 68 29.17/12.36 c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 29.17/12.36 c (11,11) Calculate Precise Domain Begin 29.37/12.41 c (11,11) 0 values are removed by re-calculation 29.37/12.41 c (11,11) Calculate Precise Domain End 29.37/12.41 c (11,11) CSP: 3851 int (3651 aux), 21672 bool (20672 aux), 76811 ctr, max domain size 68 29.37/12.41 c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 29.37/12.41 c (11,11) CSPinCNF to SatSolver Begin 33.24/14.54 c (14,13) 7682 (10 %) CSP clauses are encoded (91261 SAT variables, 583971 SAT clauses) 33.55/14.61 c (14,13) 15363 (20 %) CSP clauses are encoded (91261 SAT variables, 591652 SAT clauses) 33.55/14.67 c (14,13) 23044 (30 %) CSP clauses are encoded (91261 SAT variables, 599333 SAT clauses) 33.79/14.72 c (14,13) 30725 (40 %) CSP clauses are encoded (91261 SAT variables, 607014 SAT clauses) 33.79/14.76 c (14,14) 38406 (50 %) CSP clauses are encoded (91261 SAT variables, 614695 SAT clauses) 33.79/14.80 c (14,14) 46087 (60 %) CSP clauses are encoded (91261 SAT variables, 622376 SAT clauses) 33.91/14.83 c (14,14) 53768 (70 %) CSP clauses are encoded (91261 SAT variables, 630057 SAT clauses) 33.91/14.87 c (14,14) 61449 (80 %) CSP clauses are encoded (91261 SAT variables, 637738 SAT clauses) 34.00/14.92 c (14,14) 69130 (90 %) CSP clauses are encoded (91261 SAT variables, 648893 SAT clauses) 38.93/19.61 c (19,18) 76811 (100 %) CSP clauses are encoded (91261 SAT variables, 2335556 SAT clauses) 38.93/19.61 c (19,18) CSPinCNF to SatSolver End 38.93/19.61 c (19,18) Heap : 649 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 39.86/19.94 c (19,18) STATISTICS2:HOME/instance-4296901-1532664254.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25523,76811,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:3;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:1;1560:3;1521:3;1482:2;1444:1;1406:5;1369:1;1332:2;1296:3;1260:3;1225:1;1190:16;1156:18;1122:19;1089:14;1056:18;1024:268;992:15;961:19;930:14;900:16;870:17;841:15;812:18;784:14;756:17;729:15;702:14;676:18;650:14;625:15;600:16;576:21;552:18;529:13;512:736;506:16;484:15;462:14;441:17;420:14;400:15;380:16;361:13;342:18;324:43;306:92;289:71;272:69;270:4;256:1880;255:8;252:4;240:68;238:8;225:77;216:4;210:67;204:8;198:4;196:71;187:8;182:68;169:62;156:62;144:74;136:8;132:62;128:1092;126:12;121:72;119:24;110:62;108:4;102:8;100:62;96:248;90:554;85:8;81:488;72:286;68:8;64:1052;56:262;54:16;51:32;49:278;36:40;34:64;25:256;16:896;9:32;4:460;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:36;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:24;39:30;38:28;37:26;36:32;35:54;34:148;33:142;32:136;31:144;30:134;29:138;28:132;27:126;26:30134;25:124;24:160;23:124;22:124;21:128;20:124;19:124;18:1136;17:976;16:564;15:584;14:560;13:508;12:1028;11:540;10:1472;9:3616;8:2220;7:1648;6:36;5:1028;4:36;3:144;2:177634,24:200;3:29200;2:36400;1:11011,11:252;10:736;9:1808;8:1092;7:770;5:1136;3:5018;2:199;1:165200, 39.86/19.94 c (19,18) SatSolver.solve Begin 39.86/19.94 c (19,18) 91261 bool, 2335646 clause 39.86/19.95 c (19,18) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296901-1532664254.xml-scop-9493.cnf HOME/instance-4296901-1532664254.xml-scop-9493.cnf.out 50.62/25.46 c (24,0) c 50.62/25.46 c (24,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 50.62/25.46 c (24,0) c 50.62/25.46 c (24,0) c WARNING: for repeatability, setting FPU to use double precision 50.62/25.46 c (24,0) c 8 solvers engines and 1 companion as a blackboard created. 50.62/25.46 c (24,0) c ========================================[ Problem Statistics ]=========================================== 50.62/25.46 c (24,0) c | | 50.62/25.46 c (24,0) c | Number of variables: 91261 | 50.62/25.46 c (24,0) c | Number of clauses: 2335370 | 50.62/25.46 c (24,0) c | Parse time: 0.79 s | 50.62/25.46 c (24,0) c | | 50.62/25.47 c (24,0) c | Eliminated clauses: 0.37 Mb | 50.62/25.47 c (24,0) c | Simplification time: 3.31 s | 50.62/25.47 c (24,0) c | | 50.62/25.47 c (24,0) c | Generating clones | 50.62/25.47 c (24,0) c | all clones generated. Memory = 869.68Mb. | 50.62/25.47 c (24,0) c ========================================================================================================| 50.62/25.47 c (24,0) c last restart ## conflicts : 63 2435 50.62/25.47 c (24,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer). 50.62/25.47 c (24,0) c Total Memory so far : 1476.07Mb 50.62/25.47 c (24,0) c 50.62/25.47 c (24,0) c real time : 5.50195 s 50.62/25.47 c (24,0) c cpu time : 10.5492 s 50.62/25.47 c (24,0) c 50.62/25.47 c (24,0) c 50.62/25.47 c (24,0) c 50.62/25.47 c (24,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 50.62/25.47 c (24,0) c 50.62/25.47 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 50.62/25.47 c (24,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 50.62/25.47 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 50.62/25.47 c (24,0) c | Conflicts | 7976 | 573 | 2158 | 702 | 1024 | 726 | 1256 | 710 | 827 | 50.62/25.47 c (24,0) c | Decisions | 142811 | 20013 | 17291 | 15770 | 18706 | 16040 | 18657 | 16328 | 20006 | 50.62/25.47 c (24,0) c | Propagations | 10998411 | 1187232 | 1678887 | 1130345 | 1550072 | 1113508 | 1616466 | 1172875 | 1549026 | 50.62/25.47 c (24,0) c | Avg_Trail | | 31482 | 12658 | 27929 | 22925 | 29629 | 18380 | 27865 | 26876 | 50.62/25.47 c (24,0) c | Avg_DL | | 1221 | 106 | 414 | 274 | 614 | 203 | 412 | 348 | 50.62/25.47 c (24,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 50.62/25.47 c (24,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 50.62/25.48 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 50.62/25.48 c (24,0) c | Exported | 407 | 32 | 142 | 26 | 36 | 10 | 79 | 27 | 55 | 50.62/25.48 c (24,0) c | Imported | 2461 | 305 | 213 | 367 | 304 | 292 | 259 | 373 | 348 | 50.62/25.48 c (24,0) c | Good | 1398 | 154 | 149 | 217 | 163 | 144 | 143 | 223 | 205 | 50.62/25.48 c (24,0) c | Purge | 1063 | 151 | 64 | 150 | 141 | 148 | 116 | 150 | 143 | 50.62/25.48 c (24,0) c | Promoted | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 50.62/25.48 c (24,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 50.62/25.48 c (24,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 50.62/25.48 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 50.62/25.48 c (24,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 50.62/25.48 c (24,0) c | Binaries | | 31 | 54 | 23 | 25 | 9 | 43 | 23 | 45 | 50.62/25.48 c (24,0) c | Glues | | 32 | 142 | 26 | 36 | 10 | 79 | 27 | 55 | 50.62/25.48 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 50.62/25.48 c (24,0) c | Orig_Seen | 0 % | 4028 | 6179 | 5281 | 6969 | 5133 | 7233 | 5364 | 7840 | 50.62/25.48 c (24,0) c | Diff Orig seen| | - 1105 | 1046 | 148 | 1836 | X | 2100 | 231 | 2707 | 50.62/25.48 c (24,0) c | Hamming | 9 % | 9787 | 9043 | 8341 | 9907 | X | 9347 | 8413 | 8876 | 50.62/25.48 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 50.62/25.48 c (24,0) 50.62/25.48 c (24,0) s SATISFIABLE 40.15/25.53 c (25,18) SatSolver.solve End 40.15/25.53 c (25,18) Heap : 1131 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 40.15/25.53 c (25,18) Show results Begin 40.15/25.57 c (25,18) cls[0] = 25 40.15/25.57 c (25,18) cls[1] = 3 40.15/25.57 c (25,18) cls[2] = 0 40.15/25.57 c (25,18) cls[3] = 2 40.15/25.57 c (25,18) cls[4] = 1 40.15/25.57 c (25,18) cls[5] = 6 40.15/25.57 c (25,18) cls[6] = 2 40.15/25.57 c (25,18) cls[7] = 5 40.15/25.57 c (25,18) cls[8] = 18 40.15/25.57 c (25,18) cls[9] = 6 40.15/25.57 c (25,18) cls[10] = 2 40.15/25.57 c (25,18) cls[11] = 11 40.15/25.57 c (25,18) cls[12] = 6 40.15/25.57 c (25,18) cls[13] = 2 40.15/25.57 c (25,18) cls[14] = 19 40.15/25.57 c (25,18) cls[15] = 9 40.15/25.57 c (25,18) cls[16] = 8 40.15/25.57 c (25,18) cls[17] = 19 40.15/25.57 c (25,18) cls[18] = 2 40.15/25.57 c (25,18) cls[19] = 9 40.15/25.57 c (25,18) cls[20] = 19 40.15/25.57 c (25,18) cls[21] = 2 40.15/25.57 c (25,18) cls[22] = 11 40.15/25.57 c (25,18) cls[23] = 6 40.15/25.57 c (25,18) cls[24] = 16 40.15/25.57 c (25,18) cls[25] = 3 40.15/25.57 c (25,18) cls[26] = 19 40.15/25.57 c (25,18) cls[27] = 3 40.15/25.57 c (25,18) cls[28] = 19 40.15/25.57 c (25,18) cls[29] = 2 40.15/25.57 c (25,18) cls[30] = 15 40.15/25.57 c (25,18) cls[31] = 2 40.15/25.57 c (25,18) cls[32] = 19 40.15/25.57 c (25,18) cls[33] = 12 40.15/25.57 c (25,18) cls[34] = 3 40.15/25.57 c (25,18) cls[35] = 2 40.15/25.57 c (25,18) cls[36] = 21 40.15/25.57 c (25,18) cls[37] = 2 40.15/25.57 c (25,18) cls[38] = 19 40.15/25.57 c (25,18) cls[39] = 2 40.15/25.57 c (25,18) cls[40] = 8 40.15/25.57 c (25,18) cls[41] = 7 40.15/25.57 c (25,18) cls[42] = 18 40.15/25.57 c (25,18) cls[43] = 2 40.15/25.57 c (25,18) cls[44] = 19 40.15/25.57 c (25,18) cls[45] = 2 40.15/25.57 c (25,18) cls[46] = 3 40.15/25.57 c (25,18) cls[47] = 6 40.15/25.57 c (25,18) cls[48] = 11 40.15/25.57 c (25,18) cls[49] = 2 40.15/25.57 c (25,18) cls[50] = 0 40.15/25.57 c (25,18) cls[51] = 2 40.15/25.57 c (25,18) cls[52] = 2 40.15/25.57 c (25,18) cls[53] = 21 40.15/25.57 c (25,18) cls[54] = 2 40.15/25.57 c (25,18) cls[55] = 18 40.15/25.57 c (25,18) cls[56] = 14 40.15/25.57 c (25,18) cls[57] = 2 40.15/25.57 c (25,18) cls[58] = 18 40.15/25.57 c (25,18) cls[59] = 9 40.15/25.57 c (25,18) cls[60] = 1 40.15/25.57 c (25,18) cls[61] = 2 40.15/25.57 c (25,18) cls[62] = 19 40.15/25.57 c (25,18) cls[63] = 2 40.15/25.57 c (25,18) cls[64] = 1 40.15/25.57 c (25,18) cls[65] = 2 40.15/25.57 c (25,18) cls[66] = 15 40.15/25.57 c (25,18) cls[67] = 2 40.15/25.57 c (25,18) cls[68] = 13 40.15/25.57 c (25,18) cls[69] = 6 40.15/25.57 c (25,18) cls[70] = 11 40.15/25.57 c (25,18) cls[71] = 2 40.15/25.57 c (25,18) cls[72] = 6 40.15/25.57 c (25,18) cls[73] = 3 40.15/25.57 c (25,18) cls[74] = 19 40.15/25.57 c (25,18) cls[75] = 2 40.15/25.57 c (25,18) cls[76] = 6 40.15/25.57 c (25,18) cls[77] = 5 40.15/25.57 c (25,18) cls[78] = 18 40.15/25.57 c (25,18) cls[79] = 20 40.15/25.57 c (25,18) cls[80] = 25 40.15/25.57 c (25,18) cls[81] = 16 40.15/25.57 c (25,18) cls[82] = 2 40.15/25.57 c (25,18) cls[83] = 2 40.15/25.57 c (25,18) cls[84] = 15 40.15/25.57 c (25,18) cls[85] = 2 40.15/25.57 c (25,18) cls[86] = 1 40.15/25.57 c (25,18) cls[87] = 2 40.15/25.57 c (25,18) cls[88] = 6 40.15/25.57 c (25,18) cls[89] = 5 40.15/25.57 c (25,18) cls[90] = 2 40.15/25.57 c (25,18) cls[91] = 6 40.15/25.57 c (25,18) cls[92] = 18 40.15/25.57 c (25,18) cls[93] = 25 40.15/25.57 c (25,18) cls[94] = 18 40.15/25.57 c (25,18) cls[95] = 8 40.15/25.57 c (25,18) cls[96] = 23 40.15/25.57 c (25,18) cls[97] = 3 40.15/25.57 c (25,18) cls[98] = 19 40.15/25.57 c (25,18) cls[99] = 2 40.15/25.57 c (25,18) cls[100] = 6 40.15/25.57 c (25,18) cls[101] = 5 40.15/25.57 c (25,18) cls[102] = 2 40.15/25.57 c (25,18) cls[103] = 8 40.15/25.57 c (25,18) cls[104] = 15 40.15/25.57 c (25,18) cls[105] = 2 40.15/25.57 c (25,18) cls[106] = 18 40.15/25.57 c (25,18) cls[107] = 25 40.15/25.57 c (25,18) cls[108] = 24 40.15/25.57 c (25,18) cls[109] = 2 40.15/25.57 c (25,18) cls[110] = 19 40.15/25.57 c (25,18) cls[111] = 6 40.15/25.57 c (25,18) cls[112] = 2 40.15/25.57 c (25,18) cls[113] = 5 40.15/25.57 c (25,18) cls[114] = 8 40.15/25.57 c (25,18) cls[115] = 7 40.15/25.57 c (25,18) cls[116] = 18 40.15/25.57 c (25,18) cls[117] = 2 40.15/25.57 c (25,18) cls[118] = 19 40.15/25.57 c (25,18) cls[119] = 25 40.15/25.57 c (25,18) cls[120] = 20 40.15/25.57 c (25,18) cls[121] = 8 40.15/25.57 c (25,18) cls[122] = 19 40.15/25.57 c (25,18) cls[123] = 2 40.15/25.57 c (25,18) cls[124] = 6 40.15/25.57 c (25,18) cls[125] = 5 40.15/25.57 c (25,18) cls[126] = 2 40.15/25.57 c (25,18) cls[127] = 8 40.15/25.57 c (25,18) cls[128] = 0 40.15/25.57 c (25,18) cls[129] = 18 40.15/25.57 c (25,18) cls[130] = 2 40.15/25.57 c (25,18) cls[131] = 5 40.15/25.57 c (25,18) cls[132] = 12 40.15/25.57 c (25,18) cls[133] = 18 40.15/25.57 c (25,18) cls[134] = 2 40.15/25.57 c (25,18) cls[135] = 3 40.15/25.57 c (25,18) cls[136] = 6 40.15/25.57 c (25,18) cls[137] = 5 40.15/25.57 c (25,18) cls[138] = 2 40.15/25.57 c (25,18) cls[139] = 6 40.15/25.57 c (25,18) cls[140] = 19 40.15/25.57 c (25,18) cls[141] = 2 40.15/25.57 c (25,18) cls[142] = 6 40.15/25.57 c (25,18) cls[143] = 18 40.15/25.57 c (25,18) cls[144] = 22 40.15/25.57 c (25,18) cls[145] = 9 40.15/25.57 c (25,18) cls[146] = 19 40.15/25.57 c (25,18) cls[147] = 2 40.15/25.57 c (25,18) cls[148] = 15 40.15/25.57 c (25,18) cls[149] = 5 40.15/25.57 c (25,18) cls[150] = 8 40.15/25.57 c (25,18) cls[151] = 2 40.15/25.57 c (25,18) cls[152] = 1 40.15/25.57 c (25,18) cls[153] = 6 40.15/25.57 c (25,18) cls[154] = 2 40.15/25.57 c (25,18) cls[155] = 11 40.15/25.57 c (25,18) cls[156] = 6 40.15/25.57 c (25,18) cls[157] = 11 40.15/25.57 c (25,18) cls[158] = 2 40.15/25.57 c (25,18) cls[159] = 6 40.15/25.57 c (25,18) cls[160] = 2 40.15/25.57 c (25,18) cls[161] = 5 40.15/25.57 c (25,18) cls[162] = 6 40.15/25.57 c (25,18) cls[163] = 5 40.15/25.57 c (25,18) cls[164] = 8 40.15/25.57 c (25,18) cls[165] = 7 40.15/25.57 c (25,18) cls[166] = 2 40.15/25.57 c (25,18) cls[167] = 18 40.15/25.57 c (25,18) cls[168] = 9 40.15/25.57 c (25,18) cls[169] = 2 40.15/25.57 c (25,18) cls[170] = 4 40.15/25.57 c (25,18) cls[171] = 2 40.15/25.57 c (25,18) cls[172] = 6 40.15/25.57 c (25,18) cls[173] = 5 40.15/25.57 c (25,18) cls[174] = 18 40.15/25.57 c (25,18) cls[175] = 2 40.15/25.57 c (25,18) cls[176] = 10 40.15/25.57 c (25,18) cls[177] = 2 40.15/25.57 c (25,18) cls[178] = 3 40.15/25.57 c (25,18) cls[179] = 6 40.15/25.57 c (25,18) cls[180] = 5 40.15/25.57 c (25,18) cls[181] = 8 40.15/25.57 c (25,18) cls[182] = 11 40.15/25.57 c (25,18) cls[183] = 9 40.15/25.57 c (25,18) cls[184] = 19 40.15/25.57 c (25,18) cls[185] = 2 40.15/25.57 c (25,18) cls[186] = 3 40.15/25.57 c (25,18) cls[187] = 8 40.15/25.57 c (25,18) cls[188] = 2 40.15/25.57 c (25,18) cls[189] = 0 40.15/25.57 c (25,18) cls[190] = 2 40.15/25.57 c (25,18) cls[191] = 2 40.15/25.57 c (25,18) cls[192] = 17 40.15/25.57 c (25,18) cls[193] = 2 40.15/25.57 c (25,18) cls[194] = 2 40.15/25.57 c (25,18) cls[195] = 1 40.15/25.57 c (25,18) cls[196] = 2 40.15/25.57 c (25,18) cls[197] = 2 40.15/25.57 c (25,18) cls[198] = 6 40.15/25.57 c (25,18) cls[199] = 25 40.15/25.57 c (25,18) opt[0][0] = 0 40.15/25.57 c (25,18) opt[0][1] = 1 40.15/25.57 c (25,18) opt[0][2] = 0 40.15/25.57 c (25,18) opt[0][3] = 0 40.15/25.57 c (25,18) opt[0][4] = 0 40.15/25.57 c (25,18) opt[1][0] = 0 40.15/25.57 c (25,18) opt[1][1] = 1 40.15/25.57 c (25,18) opt[1][2] = 0 40.15/25.57 c (25,18) opt[1][3] = 1 40.15/25.57 c (25,18) opt[1][4] = 0 40.15/25.57 c (25,18) opt[2][0] = 1 40.15/25.57 c (25,18) opt[2][1] = 0 40.15/25.57 c (25,18) opt[2][2] = 1 40.15/25.57 c (25,18) opt[2][3] = 0 40.15/25.57 c (25,18) opt[2][4] = 0 40.15/25.57 c (25,18) opt[3][0] = 0 40.15/25.57 c (25,18) opt[3][1] = 1 40.15/25.57 c (25,18) opt[3][2] = 0 40.15/25.57 c (25,18) opt[3][3] = 0 40.15/25.57 c (25,18) opt[3][4] = 0 40.15/25.57 c (25,18) opt[4][0] = 1 40.15/25.57 c (25,18) opt[4][1] = 0 40.15/25.57 c (25,18) opt[4][2] = 0 40.15/25.57 c (25,18) opt[4][3] = 1 40.15/25.57 c (25,18) opt[4][4] = 0 40.15/25.57 c (25,18) opt[5][0] = 0 40.15/25.57 c (25,18) opt[5][1] = 0 40.15/25.57 c (25,18) opt[5][2] = 1 40.15/25.57 c (25,18) opt[5][3] = 0 40.15/25.57 c (25,18) opt[5][4] = 0 40.15/25.57 c (25,18) opt[6][0] = 0 40.15/25.57 c (25,18) opt[6][1] = 1 40.15/25.57 c (25,18) opt[6][2] = 0 40.15/25.57 c (25,18) opt[6][3] = 0 40.15/25.57 c (25,18) opt[6][4] = 0 40.15/25.57 c (25,18) opt[7][0] = 1 40.15/25.57 c (25,18) opt[7][1] = 1 40.15/25.57 c (25,18) opt[7][2] = 0 40.15/25.57 c (25,18) opt[7][3] = 0 40.15/25.57 c (25,18) opt[7][4] = 0 40.15/25.57 c (25,18) opt[8][0] = 0 40.15/25.57 c (25,18) opt[8][1] = 0 40.15/25.57 c (25,18) opt[8][2] = 0 40.15/25.57 c (25,18) opt[8][3] = 1 40.15/25.57 c (25,18) opt[8][4] = 0 40.15/25.57 c (25,18) opt[9][0] = 0 40.15/25.57 c (25,18) opt[9][1] = 0 40.15/25.57 c (25,18) opt[9][2] = 1 40.15/25.57 c (25,18) opt[9][3] = 0 40.15/25.57 c (25,18) opt[9][4] = 0 40.15/25.57 c (25,18) opt[10][0] = 0 40.15/25.57 c (25,18) opt[10][1] = 1 40.15/25.57 c (25,18) opt[10][2] = 0 40.15/25.57 c (25,18) opt[10][3] = 0 40.15/25.57 c (25,18) opt[10][4] = 0 40.15/25.57 c (25,18) opt[11][0] = 1 40.15/25.57 c (25,18) opt[11][1] = 1 40.15/25.57 c (25,18) opt[11][2] = 0 40.15/25.57 c (25,18) opt[11][3] = 1 40.15/25.57 c (25,18) opt[11][4] = 0 40.15/25.57 c (25,18) opt[12][0] = 0 40.15/25.57 c (25,18) opt[12][1] = 0 40.15/25.57 c (25,18) opt[12][2] = 1 40.15/25.57 c (25,18) opt[12][3] = 0 40.15/25.57 c (25,18) opt[12][4] = 0 40.15/25.57 c (25,18) opt[13][0] = 0 40.15/25.57 c (25,18) opt[13][1] = 1 40.15/25.57 c (25,18) opt[13][2] = 0 40.15/25.57 c (25,18) opt[13][3] = 0 40.15/25.57 c (25,18) opt[13][4] = 0 40.15/25.57 c (25,18) opt[14][0] = 1 40.15/25.57 c (25,18) opt[14][1] = 0 40.15/25.57 c (25,18) opt[14][2] = 0 40.15/25.57 c (25,18) opt[14][3] = 0 40.15/25.57 c (25,18) opt[14][4] = 0 40.15/25.57 c (25,18) opt[15][0] = 0 40.15/25.57 c (25,18) opt[15][1] = 1 40.15/25.57 c (25,18) opt[15][2] = 1 40.15/25.57 c (25,18) opt[15][3] = 0 40.15/25.57 c (25,18) opt[15][4] = 0 40.15/25.57 c (25,18) opt[16][0] = 0 40.15/25.57 c (25,18) opt[16][1] = 0 40.15/25.57 c (25,18) opt[16][2] = 0 40.15/25.57 c (25,18) opt[16][3] = 0 40.15/25.57 c (25,18) opt[16][4] = 1 40.15/25.57 c (25,18) opt[17][0] = 1 40.15/25.57 c (25,18) opt[17][1] = 0 40.15/25.57 c (25,18) opt[17][2] = 0 40.15/25.57 c (25,18) opt[17][3] = 0 40.15/25.57 c (25,18) opt[17][4] = 0 40.15/25.57 c (25,18) opt[18][0] = 0 40.15/25.57 c (25,18) opt[18][1] = 1 40.15/25.57 c (25,18) opt[18][2] = 0 40.15/25.57 c (25,18) opt[18][3] = 0 40.15/25.57 c (25,18) opt[18][4] = 0 40.15/25.57 c (25,18) opt[19][0] = 0 40.15/25.57 c (25,18) opt[19][1] = 1 40.15/25.57 c (25,18) opt[19][2] = 1 40.15/25.57 c (25,18) opt[19][3] = 0 40.15/25.57 c (25,18) opt[19][4] = 0 40.15/25.57 c (25,18) opt[20][0] = 1 40.15/25.57 c (25,18) opt[20][1] = 0 40.15/25.57 c (25,18) opt[20][2] = 0 40.15/25.57 c (25,18) opt[20][3] = 0 40.15/25.57 c (25,18) opt[20][4] = 0 40.15/25.57 c (25,18) opt[21][0] = 0 40.15/25.57 c (25,18) opt[21][1] = 1 40.15/25.57 c (25,18) opt[21][2] = 0 40.15/25.57 c (25,18) opt[21][3] = 0 40.15/25.57 c (25,18) opt[21][4] = 0 40.15/25.57 c (25,18) opt[22][0] = 1 40.15/25.57 c (25,18) opt[22][1] = 1 40.15/25.57 c (25,18) opt[22][2] = 0 40.15/25.57 c (25,18) opt[22][3] = 1 40.15/25.57 c (25,18) opt[22][4] = 0 40.15/25.57 c (25,18) opt[23][0] = 0 40.15/25.57 c (25,18) opt[23][1] = 0 40.15/25.57 c (25,18) opt[23][2] = 1 40.15/25.57 c (25,18) opt[23][3] = 0 40.15/25.57 c (25,18) opt[23][4] = 0 40.15/25.57 c (25,18) opt[24][0] = 1 40.15/25.57 c (25,18) opt[24][1] = 0 40.15/25.57 c (25,18) opt[24][2] = 0 40.15/25.57 c (25,18) opt[24][3] = 0 40.15/25.57 c (25,18) opt[24][4] = 1 40.15/25.57 c (25,18) opt[25][0] = 0 40.15/25.57 c (25,18) opt[25][1] = 1 40.15/25.57 c (25,18) opt[25][2] = 0 40.15/25.57 c (25,18) opt[25][3] = 1 40.15/25.57 c (25,18) opt[25][4] = 0 40.15/25.57 c (25,18) opt[26][0] = 1 40.15/25.57 c (25,18) opt[26][1] = 0 40.15/25.57 c (25,18) opt[26][2] = 0 40.15/25.57 c (25,18) opt[26][3] = 0 40.15/25.57 c (25,18) opt[26][4] = 0 40.15/25.57 c (25,18) opt[27][0] = 0 40.15/25.57 c (25,18) opt[27][1] = 1 40.15/25.57 c (25,18) opt[27][2] = 0 40.15/25.57 c (25,18) opt[27][3] = 1 40.15/25.57 c (25,18) opt[27][4] = 0 40.15/25.57 c (25,18) opt[28][0] = 1 40.15/25.57 c (25,18) opt[28][1] = 0 40.15/25.57 c (25,18) opt[28][2] = 0 40.15/25.57 c (25,18) opt[28][3] = 0 40.15/25.57 c (25,18) opt[28][4] = 0 40.15/25.57 c (25,18) opt[29][0] = 0 40.15/25.57 c (25,18) opt[29][1] = 1 40.15/25.57 c (25,18) opt[29][2] = 0 40.15/25.57 c (25,18) opt[29][3] = 0 40.15/25.57 c (25,18) opt[29][4] = 0 40.15/25.57 c (25,18) opt[30][0] = 0 40.15/25.57 c (25,18) opt[30][1] = 0 40.15/25.57 c (25,18) opt[30][2] = 1 40.15/25.57 c (25,18) opt[30][3] = 1 40.15/25.57 c (25,18) opt[30][4] = 0 40.15/25.57 c (25,18) opt[31][0] = 0 40.15/25.57 c (25,18) opt[31][1] = 1 40.15/25.57 c (25,18) opt[31][2] = 0 40.15/25.57 c (25,18) opt[31][3] = 0 40.15/25.57 c (25,18) opt[31][4] = 0 40.15/25.57 c (25,18) opt[32][0] = 1 40.15/25.57 c (25,18) opt[32][1] = 0 40.15/25.57 c (25,18) opt[32][2] = 0 40.15/25.57 c (25,18) opt[32][3] = 0 40.15/25.57 c (25,18) opt[32][4] = 0 40.15/25.57 c (25,18) opt[33][0] = 0 40.15/25.57 c (25,18) opt[33][1] = 0 40.15/25.57 c (25,18) opt[33][2] = 1 40.15/25.57 c (25,18) opt[33][3] = 0 40.15/25.57 c (25,18) opt[33][4] = 1 40.15/25.57 c (25,18) opt[34][0] = 0 40.15/25.57 c (25,18) opt[34][1] = 1 40.15/25.57 c (25,18) opt[34][2] = 0 40.15/25.57 c (25,18) opt[34][3] = 1 40.15/25.57 c (25,18) opt[34][4] = 0 40.15/25.57 c (25,18) opt[35][0] = 0 40.15/25.57 c (25,18) opt[35][1] = 1 40.15/25.57 c (25,18) opt[35][2] = 0 40.15/25.57 c (25,18) opt[35][3] = 0 40.15/25.57 c (25,18) opt[35][4] = 0 40.15/25.57 c (25,18) opt[36][0] = 1 40.15/25.57 c (25,18) opt[36][1] = 0 40.15/25.57 c (25,18) opt[36][2] = 1 40.15/25.57 c (25,18) opt[36][3] = 1 40.15/25.57 c (25,18) opt[36][4] = 0 40.15/25.57 c (25,18) opt[37][0] = 0 40.15/25.57 c (25,18) opt[37][1] = 1 40.15/25.57 c (25,18) opt[37][2] = 0 40.15/25.57 c (25,18) opt[37][3] = 0 40.15/25.57 c (25,18) opt[37][4] = 0 40.15/25.57 c (25,18) opt[38][0] = 1 40.15/25.57 c (25,18) opt[38][1] = 0 40.15/25.57 c (25,18) opt[38][2] = 0 40.15/25.57 c (25,18) opt[38][3] = 0 40.15/25.57 c (25,18) opt[38][4] = 0 40.15/25.57 c (25,18) opt[39][0] = 0 40.15/25.57 c (25,18) opt[39][1] = 1 40.15/25.57 c (25,18) opt[39][2] = 0 40.15/25.57 c (25,18) opt[39][3] = 0 40.15/25.57 c (25,18) opt[39][4] = 0 40.15/25.57 c (25,18) opt[40][0] = 0 40.15/25.57 c (25,18) opt[40][1] = 0 40.15/25.57 c (25,18) opt[40][2] = 0 40.15/25.57 c (25,18) opt[40][3] = 0 40.15/25.57 c (25,18) opt[40][4] = 1 40.15/25.57 c (25,18) opt[41][0] = 1 40.15/25.57 c (25,18) opt[41][1] = 1 40.15/25.57 c (25,18) opt[41][2] = 1 40.15/25.57 c (25,18) opt[41][3] = 1 40.15/25.57 c (25,18) opt[41][4] = 0 40.15/25.57 c (25,18) opt[42][0] = 0 40.15/25.57 c (25,18) opt[42][1] = 0 40.15/25.57 c (25,18) opt[42][2] = 0 40.15/25.58 c (25,18) opt[42][3] = 1 40.15/25.58 c (25,18) opt[42][4] = 0 40.15/25.58 c (25,18) opt[43][0] = 0 40.15/25.58 c (25,18) opt[43][1] = 1 40.15/25.58 c (25,18) opt[43][2] = 0 40.15/25.58 c (25,18) opt[43][3] = 0 40.15/25.58 c (25,18) opt[43][4] = 0 40.15/25.58 c (25,18) opt[44][0] = 1 40.15/25.58 c (25,18) opt[44][1] = 0 40.15/25.58 c (25,18) opt[44][2] = 0 40.15/25.58 c (25,18) opt[44][3] = 0 40.15/25.58 c (25,18) opt[44][4] = 0 40.15/25.58 c (25,18) opt[45][0] = 0 40.15/25.58 c (25,18) opt[45][1] = 1 40.15/25.58 c (25,18) opt[45][2] = 0 40.15/25.58 c (25,18) opt[45][3] = 0 40.15/25.58 c (25,18) opt[45][4] = 0 40.15/25.58 c (25,18) opt[46][0] = 0 40.15/25.58 c (25,18) opt[46][1] = 1 40.15/25.58 c (25,18) opt[46][2] = 0 40.15/25.58 c (25,18) opt[46][3] = 1 40.15/25.58 c (25,18) opt[46][4] = 0 40.15/25.58 c (25,18) opt[47][0] = 0 40.15/25.58 c (25,18) opt[47][1] = 0 40.15/25.58 c (25,18) opt[47][2] = 1 40.15/25.58 c (25,18) opt[47][3] = 0 40.15/25.58 c (25,18) opt[47][4] = 0 40.15/25.58 c (25,18) opt[48][0] = 1 40.15/25.58 c (25,18) opt[48][1] = 1 40.15/25.58 c (25,18) opt[48][2] = 0 40.15/25.58 c (25,18) opt[48][3] = 1 40.15/25.58 c (25,18) opt[48][4] = 0 40.15/25.58 c (25,18) opt[49][0] = 0 40.15/25.58 c (25,18) opt[49][1] = 1 40.15/25.58 c (25,18) opt[49][2] = 0 40.15/25.58 c (25,18) opt[49][3] = 0 40.15/25.58 c (25,18) opt[49][4] = 0 40.15/25.58 c (25,18) opt[50][0] = 1 40.15/25.58 c (25,18) opt[50][1] = 0 40.15/25.58 c (25,18) opt[50][2] = 1 40.15/25.58 c (25,18) opt[50][3] = 0 40.15/25.58 c (25,18) opt[50][4] = 0 40.15/25.58 c (25,18) opt[51][0] = 0 40.15/25.58 c (25,18) opt[51][1] = 1 40.15/25.58 c (25,18) opt[51][2] = 0 40.15/25.58 c (25,18) opt[51][3] = 0 40.15/25.58 c (25,18) opt[51][4] = 0 40.15/25.58 c (25,18) opt[52][0] = 0 40.15/25.58 c (25,18) opt[52][1] = 1 40.15/25.58 c (25,18) opt[52][2] = 0 40.15/25.58 c (25,18) opt[52][3] = 0 40.15/25.58 c (25,18) opt[52][4] = 0 40.15/25.58 c (25,18) opt[53][0] = 1 40.15/25.58 c (25,18) opt[53][1] = 0 40.15/25.58 c (25,18) opt[53][2] = 1 40.15/25.58 c (25,18) opt[53][3] = 1 40.15/25.58 c (25,18) opt[53][4] = 0 40.15/25.58 c (25,18) opt[54][0] = 0 40.15/25.58 c (25,18) opt[54][1] = 1 40.15/25.58 c (25,18) opt[54][2] = 0 40.15/25.58 c (25,18) opt[54][3] = 0 40.15/25.58 c (25,18) opt[54][4] = 0 40.15/25.58 c (25,18) opt[55][0] = 0 40.15/25.58 c (25,18) opt[55][1] = 0 40.15/25.58 c (25,18) opt[55][2] = 0 40.15/25.58 c (25,18) opt[55][3] = 1 40.15/25.58 c (25,18) opt[55][4] = 0 40.15/25.58 c (25,18) opt[56][0] = 1 40.15/25.58 c (25,18) opt[56][1] = 1 40.15/25.58 c (25,18) opt[56][2] = 1 40.15/25.58 c (25,18) opt[56][3] = 0 40.15/25.58 c (25,18) opt[56][4] = 1 40.15/25.58 c (25,18) opt[57][0] = 0 40.15/25.58 c (25,18) opt[57][1] = 1 40.15/25.58 c (25,18) opt[57][2] = 0 40.15/25.58 c (25,18) opt[57][3] = 0 40.15/25.58 c (25,18) opt[57][4] = 0 40.15/25.58 c (25,18) opt[58][0] = 0 40.15/25.58 c (25,18) opt[58][1] = 0 40.15/25.58 c (25,18) opt[58][2] = 0 40.15/25.58 c (25,18) opt[58][3] = 1 40.15/25.58 c (25,18) opt[58][4] = 0 40.15/25.58 c (25,18) opt[59][0] = 0 40.15/25.58 c (25,18) opt[59][1] = 1 40.15/25.58 c (25,18) opt[59][2] = 1 40.15/25.58 c (25,18) opt[59][3] = 0 40.15/25.58 c (25,18) opt[59][4] = 0 40.15/25.58 c (25,18) opt[60][0] = 1 40.15/25.58 c (25,18) opt[60][1] = 0 40.15/25.58 c (25,18) opt[60][2] = 0 40.15/25.58 c (25,18) opt[60][3] = 1 40.15/25.58 c (25,18) opt[60][4] = 0 40.15/25.58 c (25,18) opt[61][0] = 0 40.15/25.58 c (25,18) opt[61][1] = 1 40.15/25.58 c (25,18) opt[61][2] = 0 40.15/25.58 c (25,18) opt[61][3] = 0 40.15/25.58 c (25,18) opt[61][4] = 0 40.15/25.58 c (25,18) opt[62][0] = 1 40.15/25.58 c (25,18) opt[62][1] = 0 40.15/25.58 c (25,18) opt[62][2] = 0 40.15/25.58 c (25,18) opt[62][3] = 0 40.15/25.58 c (25,18) opt[62][4] = 0 40.15/25.58 c (25,18) opt[63][0] = 0 40.15/25.58 c (25,18) opt[63][1] = 1 40.15/25.58 c (25,18) opt[63][2] = 0 40.15/25.58 c (25,18) opt[63][3] = 0 40.15/25.58 c (25,18) opt[63][4] = 0 40.15/25.58 c (25,18) opt[64][0] = 1 40.15/25.58 c (25,18) opt[64][1] = 0 40.15/25.58 c (25,18) opt[64][2] = 0 40.15/25.58 c (25,18) opt[64][3] = 1 40.15/25.58 c (25,18) opt[64][4] = 0 40.15/25.58 c (25,18) opt[65][0] = 0 40.15/25.58 c (25,18) opt[65][1] = 1 40.15/25.58 c (25,18) opt[65][2] = 0 40.15/25.58 c (25,18) opt[65][3] = 0 40.15/25.58 c (25,18) opt[65][4] = 0 40.15/25.58 c (25,18) opt[66][0] = 0 40.15/25.58 c (25,18) opt[66][1] = 0 40.15/25.58 c (25,18) opt[66][2] = 1 40.15/25.58 c (25,18) opt[66][3] = 1 40.15/25.58 c (25,18) opt[66][4] = 0 40.15/25.58 c (25,18) opt[67][0] = 0 40.15/25.58 c (25,18) opt[67][1] = 1 40.15/25.58 c (25,18) opt[67][2] = 0 40.15/25.58 c (25,18) opt[67][3] = 0 40.15/25.58 c (25,18) opt[67][4] = 0 40.15/25.58 c (25,18) opt[68][0] = 1 40.15/25.58 c (25,18) opt[68][1] = 1 40.15/25.58 c (25,18) opt[68][2] = 0 40.15/25.58 c (25,18) opt[68][3] = 0 40.15/25.58 c (25,18) opt[68][4] = 1 40.15/25.58 c (25,18) opt[69][0] = 0 40.15/25.58 c (25,18) opt[69][1] = 0 40.15/25.58 c (25,18) opt[69][2] = 1 40.15/25.58 c (25,18) opt[69][3] = 0 40.15/25.58 c (25,18) opt[69][4] = 0 40.15/25.58 c (25,18) opt[70][0] = 1 40.15/25.58 c (25,18) opt[70][1] = 1 40.15/25.58 c (25,18) opt[70][2] = 0 40.15/25.58 c (25,18) opt[70][3] = 1 40.15/25.58 c (25,18) opt[70][4] = 0 40.15/25.58 c (25,18) opt[71][0] = 0 40.15/25.58 c (25,18) opt[71][1] = 1 40.15/25.58 c (25,18) opt[71][2] = 0 40.15/25.58 c (25,18) opt[71][3] = 0 40.15/25.58 c (25,18) opt[71][4] = 0 40.15/25.58 c (25,18) opt[72][0] = 0 40.15/25.58 c (25,18) opt[72][1] = 0 40.15/25.58 c (25,18) opt[72][2] = 1 40.15/25.58 c (25,18) opt[72][3] = 0 40.15/25.58 c (25,18) opt[72][4] = 0 40.15/25.58 c (25,18) opt[73][0] = 0 40.15/25.58 c (25,18) opt[73][1] = 1 40.15/25.58 c (25,18) opt[73][2] = 0 40.15/25.58 c (25,18) opt[73][3] = 1 40.15/25.58 c (25,18) opt[73][4] = 0 40.15/25.58 c (25,18) opt[74][0] = 1 40.15/25.58 c (25,18) opt[74][1] = 0 40.15/25.58 c (25,18) opt[74][2] = 0 40.15/25.58 c (25,18) opt[74][3] = 0 40.15/25.58 c (25,18) opt[74][4] = 0 40.15/25.58 c (25,18) opt[75][0] = 0 40.15/25.58 c (25,18) opt[75][1] = 1 40.15/25.58 c (25,18) opt[75][2] = 0 40.15/25.58 c (25,18) opt[75][3] = 0 40.15/25.58 c (25,18) opt[75][4] = 0 40.15/25.58 c (25,18) opt[76][0] = 0 40.15/25.58 c (25,18) opt[76][1] = 0 40.15/25.58 c (25,18) opt[76][2] = 1 40.15/25.58 c (25,18) opt[76][3] = 0 40.15/25.58 c (25,18) opt[76][4] = 0 40.15/25.58 c (25,18) opt[77][0] = 1 40.15/25.58 c (25,18) opt[77][1] = 1 40.15/25.58 c (25,18) opt[77][2] = 0 40.15/25.58 c (25,18) opt[77][3] = 0 40.15/25.58 c (25,18) opt[77][4] = 0 40.15/25.58 c (25,18) opt[78][0] = 0 40.15/25.58 c (25,18) opt[78][1] = 0 40.15/25.58 c (25,18) opt[78][2] = 0 40.15/25.58 c (25,18) opt[78][3] = 1 40.15/25.58 c (25,18) opt[78][4] = 0 40.15/25.58 c (25,18) opt[79][0] = 0 40.15/25.58 c (25,18) opt[79][1] = 1 40.15/25.58 c (25,18) opt[79][2] = 1 40.15/25.58 c (25,18) opt[79][3] = 1 40.15/25.58 c (25,18) opt[79][4] = 0 40.15/25.58 c (25,18) opt[80][0] = 0 40.15/25.58 c (25,18) opt[80][1] = 1 40.15/25.58 c (25,18) opt[80][2] = 0 40.15/25.58 c (25,18) opt[80][3] = 0 40.15/25.58 c (25,18) opt[80][4] = 0 40.15/25.58 c (25,18) opt[81][0] = 1 40.15/25.58 c (25,18) opt[81][1] = 0 40.15/25.58 c (25,18) opt[81][2] = 0 40.15/25.58 c (25,18) opt[81][3] = 0 40.15/25.58 c (25,18) opt[81][4] = 1 40.15/25.58 c (25,18) opt[82][0] = 0 40.15/25.58 c (25,18) opt[82][1] = 1 40.15/25.58 c (25,18) opt[82][2] = 0 40.15/25.58 c (25,18) opt[82][3] = 0 40.15/25.58 c (25,18) opt[82][4] = 0 40.15/25.58 c (25,18) opt[83][0] = 0 40.15/25.58 c (25,18) opt[83][1] = 1 40.15/25.58 c (25,18) opt[83][2] = 0 40.15/25.58 c (25,18) opt[83][3] = 0 40.15/25.58 c (25,18) opt[83][4] = 0 40.15/25.58 c (25,18) opt[84][0] = 0 40.15/25.58 c (25,18) opt[84][1] = 0 40.15/25.58 c (25,18) opt[84][2] = 1 40.15/25.58 c (25,18) opt[84][3] = 1 40.15/25.58 c (25,18) opt[84][4] = 0 40.15/25.58 c (25,18) opt[85][0] = 0 40.15/25.58 c (25,18) opt[85][1] = 1 40.15/25.58 c (25,18) opt[85][2] = 0 40.15/25.58 c (25,18) opt[85][3] = 0 40.15/25.58 c (25,18) opt[85][4] = 0 40.15/25.58 c (25,18) opt[86][0] = 1 40.15/25.58 c (25,18) opt[86][1] = 0 40.15/25.58 c (25,18) opt[86][2] = 0 40.15/25.58 c (25,18) opt[86][3] = 1 40.15/25.58 c (25,18) opt[86][4] = 0 40.15/25.58 c (25,18) opt[87][0] = 0 40.15/25.58 c (25,18) opt[87][1] = 1 40.15/25.58 c (25,18) opt[87][2] = 0 40.15/25.58 c (25,18) opt[87][3] = 0 40.15/25.58 c (25,18) opt[87][4] = 0 40.15/25.58 c (25,18) opt[88][0] = 0 40.15/25.58 c (25,18) opt[88][1] = 0 40.15/25.58 c (25,18) opt[88][2] = 1 40.15/25.58 c (25,18) opt[88][3] = 0 40.15/25.58 c (25,18) opt[88][4] = 0 40.15/25.58 c (25,18) opt[89][0] = 1 40.15/25.58 c (25,18) opt[89][1] = 1 40.15/25.58 c (25,18) opt[89][2] = 0 40.15/25.58 c (25,18) opt[89][3] = 0 40.15/25.58 c (25,18) opt[89][4] = 0 40.15/25.58 c (25,18) opt[90][0] = 0 40.15/25.58 c (25,18) opt[90][1] = 1 40.15/25.58 c (25,18) opt[90][2] = 0 40.15/25.58 c (25,18) opt[90][3] = 0 40.15/25.58 c (25,18) opt[90][4] = 0 40.15/25.58 c (25,18) opt[91][0] = 0 40.15/25.58 c (25,18) opt[91][1] = 0 40.15/25.58 c (25,18) opt[91][2] = 1 40.15/25.58 c (25,18) opt[91][3] = 0 40.15/25.58 c (25,18) opt[91][4] = 0 40.15/25.58 c (25,18) opt[92][0] = 0 40.15/25.58 c (25,18) opt[92][1] = 0 40.15/25.58 c (25,18) opt[92][2] = 0 40.15/25.58 c (25,18) opt[92][3] = 1 40.15/25.58 c (25,18) opt[92][4] = 0 40.15/25.58 c (25,18) opt[93][0] = 0 40.15/25.58 c (25,18) opt[93][1] = 1 40.15/25.58 c (25,18) opt[93][2] = 0 40.15/25.58 c (25,18) opt[93][3] = 0 40.15/25.58 c (25,18) opt[93][4] = 0 40.15/25.58 c (25,18) opt[94][0] = 0 40.15/25.58 c (25,18) opt[94][1] = 0 40.15/25.58 c (25,18) opt[94][2] = 0 40.15/25.58 c (25,18) opt[94][3] = 1 40.15/25.58 c (25,18) opt[94][4] = 0 40.15/25.58 c (25,18) opt[95][0] = 0 40.15/25.58 c (25,18) opt[95][1] = 0 40.15/25.58 c (25,18) opt[95][2] = 0 40.15/25.58 c (25,18) opt[95][3] = 0 40.15/25.58 c (25,18) opt[95][4] = 1 40.15/25.58 c (25,18) opt[96][0] = 1 40.15/25.58 c (25,18) opt[96][1] = 1 40.15/25.58 c (25,18) opt[96][2] = 1 40.15/25.58 c (25,18) opt[96][3] = 0 40.15/25.58 c (25,18) opt[96][4] = 0 40.15/25.58 c (25,18) opt[97][0] = 0 40.15/25.58 c (25,18) opt[97][1] = 1 40.15/25.58 c (25,18) opt[97][2] = 0 40.15/25.58 c (25,18) opt[97][3] = 1 40.15/25.58 c (25,18) opt[97][4] = 0 40.15/25.58 c (25,18) opt[98][0] = 1 40.15/25.58 c (25,18) opt[98][1] = 0 40.15/25.58 c (25,18) opt[98][2] = 0 40.15/25.58 c (25,18) opt[98][3] = 0 40.15/25.58 c (25,18) opt[98][4] = 0 40.15/25.58 c (25,18) opt[99][0] = 0 40.15/25.58 c (25,18) opt[99][1] = 1 40.15/25.58 c (25,18) opt[99][2] = 0 40.15/25.58 c (25,18) opt[99][3] = 0 40.15/25.58 c (25,18) opt[99][4] = 0 40.15/25.58 c (25,18) opt[100][0] = 0 40.15/25.58 c (25,18) opt[100][1] = 0 40.15/25.58 c (25,18) opt[100][2] = 1 40.15/25.58 c (25,18) opt[100][3] = 0 40.15/25.58 c (25,18) opt[100][4] = 0 40.15/25.58 c (25,18) opt[101][0] = 1 40.15/25.58 c (25,18) opt[101][1] = 1 40.15/25.58 c (25,18) opt[101][2] = 0 40.15/25.58 c (25,18) opt[101][3] = 0 40.15/25.58 c (25,18) opt[101][4] = 0 40.15/25.58 c (25,18) opt[102][0] = 0 40.15/25.58 c (25,18) opt[102][1] = 1 40.15/25.58 c (25,18) opt[102][2] = 0 40.15/25.58 c (25,18) opt[102][3] = 0 40.15/25.58 c (25,18) opt[102][4] = 0 40.15/25.58 c (25,18) opt[103][0] = 0 40.15/25.58 c (25,18) opt[103][1] = 0 40.15/25.58 c (25,18) opt[103][2] = 0 40.15/25.58 c (25,18) opt[103][3] = 0 40.15/25.58 c (25,18) opt[103][4] = 1 40.15/25.58 c (25,18) opt[104][0] = 0 40.15/25.58 c (25,18) opt[104][1] = 0 40.15/25.58 c (25,18) opt[104][2] = 1 40.15/25.58 c (25,18) opt[104][3] = 1 40.15/25.58 c (25,18) opt[104][4] = 0 40.15/25.58 c (25,18) opt[105][0] = 0 40.15/25.58 c (25,18) opt[105][1] = 1 40.15/25.58 c (25,18) opt[105][2] = 0 40.15/25.58 c (25,18) opt[105][3] = 0 40.15/25.58 c (25,18) opt[105][4] = 0 40.15/25.58 c (25,18) opt[106][0] = 0 40.15/25.58 c (25,18) opt[106][1] = 0 40.15/25.58 c (25,18) opt[106][2] = 0 40.15/25.58 c (25,18) opt[106][3] = 1 40.15/25.58 c (25,18) opt[106][4] = 0 40.15/25.58 c (25,18) opt[107][0] = 0 40.15/25.58 c (25,18) opt[107][1] = 1 40.15/25.58 c (25,18) opt[107][2] = 0 40.15/25.58 c (25,18) opt[107][3] = 0 40.15/25.58 c (25,18) opt[107][4] = 0 40.15/25.58 c (25,18) opt[108][0] = 0 40.15/25.58 c (25,18) opt[108][1] = 0 40.15/25.58 c (25,18) opt[108][2] = 1 40.15/25.58 c (25,18) opt[108][3] = 0 40.15/25.58 c (25,18) opt[108][4] = 1 40.15/25.58 c (25,18) opt[109][0] = 0 40.15/25.58 c (25,18) opt[109][1] = 1 40.15/25.58 c (25,18) opt[109][2] = 0 40.15/25.58 c (25,18) opt[109][3] = 0 40.15/25.58 c (25,18) opt[109][4] = 0 40.15/25.58 c (25,18) opt[110][0] = 1 40.15/25.58 c (25,18) opt[110][1] = 0 40.15/25.58 c (25,18) opt[110][2] = 0 40.15/25.58 c (25,18) opt[110][3] = 0 40.15/25.58 c (25,18) opt[110][4] = 0 40.15/25.58 c (25,18) opt[111][0] = 0 40.15/25.58 c (25,18) opt[111][1] = 0 40.15/25.58 c (25,18) opt[111][2] = 1 40.15/25.58 c (25,18) opt[111][3] = 0 40.15/25.58 c (25,18) opt[111][4] = 0 40.15/25.58 c (25,18) opt[112][0] = 0 40.15/25.58 c (25,18) opt[112][1] = 1 40.15/25.58 c (25,18) opt[112][2] = 0 40.15/25.58 c (25,18) opt[112][3] = 0 40.15/25.58 c (25,18) opt[112][4] = 0 40.15/25.58 c (25,18) opt[113][0] = 1 40.15/25.58 c (25,18) opt[113][1] = 1 40.15/25.58 c (25,18) opt[113][2] = 0 40.15/25.58 c (25,18) opt[113][3] = 0 40.15/25.58 c (25,18) opt[113][4] = 0 40.15/25.58 c (25,18) opt[114][0] = 0 40.15/25.58 c (25,18) opt[114][1] = 0 40.15/25.58 c (25,18) opt[114][2] = 0 40.15/25.58 c (25,18) opt[114][3] = 0 40.15/25.58 c (25,18) opt[114][4] = 1 40.15/25.58 c (25,18) opt[115][0] = 1 40.15/25.58 c (25,18) opt[115][1] = 1 40.15/25.58 c (25,18) opt[115][2] = 1 40.15/25.58 c (25,18) opt[115][3] = 1 40.15/25.58 c (25,18) opt[115][4] = 0 40.15/25.58 c (25,18) opt[116][0] = 0 40.15/25.58 c (25,18) opt[116][1] = 0 40.15/25.58 c (25,18) opt[116][2] = 0 40.15/25.58 c (25,18) opt[116][3] = 1 40.15/25.58 c (25,18) opt[116][4] = 0 40.15/25.58 c (25,18) opt[117][0] = 0 40.15/25.58 c (25,18) opt[117][1] = 1 40.15/25.58 c (25,18) opt[117][2] = 0 40.15/25.58 c (25,18) opt[117][3] = 0 40.15/25.58 c (25,18) opt[117][4] = 0 40.15/25.58 c (25,18) opt[118][0] = 1 40.15/25.58 c (25,18) opt[118][1] = 0 40.15/25.58 c (25,18) opt[118][2] = 0 40.15/25.58 c (25,18) opt[118][3] = 0 40.15/25.58 c (25,18) opt[118][4] = 0 40.15/25.58 c (25,18) opt[119][0] = 0 40.15/25.58 c (25,18) opt[119][1] = 1 40.15/25.58 c (25,18) opt[119][2] = 0 40.15/25.58 c (25,18) opt[119][3] = 0 40.15/25.58 c (25,18) opt[119][4] = 0 40.15/25.58 c (25,18) opt[120][0] = 0 40.15/25.58 c (25,18) opt[120][1] = 1 40.15/25.58 c (25,18) opt[120][2] = 1 40.15/25.58 c (25,18) opt[120][3] = 1 40.15/25.58 c (25,18) opt[120][4] = 0 40.15/25.58 c (25,18) opt[121][0] = 0 40.15/25.58 c (25,18) opt[121][1] = 0 40.15/25.58 c (25,18) opt[121][2] = 0 40.15/25.58 c (25,18) opt[121][3] = 0 40.15/25.58 c (25,18) opt[121][4] = 1 40.15/25.58 c (25,18) opt[122][0] = 1 40.15/25.58 c (25,18) opt[122][1] = 0 40.15/25.58 c (25,18) opt[122][2] = 0 40.15/25.58 c (25,18) opt[122][3] = 0 40.15/25.58 c (25,18) opt[122][4] = 0 40.15/25.58 c (25,18) opt[123][0] = 0 40.15/25.58 c (25,18) opt[123][1] = 1 40.15/25.58 c (25,18) opt[123][2] = 0 40.15/25.58 c (25,18) opt[123][3] = 0 40.15/25.58 c (25,18) opt[123][4] = 0 40.15/25.58 c (25,18) opt[124][0] = 0 40.15/25.58 c (25,18) opt[124][1] = 0 40.15/25.58 c (25,18) opt[124][2] = 1 40.15/25.58 c (25,18) opt[124][3] = 0 40.15/25.58 c (25,18) opt[124][4] = 0 40.15/25.58 c (25,18) opt[125][0] = 1 40.15/25.58 c (25,18) opt[125][1] = 1 40.15/25.58 c (25,18) opt[125][2] = 0 40.15/25.58 c (25,18) opt[125][3] = 0 40.15/25.58 c (25,18) opt[125][4] = 0 40.15/25.58 c (25,18) opt[126][0] = 0 40.15/25.58 c (25,18) opt[126][1] = 1 40.15/25.58 c (25,18) opt[126][2] = 0 40.15/25.58 c (25,18) opt[126][3] = 0 40.15/25.58 c (25,18) opt[126][4] = 0 40.15/25.58 c (25,18) opt[127][0] = 0 40.15/25.58 c (25,18) opt[127][1] = 0 40.15/25.58 c (25,18) opt[127][2] = 0 40.15/25.58 c (25,18) opt[127][3] = 0 40.15/25.58 c (25,18) opt[127][4] = 1 40.15/25.58 c (25,18) opt[128][0] = 1 40.15/25.58 c (25,18) opt[128][1] = 0 40.15/25.58 c (25,18) opt[128][2] = 1 40.15/25.58 c (25,18) opt[128][3] = 0 40.15/25.58 c (25,18) opt[128][4] = 0 40.15/25.58 c (25,18) opt[129][0] = 0 40.15/25.58 c (25,18) opt[129][1] = 0 40.15/25.58 c (25,18) opt[129][2] = 0 40.15/25.58 c (25,18) opt[129][3] = 1 40.15/25.58 c (25,18) opt[129][4] = 0 40.15/25.58 c (25,18) opt[130][0] = 0 40.15/25.58 c (25,18) opt[130][1] = 1 40.15/25.58 c (25,18) opt[130][2] = 0 40.15/25.58 c (25,18) opt[130][3] = 0 40.15/25.58 c (25,18) opt[130][4] = 0 40.15/25.58 c (25,18) opt[131][0] = 1 40.15/25.58 c (25,18) opt[131][1] = 1 40.15/25.58 c (25,18) opt[131][2] = 0 40.15/25.58 c (25,18) opt[131][3] = 0 40.15/25.58 c (25,18) opt[131][4] = 0 40.15/25.58 c (25,18) opt[132][0] = 0 40.15/25.58 c (25,18) opt[132][1] = 0 40.15/25.58 c (25,18) opt[132][2] = 1 40.15/25.58 c (25,18) opt[132][3] = 0 40.15/25.58 c (25,18) opt[132][4] = 1 40.15/25.58 c (25,18) opt[133][0] = 0 40.15/25.58 c (25,18) opt[133][1] = 0 40.15/25.58 c (25,18) opt[133][2] = 0 40.15/25.58 c (25,18) opt[133][3] = 1 40.15/25.58 c (25,18) opt[133][4] = 0 40.15/25.58 c (25,18) opt[134][0] = 0 40.15/25.58 c (25,18) opt[134][1] = 1 40.15/25.58 c (25,18) opt[134][2] = 0 40.15/25.58 c (25,18) opt[134][3] = 0 40.15/25.58 c (25,18) opt[134][4] = 0 40.15/25.58 c (25,18) opt[135][0] = 0 40.15/25.58 c (25,18) opt[135][1] = 1 40.15/25.58 c (25,18) opt[135][2] = 0 40.15/25.58 c (25,18) opt[135][3] = 1 40.15/25.58 c (25,18) opt[135][4] = 0 40.15/25.58 c (25,18) opt[136][0] = 0 40.15/25.58 c (25,18) opt[136][1] = 0 40.15/25.58 c (25,18) opt[136][2] = 1 40.15/25.58 c (25,18) opt[136][3] = 0 40.15/25.58 c (25,18) opt[136][4] = 0 40.15/25.58 c (25,18) opt[137][0] = 1 40.15/25.58 c (25,18) opt[137][1] = 1 40.15/25.58 c (25,18) opt[137][2] = 0 40.15/25.58 c (25,18) opt[137][3] = 0 40.15/25.58 c (25,18) opt[137][4] = 0 40.15/25.58 c (25,18) opt[138][0] = 0 40.15/25.58 c (25,18) opt[138][1] = 1 40.15/25.58 c (25,18) opt[138][2] = 0 40.15/25.58 c (25,18) opt[138][3] = 0 40.15/25.58 c (25,18) opt[138][4] = 0 40.15/25.58 c (25,18) opt[139][0] = 0 40.15/25.58 c (25,18) opt[139][1] = 0 40.15/25.58 c (25,18) opt[139][2] = 1 40.15/25.58 c (25,18) opt[139][3] = 0 40.15/25.58 c (25,18) opt[139][4] = 0 40.15/25.58 c (25,18) opt[140][0] = 1 40.15/25.58 c (25,18) opt[140][1] = 0 40.15/25.58 c (25,18) opt[140][2] = 0 40.15/25.58 c (25,18) opt[140][3] = 0 40.15/25.58 c (25,18) opt[140][4] = 0 40.15/25.58 c (25,18) opt[141][0] = 0 40.15/25.58 c (25,18) opt[141][1] = 1 40.15/25.58 c (25,18) opt[141][2] = 0 40.15/25.58 c (25,18) opt[141][3] = 0 40.15/25.58 c (25,18) opt[141][4] = 0 40.15/25.58 c (25,18) opt[142][0] = 0 40.15/25.58 c (25,18) opt[142][1] = 0 40.15/25.58 c (25,18) opt[142][2] = 1 40.15/25.58 c (25,18) opt[142][3] = 0 40.15/25.58 c (25,18) opt[142][4] = 0 40.15/25.58 c (25,18) opt[143][0] = 0 40.15/25.58 c (25,18) opt[143][1] = 0 40.15/25.58 c (25,18) opt[143][2] = 0 40.15/25.58 c (25,18) opt[143][3] = 1 40.15/25.58 c (25,18) opt[143][4] = 0 40.15/25.58 c (25,18) opt[144][0] = 1 40.15/25.58 c (25,18) opt[144][1] = 1 40.15/25.58 c (25,18) opt[144][2] = 0 40.15/25.58 c (25,18) opt[144][3] = 1 40.15/25.58 c (25,18) opt[144][4] = 1 40.15/25.58 c (25,18) opt[145][0] = 0 40.15/25.58 c (25,18) opt[145][1] = 1 40.15/25.58 c (25,18) opt[145][2] = 1 40.15/25.58 c (25,18) opt[145][3] = 0 40.15/25.58 c (25,18) opt[145][4] = 0 40.15/25.58 c (25,18) opt[146][0] = 1 40.15/25.58 c (25,18) opt[146][1] = 0 40.15/25.58 c (25,18) opt[146][2] = 0 40.15/25.58 c (25,18) opt[146][3] = 0 40.15/25.58 c (25,18) opt[146][4] = 0 40.15/25.58 c (25,18) opt[147][0] = 0 40.15/25.58 c (25,18) opt[147][1] = 1 40.15/25.58 c (25,18) opt[147][2] = 0 40.15/25.58 c (25,18) opt[147][3] = 0 40.15/25.58 c (25,18) opt[147][4] = 0 40.15/25.58 c (25,18) opt[148][0] = 0 40.15/25.58 c (25,18) opt[148][1] = 0 40.15/25.58 c (25,18) opt[148][2] = 1 40.15/25.58 c (25,18) opt[148][3] = 1 40.15/25.58 c (25,18) opt[148][4] = 0 40.15/25.58 c (25,18) opt[149][0] = 1 40.15/25.58 c (25,18) opt[149][1] = 1 40.15/25.58 c (25,18) opt[149][2] = 0 40.15/25.58 c (25,18) opt[149][3] = 0 40.15/25.58 c (25,18) opt[149][4] = 0 40.15/25.58 c (25,18) opt[150][0] = 0 40.15/25.58 c (25,18) opt[150][1] = 0 40.15/25.58 c (25,18) opt[150][2] = 0 40.15/25.58 c (25,18) opt[150][3] = 0 40.15/25.58 c (25,18) opt[150][4] = 1 40.15/25.58 c (25,18) opt[151][0] = 0 40.15/25.58 c (25,18) opt[151][1] = 1 40.15/25.58 c (25,18) opt[151][2] = 0 40.15/25.58 c (25,18) opt[151][3] = 0 40.15/25.58 c (25,18) opt[151][4] = 0 40.15/25.58 c (25,18) opt[152][0] = 1 40.15/25.58 c (25,18) opt[152][1] = 0 40.15/25.58 c (25,18) opt[152][2] = 0 40.15/25.58 c (25,18) opt[152][3] = 1 40.15/25.58 c (25,18) opt[152][4] = 0 40.15/25.58 c (25,18) opt[153][0] = 0 40.15/25.58 c (25,18) opt[153][1] = 0 40.15/25.58 c (25,18) opt[153][2] = 1 40.15/25.58 c (25,18) opt[153][3] = 0 40.15/25.58 c (25,18) opt[153][4] = 0 40.15/25.58 c (25,18) opt[154][0] = 0 40.15/25.58 c (25,18) opt[154][1] = 1 40.15/25.58 c (25,18) opt[154][2] = 0 40.15/25.58 c (25,18) opt[154][3] = 0 40.15/25.58 c (25,18) opt[154][4] = 0 40.15/25.58 c (25,18) opt[155][0] = 1 40.15/25.58 c (25,18) opt[155][1] = 1 40.15/25.58 c (25,18) opt[155][2] = 0 40.15/25.58 c (25,18) opt[155][3] = 1 40.15/25.58 c (25,18) opt[155][4] = 0 40.15/25.58 c (25,18) opt[156][0] = 0 40.15/25.58 c (25,18) opt[156][1] = 0 40.15/25.58 c (25,18) opt[156][2] = 1 40.15/25.58 c (25,18) opt[156][3] = 0 40.15/25.58 c (25,18) opt[156][4] = 0 40.15/25.58 c (25,18) opt[157][0] = 1 40.15/25.58 c (25,18) opt[157][1] = 1 40.15/25.58 c (25,18) opt[157][2] = 0 40.15/25.58 c (25,18) opt[157][3] = 1 40.15/25.58 c (25,18) opt[157][4] = 0 40.15/25.58 c (25,18) opt[158][0] = 0 40.15/25.58 c (25,18) opt[158][1] = 1 40.15/25.58 c (25,18) opt[158][2] = 0 40.15/25.58 c (25,18) opt[158][3] = 0 40.15/25.58 c (25,18) opt[158][4] = 0 40.15/25.58 c (25,18) opt[159][0] = 0 40.15/25.58 c (25,18) opt[159][1] = 0 40.15/25.58 c (25,18) opt[159][2] = 1 40.15/25.58 c (25,18) opt[159][3] = 0 40.15/25.58 c (25,18) opt[159][4] = 0 40.15/25.58 c (25,18) opt[160][0] = 0 40.15/25.58 c (25,18) opt[160][1] = 1 40.15/25.58 c (25,18) opt[160][2] = 0 40.15/25.58 c (25,18) opt[160][3] = 0 40.15/25.58 c (25,18) opt[160][4] = 0 40.15/25.58 c (25,18) opt[161][0] = 1 40.15/25.58 c (25,18) opt[161][1] = 1 40.15/25.58 c (25,18) opt[161][2] = 0 40.15/25.58 c (25,18) opt[161][3] = 0 40.15/25.58 c (25,18) opt[161][4] = 0 40.15/25.58 c (25,18) opt[162][0] = 0 40.15/25.58 c (25,18) opt[162][1] = 0 40.15/25.58 c (25,18) opt[162][2] = 1 40.15/25.58 c (25,18) opt[162][3] = 0 40.15/25.58 c (25,18) opt[162][4] = 0 40.15/25.58 c (25,18) opt[163][0] = 1 40.15/25.58 c (25,18) opt[163][1] = 1 40.15/25.58 c (25,18) opt[163][2] = 0 40.15/25.58 c (25,18) opt[163][3] = 0 40.15/25.58 c (25,18) opt[163][4] = 0 40.15/25.58 c (25,18) opt[164][0] = 0 40.15/25.58 c (25,18) opt[164][1] = 0 40.15/25.58 c (25,18) opt[164][2] = 0 40.15/25.58 c (25,18) opt[164][3] = 0 40.15/25.58 c (25,18) opt[164][4] = 1 40.15/25.58 c (25,18) opt[165][0] = 1 40.15/25.58 c (25,18) opt[165][1] = 1 40.15/25.58 c (25,18) opt[165][2] = 1 40.15/25.58 c (25,18) opt[165][3] = 1 40.15/25.58 c (25,18) opt[165][4] = 0 40.15/25.58 c (25,18) opt[166][0] = 0 40.15/25.58 c (25,18) opt[166][1] = 1 40.15/25.58 c (25,18) opt[166][2] = 0 40.15/25.58 c (25,18) opt[166][3] = 0 40.15/25.58 c (25,18) opt[166][4] = 0 40.15/25.58 c (25,18) opt[167][0] = 0 40.15/25.58 c (25,18) opt[167][1] = 0 40.15/25.58 c (25,18) opt[167][2] = 0 40.15/25.58 c (25,18) opt[167][3] = 1 40.15/25.58 c (25,18) opt[167][4] = 0 40.15/25.58 c (25,18) opt[168][0] = 0 40.15/25.58 c (25,18) opt[168][1] = 1 40.15/25.58 c (25,18) opt[168][2] = 1 40.15/25.58 c (25,18) opt[168][3] = 0 40.15/25.58 c (25,18) opt[168][4] = 0 40.15/25.58 c (25,18) opt[169][0] = 0 40.15/25.58 c (25,18) opt[169][1] = 1 40.15/25.58 c (25,18) opt[169][2] = 0 40.15/25.58 c (25,18) opt[169][3] = 0 40.15/25.58 c (25,18) opt[169][4] = 0 40.15/25.58 c (25,18) opt[170][0] = 1 40.15/25.58 c (25,18) opt[170][1] = 0 40.15/25.58 c (25,18) opt[170][2] = 0 40.15/25.58 c (25,18) opt[170][3] = 1 40.15/25.58 c (25,18) opt[170][4] = 1 40.15/25.58 c (25,18) opt[171][0] = 0 40.15/25.58 c (25,18) opt[171][1] = 1 40.15/25.58 c (25,18) opt[171][2] = 0 40.15/25.58 c (25,18) opt[171][3] = 0 40.15/25.58 c (25,18) opt[171][4] = 0 40.15/25.58 c (25,18) opt[172][0] = 0 40.15/25.58 c (25,18) opt[172][1] = 0 40.15/25.58 c (25,18) opt[172][2] = 1 40.15/25.58 c (25,18) opt[172][3] = 0 40.15/25.58 c (25,18) opt[172][4] = 0 40.15/25.58 c (25,18) opt[173][0] = 1 40.15/25.58 c (25,18) opt[173][1] = 1 40.15/25.58 c (25,18) opt[173][2] = 0 40.15/25.58 c (25,18) opt[173][3] = 0 40.15/25.58 c (25,18) opt[173][4] = 0 40.15/25.58 c (25,18) opt[174][0] = 0 40.15/25.58 c (25,18) opt[174][1] = 0 40.15/25.58 c (25,18) opt[174][2] = 0 40.15/25.58 c (25,18) opt[174][3] = 1 40.15/25.58 c (25,18) opt[174][4] = 0 40.15/25.58 c (25,18) opt[175][0] = 0 40.15/25.58 c (25,18) opt[175][1] = 1 40.15/25.58 c (25,18) opt[175][2] = 0 40.15/25.58 c (25,18) opt[175][3] = 0 40.15/25.58 c (25,18) opt[175][4] = 0 40.15/25.58 c (25,18) opt[176][0] = 1 40.15/25.58 c (25,18) opt[176][1] = 0 40.15/25.58 c (25,18) opt[176][2] = 1 40.15/25.58 c (25,18) opt[176][3] = 0 40.15/25.58 c (25,18) opt[176][4] = 1 40.15/25.58 c (25,18) opt[177][0] = 0 40.15/25.58 c (25,18) opt[177][1] = 1 40.15/25.58 c (25,18) opt[177][2] = 0 40.15/25.58 c (25,18) opt[177][3] = 0 40.15/25.58 c (25,18) opt[177][4] = 0 40.15/25.58 c (25,18) opt[178][0] = 0 40.15/25.58 c (25,18) opt[178][1] = 1 40.15/25.58 c (25,18) opt[178][2] = 0 40.15/25.58 c (25,18) opt[178][3] = 1 40.15/25.58 c (25,18) opt[178][4] = 0 40.15/25.58 c (25,18) opt[179][0] = 0 40.15/25.58 c (25,18) opt[179][1] = 0 40.15/25.58 c (25,18) opt[179][2] = 1 40.15/25.58 c (25,18) opt[179][3] = 0 40.15/25.58 c (25,18) opt[179][4] = 0 40.15/25.58 c (25,18) opt[180][0] = 1 40.15/25.58 c (25,18) opt[180][1] = 1 40.15/25.58 c (25,18) opt[180][2] = 0 40.15/25.58 c (25,18) opt[180][3] = 0 40.15/25.58 c (25,18) opt[180][4] = 0 40.15/25.58 c (25,18) opt[181][0] = 0 40.15/25.58 c (25,18) opt[181][1] = 0 40.15/25.58 c (25,18) opt[181][2] = 0 40.15/25.58 c (25,18) opt[181][3] = 0 40.15/25.58 c (25,18) opt[181][4] = 1 40.15/25.58 c (25,18) opt[182][0] = 1 40.15/25.58 c (25,18) opt[182][1] = 1 40.15/25.58 c (25,18) opt[182][2] = 0 40.15/25.58 c (25,18) opt[182][3] = 1 40.15/25.58 c (25,18) opt[182][4] = 0 40.15/25.58 c (25,18) opt[183][0] = 0 40.15/25.58 c (25,18) opt[183][1] = 1 40.15/25.58 c (25,18) opt[183][2] = 1 40.15/25.58 c (25,18) opt[183][3] = 0 40.15/25.58 c (25,18) opt[183][4] = 0 40.15/25.58 c (25,18) opt[184][0] = 1 40.15/25.58 c (25,18) opt[184][1] = 0 40.15/25.58 c (25,18) opt[184][2] = 0 40.15/25.58 c (25,18) opt[184][3] = 0 40.15/25.58 c (25,18) opt[184][4] = 0 40.15/25.58 c (25,18) opt[185][0] = 0 40.15/25.58 c (25,18) opt[185][1] = 1 40.15/25.58 c (25,18) opt[185][2] = 0 40.15/25.58 c (25,18) opt[185][3] = 0 40.15/25.58 c (25,18) opt[185][4] = 0 40.15/25.58 c (25,18) opt[186][0] = 0 40.15/25.58 c (25,18) opt[186][1] = 1 40.15/25.58 c (25,18) opt[186][2] = 0 40.15/25.58 c (25,18) opt[186][3] = 1 40.15/25.58 c (25,18) opt[186][4] = 0 40.15/25.58 c (25,18) opt[187][0] = 0 40.15/25.58 c (25,18) opt[187][1] = 0 40.15/25.58 c (25,18) opt[187][2] = 0 40.15/25.58 c (25,18) opt[187][3] = 0 40.15/25.58 c (25,18) opt[187][4] = 1 40.15/25.58 c (25,18) opt[188][0] = 0 40.15/25.58 c (25,18) opt[188][1] = 1 40.15/25.58 c (25,18) opt[188][2] = 0 40.15/25.58 c (25,18) opt[188][3] = 0 40.15/25.58 c (25,18) opt[188][4] = 0 40.15/25.58 c (25,18) opt[189][0] = 1 40.15/25.58 c (25,18) opt[189][1] = 0 40.15/25.58 c (25,18) opt[189][2] = 1 40.15/25.58 c (25,18) opt[189][3] = 0 40.15/25.58 c (25,18) opt[189][4] = 0 40.15/25.58 c (25,18) opt[190][0] = 0 40.15/25.58 c (25,18) opt[190][1] = 1 40.15/25.58 c (25,18) opt[190][2] = 0 40.15/25.58 c (25,18) opt[190][3] = 0 40.15/25.58 c (25,18) opt[190][4] = 0 40.15/25.58 c (25,18) opt[191][0] = 0 40.15/25.58 c (25,18) opt[191][1] = 1 40.15/25.58 c (25,18) opt[191][2] = 0 40.15/25.58 c (25,18) opt[191][3] = 0 40.15/25.58 c (25,18) opt[191][4] = 0 40.15/25.58 c (25,18) opt[192][0] = 0 40.15/25.58 c (25,18) opt[192][1] = 0 40.15/25.58 c (25,18) opt[192][2] = 0 40.15/25.58 c (25,18) opt[192][3] = 1 40.15/25.58 c (25,18) opt[192][4] = 1 40.15/25.58 c (25,18) opt[193][0] = 0 40.15/25.58 c (25,18) opt[193][1] = 1 40.15/25.58 c (25,18) opt[193][2] = 0 40.15/25.58 c (25,18) opt[193][3] = 0 40.15/25.58 c (25,18) opt[193][4] = 0 40.15/25.58 c (25,18) opt[194][0] = 0 40.15/25.58 c (25,18) opt[194][1] = 1 40.15/25.58 c (25,18) opt[194][2] = 0 40.15/25.58 c (25,18) opt[194][3] = 0 40.15/25.58 c (25,18) opt[194][4] = 0 40.15/25.58 c (25,18) opt[195][0] = 1 40.15/25.58 c (25,18) opt[195][1] = 0 40.15/25.58 c (25,18) opt[195][2] = 0 40.15/25.58 c (25,18) opt[195][3] = 1 40.15/25.58 c (25,18) opt[195][4] = 0 40.15/25.58 c (25,18) opt[196][0] = 0 40.15/25.58 c (25,18) opt[196][1] = 1 40.15/25.58 c (25,18) opt[196][2] = 0 40.15/25.58 c (25,18) opt[196][3] = 0 40.15/25.58 c (25,18) opt[196][4] = 0 40.15/25.58 c (25,18) opt[197][0] = 0 40.15/25.58 c (25,18) opt[197][1] = 1 40.15/25.58 c (25,18) opt[197][2] = 0 40.15/25.58 c (25,18) opt[197][3] = 0 40.15/25.58 c (25,18) opt[197][4] = 0 40.15/25.58 c (25,18) opt[198][0] = 0 40.15/25.58 c (25,18) opt[198][1] = 0 40.15/25.58 c (25,18) opt[198][2] = 1 40.15/25.58 c (25,18) opt[198][3] = 0 40.15/25.58 c (25,18) opt[198][4] = 0 40.15/25.58 c (25,18) opt[199][0] = 0 40.15/25.58 c (25,18) opt[199][1] = 1 40.15/25.58 c (25,18) opt[199][2] = 0 40.15/25.58 c (25,18) opt[199][3] = 0 40.15/25.58 c (25,18) opt[199][4] = 0 40.15/25.58 s SATISFIABLE 40.15/25.58 v <instantiation> 40.15/25.58 v <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4]</list> 40.15/25.58 v <values>25 3 0 2 1 6 2 5 18 6 2 11 6 2 19 9 8 19 2 9 19 2 11 6 16 3 19 3 19 2 15 2 19 12 3 2 21 2 19 2 8 7 18 2 19 2 3 6 11 2 0 2 2 21 2 18 14 2 18 9 1 2 19 2 1 2 15 2 13 6 11 2 6 3 19 2 6 5 18 20 25 16 2 2 15 2 1 2 6 5 2 6 18 25 18 8 23 3 19 2 6 5 2 8 15 2 18 25 24 2 19 6 2 5 8 7 18 2 19 25 20 8 19 2 6 5 2 8 0 18 2 5 12 18 2 3 6 5 2 6 19 2 6 18 22 9 19 2 15 5 8 2 1 6 2 11 6 11 2 6 2 5 6 5 8 7 2 18 9 2 4 2 6 5 18 2 10 2 3 6 5 8 11 9 19 2 3 8 2 0 2 2 17 2 2 1 2 2 6 25 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 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 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 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 0 1 0 0 0</values> 40.15/25.58 v </instantiation> 40.15/25.58 c (25,18) Show results End 40.15/25.58 c (25,18) Heap : 1131 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 40.15/25.58 c (25,18) 0,0,11,11,11,11,19,25,25,STOP-AFTER(ALL) 40.15/25.59 c END-Prog: Fri Jul 27 06:04:39 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 (11736 MiB free) memory of node 1: 16384 MiB (15875 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296901-1532664254/watcher-4296901-1532664254 -o /tmp/evaluation-result-4296901-1532664254/solver-4296901-1532664254 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532663056-9008 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4296901-1532664254.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=9493, runsolver pid=9490 Current StackSize limit: 8192 KiB [startup+0.100173 s]* /proc/loadavg: 3.44 2.95 2.71 2/200 9513 /proc/meminfo: memFree=28176040/32770624 swapFree=67108860/67108860 [pid=9493] ppid=9490 vsize=27312552 memory=111032 CPUtime=0.11 cores=0-7 /proc/9493/stat : 9493 (java) S 9490 9493 8981 0 -1 1077944320 6255 0 0 0 9 2 0 0 20 0 20 0 83988554 27968053248 27758 33554432000 4194304 4196468 140722009504000 140722009486544 140166434836215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 /proc/9493/statm: 6828138 27758 2749 1 0 6790598 0 [pid=9493/tid=9495] ppid=9490 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/9493/task/9495/stat : 9495 (java) R 9490 9493 8981 0 -1 4202560 4376 0 0 0 7 2 0 0 20 0 20 0 83988555 27968053248 27758 33554432000 4194304 4196468 140722009504000 140166406632096 140166418916702 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9496] ppid=9490 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9493/task/9496/stat : 9496 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 27758 33554432000 4194304 4196468 140722009504000 140166439078416 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9497] ppid=9490 vsize=27312552 memory=140378276931200 CPUtime=0 cores=0-7 /proc/9493/task/9497/stat : 9497 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 27758 33554432000 4194304 4196468 140722009504000 140166259374736 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9498] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9498/stat : 9498 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 27758 33554432000 4194304 4196468 140722009504000 140165855889680 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9499] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9499/stat : 9499 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 27758 33554432000 4194304 4196468 140722009504000 140165854837136 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9500] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9500/stat : 9500 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 27758 33554432000 4194304 4196468 140722009504000 140165853785104 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9501] ppid=9490 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9493/task/9501/stat : 9501 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 27758 33554432000 4194304 4196468 140722009504000 140165852732560 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9502] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9502/stat : 9502 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 27758 33554432000 4194304 4196468 140722009504000 140165851679504 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9503] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9503/stat : 9503 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 27758 33554432000 4194304 4196468 140722009504000 140165850626960 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9504] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9504/stat : 9504 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988558 27968053248 27758 33554432000 4194304 4196468 140722009504000 140164554713328 140166434847362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9505] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9505/stat : 9505 (java) S 9490 9493 8981 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83988559 27968053248 27758 33554432000 4194304 4196468 140722009504000 140164378649760 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9506] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9506/stat : 9506 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988559 27968053248 27758 33554432000 4194304 4196468 140722009504000 140164110213872 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9507] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9507/stat : 9507 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 27758 33554432000 4194304 4196468 140722009504000 140163735705552 140166434854811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9508] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9508/stat : 9508 (java) S 9490 9493 8981 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 27758 33554432000 4194304 4196468 140722009504000 140164553661168 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9509] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9509/stat : 9509 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 27758 33554432000 4194304 4196468 140722009504000 140164552608624 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9510] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9510/stat : 9510 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 27758 33554432000 4194304 4196468 140722009504000 140164551555568 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9511] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9511/stat : 9511 (java) S 9490 9493 8981 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 27758 33554432000 4194304 4196468 140722009504000 140164550503024 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9512] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9512/stat : 9512 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 27758 33554432000 4194304 4196468 140722009504000 140163237800416 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9513] ppid=9490 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9493/task/9513/stat : 9513 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 27758 33554432000 4194304 4196468 140722009504000 140164549450416 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 111032 KiB [startup+0.210012 s]* /proc/loadavg: 3.44 2.95 2.71 3/200 9513 /proc/meminfo: memFree=28160572/32770624 swapFree=67108860/67108860 [pid=9493] ppid=9490 vsize=27312552 memory=125660 CPUtime=0.24 cores=0-7 /proc/9493/stat : 9493 (java) S 9490 9493 8981 0 -1 1077944320 10054 0 0 0 21 3 0 0 20 0 20 0 83988554 27968053248 31415 33554432000 4194304 4196468 140722009504000 140722009486544 140166434836215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 /proc/9493/statm: 6828138 31415 2944 1 0 6790598 0 [pid=9493/tid=9495] ppid=9490 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/9493/task/9495/stat : 9495 (java) R 9490 9493 8981 0 -1 4202560 7963 0 0 0 17 3 0 0 20 0 20 0 83988555 27968053248 31415 33554432000 4194304 4196468 140722009504000 140166406626880 140166418916702 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9496] ppid=9490 vsize=27312552 memory=10823 CPUtime=0 cores=0-7 /proc/9493/task/9496/stat : 9496 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 31415 33554432000 4194304 4196468 140722009504000 140166439078416 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9497] ppid=9490 vsize=27312552 memory=140378276940263 CPUtime=0 cores=0-7 /proc/9493/task/9497/stat : 9497 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 31415 33554432000 4194304 4196468 140722009504000 140166259374736 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9498] ppid=9490 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9493/task/9498/stat : 9498 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 31415 33554432000 4194304 4196468 140722009504000 140165855889680 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9499] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9499/stat : 9499 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 31415 33554432000 4194304 4196468 140722009504000 140165854837136 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9500] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9500/stat : 9500 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 31415 33554432000 4194304 4196468 140722009504000 140165853785104 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9501] ppid=9490 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9493/task/9501/stat : 9501 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 31415 33554432000 4194304 4196468 140722009504000 140165852732560 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9502] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9502/stat : 9502 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 31415 33554432000 4194304 4196468 140722009504000 140165851679504 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9503] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9503/stat : 9503 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 31415 33554432000 4194304 4196468 140722009504000 140165850626960 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9504] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9504/stat : 9504 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988558 27968053248 31415 33554432000 4194304 4196468 140722009504000 140164554713328 140166434847362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9505] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9505/stat : 9505 (java) S 9490 9493 8981 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83988559 27968053248 31415 33554432000 4194304 4196468 140722009504000 140164378649760 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9506] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9506/stat : 9506 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988559 27968053248 31415 33554432000 4194304 4196468 140722009504000 140164110213872 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9507] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9507/stat : 9507 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 31415 33554432000 4194304 4196468 140722009504000 140163735705552 140166434854811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9508] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9508/stat : 9508 (java) S 9490 9493 8981 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 31415 33554432000 4194304 4196468 140722009504000 140164553661168 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9509] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9509/stat : 9509 (java) S 9490 9493 8981 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 31415 33554432000 4194304 4196468 140722009504000 140164552608624 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9510] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9510/stat : 9510 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 31415 33554432000 4194304 4196468 140722009504000 140164551555568 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9511] ppid=9490 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/9493/task/9511/stat : 9511 (java) S 9490 9493 8981 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 20 0 83988562 27968053248 31415 33554432000 4194304 4196468 140722009504000 140164550503024 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9512] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9512/stat : 9512 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 31415 33554432000 4194304 4196468 140722009504000 140163237800416 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9513] ppid=9490 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9493/task/9513/stat : 9513 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 31415 33554432000 4194304 4196468 140722009504000 140164549450416 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 125660 KiB [startup+0.309734 s]* /proc/loadavg: 3.44 2.95 2.71 2/200 9513 /proc/meminfo: memFree=28157036/32770624 swapFree=67108860/67108860 [pid=9493] ppid=9490 vsize=27312552 memory=129464 CPUtime=0.41 cores=0-7 /proc/9493/stat : 9493 (java) S 9490 9493 8981 0 -1 1077944320 10689 0 0 0 38 3 0 0 20 0 20 0 83988554 27968053248 32366 33554432000 4194304 4196468 140722009504000 140722009486544 140166434836215 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 /proc/9493/statm: 6828138 32366 2986 1 0 6790598 0 [pid=9493/tid=9495] ppid=9490 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/9493/task/9495/stat : 9495 (java) R 9490 9493 8981 0 -1 4202560 8398 0 0 0 26 3 0 0 20 0 20 0 83988555 27968053248 32366 33554432000 4194304 4196468 140722009504000 140166406640368 140166416399801 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9496] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9496/stat : 9496 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 32366 33554432000 4194304 4196468 140722009504000 140166439078416 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9497] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9497/stat : 9497 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 32366 33554432000 4194304 4196468 140722009504000 140166259374736 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9498] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9498/stat : 9498 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 32366 33554432000 4194304 4196468 140722009504000 140165855889680 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9499] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9499/stat : 9499 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 32366 33554432000 4194304 4196468 140722009504000 140165854837136 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9500] ppid=9490 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/9493/task/9500/stat : 9500 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 32366 33554432000 4194304 4196468 140722009504000 140165853785104 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9501] ppid=9490 vsize=27312552 memory=140378120483759 CPUtime=0 cores=0-7 /proc/9493/task/9501/stat : 9501 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 32366 33554432000 4194304 4196468 140722009504000 140165852732560 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9502] ppid=9490 vsize=27312552 memory=140378120486064 CPUtime=0 cores=0-7 /proc/9493/task/9502/stat : 9502 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 32366 33554432000 4194304 4196468 140722009504000 140165851679504 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9503] ppid=9490 vsize=27312552 memory=140378120488368 CPUtime=0 cores=0-7 /proc/9493/task/9503/stat : 9503 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988557 27968053248 32366 33554432000 4194304 4196468 140722009504000 140165850626960 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9504] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9504/stat : 9504 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988558 27968053248 32366 33554432000 4194304 4196468 140722009504000 140164554713328 140166434847362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9505] ppid=9490 vsize=27312552 memory=280756240983696 CPUtime=0 cores=0-7 /proc/9493/task/9505/stat : 9505 (java) S 9490 9493 8981 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83988559 27968053248 32366 33554432000 4194304 4196468 140722009504000 140164378649760 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9506] ppid=9490 vsize=27312552 memory=280756240990608 CPUtime=0 cores=0-7 /proc/9493/task/9506/stat : 9506 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988559 27968053248 32366 33554432000 4194304 4196468 140722009504000 140164110213872 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9507] ppid=9490 vsize=27312552 memory=280756240931856 CPUtime=0 cores=0-7 /proc/9493/task/9507/stat : 9507 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 32366 33554432000 4194304 4196468 140722009504000 140163735705552 140166434854811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9508] ppid=9490 vsize=27312552 memory=280756241004432 CPUtime=0.01 cores=0-7 /proc/9493/task/9508/stat : 9508 (java) S 9490 9493 8981 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 20 0 83988562 27968053248 32366 33554432000 4194304 4196468 140722009504000 140164553661168 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9509] ppid=9490 vsize=27312552 memory=280756241011344 CPUtime=0 cores=0-7 /proc/9493/task/9509/stat : 9509 (java) S 9490 9493 8981 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 32366 33554432000 4194304 4196468 140722009504000 140164552608624 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9510] ppid=9490 vsize=27312552 memory=280756241009040 CPUtime=0.01 cores=0-7 /proc/9493/task/9510/stat : 9510 (java) S 9490 9493 8981 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 83988562 27968053248 32366 33554432000 4194304 4196468 140722009504000 140164551555568 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9511] ppid=9490 vsize=27312552 memory=280756241025648 CPUtime=0.07 cores=0-7 /proc/9493/task/9511/stat : 9511 (java) S 9490 9493 8981 0 -1 1077944384 334 0 0 0 7 0 0 0 20 0 20 0 83988562 27968053248 32366 33554432000 4194304 4196468 140722009504000 140164550503024 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9512] ppid=9490 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9512/stat : 9512 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 32366 33554432000 4194304 4196468 140722009504000 140163237800416 140166434846421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9513] ppid=9490 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9493/task/9513/stat : 9513 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988562 27968053248 32366 33554432000 4194304 4196468 140722009504000 140164549450416 140166434847362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 129464 KiB [startup+0.700852 s] /proc/loadavg: 3.44 2.95 2.71 2/200 9513 /proc/meminfo: memFree=28132604/32770624 swapFree=67108860/67108860 [pid=9493] ppid=9490 vsize=27318824 memory=169156 CPUtime=1.03 cores=0-7 /proc/9493/stat : 9493 (java) S 9490 9493 8981 0 -1 1077944320 17739 0 0 0 97 6 0 0 20 0 20 0 83988554 27974475776 42289 33554432000 4194304 4196468 140722009504000 140722009486544 140166434836215 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 /proc/9493/statm: 6829706 42289 3138 1 0 6791110 0 [pid=9493/tid=9495] ppid=9490 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7 /proc/9493/task/9495/stat : 9495 (java) R 9490 9493 8981 0 -1 4202560 14943 0 0 0 62 5 0 0 20 0 20 0 83988555 27974475776 42289 33554432000 4194304 4196468 140722009504000 140166406673616 140166434858141 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9496] ppid=9490 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9496/stat : 9496 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27974475776 42289 33554432000 4194304 4196468 140722009504000 140166439078416 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9497] ppid=9490 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9497/stat : 9497 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27974475776 42289 33554432000 4194304 4196468 140722009504000 140166259374736 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9498] ppid=9490 vsize=27318824 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9498/stat : 9498 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27974475776 42289 33554432000 4194304 4196468 140722009504000 140165855889680 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9499] ppid=9490 vsize=27318824 memory=1812 CPUtime=0 cores=0-7 /proc/9493/task/9499/stat : 9499 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988557 27974475776 42289 33554432000 4194304 4196468 140722009504000 140165854837136 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9500] ppid=9490 vsize=27318824 memory=1020 CPUtime=0 cores=0-7 /proc/9493/task/9500/stat : 9500 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27974475776 42289 33554432000 4194304 4196468 140722009504000 140165853785104 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9501] ppid=9490 vsize=27318824 memory=5184 CPUtime=0 cores=0-7 /proc/9493/task/9501/stat : 9501 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83988557 27974475776 42289 33554432000 4194304 4196468 140722009504000 140165852732560 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9502] ppid=9490 vsize=27318824 memory=756 CPUtime=0 cores=0-7 /proc/9493/task/9502/stat : 9502 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27974475776 42289 33554432000 4194304 4196468 140722009504000 140165851679504 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9503] ppid=9490 vsize=27318824 memory=14572 CPUtime=0 cores=0-7 /proc/9493/task/9503/stat : 9503 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988557 27974475776 42289 33554432000 4194304 4196468 140722009504000 140165850626960 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9504] ppid=9490 vsize=27318824 memory=12708 CPUtime=0 cores=0-7 /proc/9493/task/9504/stat : 9504 (java) S 9490 9493 8981 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83988558 27974475776 42289 33554432000 4194304 4196468 140722009504000 140164554713328 140166434847362 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 ################ # More data... # ################ /proc/9493/task/9495/stat : 9495 (java) R 9490 9493 8981 0 -1 4202560 18345 0 0 0 578 40 0 0 20 0 20 0 83988555 27980845056 632761 33554432000 4194304 4196468 140722009504000 140166406668320 140165948949624 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9496] ppid=9490 vsize=27325044 memory=1099380 CPUtime=0 cores=0-7 /proc/9493/task/9496/stat : 9496 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27980845056 632761 33554432000 4194304 4196468 140722009504000 140166439078416 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9497] ppid=9490 vsize=27325044 memory=280756240991904 CPUtime=0 cores=0-7 /proc/9493/task/9497/stat : 9497 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27980845056 632761 33554432000 4194304 4196468 140722009504000 140166259374736 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9498] ppid=9490 vsize=27325044 memory=1256 CPUtime=0 cores=0-7 /proc/9493/task/9498/stat : 9498 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27980845056 632761 33554432000 4194304 4196468 140722009504000 140165855889680 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9499] ppid=9490 vsize=27325044 memory=10368 CPUtime=0 cores=0-7 /proc/9493/task/9499/stat : 9499 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988557 27980845056 632761 33554432000 4194304 4196468 140722009504000 140165854837136 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9500] ppid=9490 vsize=27325044 memory=1696 CPUtime=0 cores=0-7 /proc/9493/task/9500/stat : 9500 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27980845056 632761 33554432000 4194304 4196468 140722009504000 140165853785104 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9501] ppid=9490 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9501/stat : 9501 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83988557 27980845056 632761 33554432000 4194304 4196468 140722009504000 140165852732560 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9502] ppid=9490 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9502/stat : 9502 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988557 27980845056 632761 33554432000 4194304 4196468 140722009504000 140165851679504 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9503] ppid=9490 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9503/stat : 9503 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988557 27980845056 632761 33554432000 4194304 4196468 140722009504000 140165850626960 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9504] ppid=9490 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9504/stat : 9504 (java) S 9490 9493 8981 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 83988558 27980845056 632761 33554432000 4194304 4196468 140722009504000 140164554713328 140166434847362 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9505] ppid=9490 vsize=27325044 memory=55 CPUtime=0 cores=0-7 /proc/9493/task/9505/stat : 9505 (java) S 9490 9493 8981 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83988559 27980845056 632761 33554432000 4194304 4196468 140722009504000 140164378649760 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9506] ppid=9490 vsize=27325044 memory=4639641446577099620 CPUtime=0 cores=0-7 /proc/9493/task/9506/stat : 9506 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988559 27980845056 632761 33554432000 4194304 4196468 140722009504000 140164110213872 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9507] ppid=9490 vsize=27325044 memory=6935650355339879252 CPUtime=0 cores=0-7 /proc/9493/task/9507/stat : 9507 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988562 27980845056 632761 33554432000 4194304 4196468 140722009504000 140163735705552 140166434854811 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9508] ppid=9490 vsize=27325044 memory=6935650355339879252 CPUtime=2.43 cores=0-7 /proc/9493/task/9508/stat : 9508 (java) S 9490 9493 8981 0 -1 1077944384 4522 0 0 0 242 1 0 0 20 0 20 0 83988562 27980845056 632761 33554432000 4194304 4196468 140722009504000 140164553661168 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9509] ppid=9490 vsize=27325044 memory=0 CPUtime=2.61 cores=0-7 /proc/9493/task/9509/stat : 9509 (java) S 9490 9493 8981 0 -1 1077944384 5909 0 0 0 260 1 0 0 20 0 20 0 83988562 27980845056 632761 33554432000 4194304 4196468 140722009504000 140164552608624 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9510] ppid=9490 vsize=27325044 memory=140378120393941 CPUtime=2.21 cores=0-7 /proc/9493/task/9510/stat : 9510 (java) S 9490 9493 8981 0 -1 1077944384 1528 0 0 0 220 1 0 0 20 0 20 0 83988562 27980845056 632761 33554432000 4194304 4196468 140722009504000 140164551555568 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9511] ppid=9490 vsize=27325044 memory=280756240944784 CPUtime=1.29 cores=0-7 /proc/9493/task/9511/stat : 9511 (java) S 9490 9493 8981 0 -1 1077944384 4218 0 0 0 127 2 0 0 20 0 20 0 83988562 27980845056 632761 33554432000 4194304 4196468 140722009504000 140164550503024 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9512] ppid=9490 vsize=27325044 memory=140378120511472 CPUtime=0 cores=0-7 /proc/9493/task/9512/stat : 9512 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83988562 27980845056 632761 33554432000 4194304 4196468 140722009504000 140163237800416 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9513] ppid=9490 vsize=27325044 memory=140378120511536 CPUtime=0 cores=0-7 /proc/9493/task/9513/stat : 9513 (java) S 9490 9493 8981 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 83988562 27980845056 632761 33554432000 4194304 4196468 140722009504000 140164549450416 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 Current children cumulated CPU time: 14.77 s Current children cumulated vsize: 27325044 KiB Current children cumulated memory: 2531044 KiB [startup+12.7009 s] /proc/loadavg: 3.13 2.90 2.70 5/200 9513 /proc/meminfo: memFree=22784160/32770624 swapFree=67108860/67108860 [pid=9493] ppid=9490 vsize=27329208 memory=5760376 CPUtime=30.8 cores=0-7 /proc/9493/stat : 9493 (java) S 9490 9493 8981 0 -1 1077944320 50716 0 0 0 2951 129 0 0 20 0 20 0 83988554 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140722009486544 140166434836215 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 /proc/9493/statm: 6832302 1440094 3244 1 0 6793158 0 [pid=9493/tid=9495] ppid=9490 vsize=27329208 memory=13412 CPUtime=12.46 cores=0-7 /proc/9493/task/9495/stat : 9495 (java) R 9490 9493 8981 0 -1 4202560 20311 0 0 0 1159 87 0 0 20 0 20 0 83988555 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140166406664592 140165947043620 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9496] ppid=9490 vsize=27329208 memory=4140 CPUtime=0.1 cores=0-7 /proc/9493/task/9496/stat : 9496 (java) S 9490 9493 8981 0 -1 1077944384 61 0 0 0 6 4 0 0 20 0 20 0 83988557 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140166439078416 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9497] ppid=9490 vsize=27329208 memory=24688 CPUtime=0.08 cores=0-7 /proc/9493/task/9497/stat : 9497 (java) S 9490 9493 8981 0 -1 1077944384 66 0 0 0 6 2 0 0 20 0 20 0 83988557 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140166259374736 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9498] ppid=9490 vsize=27329208 memory=280756241589088 CPUtime=0.1 cores=0-7 /proc/9493/task/9498/stat : 9498 (java) S 9490 9493 8981 0 -1 1077944384 60 0 0 0 7 3 0 0 20 0 20 0 83988557 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140165855889680 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9499] ppid=9490 vsize=27329208 memory=140378120851752 CPUtime=0.1 cores=0-7 /proc/9493/task/9499/stat : 9499 (java) S 9490 9493 8981 0 -1 1077944384 83 0 0 0 6 4 0 0 20 0 20 0 83988557 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140165854837136 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9500] ppid=9490 vsize=27329208 memory=4170924 CPUtime=0.1 cores=0-7 /proc/9493/task/9500/stat : 9500 (java) S 9490 9493 8981 0 -1 1077944384 67 0 0 0 6 4 0 0 20 0 20 0 83988557 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140165853785104 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9501] ppid=9490 vsize=27329208 memory=1020 CPUtime=0.09 cores=0-7 /proc/9493/task/9501/stat : 9501 (java) S 9490 9493 8981 0 -1 1077944384 69 0 0 0 6 3 0 0 20 0 20 0 83988557 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140165852732560 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9502] ppid=9490 vsize=27329208 memory=0 CPUtime=0.09 cores=0-7 /proc/9493/task/9502/stat : 9502 (java) S 9490 9493 8981 0 -1 1077944384 132 0 0 0 7 2 0 0 20 0 20 0 83988557 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140165851679504 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9503] ppid=9490 vsize=27329208 memory=5055176508566 CPUtime=0.09 cores=0-7 /proc/9493/task/9503/stat : 9503 (java) S 9490 9493 8981 0 -1 1077944384 74 0 0 0 6 3 0 0 20 0 20 0 83988557 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140165850626960 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9504] ppid=9490 vsize=27329208 memory=0 CPUtime=0.01 cores=0-7 /proc/9493/task/9504/stat : 9504 (java) S 9490 9493 8981 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 20 0 83988558 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140164554713328 140166434847362 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9505] ppid=9490 vsize=27329208 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/9493/task/9505/stat : 9505 (java) S 9490 9493 8981 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 83988559 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140164378649760 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9506] ppid=9490 vsize=27329208 memory=5790591595484031584 CPUtime=0 cores=0-7 /proc/9493/task/9506/stat : 9506 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83988559 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140164110213872 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9507] ppid=9490 vsize=27329208 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9507/stat : 9507 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83988562 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140163735705552 140166434854811 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9508] ppid=9490 vsize=27329208 memory=24688 CPUtime=5.26 cores=0-7 /proc/9493/task/9508/stat : 9508 (java) R 9490 9493 8981 0 -1 4202560 10890 0 0 0 524 2 0 0 20 0 20 0 83988562 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140164553661168 140166414195181 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9509] ppid=9490 vsize=27329208 memory=2204 CPUtime=5.54 cores=0-7 /proc/9493/task/9509/stat : 9509 (java) S 9490 9493 8981 0 -1 1077944384 7983 0 0 0 552 2 0 0 20 0 20 0 83988562 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140164552608624 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9510] ppid=9490 vsize=27329208 memory=1240 CPUtime=5.03 cores=0-7 /proc/9493/task/9510/stat : 9510 (java) S 9490 9493 8981 0 -1 1077944384 5293 0 0 0 501 2 0 0 20 0 20 0 83988562 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140164551555568 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9511] ppid=9490 vsize=27329208 memory=1520 CPUtime=1.6 cores=0-7 /proc/9493/task/9511/stat : 9511 (java) S 9490 9493 8981 0 -1 1077944384 4272 0 0 0 157 3 0 0 20 0 20 0 83988562 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140164550503024 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9512] ppid=9490 vsize=27329208 memory=844 CPUtime=0 cores=0-7 /proc/9493/task/9512/stat : 9512 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83988562 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140163237800416 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9513] ppid=9490 vsize=27329208 memory=993348 CPUtime=0 cores=0-7 /proc/9493/task/9513/stat : 9513 (java) S 9490 9493 8981 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 83988562 27985108992 1440094 33554432000 4194304 4196468 140722009504000 140164549450416 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 Current children cumulated CPU time: 30.8 s Current children cumulated vsize: 27329208 KiB Current children cumulated memory: 5760376 KiB [startup+25.5015 s] /proc/loadavg: 2.65 2.81 2.67 9/213 9527 /proc/meminfo: memFree=21080868/32770624 swapFree=67108860/67108860 [pid=9493] ppid=9490 vsize=27984808 memory=6210356 CPUtime=40.15 cores=0-7 /proc/9493/stat : 9493 (java) S 9490 9493 8981 0 -1 1077944320 52775 0 0 0 3839 176 0 0 20 0 24 0 83988554 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140722009486544 140166434836215 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 /proc/9493/statm: 6996202 1552589 3249 1 0 6957058 0 [pid=9493/tid=9495] ppid=9490 vsize=27984808 memory=6944656592455360604 CPUtime=19.12 cores=0-7 /proc/9493/task/9495/stat : 9495 (java) S 9490 9493 8981 0 -1 1077944384 20972 0 0 0 1809 103 0 0 20 0 24 0 83988555 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140166406675456 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 56 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9496] ppid=9490 vsize=27984808 memory=6944656592455360604 CPUtime=0.17 cores=0-7 /proc/9493/task/9496/stat : 9496 (java) S 9490 9493 8981 0 -1 1077944384 113 0 0 0 10 7 0 0 20 0 24 0 83988557 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140166439078416 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9497] ppid=9490 vsize=27984808 memory=6656426216303648864 CPUtime=0.16 cores=0-7 /proc/9493/task/9497/stat : 9497 (java) S 9490 9493 8981 0 -1 1077944384 114 0 0 0 10 6 0 0 20 0 24 0 83988557 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140166259374736 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9498] ppid=9490 vsize=27984808 memory=1020 CPUtime=0.17 cores=0-7 /proc/9493/task/9498/stat : 9498 (java) S 9490 9493 8981 0 -1 1077944384 111 0 0 0 10 7 0 0 20 0 24 0 83988557 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140165855889680 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9499] ppid=9490 vsize=27984808 memory=5184 CPUtime=0.17 cores=0-7 /proc/9493/task/9499/stat : 9499 (java) S 9490 9493 8981 0 -1 1077944384 134 0 0 0 9 8 0 0 20 0 24 0 83988557 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140165854837136 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9500] ppid=9490 vsize=27984808 memory=6047460 CPUtime=0.17 cores=0-7 /proc/9493/task/9500/stat : 9500 (java) S 9490 9493 8981 0 -1 1077944384 128 0 0 0 9 8 0 0 20 0 24 0 83988557 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140165853785104 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9501] ppid=9490 vsize=27984808 memory=55 CPUtime=0.16 cores=0-7 /proc/9493/task/9501/stat : 9501 (java) S 9490 9493 8981 0 -1 1077944384 120 0 0 0 10 6 0 0 20 0 24 0 83988557 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140165852732560 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9502] ppid=9490 vsize=27984808 memory=6947200793642689131 CPUtime=0.17 cores=0-7 /proc/9493/task/9502/stat : 9502 (java) S 9490 9493 8981 0 -1 1077944384 187 0 0 0 11 6 0 0 20 0 24 0 83988557 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140165851679504 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9503] ppid=9490 vsize=27984808 memory=6008474144304294250 CPUtime=0.16 cores=0-7 /proc/9493/task/9503/stat : 9503 (java) S 9490 9493 8981 0 -1 1077944384 125 0 0 0 10 6 0 0 20 0 24 0 83988557 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140165850626960 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9504] ppid=9490 vsize=27984808 memory=756 CPUtime=0.01 cores=0-7 /proc/9493/task/9504/stat : 9504 (java) S 9490 9493 8981 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 24 0 83988558 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140164554713328 140166434847362 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9505] ppid=9490 vsize=27984808 memory=14572 CPUtime=0 cores=0-7 /proc/9493/task/9505/stat : 9505 (java) S 9490 9493 8981 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 83988559 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140164378649824 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9506] ppid=9490 vsize=27984808 memory=12708 CPUtime=0 cores=0-7 /proc/9493/task/9506/stat : 9506 (java) S 9490 9493 8981 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83988559 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140164110213888 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9507] ppid=9490 vsize=27984808 memory=13976 CPUtime=0 cores=0-7 /proc/9493/task/9507/stat : 9507 (java) S 9490 9493 8981 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83988562 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140163735705552 140166434854811 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9508] ppid=9490 vsize=27984808 memory=1912 CPUtime=6.2 cores=0-7 /proc/9493/task/9508/stat : 9508 (java) S 9490 9493 8981 0 -1 1077944384 11696 0 0 0 618 2 0 0 20 0 24 0 83988562 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140164553661168 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9509] ppid=9490 vsize=27984808 memory=17 CPUtime=5.95 cores=0-7 /proc/9493/task/9509/stat : 9509 (java) R 9490 9493 8981 0 -1 4202560 7983 0 0 0 593 2 0 0 20 0 24 0 83988562 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140164552608624 140166419126176 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9510] ppid=9490 vsize=27984808 memory=16 CPUtime=5.62 cores=0-7 /proc/9493/task/9510/stat : 9510 (java) S 9490 9493 8981 0 -1 1077944384 5397 0 0 0 560 2 0 0 20 0 24 0 83988562 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140164551555568 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9511] ppid=9490 vsize=27984808 memory=17 CPUtime=1.69 cores=0-7 /proc/9493/task/9511/stat : 9511 (java) S 9490 9493 8981 0 -1 1077944384 4288 0 0 0 166 3 0 0 20 0 24 0 83988562 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140164550503024 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9512] ppid=9490 vsize=27984808 memory=280756242132576 CPUtime=0 cores=0-7 /proc/9493/task/9512/stat : 9512 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83988562 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140163237800416 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9513] ppid=9490 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9513/stat : 9513 (java) S 9490 9493 8981 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 83988562 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140164549450416 140166434847362 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9515] ppid=9490 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9515/stat : 9515 (java) S 9490 9493 8981 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83990551 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140166257996736 140166434860825 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9517] ppid=9490 vsize=27984808 memory=0 CPUtime=0.02 cores=0-7 /proc/9493/task/9517/stat : 9517 (java) R 9490 9493 8981 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 24 0 83990551 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140162566700864 140165944679991 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9518] ppid=9490 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9493/task/9518/stat : 9518 (java) S 9490 9493 8981 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 83990551 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140162835136560 140166434858141 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 [pid=9493/tid=9519] ppid=9490 vsize=27984808 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/9493/task/9519/stat : 9519 (java) S 9490 9493 8981 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83990553 28656443392 1552589 33554432000 4194304 4196468 140722009504000 140162298273184 140166434846421 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140722009510873 140722009511173 140722009511173 140722009513935 0 Current children cumulated CPU time: 40.15 s Current children cumulated vsize: 27984808 KiB Current children cumulated memory: 6210356 KiB [startup+25.6397 s] # the end of solver process 9493 was just reported to runsolver # cumulated CPU time of all completed processes: user=49.1673 s, system=2.37673 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.6016 s]* /proc/loadavg: 2.65 2.81 2.67 2/182 9527 /proc/meminfo: memFree=22077888/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 25.6398 CPU time (s): 51.544 CPU user time (s): 49.1673 CPU system time (s): 2.37673 CPU usage (%): 201.031 Max. virtual memory (cumulated for all children) (KiB): 29495900 Max. memory (cumulated for all children) (KiB): 7153136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.1673 system time used= 2.37673 maximum resident set size= 6210356 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 295072 page faults= 0 swaps= 0 block input operations= 0 block output operations= 118888 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47689 involuntary context switches= 123 # summary of solver processes directly reported to runsolver: # pid: 9493 # total CPU time (s): 51.544 # total CPU user time (s): 49.1673 # total CPU system time (s): 2.37673 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.208283 second user time and 0.311442 second system time The end
Begin job on node136 at 2018-07-27 06:04:14 IDJOB=4296901 IDBENCH=141454 IDSOLVER=2758 FILE ID=node136/4296901-1532664254 RUNJOBID= node136-1532663056-9008 PBS_JOBID= 21022229 Free space on /tmp= 55796 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/CarSequencing/CarSequencing-70-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-4296901-1532664254/watcher-4296901-1532664254 -o /tmp/evaluation-result-4296901-1532664254/solver-4296901-1532664254 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532663056-9008 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4296901-1532664254.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5ebb66a2f72e45e9d6642a776a6cc19c RANDOM SEED=754978769 node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28274064 kB MemAvailable: 31957124 kB Buffers: 148100 kB Cached: 3796004 kB SwapCached: 0 kB Active: 1674100 kB Inactive: 2323964 kB Active(anon): 2404 kB Inactive(anon): 79112 kB Active(file): 1671696 kB Inactive(file): 2244852 kB Unevictable: 7336 kB Mlocked: 7336 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8300 kB Writeback: 0 kB AnonPages: 63500 kB Mapped: 29272 kB Shmem: 25228 kB Slab: 192444 kB SReclaimable: 164692 kB SUnreclaim: 27752 kB KernelStack: 3536 kB PageTables: 5120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324988 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 55788 MiB End job on node136 at 2018-07-27 06:04:40