| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop both+glucose-syrup (2018-07-07) | SAT | 74.8382 | 16.2804 |
| Name | CarSequencing/ CarSequencing-04-72_c18.xml |
| MD5SUM | 606ad4221d4941292d84c5bdd64a5487 |
| 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 | 51.942 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 600 |
| Number of constraints | 731 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 22 |
| Distribution of domain sizes | [{"size":2,"count":500},{"size":22,"count":100}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 53 |
| Distribution of variable degrees | [{"degree":2,"count":100},{"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":19},{"degree":21,"count":19},{"degree":22,"count":20},{"degree":23,"count":20},{"degree":24,"count":25},{"degree":25,"count":14},{"degree":26,"count":9},"...",{"degree":29,"count":9}, {"degree":30,"count":10}, {"degree":31,"count":26}, {"degree":32,"count":19}, {"degree":33,"count":2}, {"degree":34,"count":2}, {"degree":35,"count":2}, {"degree":36,"count":2}, {"degree":37,"count":2}, {"degree":38,"count":2}, {"degree":39,"count":2}, {"degree":40,"count":2}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":2}, {"degree":44,"count":2}, {"degree":45,"count":2}, {"degree":46,"count":2}, {"degree":47,"count":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":2}, {"degree":52,"count":3}, {"degree":53,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":2,"count":100},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":193},{"arity":6,"count":101},{"arity":8,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":14,"count":1},{"arity":15,"count":2},{"arity":16,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":3},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":4},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},{"arity":35,"count":2},{"arity":36,"count":1},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}] |
| Number of extensional constraints | 100 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":630},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.65/0.53 0.65/0.53 scop both+glucose-syrup (2018-07-07) 0.65/0.53 0.65/0.56 c BEGIN-Prog: Fri Jul 27 06:05:35 CEST 2018 0.65/0.56 c PID: 13172 0.65/0.56 c IP: 172.20.3.149 0.65/0.56 c HOST: node149.alineos.net 0.65/0.57 c (0,0) Parsing Begin 2.25/1.22 c (0,0) Parsing End 2.25/1.22 c (0,0) CSP: 100 int (0 aux), 500 bool (0 aux), 731 ctr, max domain size 22 2.25/1.22 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.25/1.22 c (0,0) Constraint Name Generate Begin 2.25/1.24 c (0,0) Ctr:HOME/instance-4297131-1532664335.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum 2.25/1.24 c (0,0) Constraint Name Generate End 2.25/1.24 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.25/1.24 c (0,0) CSP to CSPinCNF Begin 8.79/3.10 c (2,2) translated 74 (10%) constraints 9.76/3.35 c (2,2) translated 147 (20%) constraints 9.76/3.36 c (2,2) translated 220 (30%) constraints 9.96/3.51 c (2,2) translated 293 (40%) constraints 9.96/3.53 c (2,2) translated 366 (50%) constraints 9.96/3.54 c (3,2) translated 439 (60%) constraints 9.96/3.55 c (3,2) translated 512 (70%) constraints 9.96/3.57 c (3,2) translated 585 (80%) constraints 11.15/3.84 c (3,3) translated 658 (90%) constraints 11.53/3.94 c (3,3) translated 731 (100%) constraints 12.77/4.29 c (3,3) STATISTICS1:HOME/instance-4297131-1532664335.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,7800,26952,9223372036854775807,22,23,100,9223372036854775807:105;2305843009213693952:1;1152921504606846976:2;576460752303423488:3;144115188075855872:3;36028797018963968:1;18014398509481984:4;9007199254740992:1;2251799813685248:3;562949953421312:3;281474976710656:2;140737488355328:1;35184372088832:3;17592186044416:2;8796093022208:1;4398046511104:2;2199023255552:1;549755813888:5;137438953472:1;68719476736:2;34359738368:1;17179869184:2;8589934592:3;2147483648:1;1073741824:2;536870912:3;134217728:3;33554432:1;16777216:4;8388608:1;2097152:3;524288:3;262144:1;131072:1;32768:1;16384:2;8192:1;2048:1;512:2;128:1;32:1;16:193;8:1;4:196;2:100,22:8600;2:69494,23:100;3:13800;2:12400;1:652,100:49;98:1;97:2;96:1;95:2;94:3;92:1;91:2;90:3;88:3;86:1;85:4;84:1;82:3;80:3;79:2;78:1;76:3;75:2;74:1;73:2;72:1;70:5;68:1;67:2;66:1;65:2;64:3;62:1;61:2;60:3;58:3;56:1;55:4;54:1;52:3;50:3;49:2;48:1;46:3;45:2;44:1;43:2;42:1;40:5;38:1;37:2;36:1;35:2;34:3;32:1;31:2;30:3;28:3;26:1;25:4;24:1;22:3;20:3;19:1;18:1;16:1;15:2;14:1;12:1;10:2;8:1;6:1;5:193;4:1;3:196;2:100;1:68400;0:100,4356:49;4225:1;4096:3;3969:2;3844:3;3721:1;3600:5;3364:3;3249:1;3136:5;2916:3;2809:3;2704:3;2500:5;2401:1;2304:3;2116:5;2025:1;1936:3;1849:2;1764:3 12.77/4.29 c (3,3) =========================================== 12.77/4.29 c (3,3) Both Encoding selects: 12.77/4.29 c (3,3) Order 12.77/4.29 c (3,3) =========================================== 14.47/4.69 c (4,3) translated 2696 (10%) constraints 15.29/4.82 c (4,4) translated 5391 (20%) constraints 15.29/4.89 c (4,4) translated 8086 (30%) constraints 15.69/4.94 c (4,4) translated 10781 (40%) constraints 15.69/4.99 c (4,4) translated 13476 (50%) constraints 16.02/5.03 c (4,4) translated 16172 (60%) constraints 16.02/5.08 c (4,4) translated 18867 (70%) constraints 16.16/5.12 c (4,4) translated 21562 (80%) constraints 16.16/5.16 c (4,4) translated 24257 (90%) constraints 17.56/5.62 c (5,4) translated 26952 (100%) constraints 17.56/5.62 c (5,4) CSP to CSPinCNF End 17.56/5.63 c (5,4) CSP: 1561 int (1461 aux), 9936 bool (9436 aux), 34154 ctr, max domain size 35 17.56/5.63 c (5,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 17.56/5.63 c (5,4) CSPinCNF Propagation Begin 18.05/5.87 c (5,5) 0 values, 300 unsatisfiable literals, and 200 valid clauses are removed 18.05/5.87 c (5,5) CSPinCNF Propagation End 18.05/5.88 c (5,5) CSP: 1561 int (1461 aux), 9936 bool (9436 aux), 33954 ctr, max domain size 35 18.05/5.88 c (5,5) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 18.05/5.88 c (5,5) Simplify CSPinCNF Begin 18.37/5.96 c (5,5) Simplify CSPinCNF End 18.37/5.96 c (5,5) CSP: 1561 int (1461 aux), 9936 bool (9436 aux), 33954 ctr, max domain size 35 18.37/5.96 c (5,5) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 18.37/5.97 c (5,5) Calculate Precise Domain Begin 18.37/6.00 c (5,5) 0 values are removed by re-calculation 18.37/6.00 c (5,5) Calculate Precise Domain End 18.37/6.00 c (5,5) CSP: 1561 int (1461 aux), 9936 bool (9436 aux), 33954 ctr, max domain size 35 18.37/6.00 c (5,5) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 18.37/6.00 c (5,5) CSPinCNF to SatSolver Begin 20.59/7.04 c (6,6) 3396 (10 %) CSP clauses are encoded (28359 SAT variables, 208869 SAT clauses) 20.59/7.08 c (6,6) 6791 (20 %) CSP clauses are encoded (28359 SAT variables, 212264 SAT clauses) 20.94/7.12 c (6,6) 10187 (30 %) CSP clauses are encoded (28359 SAT variables, 215660 SAT clauses) 20.94/7.16 c (6,6) 13582 (40 %) CSP clauses are encoded (28359 SAT variables, 219055 SAT clauses) 20.94/7.19 c (6,6) 16977 (50 %) CSP clauses are encoded (28359 SAT variables, 222450 SAT clauses) 21.19/7.21 c (6,6) 20373 (60 %) CSP clauses are encoded (28359 SAT variables, 225846 SAT clauses) 21.19/7.23 c (6,6) 23768 (70 %) CSP clauses are encoded (28359 SAT variables, 229241 SAT clauses) 21.19/7.25 c (6,6) 27164 (80 %) CSP clauses are encoded (28359 SAT variables, 232637 SAT clauses) 21.19/7.27 c (6,6) 30559 (90 %) CSP clauses are encoded (28359 SAT variables, 236032 SAT clauses) 22.39/8.46 c (7,7) 33954 (100 %) CSP clauses are encoded (28359 SAT variables, 599507 SAT clauses) 22.91/8.66 c (7,7) CSPinCNF to SatSolver End 22.91/8.66 c (7,7) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 22.91/8.66 c (8,7) STATISTICS2:HOME/instance-4297131-1532664335.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,11497,33954,1156,35,22,11,1156:5;1122:1;1089:3;1056:2;1024:78;992:1;961:5;900:3;870:1;841:5;784:3;756:3;729:3;676:5;650:1;625:3;576:5;552:1;529:3;512:270;506:2;484:3;462:1;441:5;400:3;380:1;361:5;324:8;306:17;289:18;272:12;256:647;240:13;225:18;210:14;196:18;182:17;169:16;156:16;144:18;132:13;128:296;121:38;110:12;100:18;96:68;90:63;81:126;72:74;64:293;63:24;56:73;54:12;49:89;45:36;36:35;32:11;30:1;27:60;25:93;18:48;16:349;9:40;8:1;4:228;2:100,35:10;34:28;33:30;32:24;31:34;30:24;29:30;28:28;27:26;26:32;25:26;24:28;23:30;22:12624;21:34;20:24;19:30;18:76;17:138;16:184;15:138;14:140;13:142;12:272;11:222;10:536;9:1306;8:590;7:514;6:56;5:388;4:72;3:180;2:78238,22:100;3:13600;2:16800;1:3454,11:75;10:270;9:617;8:296;7:221;6:11;5:401;4:1;3:1462;2:100;1:76600, 22.91/8.66 c (8,7) SatSolver.solve Begin 22.91/8.66 c (8,7) 28359 bool, 599795 clause 22.91/8.66 c (8,7) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297131-1532664335.xml-scop-13172.cnf HOME/instance-4297131-1532664335.xml-scop-13172.cnf.out 74.13/16.15 c (15,0) c 74.13/16.15 c (15,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 74.13/16.15 c (15,0) c 74.13/16.15 c (15,0) c WARNING: for repeatability, setting FPU to use double precision 74.13/16.15 c (15,0) c 8 solvers engines and 1 companion as a blackboard created. 74.13/16.15 c (15,0) c ========================================[ Problem Statistics ]=========================================== 74.13/16.15 c (15,0) c | | 74.13/16.15 c (15,0) c | Number of variables: 28359 | 74.13/16.15 c (15,0) c | Number of clauses: 599583 | 74.13/16.15 c (15,0) c | Parse time: 0.21 s | 74.13/16.15 c (15,0) c | | 74.13/16.15 c (15,0) c | Eliminated clauses: 0.14 Mb | 74.13/16.15 c (15,0) c | Simplification time: 0.77 s | 74.13/16.15 c (15,0) c | | 74.13/16.15 c (15,0) c | Generating clones | 74.13/16.15 c (15,0) c | all clones generated. Memory = 280.18Mb. | 74.13/16.15 c (15,0) c ========================================================================================================| 74.13/16.15 c (15,0) c 74.13/16.15 c (15,0) c |-------------------------------------------------------------------------------------------------------| 74.13/16.15 c (15,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 74.13/16.15 c (15,0) c |-------------------------------------------------------------------------------------------------------| 74.13/16.15 c (15,0) c | 0 | 70 | 66624 | 38179 | 26846 | 12090 | 5598 | 31188 | 1504 | 3.967 | 74.13/16.15 c (15,0) c | 1 | 110 | 66283 | 39218 | 26121 | 13118 | 4916 | 30305 | 2328 | 3.967 | 74.13/16.15 c (15,0) c | 2 | 128 | 68822 | 32677 | 34179 | 16480 | 4045 | 32891 | 2036 | 3.967 | 74.13/16.15 c (15,0) c | 3 | 130 | 77446 | 39932 | 33198 | 13838 | 4487 | 32345 | 2198 | 3.967 | 74.13/16.15 c (15,0) c | 4 | 158 | 74303 | 36317 | 32746 | 10224 | 4370 | 32555 | 2229 | 3.967 | 74.13/16.15 c (15,0) c | 5 | 100 | 75094 | 36591 | 32927 | 10495 | 4984 | 28461 | 2741 | 3.967 | 74.13/16.15 c (15,0) c | 6 | 123 | 67507 | 32002 | 35042 | 15807 | 3792 | 33097 | 2293 | 3.967 | 74.13/16.15 c (15,0) c | 7 | 132 | 72544 | 37890 | 31306 | 11808 | 4766 | 31506 | 1930 | 3.967 | 74.13/16.15 c (15,0) c 74.13/16.15 c (15,0) c synthesis 292806 conflicts 110858680 propagations 8993 conflicts/sec 3404855 propagations/sec 74.13/16.15 c (15,0) c Total Memory so far : 867.96Mb 74.13/16.15 c (15,0) c last restart ## conflicts : 218 289 74.13/16.15 c (15,0) c Thread 2 is 100% pure glucose! First thread to finish! (SAT answer). 74.13/16.15 c (15,0) c Total Memory so far : 867.96Mb 74.13/16.15 c (15,0) c 74.13/16.15 c (15,0) c real time : 7.47227 s 74.13/16.15 c (15,0) c cpu time : 50.6349 s 74.13/16.15 c (15,0) c 74.13/16.15 c (15,0) c 74.13/16.15 c (15,0) c 74.13/16.15 c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 74.13/16.15 c (15,0) c 74.13/16.15 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 74.13/16.15 c (15,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 74.13/16.15 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 74.13/16.15 c (15,0) c | Conflicts | 434853 | 58728 | 56554 | 50365 | 59133 | 53150 | 50363 | 50692 | 55868 | 74.13/16.15 c (15,0) c | Decisions | 806892 | 96900 | 98044 | 99759 | 103487 | 103623 | 102603 | 101395 | 101081 | 74.13/16.15 c (15,0) c | Propagations | 169675155 | 20382297 | 21397037 | 21030233 | 22077841 | 20735819 | 20527005 | 21189465 | 22335458 | 74.13/16.15 c (15,0) c | Avg_Trail | | 8712 | 8930 | 10168 | 9803 | 9104 | 8680 | 8747 | 9746 | 74.13/16.15 c (15,0) c | Avg_DL | | 57 | 59 | 63 | 63 | 56 | 59 | 59 | 65 | 74.13/16.15 c (15,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 74.13/16.15 c (15,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 74.13/16.15 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 74.13/16.16 c (15,0) c | Exported | 53374 | 8096 | 6922 | 6739 | 6679 | 6167 | 6498 | 5551 | 6722 | 74.13/16.16 c (15,0) c | Imported | 370667 | 45276 | 45095 | 46260 | 46592 | 47201 | 46159 | 47773 | 46311 | 74.13/16.16 c (15,0) c | Good | 8710 | 1117 | 1140 | 1037 | 1133 | 1088 | 1030 | 1044 | 1121 | 74.13/16.16 c (15,0) c | Purge | 361957 | 44159 | 43955 | 45223 | 45459 | 46113 | 45129 | 46729 | 45190 | 74.13/16.16 c (15,0) c | Promoted | 29892 | 3432 | 4041 | 3638 | 3867 | 3527 | 3934 | 3941 | 3512 | 74.13/16.16 c (15,0) c | Remove_Imp | 123507 | 14550 | 17186 | 15787 | 16734 | 18508 | 8623 | 15643 | 16476 | 74.13/16.16 c (15,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 74.13/16.16 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 74.13/16.16 c (15,0) c | Unaries | | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 74.13/16.16 c (15,0) c | Binaries | | 129 | 95 | 209 | 113 | 158 | 215 | 202 | 125 | 74.13/16.16 c (15,0) c | Glues | | 177 | 185 | 294 | 209 | 284 | 316 | 302 | 185 | 74.13/16.16 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 74.13/16.16 c (15,0) c | Orig_Seen | 6 % | 32368 | 33275 | 39779 | 36253 | 38834 | 38702 | 41446 | 35613 | 74.13/16.16 c (15,0) c | Diff Orig seen| | - 7411 | - 6504 | X | - 3526 | - 945 | - 1077 | 1667 | - 4166 | 74.13/16.16 c (15,0) c | Hamming | 9 % | 2475 | 2946 | X | 2671 | 2821 | 3038 | 3153 | 2614 | 74.13/16.16 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 74.13/16.16 c (15,0) 74.13/16.16 c (15,0) s SATISFIABLE 74.13/16.19 c (15,8) SatSolver.solve End 74.13/16.19 c (15,8) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 74.13/16.19 c (15,8) Show results Begin 74.65/16.21 c (15,8) cls[0] = 19 74.65/16.21 c (15,8) cls[1] = 3 74.65/16.21 c (15,8) cls[2] = 13 74.65/16.21 c (15,8) cls[3] = 5 74.65/16.21 c (15,8) cls[4] = 14 74.65/16.21 c (15,8) cls[5] = 7 74.65/16.21 c (15,8) cls[6] = 14 74.65/16.21 c (15,8) cls[7] = 4 74.65/16.21 c (15,8) cls[8] = 1 74.65/16.21 c (15,8) cls[9] = 5 74.65/16.21 c (15,8) cls[10] = 13 74.65/16.21 c (15,8) cls[11] = 9 74.65/16.21 c (15,8) cls[12] = 18 74.65/16.21 c (15,8) cls[13] = 12 74.65/16.21 c (15,8) cls[14] = 10 74.65/16.21 c (15,8) cls[15] = 5 74.65/16.21 c (15,8) cls[16] = 0 74.65/16.21 c (15,8) cls[17] = 15 74.65/16.21 c (15,8) cls[18] = 19 74.65/16.21 c (15,8) cls[19] = 9 74.65/16.21 c (15,8) cls[20] = 18 74.65/16.21 c (15,8) cls[21] = 12 74.65/16.21 c (15,8) cls[22] = 20 74.65/16.21 c (15,8) cls[23] = 12 74.65/16.21 c (15,8) cls[24] = 14 74.65/16.21 c (15,8) cls[25] = 5 74.65/16.21 c (15,8) cls[26] = 1 74.65/16.21 c (15,8) cls[27] = 4 74.65/16.21 c (15,8) cls[28] = 13 74.65/16.21 c (15,8) cls[29] = 3 74.65/16.21 c (15,8) cls[30] = 14 74.65/16.21 c (15,8) cls[31] = 5 74.65/16.21 c (15,8) cls[32] = 8 74.65/16.21 c (15,8) cls[33] = 12 74.65/16.21 c (15,8) cls[34] = 14 74.65/16.21 c (15,8) cls[35] = 15 74.65/16.21 c (15,8) cls[36] = 1 74.65/16.21 c (15,8) cls[37] = 4 74.65/16.21 c (15,8) cls[38] = 18 74.65/16.21 c (15,8) cls[39] = 4 74.65/16.21 c (15,8) cls[40] = 1 74.65/16.21 c (15,8) cls[41] = 15 74.65/16.21 c (15,8) cls[42] = 14 74.65/16.22 c (15,8) cls[43] = 7 74.65/16.22 c (15,8) cls[44] = 0 74.65/16.22 c (15,8) cls[45] = 5 74.65/16.22 c (15,8) cls[46] = 1 74.65/16.22 c (15,8) cls[47] = 16 74.65/16.22 c (15,8) cls[48] = 19 74.65/16.22 c (15,8) cls[49] = 4 74.65/16.22 c (15,8) cls[50] = 1 74.65/16.22 c (15,8) cls[51] = 5 74.65/16.22 c (15,8) cls[52] = 17 74.65/16.22 c (15,8) cls[53] = 6 74.65/16.22 c (15,8) cls[54] = 0 74.65/16.22 c (15,8) cls[55] = 5 74.65/16.22 c (15,8) cls[56] = 1 74.65/16.22 c (15,8) cls[57] = 16 74.65/16.22 c (15,8) cls[58] = 19 74.65/16.22 c (15,8) cls[59] = 7 74.65/16.22 c (15,8) cls[60] = 14 74.65/16.22 c (15,8) cls[61] = 5 74.65/16.22 c (15,8) cls[62] = 11 74.65/16.22 c (15,8) cls[63] = 4 74.65/16.22 c (15,8) cls[64] = 12 74.65/16.22 c (15,8) cls[65] = 10 74.65/16.22 c (15,8) cls[66] = 5 74.65/16.22 c (15,8) cls[67] = 2 74.65/16.22 c (15,8) cls[68] = 7 74.65/16.22 c (15,8) cls[69] = 0 74.65/16.22 c (15,8) cls[70] = 5 74.65/16.22 c (15,8) cls[71] = 18 74.65/16.22 c (15,8) cls[72] = 16 74.65/16.22 c (15,8) cls[73] = 19 74.65/16.22 c (15,8) cls[74] = 4 74.65/16.22 c (15,8) cls[75] = 1 74.65/16.22 c (15,8) cls[76] = 5 74.65/16.22 c (15,8) cls[77] = 17 74.65/16.22 c (15,8) cls[78] = 12 74.65/16.22 c (15,8) cls[79] = 19 74.65/16.22 c (15,8) cls[80] = 9 74.65/16.22 c (15,8) cls[81] = 14 74.65/16.22 c (15,8) cls[82] = 15 74.65/16.22 c (15,8) cls[83] = 8 74.65/16.22 c (15,8) cls[84] = 12 74.65/16.22 c (15,8) cls[85] = 14 74.65/16.22 c (15,8) cls[86] = 5 74.65/16.22 c (15,8) cls[87] = 2 74.65/16.22 c (15,8) cls[88] = 7 74.65/16.22 c (15,8) cls[89] = 0 74.65/16.22 c (15,8) cls[90] = 5 74.65/16.22 c (15,8) cls[91] = 1 74.65/16.22 c (15,8) cls[92] = 16 74.65/16.22 c (15,8) cls[93] = 0 74.65/16.22 c (15,8) cls[94] = 4 74.65/16.22 c (15,8) cls[95] = 1 74.65/16.22 c (15,8) cls[96] = 5 74.65/16.22 c (15,8) cls[97] = 14 74.65/16.22 c (15,8) cls[98] = 12 74.65/16.22 c (15,8) cls[99] = 21 74.65/16.22 c (15,8) opt[0][0] = 1 74.65/16.22 c (15,8) opt[0][1] = 1 74.65/16.22 c (15,8) opt[0][2] = 0 74.65/16.22 c (15,8) opt[0][3] = 1 74.65/16.22 c (15,8) opt[0][4] = 0 74.65/16.22 c (15,8) opt[1][0] = 0 74.65/16.22 c (15,8) opt[1][1] = 1 74.65/16.22 c (15,8) opt[1][2] = 1 74.65/16.22 c (15,8) opt[1][3] = 0 74.65/16.22 c (15,8) opt[1][4] = 0 74.65/16.22 c (15,8) opt[2][0] = 1 74.65/16.22 c (15,8) opt[2][1] = 0 74.65/16.22 c (15,8) opt[2][2] = 0 74.65/16.22 c (15,8) opt[2][3] = 1 74.65/16.22 c (15,8) opt[2][4] = 1 74.65/16.22 c (15,8) opt[3][0] = 0 74.65/16.22 c (15,8) opt[3][1] = 1 74.65/16.22 c (15,8) opt[3][2] = 0 74.65/16.22 c (15,8) opt[3][3] = 0 74.65/16.22 c (15,8) opt[3][4] = 0 74.65/16.22 c (15,8) opt[4][0] = 1 74.65/16.22 c (15,8) opt[4][1] = 0 74.65/16.22 c (15,8) opt[4][2] = 0 74.65/16.22 c (15,8) opt[4][3] = 0 74.65/16.22 c (15,8) opt[4][4] = 0 74.65/16.22 c (15,8) opt[5][0] = 0 74.65/16.22 c (15,8) opt[5][1] = 0 74.65/16.22 c (15,8) opt[5][2] = 1 74.65/16.22 c (15,8) opt[5][3] = 1 74.65/16.22 c (15,8) opt[5][4] = 0 74.65/16.22 c (15,8) opt[6][0] = 1 74.65/16.22 c (15,8) opt[6][1] = 0 74.65/16.22 c (15,8) opt[6][2] = 0 74.65/16.22 c (15,8) opt[6][3] = 0 74.65/16.22 c (15,8) opt[6][4] = 0 74.65/16.22 c (15,8) opt[7][0] = 0 74.65/16.22 c (15,8) opt[7][1] = 0 74.65/16.22 c (15,8) opt[7][2] = 0 74.65/16.22 c (15,8) opt[7][3] = 1 74.65/16.22 c (15,8) opt[7][4] = 0 74.65/16.22 c (15,8) opt[8][0] = 1 74.65/16.22 c (15,8) opt[8][1] = 1 74.65/16.22 c (15,8) opt[8][2] = 1 74.65/16.22 c (15,8) opt[8][3] = 0 74.65/16.22 c (15,8) opt[8][4] = 0 74.65/16.22 c (15,8) opt[9][0] = 0 74.65/16.22 c (15,8) opt[9][1] = 1 74.65/16.22 c (15,8) opt[9][2] = 0 74.65/16.22 c (15,8) opt[9][3] = 0 74.65/16.22 c (15,8) opt[9][4] = 0 74.65/16.22 c (15,8) opt[10][0] = 1 74.65/16.22 c (15,8) opt[10][1] = 0 74.65/16.22 c (15,8) opt[10][2] = 0 74.65/16.22 c (15,8) opt[10][3] = 1 74.65/16.22 c (15,8) opt[10][4] = 1 74.65/16.22 c (15,8) opt[11][0] = 0 74.65/16.22 c (15,8) opt[11][1] = 0 74.65/16.22 c (15,8) opt[11][2] = 1 74.65/16.22 c (15,8) opt[11][3] = 0 74.65/16.22 c (15,8) opt[11][4] = 0 74.65/16.22 c (15,8) opt[12][0] = 1 74.65/16.22 c (15,8) opt[12][1] = 1 74.65/16.22 c (15,8) opt[12][2] = 0 74.65/16.22 c (15,8) opt[12][3] = 0 74.65/16.22 c (15,8) opt[12][4] = 0 74.65/16.22 c (15,8) opt[13][0] = 0 74.65/16.22 c (15,8) opt[13][1] = 1 74.65/16.22 c (15,8) opt[13][2] = 0 74.65/16.22 c (15,8) opt[13][3] = 1 74.65/16.22 c (15,8) opt[13][4] = 0 74.65/16.22 c (15,8) opt[14][0] = 1 74.65/16.22 c (15,8) opt[14][1] = 0 74.65/16.22 c (15,8) opt[14][2] = 1 74.65/16.22 c (15,8) opt[14][3] = 0 74.65/16.22 c (15,8) opt[14][4] = 0 74.65/16.22 c (15,8) opt[15][0] = 0 74.65/16.22 c (15,8) opt[15][1] = 1 74.65/16.22 c (15,8) opt[15][2] = 0 74.65/16.22 c (15,8) opt[15][3] = 0 74.65/16.22 c (15,8) opt[15][4] = 0 74.65/16.22 c (15,8) opt[16][0] = 1 74.65/16.22 c (15,8) opt[16][1] = 0 74.65/16.22 c (15,8) opt[16][2] = 0 74.65/16.22 c (15,8) opt[16][3] = 1 74.65/16.22 c (15,8) opt[16][4] = 0 74.65/16.22 c (15,8) opt[17][0] = 0 74.65/16.22 c (15,8) opt[17][1] = 1 74.65/16.22 c (15,8) opt[17][2] = 0 74.65/16.22 c (15,8) opt[17][3] = 0 74.65/16.22 c (15,8) opt[17][4] = 1 74.65/16.22 c (15,8) opt[18][0] = 1 74.65/16.22 c (15,8) opt[18][1] = 1 74.65/16.22 c (15,8) opt[18][2] = 0 74.65/16.22 c (15,8) opt[18][3] = 1 74.65/16.22 c (15,8) opt[18][4] = 0 74.65/16.22 c (15,8) opt[19][0] = 0 74.65/16.22 c (15,8) opt[19][1] = 0 74.65/16.22 c (15,8) opt[19][2] = 1 74.65/16.22 c (15,8) opt[19][3] = 0 74.65/16.22 c (15,8) opt[19][4] = 0 74.65/16.22 c (15,8) opt[20][0] = 1 74.65/16.22 c (15,8) opt[20][1] = 1 74.65/16.22 c (15,8) opt[20][2] = 0 74.65/16.22 c (15,8) opt[20][3] = 0 74.65/16.22 c (15,8) opt[20][4] = 0 74.65/16.22 c (15,8) opt[21][0] = 0 74.65/16.22 c (15,8) opt[21][1] = 1 74.65/16.22 c (15,8) opt[21][2] = 0 74.65/16.22 c (15,8) opt[21][3] = 1 74.65/16.22 c (15,8) opt[21][4] = 0 74.65/16.22 c (15,8) opt[22][0] = 1 74.65/16.22 c (15,8) opt[22][1] = 0 74.65/16.22 c (15,8) opt[22][2] = 1 74.65/16.22 c (15,8) opt[22][3] = 0 74.65/16.22 c (15,8) opt[22][4] = 1 74.65/16.22 c (15,8) opt[23][0] = 0 74.65/16.22 c (15,8) opt[23][1] = 1 74.65/16.22 c (15,8) opt[23][2] = 0 74.65/16.22 c (15,8) opt[23][3] = 1 74.65/16.22 c (15,8) opt[23][4] = 0 74.65/16.22 c (15,8) opt[24][0] = 1 74.65/16.22 c (15,8) opt[24][1] = 0 74.65/16.22 c (15,8) opt[24][2] = 0 74.65/16.22 c (15,8) opt[24][3] = 0 74.65/16.22 c (15,8) opt[24][4] = 0 74.65/16.22 c (15,8) opt[25][0] = 0 74.65/16.22 c (15,8) opt[25][1] = 1 74.65/16.22 c (15,8) opt[25][2] = 0 74.65/16.22 c (15,8) opt[25][3] = 0 74.65/16.22 c (15,8) opt[25][4] = 0 74.65/16.22 c (15,8) opt[26][0] = 1 74.65/16.22 c (15,8) opt[26][1] = 1 74.65/16.22 c (15,8) opt[26][2] = 1 74.65/16.22 c (15,8) opt[26][3] = 0 74.65/16.22 c (15,8) opt[26][4] = 0 74.65/16.22 c (15,8) opt[27][0] = 0 74.65/16.22 c (15,8) opt[27][1] = 0 74.65/16.22 c (15,8) opt[27][2] = 0 74.65/16.22 c (15,8) opt[27][3] = 1 74.65/16.22 c (15,8) opt[27][4] = 0 74.65/16.22 c (15,8) opt[28][0] = 1 74.65/16.22 c (15,8) opt[28][1] = 0 74.65/16.22 c (15,8) opt[28][2] = 0 74.65/16.22 c (15,8) opt[28][3] = 1 74.65/16.22 c (15,8) opt[28][4] = 1 74.65/16.22 c (15,8) opt[29][0] = 0 74.65/16.22 c (15,8) opt[29][1] = 1 74.65/16.22 c (15,8) opt[29][2] = 1 74.65/16.22 c (15,8) opt[29][3] = 0 74.65/16.22 c (15,8) opt[29][4] = 0 74.65/16.22 c (15,8) opt[30][0] = 1 74.65/16.22 c (15,8) opt[30][1] = 0 74.65/16.22 c (15,8) opt[30][2] = 0 74.65/16.22 c (15,8) opt[30][3] = 0 74.65/16.22 c (15,8) opt[30][4] = 0 74.65/16.22 c (15,8) opt[31][0] = 0 74.65/16.22 c (15,8) opt[31][1] = 1 74.65/16.22 c (15,8) opt[31][2] = 0 74.65/16.22 c (15,8) opt[31][3] = 0 74.65/16.22 c (15,8) opt[31][4] = 0 74.65/16.22 c (15,8) opt[32][0] = 1 74.65/16.22 c (15,8) opt[32][1] = 0 74.65/16.22 c (15,8) opt[32][2] = 1 74.65/16.22 c (15,8) opt[32][3] = 1 74.65/16.22 c (15,8) opt[32][4] = 0 74.65/16.22 c (15,8) opt[33][0] = 0 74.65/16.22 c (15,8) opt[33][1] = 1 74.65/16.22 c (15,8) opt[33][2] = 0 74.65/16.22 c (15,8) opt[33][3] = 1 74.65/16.22 c (15,8) opt[33][4] = 0 74.65/16.22 c (15,8) opt[34][0] = 1 74.65/16.22 c (15,8) opt[34][1] = 0 74.65/16.22 c (15,8) opt[34][2] = 0 74.65/16.22 c (15,8) opt[34][3] = 0 74.65/16.22 c (15,8) opt[34][4] = 0 74.65/16.22 c (15,8) opt[35][0] = 0 74.65/16.22 c (15,8) opt[35][1] = 1 74.65/16.22 c (15,8) opt[35][2] = 0 74.65/16.22 c (15,8) opt[35][3] = 0 74.65/16.22 c (15,8) opt[35][4] = 1 74.65/16.22 c (15,8) opt[36][0] = 1 74.65/16.22 c (15,8) opt[36][1] = 1 74.65/16.22 c (15,8) opt[36][2] = 1 74.65/16.22 c (15,8) opt[36][3] = 0 74.65/16.22 c (15,8) opt[36][4] = 0 74.65/16.22 c (15,8) opt[37][0] = 0 74.65/16.22 c (15,8) opt[37][1] = 0 74.65/16.22 c (15,8) opt[37][2] = 0 74.65/16.22 c (15,8) opt[37][3] = 1 74.65/16.22 c (15,8) opt[37][4] = 0 74.65/16.22 c (15,8) opt[38][0] = 1 74.65/16.22 c (15,8) opt[38][1] = 1 74.65/16.22 c (15,8) opt[38][2] = 0 74.65/16.22 c (15,8) opt[38][3] = 0 74.65/16.22 c (15,8) opt[38][4] = 0 74.65/16.22 c (15,8) opt[39][0] = 0 74.65/16.22 c (15,8) opt[39][1] = 0 74.65/16.22 c (15,8) opt[39][2] = 0 74.65/16.22 c (15,8) opt[39][3] = 1 74.65/16.22 c (15,8) opt[39][4] = 0 74.65/16.22 c (15,8) opt[40][0] = 1 74.65/16.22 c (15,8) opt[40][1] = 1 74.65/16.22 c (15,8) opt[40][2] = 1 74.65/16.22 c (15,8) opt[40][3] = 0 74.65/16.22 c (15,8) opt[40][4] = 0 74.65/16.22 c (15,8) opt[41][0] = 0 74.65/16.22 c (15,8) opt[41][1] = 1 74.65/16.22 c (15,8) opt[41][2] = 0 74.65/16.22 c (15,8) opt[41][3] = 0 74.65/16.22 c (15,8) opt[41][4] = 1 74.65/16.22 c (15,8) opt[42][0] = 1 74.65/16.22 c (15,8) opt[42][1] = 0 74.65/16.22 c (15,8) opt[42][2] = 0 74.65/16.22 c (15,8) opt[42][3] = 0 74.65/16.23 c (15,8) opt[42][4] = 0 74.65/16.23 c (15,8) opt[43][0] = 0 74.65/16.23 c (15,8) opt[43][1] = 0 74.65/16.23 c (15,8) opt[43][2] = 1 74.65/16.23 c (15,8) opt[43][3] = 1 74.65/16.23 c (15,8) opt[43][4] = 0 74.65/16.23 c (15,8) opt[44][0] = 1 74.65/16.23 c (15,8) opt[44][1] = 0 74.65/16.23 c (15,8) opt[44][2] = 0 74.65/16.23 c (15,8) opt[44][3] = 1 74.65/16.23 c (15,8) opt[44][4] = 0 74.65/16.23 c (15,8) opt[45][0] = 0 74.65/16.23 c (15,8) opt[45][1] = 1 74.65/16.23 c (15,8) opt[45][2] = 0 74.65/16.23 c (15,8) opt[45][3] = 0 74.65/16.23 c (15,8) opt[45][4] = 0 74.65/16.23 c (15,8) opt[46][0] = 1 74.65/16.23 c (15,8) opt[46][1] = 1 74.65/16.23 c (15,8) opt[46][2] = 1 74.65/16.23 c (15,8) opt[46][3] = 0 74.65/16.23 c (15,8) opt[46][4] = 0 74.65/16.23 c (15,8) opt[47][0] = 0 74.65/16.23 c (15,8) opt[47][1] = 0 74.65/16.23 c (15,8) opt[47][2] = 0 74.65/16.23 c (15,8) opt[47][3] = 0 74.65/16.23 c (15,8) opt[47][4] = 1 74.65/16.23 c (15,8) opt[48][0] = 1 74.65/16.23 c (15,8) opt[48][1] = 1 74.65/16.23 c (15,8) opt[48][2] = 0 74.65/16.23 c (15,8) opt[48][3] = 1 74.65/16.23 c (15,8) opt[48][4] = 0 74.65/16.23 c (15,8) opt[49][0] = 0 74.65/16.23 c (15,8) opt[49][1] = 0 74.65/16.23 c (15,8) opt[49][2] = 0 74.65/16.23 c (15,8) opt[49][3] = 1 74.65/16.23 c (15,8) opt[49][4] = 0 74.65/16.23 c (15,8) opt[50][0] = 1 74.65/16.23 c (15,8) opt[50][1] = 1 74.65/16.23 c (15,8) opt[50][2] = 1 74.65/16.23 c (15,8) opt[50][3] = 0 74.65/16.23 c (15,8) opt[50][4] = 0 74.65/16.23 c (15,8) opt[51][0] = 0 74.65/16.23 c (15,8) opt[51][1] = 1 74.65/16.23 c (15,8) opt[51][2] = 0 74.65/16.23 c (15,8) opt[51][3] = 0 74.65/16.23 c (15,8) opt[51][4] = 0 74.65/16.23 c (15,8) opt[52][0] = 1 74.65/16.23 c (15,8) opt[52][1] = 0 74.65/16.23 c (15,8) opt[52][2] = 0 74.65/16.23 c (15,8) opt[52][3] = 0 74.65/16.23 c (15,8) opt[52][4] = 1 74.65/16.23 c (15,8) opt[53][0] = 0 74.65/16.23 c (15,8) opt[53][1] = 1 74.65/16.23 c (15,8) opt[53][2] = 1 74.65/16.23 c (15,8) opt[53][3] = 1 74.65/16.23 c (15,8) opt[53][4] = 0 74.65/16.23 c (15,8) opt[54][0] = 1 74.65/16.23 c (15,8) opt[54][1] = 0 74.65/16.23 c (15,8) opt[54][2] = 0 74.65/16.23 c (15,8) opt[54][3] = 1 74.65/16.23 c (15,8) opt[54][4] = 0 74.65/16.23 c (15,8) opt[55][0] = 0 74.65/16.23 c (15,8) opt[55][1] = 1 74.65/16.23 c (15,8) opt[55][2] = 0 74.65/16.23 c (15,8) opt[55][3] = 0 74.65/16.23 c (15,8) opt[55][4] = 0 74.65/16.23 c (15,8) opt[56][0] = 1 74.65/16.23 c (15,8) opt[56][1] = 1 74.65/16.23 c (15,8) opt[56][2] = 1 74.65/16.23 c (15,8) opt[56][3] = 0 74.65/16.23 c (15,8) opt[56][4] = 0 74.65/16.23 c (15,8) opt[57][0] = 0 74.65/16.23 c (15,8) opt[57][1] = 0 74.65/16.23 c (15,8) opt[57][2] = 0 74.65/16.23 c (15,8) opt[57][3] = 0 74.65/16.23 c (15,8) opt[57][4] = 1 74.65/16.23 c (15,8) opt[58][0] = 1 74.65/16.23 c (15,8) opt[58][1] = 1 74.65/16.23 c (15,8) opt[58][2] = 0 74.65/16.23 c (15,8) opt[58][3] = 1 74.65/16.23 c (15,8) opt[58][4] = 0 74.65/16.23 c (15,8) opt[59][0] = 0 74.65/16.23 c (15,8) opt[59][1] = 0 74.65/16.23 c (15,8) opt[59][2] = 1 74.65/16.23 c (15,8) opt[59][3] = 1 74.65/16.23 c (15,8) opt[59][4] = 0 74.65/16.23 c (15,8) opt[60][0] = 1 74.65/16.23 c (15,8) opt[60][1] = 0 74.65/16.23 c (15,8) opt[60][2] = 0 74.65/16.23 c (15,8) opt[60][3] = 0 74.65/16.23 c (15,8) opt[60][4] = 0 74.65/16.23 c (15,8) opt[61][0] = 0 74.65/16.23 c (15,8) opt[61][1] = 1 74.65/16.23 c (15,8) opt[61][2] = 0 74.65/16.23 c (15,8) opt[61][3] = 0 74.65/16.23 c (15,8) opt[61][4] = 0 74.65/16.23 c (15,8) opt[62][0] = 1 74.65/16.23 c (15,8) opt[62][1] = 1 74.65/16.23 c (15,8) opt[62][2] = 1 74.65/16.23 c (15,8) opt[62][3] = 0 74.65/16.23 c (15,8) opt[62][4] = 1 74.65/16.23 c (15,8) opt[63][0] = 0 74.65/16.23 c (15,8) opt[63][1] = 0 74.65/16.23 c (15,8) opt[63][2] = 0 74.65/16.23 c (15,8) opt[63][3] = 1 74.65/16.23 c (15,8) opt[63][4] = 0 74.65/16.23 c (15,8) opt[64][0] = 0 74.65/16.23 c (15,8) opt[64][1] = 1 74.65/16.23 c (15,8) opt[64][2] = 0 74.65/16.23 c (15,8) opt[64][3] = 1 74.65/16.23 c (15,8) opt[64][4] = 0 74.65/16.23 c (15,8) opt[65][0] = 1 74.65/16.23 c (15,8) opt[65][1] = 0 74.65/16.23 c (15,8) opt[65][2] = 1 74.65/16.23 c (15,8) opt[65][3] = 0 74.65/16.23 c (15,8) opt[65][4] = 0 74.65/16.23 c (15,8) opt[66][0] = 0 74.65/16.23 c (15,8) opt[66][1] = 1 74.65/16.23 c (15,8) opt[66][2] = 0 74.65/16.23 c (15,8) opt[66][3] = 0 74.65/16.23 c (15,8) opt[66][4] = 0 74.65/16.23 c (15,8) opt[67][0] = 1 74.65/16.23 c (15,8) opt[67][1] = 1 74.65/16.23 c (15,8) opt[67][2] = 0 74.65/16.23 c (15,8) opt[67][3] = 0 74.65/16.23 c (15,8) opt[67][4] = 1 74.65/16.23 c (15,8) opt[68][0] = 0 74.65/16.23 c (15,8) opt[68][1] = 0 74.65/16.23 c (15,8) opt[68][2] = 1 74.65/16.23 c (15,8) opt[68][3] = 1 74.65/16.23 c (15,8) opt[68][4] = 0 74.65/16.23 c (15,8) opt[69][0] = 1 74.65/16.23 c (15,8) opt[69][1] = 0 74.65/16.23 c (15,8) opt[69][2] = 0 74.65/16.23 c (15,8) opt[69][3] = 1 74.65/16.23 c (15,8) opt[69][4] = 0 74.65/16.23 c (15,8) opt[70][0] = 0 74.65/16.23 c (15,8) opt[70][1] = 1 74.65/16.23 c (15,8) opt[70][2] = 0 74.65/16.23 c (15,8) opt[70][3] = 0 74.65/16.23 c (15,8) opt[70][4] = 0 74.65/16.23 c (15,8) opt[71][0] = 1 74.65/16.23 c (15,8) opt[71][1] = 1 74.65/16.23 c (15,8) opt[71][2] = 0 74.65/16.23 c (15,8) opt[71][3] = 0 74.65/16.23 c (15,8) opt[71][4] = 0 74.65/16.23 c (15,8) opt[72][0] = 0 74.65/16.23 c (15,8) opt[72][1] = 0 74.65/16.23 c (15,8) opt[72][2] = 0 74.65/16.23 c (15,8) opt[72][3] = 0 74.65/16.23 c (15,8) opt[72][4] = 1 74.65/16.23 c (15,8) opt[73][0] = 1 74.65/16.23 c (15,8) opt[73][1] = 1 74.65/16.23 c (15,8) opt[73][2] = 0 74.65/16.23 c (15,8) opt[73][3] = 1 74.65/16.23 c (15,8) opt[73][4] = 0 74.65/16.23 c (15,8) opt[74][0] = 0 74.65/16.23 c (15,8) opt[74][1] = 0 74.65/16.23 c (15,8) opt[74][2] = 0 74.65/16.23 c (15,8) opt[74][3] = 1 74.65/16.23 c (15,8) opt[74][4] = 0 74.65/16.23 c (15,8) opt[75][0] = 1 74.65/16.23 c (15,8) opt[75][1] = 1 74.65/16.23 c (15,8) opt[75][2] = 1 74.65/16.23 c (15,8) opt[75][3] = 0 74.65/16.23 c (15,8) opt[75][4] = 0 74.65/16.23 c (15,8) opt[76][0] = 0 74.65/16.23 c (15,8) opt[76][1] = 1 74.65/16.23 c (15,8) opt[76][2] = 0 74.65/16.23 c (15,8) opt[76][3] = 0 74.65/16.23 c (15,8) opt[76][4] = 0 74.65/16.23 c (15,8) opt[77][0] = 1 74.65/16.23 c (15,8) opt[77][1] = 0 74.65/16.23 c (15,8) opt[77][2] = 0 74.65/16.23 c (15,8) opt[77][3] = 0 74.65/16.23 c (15,8) opt[77][4] = 1 74.65/16.23 c (15,8) opt[78][0] = 0 74.65/16.23 c (15,8) opt[78][1] = 1 74.65/16.23 c (15,8) opt[78][2] = 0 74.65/16.23 c (15,8) opt[78][3] = 1 74.65/16.23 c (15,8) opt[78][4] = 0 74.65/16.23 c (15,8) opt[79][0] = 1 74.65/16.23 c (15,8) opt[79][1] = 1 74.65/16.23 c (15,8) opt[79][2] = 0 74.65/16.23 c (15,8) opt[79][3] = 1 74.65/16.23 c (15,8) opt[79][4] = 0 74.65/16.23 c (15,8) opt[80][0] = 0 74.65/16.23 c (15,8) opt[80][1] = 0 74.65/16.23 c (15,8) opt[80][2] = 1 74.65/16.23 c (15,8) opt[80][3] = 0 74.65/16.23 c (15,8) opt[80][4] = 0 74.65/16.23 c (15,8) opt[81][0] = 1 74.65/16.23 c (15,8) opt[81][1] = 0 74.65/16.23 c (15,8) opt[81][2] = 0 74.65/16.23 c (15,8) opt[81][3] = 0 74.65/16.23 c (15,8) opt[81][4] = 0 74.65/16.23 c (15,8) opt[82][0] = 0 74.65/16.23 c (15,8) opt[82][1] = 1 74.65/16.23 c (15,8) opt[82][2] = 0 74.65/16.23 c (15,8) opt[82][3] = 0 74.65/16.23 c (15,8) opt[82][4] = 1 74.65/16.23 c (15,8) opt[83][0] = 1 74.65/16.23 c (15,8) opt[83][1] = 0 74.65/16.23 c (15,8) opt[83][2] = 1 74.65/16.23 c (15,8) opt[83][3] = 1 74.65/16.23 c (15,8) opt[83][4] = 0 74.65/16.23 c (15,8) opt[84][0] = 0 74.65/16.23 c (15,8) opt[84][1] = 1 74.65/16.23 c (15,8) opt[84][2] = 0 74.65/16.23 c (15,8) opt[84][3] = 1 74.65/16.23 c (15,8) opt[84][4] = 0 74.65/16.23 c (15,8) opt[85][0] = 1 74.65/16.23 c (15,8) opt[85][1] = 0 74.65/16.23 c (15,8) opt[85][2] = 0 74.65/16.23 c (15,8) opt[85][3] = 0 74.65/16.23 c (15,8) opt[85][4] = 0 74.65/16.23 c (15,8) opt[86][0] = 0 74.65/16.23 c (15,8) opt[86][1] = 1 74.65/16.23 c (15,8) opt[86][2] = 0 74.65/16.23 c (15,8) opt[86][3] = 0 74.65/16.23 c (15,8) opt[86][4] = 0 74.65/16.23 c (15,8) opt[87][0] = 1 74.65/16.23 c (15,8) opt[87][1] = 1 74.65/16.23 c (15,8) opt[87][2] = 0 74.65/16.23 c (15,8) opt[87][3] = 0 74.65/16.23 c (15,8) opt[87][4] = 1 74.65/16.23 c (15,8) opt[88][0] = 0 74.65/16.23 c (15,8) opt[88][1] = 0 74.65/16.23 c (15,8) opt[88][2] = 1 74.65/16.23 c (15,8) opt[88][3] = 1 74.65/16.23 c (15,8) opt[88][4] = 0 74.65/16.23 c (15,8) opt[89][0] = 1 74.65/16.23 c (15,8) opt[89][1] = 0 74.65/16.23 c (15,8) opt[89][2] = 0 74.65/16.23 c (15,8) opt[89][3] = 1 74.65/16.23 c (15,8) opt[89][4] = 0 74.65/16.23 c (15,8) opt[90][0] = 0 74.65/16.23 c (15,8) opt[90][1] = 1 74.65/16.23 c (15,8) opt[90][2] = 0 74.65/16.23 c (15,8) opt[90][3] = 0 74.65/16.23 c (15,8) opt[90][4] = 0 74.65/16.23 c (15,8) opt[91][0] = 1 74.65/16.23 c (15,8) opt[91][1] = 1 74.65/16.23 c (15,8) opt[91][2] = 1 74.65/16.23 c (15,8) opt[91][3] = 0 74.65/16.23 c (15,8) opt[91][4] = 0 74.65/16.23 c (15,8) opt[92][0] = 0 74.65/16.23 c (15,8) opt[92][1] = 0 74.65/16.23 c (15,8) opt[92][2] = 0 74.65/16.23 c (15,8) opt[92][3] = 0 74.65/16.23 c (15,8) opt[92][4] = 1 74.65/16.23 c (15,8) opt[93][0] = 1 74.65/16.23 c (15,8) opt[93][1] = 0 74.65/16.23 c (15,8) opt[93][2] = 0 74.65/16.23 c (15,8) opt[93][3] = 1 74.65/16.23 c (15,8) opt[93][4] = 0 74.65/16.23 c (15,8) opt[94][0] = 0 74.65/16.23 c (15,8) opt[94][1] = 0 74.65/16.23 c (15,8) opt[94][2] = 0 74.65/16.23 c (15,8) opt[94][3] = 1 74.65/16.23 c (15,8) opt[94][4] = 0 74.65/16.23 c (15,8) opt[95][0] = 1 74.65/16.23 c (15,8) opt[95][1] = 1 74.65/16.23 c (15,8) opt[95][2] = 1 74.65/16.23 c (15,8) opt[95][3] = 0 74.65/16.23 c (15,8) opt[95][4] = 0 74.65/16.23 c (15,8) opt[96][0] = 0 74.65/16.23 c (15,8) opt[96][1] = 1 74.65/16.23 c (15,8) opt[96][2] = 0 74.65/16.23 c (15,8) opt[96][3] = 0 74.65/16.23 c (15,8) opt[96][4] = 0 74.65/16.23 c (15,8) opt[97][0] = 1 74.65/16.23 c (15,8) opt[97][1] = 0 74.65/16.23 c (15,8) opt[97][2] = 0 74.65/16.23 c (15,8) opt[97][3] = 0 74.65/16.23 c (15,8) opt[97][4] = 0 74.65/16.23 c (15,8) opt[98][0] = 0 74.65/16.23 c (15,8) opt[98][1] = 1 74.65/16.23 c (15,8) opt[98][2] = 0 74.65/16.23 c (15,8) opt[98][3] = 1 74.65/16.23 c (15,8) opt[98][4] = 0 74.65/16.23 c (15,8) opt[99][0] = 1 74.65/16.23 c (15,8) opt[99][1] = 1 74.65/16.23 c (15,8) opt[99][2] = 1 74.65/16.23 c (15,8) opt[99][3] = 1 74.65/16.23 c (15,8) opt[99][4] = 1 74.65/16.23 s SATISFIABLE 74.65/16.23 v <instantiation> 74.65/16.23 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] 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]</list> 74.65/16.23 v <values>19 3 13 5 14 7 14 4 1 5 13 9 18 12 10 5 0 15 19 9 18 12 20 12 14 5 1 4 13 3 14 5 8 12 14 15 1 4 18 4 1 15 14 7 0 5 1 16 19 4 1 5 17 6 0 5 1 16 19 7 14 5 11 4 12 10 5 2 7 0 5 18 16 19 4 1 5 17 12 19 9 14 15 8 12 14 5 2 7 0 5 1 16 0 4 1 5 14 12 21 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1</values> 74.65/16.23 v </instantiation> 74.65/16.23 c (15,8) Show results End 74.65/16.23 c (15,8) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 74.65/16.23 c (15,8) 0,0,5,5,5,5,7,15,15,STOP-AFTER(ALL) 74.65/16.23 c END-Prog: Fri Jul 27 06:05:51 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 (15194 MiB free)
memory of node 1: 16384 MiB (11764 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297131-1532664335/watcher-4297131-1532664335 -o /tmp/evaluation-result-4297131-1532664335/solver-4297131-1532664335 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532653106-10585 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297131-1532664335.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13172, runsolver pid=13169
[startup+0.100153 s]*
/proc/loadavg: 5.66 5.78 5.09 3/198 13193
/proc/meminfo: memFree=27511420/32770624 swapFree=67108496/67108860
[pid=13172] ppid=13169 vsize=27312552 memory=107120 CPUtime=0.1 cores=0-7
/proc/13172/stat : 13172 (java) S 13169 13172 10558 0 -1 1077944320 6857 0 0 0 8 2 0 0 20 0 20 0 83996654 27968053248 26780 33554432000 4194304 4196468 140722629175040 140722629157584 140136316026615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
/proc/13172/statm: 6828138 26780 2752 1 0 6790598 0
[pid=13172/tid=13174] ppid=13169 vsize=27312552 memory=7752835091657563038 CPUtime=0.08 cores=0-7
/proc/13172/task/13174/stat : 13174 (java) R 13169 13172 10558 0 -1 4202560 4979 0 0 0 6 2 0 0 20 0 20 0 83996655 27968053248 26853 33554432000 4194304 4196468 140722629175040 140136287852944 140136316048541 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13175] ppid=13169 vsize=27312552 memory=732370497574476773 CPUtime=0 cores=0-7
/proc/13172/task/13175/stat : 13175 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 26853 33554432000 4194304 4196468 140722629175040 140136320268944 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13176] ppid=13169 vsize=27312552 memory=140359237023360 CPUtime=0 cores=0-7
/proc/13172/task/13176/stat : 13176 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 26853 33554432000 4194304 4196468 140722629175040 140136134425104 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13177] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13177/stat : 13177 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 26853 33554432000 4194304 4196468 140722629175040 140136133372304 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13178] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13178/stat : 13178 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 26853 33554432000 4194304 4196468 140722629175040 140136132319504 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13179] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13179/stat : 13179 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 26853 33554432000 4194304 4196468 140722629175040 140136131267728 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13180] ppid=13169 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/13172/task/13180/stat : 13180 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 26853 33554432000 4194304 4196468 140722629175040 140136130214928 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13182] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13182/stat : 13182 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 26853 33554432000 4194304 4196468 140722629175040 140136129162128 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13183] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13183/stat : 13183 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 26853 33554432000 4194304 4196468 140722629175040 140136128109328 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13184] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13184/stat : 13184 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996659 27968053248 26853 33554432000 4194304 4196468 140722629175040 140134635739504 140136316037762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13185] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13185/stat : 13185 (java) S 13169 13172 10558 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83996659 27968053248 26853 33554432000 4194304 4196468 140722629175040 140134112551968 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13186] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13186/stat : 13186 (java) S 13169 13172 10558 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 83996659 27968053248 26853 33554432000 4194304 4196468 140722629175040 140133978329968 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13187] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13187/stat : 13187 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 26853 33554432000 4194304 4196468 140722629175040 140133603825488 140136316045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13188] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13188/stat : 13188 (java) S 13169 13172 10558 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 26853 33554432000 4194304 4196468 140722629175040 140134634687344 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13189] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13189/stat : 13189 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 26853 33554432000 4194304 4196468 140722629175040 140134633634544 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13190] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13190/stat : 13190 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 26853 33554432000 4194304 4196468 140722629175040 140134632581744 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13191] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13191/stat : 13191 (java) S 13169 13172 10558 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 26853 33554432000 4194304 4196468 140722629175040 140134631528944 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13192] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13192/stat : 13192 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 26853 33554432000 4194304 4196468 140722629175040 140133105920608 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13193] ppid=13169 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/13172/task/13193/stat : 13193 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996663 27968053248 26853 33554432000 4194304 4196468 140722629175040 140134630476336 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 107120 KiB
[startup+0.21022 s]*
/proc/loadavg: 5.66 5.78 5.09 2/198 13193
/proc/meminfo: memFree=27494944/32770624 swapFree=67108496/67108860
[pid=13172] ppid=13169 vsize=27312552 memory=121688 CPUtime=0.24 cores=0-7
/proc/13172/stat : 13172 (java) S 13169 13172 10558 0 -1 1077944320 10755 0 0 0 21 3 0 0 20 0 20 0 83996654 27968053248 30422 33554432000 4194304 4196468 140722629175040 140722629157584 140136316026615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
/proc/13172/statm: 6828138 30422 2881 1 0 6790598 0
[pid=13172/tid=13174] ppid=13169 vsize=27312552 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/13172/task/13174/stat : 13174 (java) R 13169 13172 10558 0 -1 4202560 8667 0 0 0 16 3 0 0 20 0 20 0 83996655 27968053248 30422 33554432000 4194304 4196468 140722629175040 140136287810176 140136297420346 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13175] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13175/stat : 13175 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 30422 33554432000 4194304 4196468 140722629175040 140136320268944 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13176] ppid=13169 vsize=27312552 memory=140359237509817 CPUtime=0 cores=0-7
/proc/13172/task/13176/stat : 13176 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 30422 33554432000 4194304 4196468 140722629175040 140136134425104 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13177] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13177/stat : 13177 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 30422 33554432000 4194304 4196468 140722629175040 140136133372304 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13178] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13178/stat : 13178 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 30422 33554432000 4194304 4196468 140722629175040 140136132319504 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13179] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13179/stat : 13179 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 30422 33554432000 4194304 4196468 140722629175040 140136131267728 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13180] ppid=13169 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/13172/task/13180/stat : 13180 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 30422 33554432000 4194304 4196468 140722629175040 140136130214928 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13182] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13182/stat : 13182 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 30422 33554432000 4194304 4196468 140722629175040 140136129162128 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13183] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13183/stat : 13183 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 30422 33554432000 4194304 4196468 140722629175040 140136128109328 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13184] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13184/stat : 13184 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996659 27968053248 30422 33554432000 4194304 4196468 140722629175040 140134635739504 140136316037762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13185] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13185/stat : 13185 (java) S 13169 13172 10558 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83996659 27968053248 30422 33554432000 4194304 4196468 140722629175040 140134112551968 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13186] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13186/stat : 13186 (java) S 13169 13172 10558 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 83996659 27968053248 30422 33554432000 4194304 4196468 140722629175040 140133978329968 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13187] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13187/stat : 13187 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 30422 33554432000 4194304 4196468 140722629175040 140133603825488 140136316045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13188] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13188/stat : 13188 (java) S 13169 13172 10558 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 30422 33554432000 4194304 4196468 140722629175040 140134634687344 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13189] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13189/stat : 13189 (java) S 13169 13172 10558 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 30422 33554432000 4194304 4196468 140722629175040 140134633634544 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13190] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13190/stat : 13190 (java) S 13169 13172 10558 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 30422 33554432000 4194304 4196468 140722629175040 140134632581744 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13191] ppid=13169 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/13172/task/13191/stat : 13191 (java) S 13169 13172 10558 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 20 0 83996662 27968053248 30422 33554432000 4194304 4196468 140722629175040 140134631528944 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13192] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13192/stat : 13192 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 30422 33554432000 4194304 4196468 140722629175040 140133105920608 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13193] ppid=13169 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/13172/task/13193/stat : 13193 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996663 27968053248 30422 33554432000 4194304 4196468 140722629175040 140134630476336 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 121688 KiB
[startup+0.309661 s]*
/proc/loadavg: 5.66 5.78 5.09 2/198 13193
/proc/meminfo: memFree=27492152/32770624 swapFree=67108496/67108860
[pid=13172] ppid=13169 vsize=27312552 memory=125420 CPUtime=0.42 cores=0-7
/proc/13172/stat : 13172 (java) S 13169 13172 10558 0 -1 1077944320 11320 0 0 0 38 4 0 0 20 0 20 0 83996654 27968053248 31355 33554432000 4194304 4196468 140722629175040 140722629157584 140136316026615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
/proc/13172/statm: 6828138 31355 2958 1 0 6790598 0
[pid=13172/tid=13174] ppid=13169 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13172/task/13174/stat : 13174 (java) R 13169 13172 10558 0 -1 4202560 9047 0 0 0 26 3 0 0 20 0 20 0 83996655 27968053248 31355 33554432000 4194304 4196468 140722629175040 140136287830768 140136316040524 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13175] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13175/stat : 13175 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 31355 33554432000 4194304 4196468 140722629175040 140136320268944 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13176] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13176/stat : 13176 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 31355 33554432000 4194304 4196468 140722629175040 140136134425104 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13177] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13177/stat : 13177 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 31355 33554432000 4194304 4196468 140722629175040 140136133372304 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13178] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13178/stat : 13178 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 31355 33554432000 4194304 4196468 140722629175040 140136132319504 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13179] ppid=13169 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/13172/task/13179/stat : 13179 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 31355 33554432000 4194304 4196468 140722629175040 140136131267728 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13180] ppid=13169 vsize=27312552 memory=140359128675247 CPUtime=0 cores=0-7
/proc/13172/task/13180/stat : 13180 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 31355 33554432000 4194304 4196468 140722629175040 140136130214928 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13182] ppid=13169 vsize=27312552 memory=140359128677552 CPUtime=0 cores=0-7
/proc/13172/task/13182/stat : 13182 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 31355 33554432000 4194304 4196468 140722629175040 140136129162128 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13183] ppid=13169 vsize=27312552 memory=140359128679856 CPUtime=0 cores=0-7
/proc/13172/task/13183/stat : 13183 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27968053248 31355 33554432000 4194304 4196468 140722629175040 140136128109328 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13184] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13184/stat : 13184 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996659 27968053248 31355 33554432000 4194304 4196468 140722629175040 140134635739504 140136316037762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13185] ppid=13169 vsize=27312552 memory=280718257366672 CPUtime=0 cores=0-7
/proc/13172/task/13185/stat : 13185 (java) S 13169 13172 10558 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83996659 27968053248 31355 33554432000 4194304 4196468 140722629175040 140134112551968 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13186] ppid=13169 vsize=27312552 memory=280718257373584 CPUtime=0 cores=0-7
/proc/13172/task/13186/stat : 13186 (java) S 13169 13172 10558 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 83996659 27968053248 31355 33554432000 4194304 4196468 140722629175040 140133978329968 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13187] ppid=13169 vsize=27312552 memory=280718257314864 CPUtime=0 cores=0-7
/proc/13172/task/13187/stat : 13187 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 31355 33554432000 4194304 4196468 140722629175040 140133603825488 140136316045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13188] ppid=13169 vsize=27312552 memory=280718257387408 CPUtime=0.01 cores=0-7
/proc/13172/task/13188/stat : 13188 (java) S 13169 13172 10558 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 83996662 27968053248 31355 33554432000 4194304 4196468 140722629175040 140134634687344 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13189] ppid=13169 vsize=27312552 memory=280718257394320 CPUtime=0.01 cores=0-7
/proc/13172/task/13189/stat : 13189 (java) S 13169 13172 10558 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 20 0 83996662 27968053248 31355 33554432000 4194304 4196468 140722629175040 140134633634544 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13190] ppid=13169 vsize=27312552 memory=280718257392016 CPUtime=0.01 cores=0-7
/proc/13172/task/13190/stat : 13190 (java) S 13169 13172 10558 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 83996662 27968053248 31355 33554432000 4194304 4196468 140722629175040 140134632581744 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13191] ppid=13169 vsize=27312552 memory=280718257408576 CPUtime=0.07 cores=0-7
/proc/13172/task/13191/stat : 13191 (java) S 13169 13172 10558 0 -1 1077944384 275 0 0 0 7 0 0 0 20 0 20 0 83996662 27968053248 31355 33554432000 4194304 4196468 140722629175040 140134631528944 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13192] ppid=13169 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13192/stat : 13192 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83996662 27968053248 31355 33554432000 4194304 4196468 140722629175040 140133105920608 140136316036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13193] ppid=13169 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/13172/task/13193/stat : 13193 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996663 27968053248 31355 33554432000 4194304 4196468 140722629175040 140134630476336 140136316037762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 125420 KiB
[startup+0.700854 s]
/proc/loadavg: 5.66 5.78 5.09 2/198 13193
/proc/meminfo: memFree=27468092/32770624 swapFree=67108496/67108860
[pid=13172] ppid=13169 vsize=27318824 memory=164732 CPUtime=1.01 cores=0-7
/proc/13172/stat : 13172 (java) S 13169 13172 10558 0 -1 1077944320 18272 0 0 0 95 6 0 0 20 0 20 0 83996654 27974475776 41183 33554432000 4194304 4196468 140722629175040 140722629157584 140136316026615 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
/proc/13172/statm: 6829706 41183 3136 1 0 6791110 0
[pid=13172/tid=13174] ppid=13169 vsize=27318824 memory=7230638415974328663 CPUtime=0.67 cores=0-7
/proc/13172/task/13174/stat : 13174 (java) R 13169 13172 10558 0 -1 4202560 15459 0 0 0 62 5 0 0 20 0 20 0 83996655 27974475776 41183 33554432000 4194304 4196468 140722629175040 140136287850384 140136316048541 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13175] ppid=13169 vsize=27318824 memory=56659208595216 CPUtime=0 cores=0-7
/proc/13172/task/13175/stat : 13175 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27974475776 41183 33554432000 4194304 4196468 140722629175040 140136320268944 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13176] ppid=13169 vsize=27318824 memory=140359128690606 CPUtime=0 cores=0-7
/proc/13172/task/13176/stat : 13176 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996657 27974475776 41183 33554432000 4194304 4196468 140722629175040 140136134425104 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13177] ppid=13169 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13177/stat : 13177 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83996657 27974475776 41183 33554432000 4194304 4196468 140722629175040 140136133372304 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13178] ppid=13169 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13178/stat : 13178 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27974475776 41183 33554432000 4194304 4196468 140722629175040 140136132319504 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13179] ppid=13169 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13179/stat : 13179 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27974475776 41183 33554432000 4194304 4196468 140722629175040 140136131267728 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13180] ppid=13169 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13180/stat : 13180 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83996657 27974475776 41183 33554432000 4194304 4196468 140722629175040 140136130214928 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13182] ppid=13169 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13182/stat : 13182 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27974475776 41183 33554432000 4194304 4196468 140722629175040 140136129162128 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13183] ppid=13169 vsize=27318824 memory=1788 CPUtime=0 cores=0-7
/proc/13172/task/13183/stat : 13183 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83996657 27974475776 41183 33554432000 4194304 4196468 140722629175040 140136128109328 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13184] ppid=13169 vsize=27318824 memory=860 CPUtime=0 cores=0-7
/proc/13172/task/13184/stat : 13184 (java) S 13169 13172 10558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83996659 27974475776 41183 33554432000 4194304 4196468 140722629175040 140134635739504 140136316037762 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
################
# More data... #
################
/proc/13172/task/13183/stat : 13183 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83996657 28656443392 927586 33554432000 4194304 4196468 140722629175040 140136128109328 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13184] ppid=13169 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13184/stat : 13184 (java) S 13169 13172 10558 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 83996659 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134635739504 140136316037762 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13185] ppid=13169 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13185/stat : 13185 (java) S 13169 13172 10558 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 83996659 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134112551968 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13186] ppid=13169 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13186/stat : 13186 (java) S 13169 13172 10558 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 24 0 83996659 28656443392 927586 33554432000 4194304 4196468 140722629175040 140133978329968 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13187] ppid=13169 vsize=27984808 memory=8039887049847964329 CPUtime=0 cores=0-7
/proc/13172/task/13187/stat : 13187 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83996662 28656443392 927586 33554432000 4194304 4196468 140722629175040 140133603825488 140136316045211 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13188] ppid=13169 vsize=27984808 memory=-7313654673739556905 CPUtime=4.17 cores=0-7
/proc/13172/task/13188/stat : 13188 (java) S 13169 13172 10558 0 -1 1077944384 3736 0 0 0 416 1 0 0 20 0 24 0 83996662 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134634687344 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13189] ppid=13169 vsize=27984808 memory=0 CPUtime=4.48 cores=0-7
/proc/13172/task/13189/stat : 13189 (java) S 13169 13172 10558 0 -1 1077944384 5165 0 0 0 446 2 0 0 20 0 24 0 83996662 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134633634544 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13190] ppid=13169 vsize=27984808 memory=0 CPUtime=4.35 cores=0-7
/proc/13172/task/13190/stat : 13190 (java) S 13169 13172 10558 0 -1 1077944384 5238 0 0 0 434 1 0 0 20 0 24 0 83996662 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134632581744 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13191] ppid=13169 vsize=27984808 memory=1380 CPUtime=1.65 cores=0-7
/proc/13172/task/13191/stat : 13191 (java) S 13169 13172 10558 0 -1 1077944384 4394 0 0 0 163 2 0 0 20 0 24 0 83996662 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134631528944 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13192] ppid=13169 vsize=27984808 memory=1160 CPUtime=0 cores=0-7
/proc/13172/task/13192/stat : 13192 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83996662 28656443392 927586 33554432000 4194304 4196468 140722629175040 140133105920608 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13193] ppid=13169 vsize=27984808 memory=15184 CPUtime=0 cores=0-7
/proc/13172/task/13193/stat : 13193 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83996663 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134630476336 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13195] ppid=13169 vsize=27984808 memory=4000 CPUtime=0 cores=0-7
/proc/13172/task/13195/stat : 13195 (java) S 13169 13172 10558 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83997523 28656443392 927586 33554432000 4194304 4196468 140722629175040 140136126399552 140136316051225 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13197] ppid=13169 vsize=27984808 memory=14256 CPUtime=0 cores=0-7
/proc/13172/task/13197/stat : 13197 (java) S 13169 13172 10558 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 83997523 28656443392 927586 33554432000 4194304 4196468 140722629175040 140132434821168 140136316048541 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13198] ppid=13169 vsize=27984808 memory=14680 CPUtime=0 cores=0-7
/proc/13172/task/13198/stat : 13198 (java) S 13169 13172 10558 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 83997523 28656443392 927586 33554432000 4194304 4196468 140722629175040 140132166385584 140136316048541 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13199] ppid=13169 vsize=27984808 memory=1180 CPUtime=0 cores=0-7
/proc/13172/task/13199/stat : 13199 (java) S 13169 13172 10558 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 24 0 83997525 28656443392 927586 33554432000 4194304 4196468 140722629175040 140132703264288 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
Current children cumulated CPU time: 66.87 s
Current children cumulated vsize: 28873592 KiB
Current children cumulated memory: 4170708 KiB
[startup+16.0014 s]*
/proc/loadavg: 5.01 5.63 5.05 9/211 13207
/proc/meminfo: memFree=23368104/32770624 swapFree=67108496/67108860
[pid=13172] ppid=13169 vsize=27984808 memory=3710344 CPUtime=23.24 cores=0-7
/proc/13172/stat : 13172 (java) S 13169 13172 10558 0 -1 1077944320 39410 0 0 0 2257 67 0 0 20 0 24 0 83996654 28656443392 927586 33554432000 4194304 4196468 140722629175040 140722629157584 140136316026615 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
/proc/13172/statm: 6996202 927586 3236 1 0 6957058 0
[pid=13194] ppid=13172 vsize=888784 memory=515632 CPUtime=50.08 cores=0-7
/proc/13194/stat : 13194 (glucose-syrup) S 13172 13172 10558 0 -1 1077944320 194998 0 0 0 4947 61 0 0 20 0 9 0 83997522 910114816 128908 33554432000 4194304 4373367 140731227104304 140731227102848 140215958653570 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6470912 6472264 37498880 140731227108271 140731227108524 140731227108524 140731227111367 0
/proc/13194/statm: 222196 128908 388 44 0 217884 0
[pid=13194/tid=13200] ppid=13172 vsize=888784 memory=1132 CPUtime=6.02 cores=0-7
/proc/13194/task/13200/stat : 13200 (glucose-syrup) R 13172 13172 10558 0 -1 4202560 18912 0 0 0 595 7 0 0 20 0 9 0 83997637 910114816 128908 33554432000 4194304 4373367 140731227104304 140215932824944 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 37498880 140731227108271 140731227108524 140731227108524 140731227111367 0
[pid=13194/tid=13201] ppid=13172 vsize=888784 memory=3710344 CPUtime=6.14 cores=0-7
/proc/13194/task/13201/stat : 13201 (glucose-syrup) R 13172 13172 10558 0 -1 4202560 19752 0 0 0 609 5 0 0 20 0 9 0 83997637 910114816 128908 33554432000 4194304 4373367 140731227104304 140215924432240 4258958 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 37498880 140731227108271 140731227108524 140731227108524 140731227111367 0
[pid=13194/tid=13202] ppid=13172 vsize=888784 memory=326720 CPUtime=6.11 cores=0-7
/proc/13194/task/13202/stat : 13202 (glucose-syrup) R 13172 13172 10558 0 -1 4202560 16241 0 0 0 604 7 0 0 20 0 9 0 83997637 910114816 128908 33554432000 4194304 4373367 140731227104304 140215916039440 4271641 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 37498880 140731227108271 140731227108524 140731227108524 140731227111367 0
[pid=13194/tid=13203] ppid=13172 vsize=888784 memory=4460 CPUtime=6.13 cores=0-7
/proc/13194/task/13203/stat : 13203 (glucose-syrup) R 13172 13172 10558 0 -1 4202560 19832 0 0 0 608 5 0 0 20 0 9 0 83997637 910114816 128908 33554432000 4194304 4373367 140731227104304 140215907646608 4271824 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 37498880 140731227108271 140731227108524 140731227108524 140731227111367 0
[pid=13194/tid=13204] ppid=13172 vsize=888784 memory=280718257244288 CPUtime=6.12 cores=0-7
/proc/13194/task/13204/stat : 13204 (glucose-syrup) R 13172 13172 10558 0 -1 4202560 18149 0 0 0 604 8 0 0 20 0 9 0 83997637 910114816 128908 33554432000 4194304 4373367 140731227104304 140215881522544 4271977 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 37498880 140731227108271 140731227108524 140731227108524 140731227111367 0
[pid=13194/tid=13205] ppid=13172 vsize=888784 memory=0 CPUtime=6.13 cores=0-7
/proc/13194/task/13205/stat : 13205 (glucose-syrup) R 13172 13172 10558 0 -1 4202560 18356 0 0 0 609 4 0 0 20 0 9 0 83997637 910114816 128908 33554432000 4194304 4373367 140731227104304 140215873129840 4271885 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 37498880 140731227108271 140731227108524 140731227108524 140731227111367 0
[pid=13194/tid=13206] ppid=13172 vsize=888784 memory=0 CPUtime=6.09 cores=0-7
/proc/13194/task/13206/stat : 13206 (glucose-syrup) R 13172 13172 10558 0 -1 4202560 19255 0 0 0 602 7 0 0 20 0 9 0 83997637 910114816 128908 33554432000 4194304 4373367 140731227104304 140215864736968 4272341 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 37498880 140731227108271 140731227108524 140731227108524 140731227111367 0
[pid=13194/tid=13207] ppid=13172 vsize=888784 memory=0 CPUtime=6.12 cores=0-7
/proc/13194/task/13207/stat : 13207 (glucose-syrup) R 13172 13172 10558 0 -1 4202560 20073 0 0 0 608 4 0 0 20 0 9 0 83997637 910114816 128908 33554432000 4194304 4373367 140731227104304 140215784041744 4271894 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 37498880 140731227108271 140731227108524 140731227108524 140731227111367 0
[pid=13172/tid=13174] ppid=13169 vsize=27984808 memory=8039887049847964329 CPUtime=8.53 cores=0-7
/proc/13172/task/13174/stat : 13174 (java) S 13169 13172 10558 0 -1 1077944384 19447 0 0 0 794 59 0 0 20 0 24 0 83996655 28656443392 927586 33554432000 4194304 4196468 140722629175040 140136287865856 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13175] ppid=13169 vsize=27984808 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/13172/task/13175/stat : 13175 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83996657 28656443392 927586 33554432000 4194304 4196468 140722629175040 140136320268944 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13176] ppid=13169 vsize=27984808 memory=7453005919594636902 CPUtime=0 cores=0-7
/proc/13172/task/13176/stat : 13176 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83996657 28656443392 927586 33554432000 4194304 4196468 140722629175040 140136134425104 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13177] ppid=13169 vsize=27984808 memory=7380098403034883681 CPUtime=0 cores=0-7
/proc/13172/task/13177/stat : 13177 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83996657 28656443392 927586 33554432000 4194304 4196468 140722629175040 140136133372304 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13178] ppid=13169 vsize=27984808 memory=7092152723170485350 CPUtime=0 cores=0-7
/proc/13172/task/13178/stat : 13178 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83996657 28656443392 927586 33554432000 4194304 4196468 140722629175040 140136132319504 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13179] ppid=13169 vsize=27984808 memory=7163086612029858918 CPUtime=0 cores=0-7
/proc/13172/task/13179/stat : 13179 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83996657 28656443392 927586 33554432000 4194304 4196468 140722629175040 140136131267728 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13180] ppid=13169 vsize=27984808 memory=7161962906851304550 CPUtime=0 cores=0-7
/proc/13172/task/13180/stat : 13180 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83996657 28656443392 927586 33554432000 4194304 4196468 140722629175040 140136130214928 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13182] ppid=13169 vsize=27984808 memory=458152 CPUtime=0 cores=0-7
/proc/13172/task/13182/stat : 13182 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83996657 28656443392 927586 33554432000 4194304 4196468 140722629175040 140136129162128 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13183] ppid=13169 vsize=27984808 memory=860 CPUtime=0 cores=0-7
/proc/13172/task/13183/stat : 13183 (java) S 13169 13172 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83996657 28656443392 927586 33554432000 4194304 4196468 140722629175040 140136128109328 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13184] ppid=13169 vsize=27984808 memory=12556 CPUtime=0 cores=0-7
/proc/13172/task/13184/stat : 13184 (java) S 13169 13172 10558 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 83996659 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134635739504 140136316037762 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13185] ppid=13169 vsize=27984808 memory=756 CPUtime=0 cores=0-7
/proc/13172/task/13185/stat : 13185 (java) S 13169 13172 10558 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 83996659 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134112551968 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13186] ppid=13169 vsize=27984808 memory=1612 CPUtime=0 cores=0-7
/proc/13172/task/13186/stat : 13186 (java) S 13169 13172 10558 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 24 0 83996659 28656443392 927586 33554432000 4194304 4196468 140722629175040 140133978329968 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13187] ppid=13169 vsize=27984808 memory=1836 CPUtime=0 cores=0-7
/proc/13172/task/13187/stat : 13187 (java) S 13169 13172 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83996662 28656443392 927586 33554432000 4194304 4196468 140722629175040 140133603825488 140136316045211 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13188] ppid=13169 vsize=27984808 memory=1132 CPUtime=4.17 cores=0-7
/proc/13172/task/13188/stat : 13188 (java) S 13169 13172 10558 0 -1 1077944384 3736 0 0 0 416 1 0 0 20 0 24 0 83996662 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134634687344 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13189] ppid=13169 vsize=27984808 memory=6372 CPUtime=4.48 cores=0-7
/proc/13172/task/13189/stat : 13189 (java) S 13169 13172 10558 0 -1 1077944384 5165 0 0 0 446 2 0 0 20 0 24 0 83996662 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134633634544 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13190] ppid=13169 vsize=27984808 memory=5500 CPUtime=4.35 cores=0-7
/proc/13172/task/13190/stat : 13190 (java) S 13169 13172 10558 0 -1 1077944384 5238 0 0 0 434 1 0 0 20 0 24 0 83996662 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134632581744 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13191] ppid=13169 vsize=27984808 memory=4460 CPUtime=1.65 cores=0-7
/proc/13172/task/13191/stat : 13191 (java) S 13169 13172 10558 0 -1 1077944384 4394 0 0 0 163 2 0 0 20 0 24 0 83996662 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134631528944 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13192] ppid=13169 vsize=27984808 memory=1380 CPUtime=0 cores=0-7
/proc/13172/task/13192/stat : 13192 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83996662 28656443392 927586 33554432000 4194304 4196468 140722629175040 140133105920608 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13193] ppid=13169 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13193/stat : 13193 (java) S 13169 13172 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83996663 28656443392 927586 33554432000 4194304 4196468 140722629175040 140134630476336 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13195] ppid=13169 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13195/stat : 13195 (java) S 13169 13172 10558 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83997523 28656443392 927586 33554432000 4194304 4196468 140722629175040 140136126399552 140136316051225 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13197] ppid=13169 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/13172/task/13197/stat : 13197 (java) S 13169 13172 10558 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 83997523 28656443392 927586 33554432000 4194304 4196468 140722629175040 140132434821168 140136316048541 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13198] ppid=13169 vsize=27984808 memory=426604 CPUtime=0 cores=0-7
/proc/13172/task/13198/stat : 13198 (java) S 13169 13172 10558 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 83997523 28656443392 927586 33554432000 4194304 4196468 140722629175040 140132166385584 140136316048541 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13199] ppid=13169 vsize=27984808 memory=223512 CPUtime=0 cores=0-7
/proc/13172/task/13199/stat : 13199 (java) S 13169 13172 10558 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 24 0 83997525 28656443392 927586 33554432000 4194304 4196468 140722629175040 140132703264288 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
Current children cumulated CPU time: 73.32 s
Current children cumulated vsize: 28873592 KiB
Current children cumulated memory: 4225976 KiB
[startup+16.2014 s]
/proc/loadavg: 5.01 5.63 5.05 9/211 13207
/proc/meminfo: memFree=23368104/32770624 swapFree=67108496/67108860
[pid=13172] ppid=13169 vsize=27853732 memory=3712468 CPUtime=74.65 cores=0-7
/proc/13172/stat : 13172 (java) S 13169 13172 10558 0 -1 1077944320 39474 195841 0 0 2271 67 5064 63 20 0 22 0 83996654 28522221568 928117 33554432000 4194304 4196468 140722629175040 140722629157584 140136316026615 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
/proc/13172/statm: 6963433 928117 3236 1 0 6924289 0
[pid=13172/tid=13174] ppid=13169 vsize=27853732 memory=7594031471003721838 CPUtime=59.8 cores=0-7
/proc/13172/task/13174/stat : 13174 (java) R 13169 13172 10558 0 -1 4202560 19453 195841 0 0 794 59 5064 63 20 0 22 0 83996655 28522221568 928117 33554432000 4194304 4196468 140722629175040 140136287859664 140136316038550 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13175] ppid=13169 vsize=27853732 memory=3834880406246484582 CPUtime=51.27 cores=0-7
/proc/13172/task/13175/stat : 13175 (java) S 13169 13172 10558 0 -1 1077944384 2 195841 0 0 0 0 5064 63 20 0 22 0 83996657 28522221568 928117 33554432000 4194304 4196468 140722629175040 140136320268944 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13176] ppid=13169 vsize=27853732 memory=288230574492221466 CPUtime=51.27 cores=0-7
/proc/13172/task/13176/stat : 13176 (java) S 13169 13172 10558 0 -1 1077944384 1 195841 0 0 0 0 5064 63 20 0 22 0 83996657 28522221568 928117 33554432000 4194304 4196468 140722629175040 140136134425104 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13177] ppid=13169 vsize=27853732 memory=288230583166042426 CPUtime=51.27 cores=0-7
/proc/13172/task/13177/stat : 13177 (java) S 13169 13172 10558 0 -1 1077944384 3 195841 0 0 0 0 5064 63 20 0 22 0 83996657 28522221568 928117 33554432000 4194304 4196468 140722629175040 140136133372304 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13178] ppid=13169 vsize=27853732 memory=14694093276061419 CPUtime=51.27 cores=0-7
/proc/13172/task/13178/stat : 13178 (java) S 13169 13172 10558 0 -1 1077944384 2 195841 0 0 0 0 5064 63 20 0 22 0 83996657 28522221568 928117 33554432000 4194304 4196468 140722629175040 140136132319504 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13179] ppid=13169 vsize=27853732 memory=1796 CPUtime=51.27 cores=0-7
/proc/13172/task/13179/stat : 13179 (java) S 13169 13172 10558 0 -1 1077944384 2 195841 0 0 0 0 5064 63 20 0 22 0 83996657 28522221568 928117 33554432000 4194304 4196468 140722629175040 140136131267728 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13180] ppid=13169 vsize=27853732 memory=912 CPUtime=51.27 cores=0-7
/proc/13172/task/13180/stat : 13180 (java) S 13169 13172 10558 0 -1 1077944384 1 195841 0 0 0 0 5064 63 20 0 22 0 83996657 28522221568 928117 33554432000 4194304 4196468 140722629175040 140136130214928 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13182] ppid=13169 vsize=27853732 memory=4744 CPUtime=51.27 cores=0-7
/proc/13172/task/13182/stat : 13182 (java) S 13169 13172 10558 0 -1 1077944384 2 195841 0 0 0 0 5064 63 20 0 22 0 83996657 28522221568 928117 33554432000 4194304 4196468 140722629175040 140136129162128 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13183] ppid=13169 vsize=27853732 memory=4100 CPUtime=51.27 cores=0-7
/proc/13172/task/13183/stat : 13183 (java) S 13169 13172 10558 0 -1 1077944384 2 195841 0 0 0 0 5064 63 20 0 22 0 83996657 28522221568 928117 33554432000 4194304 4196468 140722629175040 140136128109328 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13184] ppid=13169 vsize=27853732 memory=1412 CPUtime=51.27 cores=0-7
/proc/13172/task/13184/stat : 13184 (java) S 13169 13172 10558 0 -1 1077944384 23 195841 0 0 0 0 5064 63 20 0 22 0 83996659 28522221568 928117 33554432000 4194304 4196468 140722629175040 140134635739504 140136316037762 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13185] ppid=13169 vsize=27853732 memory=0 CPUtime=51.27 cores=0-7
/proc/13172/task/13185/stat : 13185 (java) S 13169 13172 10558 0 -1 1077944384 13 195841 0 0 0 0 5064 63 20 0 22 0 83996659 28522221568 928117 33554432000 4194304 4196468 140722629175040 140134112551968 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13186] ppid=13169 vsize=27853732 memory=0 CPUtime=51.27 cores=0-7
/proc/13172/task/13186/stat : 13186 (java) S 13169 13172 10558 0 -1 1077944384 22 195841 0 0 0 0 5064 63 20 0 22 0 83996659 28522221568 928117 33554432000 4194304 4196468 140722629175040 140133978329968 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13187] ppid=13169 vsize=27853732 memory=0 CPUtime=51.27 cores=0-7
/proc/13172/task/13187/stat : 13187 (java) S 13169 13172 10558 0 -1 1077944384 1 195841 0 0 0 0 5064 63 20 0 22 0 83996662 28522221568 928117 33554432000 4194304 4196468 140722629175040 140133603825488 140136316045211 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13188] ppid=13169 vsize=27853732 memory=7305930523318420087 CPUtime=55.47 cores=0-7
/proc/13172/task/13188/stat : 13188 (java) R 13169 13172 10558 0 -1 1077944384 3741 195841 0 0 419 1 5064 63 20 0 22 0 83996662 28522221568 928117 33554432000 4194304 4196468 140722629175040 140134634687344 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13189] ppid=13169 vsize=27853732 memory=-7003737579269690708 CPUtime=55.78 cores=0-7
/proc/13172/task/13189/stat : 13189 (java) R 13169 13172 10558 0 -1 4202560 5166 195841 0 0 449 2 5064 63 20 0 22 0 83996662 28522221568 928117 33554432000 4194304 4196468 140722629175040 140134633625872 140136295246289 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13190] ppid=13169 vsize=27853732 memory=8039887049847964329 CPUtime=55.64 cores=0-7
/proc/13172/task/13190/stat : 13190 (java) R 13169 13172 10558 0 -1 4202560 5243 195841 0 0 436 1 5064 63 20 0 22 0 83996662 28522221568 928117 33554432000 4194304 4196468 140722629175040 140134632570224 140136300418602 0 4 0 25189583 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13191] ppid=13169 vsize=27853732 memory=140363531990655 CPUtime=52.94 cores=0-7
/proc/13172/task/13191/stat : 13191 (java) R 13169 13172 10558 0 -1 4202560 4401 195841 0 0 165 2 5064 63 20 0 22 0 83996662 28522221568 928117 33554432000 4194304 4196468 140722629175040 140134631528832 140136294945168 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13192] ppid=13169 vsize=27853732 memory=-6954355539063640268 CPUtime=51.27 cores=0-7
/proc/13172/task/13192/stat : 13192 (java) S 13169 13172 10558 0 -1 1077944384 3 195841 0 0 0 0 5064 63 20 0 22 0 83996662 28522221568 928117 33554432000 4194304 4196468 140722629175040 140133105920608 140136316036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13193] ppid=13169 vsize=27853732 memory=-6585520228360690126 CPUtime=51.27 cores=0-7
/proc/13172/task/13193/stat : 13193 (java) S 13169 13172 10558 0 -1 1077944384 3 195841 0 0 0 0 5064 63 20 0 22 0 83996663 28522221568 928117 33554432000 4194304 4196468 140722629175040 140134630476336 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13195] ppid=13169 vsize=27853732 memory=3473155141890685184 CPUtime=51.27 cores=0-7
/proc/13172/task/13195/stat : 13195 (java) S 13169 13172 10558 0 -1 1077944384 25 195841 0 0 0 0 5064 63 20 0 22 0 83997523 28522221568 928117 33554432000 4194304 4196468 140722629175040 140136126398736 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
[pid=13172/tid=13199] ppid=13169 vsize=27853732 memory=0 CPUtime=51.27 cores=0-7
/proc/13172/task/13199/stat : 13199 (java) S 13169 13172 10558 0 -1 1077944384 34 195841 0 0 0 0 5064 63 20 0 22 0 83997525 28522221568 928117 33554432000 4194304 4196468 140722629175040 140132703266096 140136316037762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22732800 140722629182426 140722629182725 140722629182725 140722629185487 0
Current children cumulated CPU time: 74.65 s
Current children cumulated vsize: 27853732 KiB
Current children cumulated memory: 3712468 KiB
Child status: 0
Real time (s): 16.2804
CPU time (s): 74.8382
CPU user time (s): 73.4793
CPU system time (s): 1.35892
CPU usage (%): 459.683
Max. virtual memory (cumulated for all children) (KiB): 29022984
Max. memory (cumulated for all children) (KiB): 4232192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.4793
system time used= 1.35892
maximum resident set size= 3719888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235430
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30327
involuntary context switches= 539
# summary of solver processes directly reported to runsolver:
# pid: 13172
# total CPU time (s): 74.8382
# total CPU user time (s): 73.4793
# total CPU system time (s): 1.35892
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.148734 second user time and 0.236344 second system time
The end
Begin job on node149 at 2018-07-27 06:05:35 IDJOB=4297131 IDBENCH=141457 IDSOLVER=2759 FILE ID=node149/4297131-1532664335 RUNJOBID= node149-1532653106-10585 PBS_JOBID= 21022211 Free space on /tmp= 43260 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/CarSequencing/CarSequencing-04-72_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297131-1532664335/watcher-4297131-1532664335 -o /tmp/evaluation-result-4297131-1532664335/solver-4297131-1532664335 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532653106-10585 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297131-1532664335.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 606ad4221d4941292d84c5bdd64a5487 RANDOM SEED=763668065 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27606196 kB MemAvailable: 31926292 kB Buffers: 78608 kB Cached: 4460480 kB SwapCached: 60 kB Active: 1477612 kB Inactive: 3116260 kB Active(anon): 2252 kB Inactive(anon): 80292 kB Active(file): 1475360 kB Inactive(file): 3035968 kB Unevictable: 7736 kB Mlocked: 7736 kB SwapTotal: 67108860 kB SwapFree: 67108496 kB Dirty: 8440 kB Writeback: 0 kB AnonPages: 61168 kB Mapped: 33120 kB Shmem: 25040 kB Slab: 265176 kB SReclaimable: 237228 kB SUnreclaim: 27948 kB KernelStack: 3248 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325596 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 43248 MiB End job on node149 at 2018-07-27 06:05:51