Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-31) | SAT | 50.3781 | 25.6542 |
Name | CarSequencing/ CarSequencing-65-01_c18.xml |
MD5SUM | 48ac70ebdae407305a9c210468be8830 |
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 | 7.98893 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1389 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":26,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 61 |
Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":19},{"degree":23,"count":19},{"degree":24,"count":20},{"degree":25,"count":20},{"degree":26,"count":115},"...",{"degree":37,"count":8}, {"degree":38,"count":8}, {"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":8}, {"degree":44,"count":8}, {"degree":45,"count":8}, {"degree":46,"count":8}, {"degree":47,"count":8}, {"degree":48,"count":8}, {"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":9}, {"degree":52,"count":109}, {"degree":53,"count":6}, {"degree":54,"count":6}, {"degree":55,"count":7}, {"degree":56,"count":7}, {"degree":57,"count":45}, {"degree":58,"count":3}, {"degree":59,"count":4}, {"degree":60,"count":4}, {"degree":61,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 200 |
Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":32,"count":1},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":2},{"arity":47,"count":2},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":62,"count":2},{"arity":65,"count":2},{"arity":68,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":77,"count":2},{"arity":80,"count":2},{"arity":83,"count":2},{"arity":86,"count":2},{"arity":89,"count":2},{"arity":92,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1188},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-15724-serial-file.bin HOME/instance-4307083-1534195932.xml 0.65/0.53 0.65/0.53 scop order+glucose-syrup (2018-07-31) 0.65/0.53 (Encoding Process) 0.65/0.53 0.65/0.55 c BEGIN-Prog: Mon Aug 13 23:32:12 CEST 2018 0.65/0.55 c PID: 15727 0.65/0.55 c IP: 172.20.3.138 0.65/0.56 c HOST: node138.alineos.net 0.65/0.56 c (0,0) Parsing Begin 2.99/1.38 c (0,0) Parsing End 2.99/1.39 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1389 ctr, max domain size 26 2.99/1.39 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.99/1.39 c (0,0) Constraint Name Generate Begin 3.33/1.42 c (0,0) Ctr:HOME/instance-4307083-1534195932.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum 3.33/1.42 c (0,0) Constraint Name Generate End 3.33/1.42 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.33/1.42 c (0,0) CSP to CSPinCNF Begin 12.28/4.52 c (3,3) translated 139 (10%) constraints 12.81/5.02 c (4,4) translated 278 (20%) constraints 12.81/5.04 c (4,4) translated 417 (30%) constraints 12.81/5.07 c (4,4) translated 556 (40%) constraints 12.81/5.09 c (4,4) translated 695 (50%) constraints 13.25/5.12 c (4,4) translated 834 (60%) constraints 13.25/5.13 c (4,4) translated 973 (70%) constraints 13.25/5.15 c (4,4) translated 1112 (80%) constraints 14.69/6.10 c (5,5) translated 1251 (90%) constraints 16.09/7.48 c (6,6) translated 1389 (100%) constraints 17.50/8.03 c (7,7) STATISTICS1:HOME/instance-4307083-1534195932.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57014,9223372036854775807,26,25,200,9223372036854775807:235;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:2;8796093022208:2;1099511627776:1;137438953472:1;17179869184:1;2147483648:1;16:392;4:396;2:199,26:20400;2:155567,25:200;3:29600;2:26000;1:1214,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;101:2;100:1;98:2;95:3;92:2;89:2;86:2;83:2;80:2;77:2;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:2;44:2;41:1;38:1;35:1;32:1;5:392;3:396;2:199;1:145600;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4489:2;4356:1;4225:2;3969:3;3721:2;3481:2;3249:2;3025:2;2809:2;2601:2;2401:2;2209:2;2025:2;1849:2 17.50/8.03 c (7,7) ========================================== 17.50/8.03 c (7,7) Order 17.50/8.03 c (7,7) ========================================== 20.07/8.81 c (8,8) translated 5702 (10%) constraints 20.89/9.05 c (8,8) translated 11403 (20%) constraints 21.28/9.16 c (8,8) translated 17105 (30%) constraints 21.50/9.25 c (8,8) translated 22806 (40%) constraints 21.67/9.34 c (8,8) translated 28507 (50%) constraints 21.76/9.43 c (8,8) translated 34209 (60%) constraints 21.87/9.51 c (8,8) translated 39910 (70%) constraints 21.96/9.60 c (9,9) translated 45612 (80%) constraints 21.96/9.69 c (9,9) translated 51313 (90%) constraints 27.14/11.69 c (11,11) translated 57014 (100%) constraints 27.34/11.70 c (11,11) CSP to CSPinCNF End 27.34/11.71 c (11,11) CSP: 3718 int (3518 aux), 21690 bool (20690 aux), 76878 ctr, max domain size 68 27.34/11.71 c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 27.34/11.71 c (11,11) CSPinCNF Propagation Begin 28.86/12.22 c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed 28.86/12.22 c (11,11) CSPinCNF Propagation End 28.86/12.23 c (11,11) CSP: 3718 int (3518 aux), 21690 bool (20690 aux), 76478 ctr, max domain size 68 28.86/12.23 c (11,11) Heap : 5519 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 28.86/12.23 c (11,11) Simplify CSPinCNF Begin 29.32/12.41 c (11,11) Simplify CSPinCNF End 29.32/12.41 c (11,11) CSP: 3718 int (3518 aux), 21690 bool (20690 aux), 76478 ctr, max domain size 68 29.32/12.41 c (11,11) Heap : 5519 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 29.32/12.41 c (11,11) Calculate Precise Domain Begin 29.32/12.46 c (11,11) 0 values are removed by re-calculation 29.32/12.46 c (11,11) Calculate Precise Domain End 29.32/12.47 c (11,11) CSP: 3718 int (3518 aux), 21690 bool (20690 aux), 76478 ctr, max domain size 68 29.32/12.47 c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 29.32/12.47 c (11,11) CSPinCNF to SatSolver Begin 33.40/14.69 c (14,14) 7648 (10 %) CSP clauses are encoded (89107 SAT variables, 582242 SAT clauses) 33.68/14.75 c (14,14) 15296 (20 %) CSP clauses are encoded (89107 SAT variables, 589890 SAT clauses) 33.89/14.82 c (14,14) 22944 (30 %) CSP clauses are encoded (89107 SAT variables, 597538 SAT clauses) 33.89/14.87 c (14,14) 30592 (40 %) CSP clauses are encoded (89107 SAT variables, 605186 SAT clauses) 34.11/14.91 c (14,14) 38239 (50 %) CSP clauses are encoded (89107 SAT variables, 612833 SAT clauses) 34.11/14.95 c (14,14) 45887 (60 %) CSP clauses are encoded (89107 SAT variables, 620481 SAT clauses) 34.11/14.98 c (14,14) 53535 (70 %) CSP clauses are encoded (89107 SAT variables, 628129 SAT clauses) 34.22/15.02 c (14,14) 61183 (80 %) CSP clauses are encoded (89107 SAT variables, 635777 SAT clauses) 34.22/15.07 c (14,14) 68831 (90 %) CSP clauses are encoded (89107 SAT variables, 645585 SAT clauses) 38.77/19.09 c (18,18) 76478 (100 %) CSP clauses are encoded (89107 SAT variables, 2254562 SAT clauses) 39.51/19.35 c (18,18) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 39.51/19.35 c (18,18) CSPinCNF to SatSolver End 39.51/19.35 c (18,18) Heap : 432 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 39.83/19.43 c (18,18) STATISTICS2:HOME/instance-4307083-1534195932.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25408,76478,4556,68,24,11,4556:7;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:3;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:3;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:3;1892:3;1849:1;1806:4;1764:1;1722:3;1681:3;1640:2;1600:1;1560:3;1521:3;1482:2;1444:1;1406:5;1369:1;1332:2;1296:3;1260:3;1190:16;1156:16;1122:18;1089:13;1056:17;1024:268;992:14;961:25;930:14;900:15;870:16;841:13;812:18;784:13;756:16;729:15;702:14;676:17;650:14;625:15;600:16;576:13;552:18;529:13;512:720;506:16;484:15;462:14;441:17;420:14;400:15;380:16;361:13;342:18;324:26;306:78;289:64;288:4;272:73;256:1795;252:4;240:64;238:8;225:62;210:63;198:8;196:70;187:16;182:65;169:62;162:4;156:63;153:8;144:62;132:63;128:1016;126:4;121:80;119:8;110:62;108:4;102:8;100:62;96:251;90:542;85:16;81:473;72:271;68:24;64:1011;56:253;54:8;51:16;49:261;36:48;34:80;25:267;16:918;9:16;4:476;2:199,68:28;67:30;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:26;54:28;53:30;52:24;51:34;50:24;49:30;48:28;47:26;46:32;45:26;44:28;43:30;42:24;41:34;40:24;39:30;38:28;37:26;36:32;35:44;34:136;33:128;32:126;31:164;30:124;29:124;28:124;27:124;26:30128;25:124;24:124;23:124;22:124;21:128;20:124;19:124;18:1068;17:930;16:554;15:504;14:542;13:506;12:1004;11:578;10:1440;9:3482;8:2032;7:1554;6:36;5:1076;4:108;3:72;2:176327,24:200;3:29200;2:36400;1:10678,11:253;10:720;9:1723;8:1016;7:759;5:1145;3:4863;2:199;1:165200, 39.83/19.43 c (18,18) 89107 bool, 2255650 clause 39.83/19.43 c (18,18) Export Begin 39.99/19.58 c (19,18) Export to HOME/scop-15724-serial-file.bin 39.99/19.58 c (19,18) Export End 39.99/19.59 c (19,18) Export File Size: 0.24 MB 39.99/19.59 c (19,18) 0,0,11,11,11,11,18,STOP-AFTER(DIMACS) 39.99/19.59 c END-Prog: Mon Aug 13 23:32:31 CEST 2018 40.26/19.64 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-15724-serial-file.bin 40.90/20.13 c (0,0) Read Serial File Begin 40.90/20.13 c (0,0) HOME/scop-15724-serial-file.bin 41.24/20.38 c (0,0) Read Serial File End 41.24/20.38 41.24/20.38 scop order+glucose-syrup (2018-07-31) 41.24/20.39 (Solving Process) 41.24/20.39 41.53/20.41 c BEGIN-Prog: Mon Aug 13 23:32:32 CEST 2018 41.53/20.41 c PID: 15747 41.53/20.41 c IP: 172.20.3.138 41.53/20.41 c HOST: node138.alineos.net 41.53/20.42 c (0,0) SatSolver.solve Begin 41.53/20.42 c (0,0) 0 bool, 0 clause 41.53/20.42 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307083-1534195932.xml-scop-15727.cnf 49.70/25.41 c (5,0) c 49.70/25.41 c (5,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 49.70/25.41 c (5,0) c 49.70/25.41 c (5,0) c WARNING: for repeatability, setting FPU to use double precision 49.70/25.41 c (5,0) c 8 solvers engines and 1 companion as a blackboard created. 49.70/25.41 c (5,0) c ========================================[ Problem Statistics ]=========================================== 49.70/25.41 c (5,0) c | | 49.70/25.41 c (5,0) c | Number of variables: 89107 | 49.70/25.41 c (5,0) c | Number of clauses: 2255362 | 49.70/25.41 c (5,0) c | Parse time: 0.76 s | 49.70/25.41 c (5,0) c | | 49.70/25.41 c (5,0) c | Eliminated clauses: 0.38 Mb | 49.70/25.41 c (5,0) c | Simplification time: 3.16 s | 49.70/25.41 c (5,0) c | | 49.70/25.41 c (5,0) c | Generating clones | 49.70/25.41 c (5,0) c | all clones generated. Memory = 851.74Mb. | 49.70/25.41 c (5,0) c ========================================================================================================| 49.70/25.41 c (5,0) c last restart ## conflicts : 21 2770 49.70/25.41 c (5,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer). 49.70/25.41 c (5,0) c Total Memory so far : 1445.81Mb 49.70/25.41 c (5,0) c last restart ## conflicts : 21 2770 49.70/25.41 c (5,0) c 49.70/25.41 c (5,0) c real time : 4.9664 s 49.70/25.41 c (5,0) c cpu time : 7.50708 s 49.70/25.41 c (5,0) c 49.70/25.41 c (5,0) c 49.70/25.41 c (5,0) c 49.70/25.41 c (5,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 49.70/25.41 c (5,0) c 49.70/25.41 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 49.70/25.41 c (5,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 49.70/25.41 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 49.70/25.41 c (5,0) c | Conflicts | 5362 | 977 | 651 | 661 | 576 | 577 | 659 | 576 | 685 | 49.70/25.41 c (5,0) c | Decisions | 67234 | 9547 | 8403 | 6044 | 10972 | 6487 | 8521 | 10972 | 6288 | 49.70/25.41 c (5,0) c | Propagations | 6788993 | 917396 | 905787 | 711581 | 896089 | 786931 | 925798 | 896089 | 749322 | 49.70/25.41 c (5,0) c | Avg_Trail | | 22354 | 21893 | 16832 | 20331 | 21220 | 22119 | 20331 | 16973 | 49.70/25.41 c (5,0) c | Avg_DL | | 532 | 194 | 137 | 189 | 163 | 197 | 189 | 136 | 49.70/25.41 c (5,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 49.70/25.41 c (5,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 49.70/25.41 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 49.70/25.41 c (5,0) c | Exported | 107 | 18 | 15 | 9 | 15 | 11 | 15 | 15 | 9 | 49.70/25.41 c (5,0) c | Imported | 585 | 31 | 85 | 89 | 83 | 32 | 84 | 83 | 98 | 49.70/25.41 c (5,0) c | Good | 339 | 16 | 52 | 53 | 45 | 15 | 51 | 45 | 62 | 49.70/25.41 c (5,0) c | Purge | 246 | 15 | 33 | 36 | 38 | 17 | 33 | 38 | 36 | 49.70/25.41 c (5,0) c | Promoted | 4 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 2 | 49.70/25.41 c (5,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 49.70/25.41 c (5,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 49.70/25.41 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 49.70/25.41 c (5,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 49.70/25.41 c (5,0) c | Binaries | | 7 | 8 | 5 | 13 | 8 | 8 | 13 | 5 | 49.70/25.41 c (5,0) c | Glues | | 18 | 15 | 9 | 15 | 11 | 15 | 15 | 9 | 49.70/25.41 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 49.70/25.41 c (5,0) c | Orig_Seen | 0 % | 4366 | 4610 | 3882 | 4871 | 4088 | 4745 | 4871 | 3926 | 49.70/25.41 c (5,0) c | Diff Orig seen| | - 505 | - 261 | - 989 | - 0 | - 783 | - 126 | X | - 945 | 49.70/25.41 c (5,0) c | Hamming | 6 % | 11398 | 4893 | 5069 | 0 | 8050 | 4920 | X | 5200 | 49.70/25.41 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 49.70/25.41 c (5,0) 49.70/25.41 c (5,0) s SATISFIABLE 49.70/25.50 c (5,0) SatSolver.solve End 50.00/25.50 c (5,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 50.00/25.50 c (5,0) Show results Begin 50.00/25.59 s SATISFIABLE 50.21/25.63 v <instantiation> 50.21/25.63 v <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4]</list> 50.21/25.63 v <values>9 11 18 25 6 2 2 1 2 20 19 2 14 18 2 9 19 17 2 9 19 2 12 2 11 6 2 22 6 3 2 19 2 2 6 2 3 18 23 8 2 3 0 2 2 6 2 4 20 2 19 2 10 3 2 6 2 2 6 5 2 19 2 7 8 2 2 6 2 8 7 25 18 19 2 2 6 5 2 6 2 11 6 13 2 18 2 7 8 2 2 6 2 2 6 3 8 2 18 2 6 3 8 15 2 5 6 5 18 19 2 6 8 5 2 6 1 2 11 6 2 16 2 19 9 18 3 6 2 5 6 3 18 19 2 5 6 2 8 15 2 2 6 5 8 2 18 2 1 2 6 1 2 9 19 18 15 2 19 25 6 11 2 12 2 2 0 2 18 11 2 19 6 2 2 0 2 5 6 2 19 24 2 19 6 5 2 6 2 2 6 2 8 2 18 25 6 2 2 21 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 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 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0</values> 50.21/25.63 v </instantiation> 50.21/25.63 c (5,0) Show results End 50.21/25.63 c (5,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 50.21/25.63 c (5,0) 5,5,STOP-AFTER(ALL) 50.21/25.63 c END-Prog: Mon Aug 13 23:32:37 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 (13597 MiB free) memory of node 1: 16384 MiB (10398 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307083-1534195932/watcher-4307083-1534195932 -o /tmp/evaluation-result-4307083-1534195932/solver-4307083-1534195932 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534190647-15089 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307083-1534195932.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=15724, runsolver pid=15721 [startup+0.100132 s]* /proc/loadavg: 6.96 7.81 7.01 2/200 15746 /proc/meminfo: memFree=24476452/32770624 swapFree=67108796/67108860 [pid=15724] ppid=15721 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/15724/stat : 15724 (scop.sh) S 15721 15724 15062 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 237156342 115843072 349 33554432000 4194304 5098028 140729989173344 140729989170600 140326011748988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24252416 140729989178402 140729989178627 140729989178627 140729989181389 0 /proc/15724/statm: 28282 349 296 221 0 87 0 [pid=15727] ppid=15724 vsize=27313900 memory=108516 CPUtime=0.1 cores=0-7 /proc/15727/stat : 15727 (java) S 15724 15724 15062 0 -1 1077944320 6044 0 0 0 8 2 0 0 20 0 20 0 237156343 27969433600 27129 33554432000 4194304 4196468 140736103344768 140736103327312 140313990741751 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 /proc/15727/statm: 6828475 27129 2747 1 0 6790935 0 [pid=15727/tid=15728] ppid=15724 vsize=27313900 memory=8185743605838553241 CPUtime=0.09 cores=0-7 /proc/15727/task/15728/stat : 15728 (java) R 15724 15724 15062 0 -1 4202560 4181 0 0 0 7 2 0 0 20 0 20 0 237156343 27969433600 27129 33554432000 4194304 4196468 140736103344768 140313962568080 140313974822268 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15729] ppid=15724 vsize=27313900 memory=732370426704813029 CPUtime=0 cores=0-7 /proc/15727/task/15729/stat : 15729 (java) S 15724 15724 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 27129 33554432000 4194304 4196468 140736103344768 140313994983696 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15730] ppid=15724 vsize=27313900 memory=140288367359616 CPUtime=0 cores=0-7 /proc/15727/task/15730/stat : 15730 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 27129 33554432000 4194304 4196468 140736103344768 140313413454224 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15731] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15731/stat : 15731 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 27129 33554432000 4194304 4196468 140736103344768 140313412401680 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15732] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15732/stat : 15732 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 27129 33554432000 4194304 4196468 140736103344768 140313411349136 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15733] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15733/stat : 15733 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 27129 33554432000 4194304 4196468 140736103344768 140313410296592 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15734] ppid=15724 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/15727/task/15734/stat : 15734 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 27129 33554432000 4194304 4196468 140736103344768 140313409244048 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15735] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15735/stat : 15735 (java) S 15724 15724 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 27129 33554432000 4194304 4196468 140736103344768 140313408191504 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15736] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15736/stat : 15736 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 27129 33554432000 4194304 4196468 140736103344768 140313407138960 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15737] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15737/stat : 15737 (java) S 15724 15724 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237156347 27969433600 27129 33554432000 4194304 4196468 140736103344768 140313363834864 140313990752898 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15738] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15738/stat : 15738 (java) S 15724 15724 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237156347 27969433600 27129 33554432000 4194304 4196468 140736103344768 140311951041440 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15739] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15739/stat : 15739 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156348 27969433600 27129 33554432000 4194304 4196468 140736103344768 140311682606064 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15740] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15740/stat : 15740 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 27129 33554432000 4194304 4196468 140736103344768 140311308097744 140313990760347 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15741] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15741/stat : 15741 (java) S 15724 15724 15062 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 27129 33554432000 4194304 4196468 140736103344768 140313362782704 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15742] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15742/stat : 15742 (java) S 15724 15724 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 27129 33554432000 4194304 4196468 140736103344768 140313361730160 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15743] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15743/stat : 15743 (java) S 15724 15724 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 27129 33554432000 4194304 4196468 140736103344768 140312106232560 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15744] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15744/stat : 15744 (java) S 15724 15724 15062 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 27129 33554432000 4194304 4196468 140736103344768 140312105180016 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15745] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15745/stat : 15745 (java) S 15724 15724 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 27129 33554432000 4194304 4196468 140736103344768 140310810192096 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15746] ppid=15724 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/15727/task/15746/stat : 15746 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 27129 33554432000 4194304 4196468 140736103344768 140312104126896 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 109912 KiB [startup+0.210273 s]* /proc/loadavg: 6.96 7.81 7.01 2/200 15746 /proc/meminfo: memFree=24460204/32770624 swapFree=67108796/67108860 [pid=15724] ppid=15721 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/15724/stat : 15724 (scop.sh) S 15721 15724 15062 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 237156342 115843072 349 33554432000 4194304 5098028 140729989173344 140729989170600 140326011748988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24252416 140729989178402 140729989178627 140729989178627 140729989181389 0 /proc/15724/statm: 28282 349 296 221 0 87 0 [pid=15727] ppid=15724 vsize=27313900 memory=123404 CPUtime=0.24 cores=0-7 /proc/15727/stat : 15727 (java) S 15724 15724 15062 0 -1 1077944320 9930 0 0 0 21 3 0 0 20 0 20 0 237156343 27969433600 30851 33554432000 4194304 4196468 140736103344768 140736103327312 140313990741751 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 /proc/15727/statm: 6828475 30851 2934 1 0 6790935 0 [pid=15727/tid=15728] ppid=15724 vsize=27313900 memory=0 CPUtime=0.2 cores=0-7 /proc/15727/task/15728/stat : 15728 (java) R 15724 15724 15062 0 -1 4202560 7852 0 0 0 17 3 0 0 20 0 20 0 237156343 27969433600 30851 33554432000 4194304 4196468 140736103344768 140313962554624 140313974822238 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15729] ppid=15724 vsize=27313900 memory=280576628979448 CPUtime=0 cores=0-7 /proc/15727/task/15729/stat : 15729 (java) S 15724 15724 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 30851 33554432000 4194304 4196468 140736103344768 140313994983696 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15730] ppid=15724 vsize=27313900 memory=140288367359616 CPUtime=0 cores=0-7 /proc/15727/task/15730/stat : 15730 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 30851 33554432000 4194304 4196468 140736103344768 140313413454224 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15731] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15731/stat : 15731 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 30851 33554432000 4194304 4196468 140736103344768 140313412401680 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15732] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15732/stat : 15732 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 30851 33554432000 4194304 4196468 140736103344768 140313411349136 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15733] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15733/stat : 15733 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 30851 33554432000 4194304 4196468 140736103344768 140313410296592 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15734] ppid=15724 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/15727/task/15734/stat : 15734 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 30851 33554432000 4194304 4196468 140736103344768 140313409244048 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15735] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15735/stat : 15735 (java) S 15724 15724 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 30851 33554432000 4194304 4196468 140736103344768 140313408191504 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15736] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15736/stat : 15736 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 30851 33554432000 4194304 4196468 140736103344768 140313407138960 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15737] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15737/stat : 15737 (java) S 15724 15724 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237156347 27969433600 30851 33554432000 4194304 4196468 140736103344768 140313363834864 140313990752898 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15738] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15738/stat : 15738 (java) S 15724 15724 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237156347 27969433600 30851 33554432000 4194304 4196468 140736103344768 140311951041440 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15739] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15739/stat : 15739 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156348 27969433600 30851 33554432000 4194304 4196468 140736103344768 140311682606064 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15740] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15740/stat : 15740 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 30851 33554432000 4194304 4196468 140736103344768 140311308097744 140313990760347 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15741] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15741/stat : 15741 (java) S 15724 15724 15062 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 30851 33554432000 4194304 4196468 140736103344768 140313362782704 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15742] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15742/stat : 15742 (java) S 15724 15724 15062 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 30851 33554432000 4194304 4196468 140736103344768 140313361730160 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15743] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15743/stat : 15743 (java) S 15724 15724 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 30851 33554432000 4194304 4196468 140736103344768 140312106232560 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15744] ppid=15724 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7 /proc/15727/task/15744/stat : 15744 (java) S 15724 15724 15062 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 20 0 237156350 27969433600 30851 33554432000 4194304 4196468 140736103344768 140312105180016 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15745] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15745/stat : 15745 (java) S 15724 15724 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 30851 33554432000 4194304 4196468 140736103344768 140310810192096 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15746] ppid=15724 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/15727/task/15746/stat : 15746 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 30851 33554432000 4194304 4196468 140736103344768 140312104126896 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 124800 KiB [startup+0.31031 s]* /proc/loadavg: 6.96 7.81 7.01 2/200 15746 /proc/meminfo: memFree=24457372/32770624 swapFree=67108796/67108860 [pid=15724] ppid=15721 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/15724/stat : 15724 (scop.sh) S 15721 15724 15062 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 237156342 115843072 349 33554432000 4194304 5098028 140729989173344 140729989170600 140326011748988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24252416 140729989178402 140729989178627 140729989178627 140729989181389 0 /proc/15724/statm: 28282 349 296 221 0 87 0 [pid=15727] ppid=15724 vsize=27313900 memory=127356 CPUtime=0.42 cores=0-7 /proc/15727/stat : 15727 (java) S 15724 15724 15062 0 -1 1077944320 10608 0 0 0 38 4 0 0 20 0 20 0 237156343 27969433600 31839 33554432000 4194304 4196468 140736103344768 140736103327312 140313990741751 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 /proc/15727/statm: 6828475 31839 2976 1 0 6790935 0 [pid=15727/tid=15728] ppid=15724 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15727/task/15728/stat : 15728 (java) R 15724 15724 15062 0 -1 4202560 8306 0 0 0 26 3 0 0 20 0 20 0 237156343 27969433600 31839 33554432000 4194304 4196468 140736103344768 140313962537200 140313990763677 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15729] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15729/stat : 15729 (java) S 15724 15724 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 31839 33554432000 4194304 4196468 140736103344768 140313994983696 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15730] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15730/stat : 15730 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 31839 33554432000 4194304 4196468 140736103344768 140313413454224 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15731] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15731/stat : 15731 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 31839 33554432000 4194304 4196468 140736103344768 140313412401680 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15732] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15732/stat : 15732 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 31839 33554432000 4194304 4196468 140736103344768 140313411349136 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15733] ppid=15724 vsize=27313900 memory=2244 CPUtime=0 cores=0-7 /proc/15727/task/15733/stat : 15733 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 31839 33554432000 4194304 4196468 140736103344768 140313410296592 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15734] ppid=15724 vsize=27313900 memory=140288261714863 CPUtime=0 cores=0-7 /proc/15727/task/15734/stat : 15734 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 31839 33554432000 4194304 4196468 140736103344768 140313409244048 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15735] ppid=15724 vsize=27313900 memory=140288261717168 CPUtime=0 cores=0-7 /proc/15727/task/15735/stat : 15735 (java) S 15724 15724 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 31839 33554432000 4194304 4196468 140736103344768 140313408191504 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15736] ppid=15724 vsize=27313900 memory=140288261719472 CPUtime=0 cores=0-7 /proc/15727/task/15736/stat : 15736 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27969433600 31839 33554432000 4194304 4196468 140736103344768 140313407138960 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15737] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15737/stat : 15737 (java) S 15724 15724 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237156347 27969433600 31839 33554432000 4194304 4196468 140736103344768 140313363834864 140313990752898 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15738] ppid=15724 vsize=27313900 memory=280576523445904 CPUtime=0 cores=0-7 /proc/15727/task/15738/stat : 15738 (java) S 15724 15724 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237156347 27969433600 31839 33554432000 4194304 4196468 140736103344768 140311951041440 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15739] ppid=15724 vsize=27313900 memory=280576523452816 CPUtime=0 cores=0-7 /proc/15727/task/15739/stat : 15739 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156348 27969433600 31839 33554432000 4194304 4196468 140736103344768 140311682606064 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15740] ppid=15724 vsize=27313900 memory=280576523394096 CPUtime=0 cores=0-7 /proc/15727/task/15740/stat : 15740 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 31839 33554432000 4194304 4196468 140736103344768 140311308097744 140313990760347 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15741] ppid=15724 vsize=27313900 memory=280576523466640 CPUtime=0.01 cores=0-7 /proc/15727/task/15741/stat : 15741 (java) S 15724 15724 15062 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 20 0 237156350 27969433600 31839 33554432000 4194304 4196468 140736103344768 140313362782704 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15742] ppid=15724 vsize=27313900 memory=280576523473552 CPUtime=0.01 cores=0-7 /proc/15727/task/15742/stat : 15742 (java) S 15724 15724 15062 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 20 0 237156350 27969433600 31839 33554432000 4194304 4196468 140736103344768 140313361730160 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15743] ppid=15724 vsize=27313900 memory=280576523471248 CPUtime=0.01 cores=0-7 /proc/15727/task/15743/stat : 15743 (java) S 15724 15724 15062 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 237156350 27969433600 31839 33554432000 4194304 4196468 140736103344768 140312106232560 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15744] ppid=15724 vsize=27313900 memory=280576523487408 CPUtime=0.07 cores=0-7 /proc/15727/task/15744/stat : 15744 (java) S 15724 15724 15062 0 -1 1077944384 338 0 0 0 7 0 0 0 20 0 20 0 237156350 27969433600 31839 33554432000 4194304 4196468 140736103344768 140312105180016 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15745] ppid=15724 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15745/stat : 15745 (java) S 15724 15724 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 31839 33554432000 4194304 4196468 140736103344768 140310810192096 140313990751957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15746] ppid=15724 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/15727/task/15746/stat : 15746 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156350 27969433600 31839 33554432000 4194304 4196468 140736103344768 140312104126896 140313990752898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 128752 KiB [startup+0.706216 s] /proc/loadavg: 6.96 7.81 7.01 2/200 15746 /proc/meminfo: memFree=24433188/32770624 swapFree=67108796/67108860 [pid=15724] ppid=15721 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/15724/stat : 15724 (scop.sh) S 15721 15724 15062 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 237156342 115843072 349 33554432000 4194304 5098028 140729989173344 140729989170600 140326011748988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24252416 140729989178402 140729989178627 140729989178627 140729989181389 0 /proc/15724/statm: 28282 349 296 221 0 87 0 [pid=15727] ppid=15724 vsize=27320172 memory=166936 CPUtime=1.04 cores=0-7 /proc/15727/stat : 15727 (java) S 15724 15724 15062 0 -1 1077944320 17716 0 0 0 98 6 0 0 20 0 20 0 237156343 27975856128 41734 33554432000 4194304 4196468 140736103344768 140736103327312 140313990741751 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 /proc/15727/statm: 6830043 41734 3127 1 0 6791447 0 [pid=15727/tid=15728] ppid=15724 vsize=27320172 memory=280576523782272 CPUtime=0.68 cores=0-7 /proc/15727/task/15728/stat : 15728 (java) R 15724 15724 15062 0 -1 4202560 14862 0 0 0 63 5 0 0 20 0 20 0 237156343 27975856128 41734 33554432000 4194304 4196468 140736103344768 140313962577600 140313974822268 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15729] ppid=15724 vsize=27320172 memory=5085241279643 CPUtime=0 cores=0-7 /proc/15727/task/15729/stat : 15729 (java) S 15724 15724 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237156345 27975856128 41734 33554432000 4194304 4196468 140736103344768 140313994983696 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15730] ppid=15724 vsize=27320172 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15730/stat : 15730 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27975856128 41734 33554432000 4194304 4196468 140736103344768 140313413454224 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15731] ppid=15724 vsize=27320172 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15731/stat : 15731 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27975856128 41734 33554432000 4194304 4196468 140736103344768 140313412401680 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 ################ # More data... # ################ [pid=15727/tid=15728] ppid=15724 vsize=27330556 memory=5269160 CPUtime=12.65 cores=0-7 /proc/15727/task/15728/stat : 15728 (java) R 15724 15724 15062 0 -1 4202560 20217 0 0 0 1179 86 0 0 20 0 20 0 237156343 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140313962579336 140313450145854 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15729] ppid=15724 vsize=27330556 memory=280576524003472 CPUtime=0 cores=0-7 /proc/15727/task/15729/stat : 15729 (java) S 15724 15724 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237156345 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140313994983696 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15730] ppid=15724 vsize=27330556 memory=69721948949226 CPUtime=0 cores=0-7 /proc/15727/task/15730/stat : 15730 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140313413454224 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15731] ppid=15724 vsize=27330556 memory=0 CPUtime=0 cores=0-7 /proc/15727/task/15731/stat : 15731 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140313412401680 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15732] ppid=15724 vsize=27330556 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/15727/task/15732/stat : 15732 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140313411349136 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15733] ppid=15724 vsize=27330556 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/15727/task/15733/stat : 15733 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140313410296592 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15734] ppid=15724 vsize=27330556 memory=3632 CPUtime=0 cores=0-7 /proc/15727/task/15734/stat : 15734 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140313409244048 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15735] ppid=15724 vsize=27330556 memory=64120 CPUtime=0 cores=0-7 /proc/15727/task/15735/stat : 15735 (java) S 15724 15724 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237156345 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140313408191504 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15736] ppid=15724 vsize=27330556 memory=2056 CPUtime=0 cores=0-7 /proc/15727/task/15736/stat : 15736 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156345 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140313407138960 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15737] ppid=15724 vsize=27330556 memory=1600 CPUtime=0 cores=0-7 /proc/15727/task/15737/stat : 15737 (java) S 15724 15724 15062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 237156347 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140313363834864 140313990752898 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15738] ppid=15724 vsize=27330556 memory=932 CPUtime=0 cores=0-7 /proc/15727/task/15738/stat : 15738 (java) S 15724 15724 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237156347 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140311951041440 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15739] ppid=15724 vsize=27330556 memory=1168 CPUtime=0 cores=0-7 /proc/15727/task/15739/stat : 15739 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156348 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140311682606064 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15740] ppid=15724 vsize=27330556 memory=3860 CPUtime=0 cores=0-7 /proc/15727/task/15740/stat : 15740 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156350 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140311308097744 140313990760347 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15741] ppid=15724 vsize=27330556 memory=2180 CPUtime=5.21 cores=0-7 /proc/15727/task/15741/stat : 15741 (java) R 15724 15724 15062 0 -1 4202560 6116 0 0 0 518 3 0 0 20 0 20 0 237156350 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140313362772384 140313975623007 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15742] ppid=15724 vsize=27330556 memory=796 CPUtime=5.42 cores=0-7 /proc/15727/task/15742/stat : 15742 (java) R 15724 15724 15062 0 -1 4202560 6530 0 0 0 541 1 0 0 20 0 20 0 237156350 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140313361710320 140313972285856 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15743] ppid=15724 vsize=27330556 memory=1592 CPUtime=5.26 cores=0-7 /proc/15727/task/15743/stat : 15743 (java) R 15724 15724 15062 0 -1 4202560 5775 0 0 0 524 2 0 0 20 0 20 0 237156350 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140312106217456 140313972286428 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15744] ppid=15724 vsize=27330556 memory=3780 CPUtime=1.6 cores=0-7 /proc/15727/task/15744/stat : 15744 (java) S 15724 15724 15062 0 -1 1077944384 4260 0 0 0 158 2 0 0 20 0 20 0 237156350 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140312105180016 140313990752898 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15745] ppid=15724 vsize=27330556 memory=3140 CPUtime=0 cores=0-7 /proc/15727/task/15745/stat : 15745 (java) S 15724 15724 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237156350 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140310810192096 140313990751957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 [pid=15727/tid=15746] ppid=15724 vsize=27330556 memory=1244 CPUtime=0 cores=0-7 /proc/15727/task/15746/stat : 15746 (java) S 15724 15724 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237156350 27986489344 1407106 33554432000 4194304 4196468 140736103344768 140312104126896 140313990752898 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18677760 140736103351272 140736103351597 140736103351597 140736103354319 0 Current children cumulated CPU time: 30.19 s Current children cumulated vsize: 27443684 KiB Current children cumulated memory: 5629820 KiB [startup+25.5013 s] /proc/loadavg: 4.99 7.28 6.85 9/213 15780 /proc/meminfo: memFree=23550072/32770624 swapFree=67108796/67108860 [pid=15724] ppid=15721 vsize=113128 memory=1472 CPUtime=40.31 cores=0-7 /proc/15724/stat : 15724 (scop.sh) S 15721 15724 15062 0 -1 4202496 588 47822 0 0 0 0 3851 180 20 0 1 0 237156342 115843072 368 33554432000 4194304 5098028 140729989173344 140729989170088 140326011748988 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24252416 140729989178402 140729989178627 140729989178627 140729989181389 0 /proc/15724/statm: 28282 368 311 221 0 87 0 [pid=15747] ppid=15724 vsize=8282828 memory=143916 CPUtime=9.69 cores=0-7 /proc/15747/stat : 15747 (java) S 15724 15724 15062 0 -1 1077944320 20142 234967 0 0 155 9 752 53 20 0 22 0 237158307 8481615872 35979 33554432000 4194304 4196468 140730964931584 140730964914128 139915904110327 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 /proc/15747/statm: 2070707 35979 3160 1 0 2032106 0 [pid=15747/tid=15748] ppid=15724 vsize=8282828 memory=125312 CPUtime=8.87 cores=0-7 /proc/15747/task/15748/stat : 15748 (java) R 15724 15724 15062 0 -1 1077944384 15682 234967 0 0 75 7 752 53 20 0 22 0 237158307 8481615872 35979 33554432000 4194304 4196468 140730964931584 139915875950480 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15749] ppid=15724 vsize=8282828 memory=280576523284120 CPUtime=8.05 cores=0-7 /proc/15747/task/15749/stat : 15749 (java) S 15724 15724 15062 0 -1 1077944384 2 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 35979 33554432000 4194304 4196468 140730964931584 139915908352784 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15750] ppid=15724 vsize=8282828 memory=69807848294890 CPUtime=8.05 cores=0-7 /proc/15747/task/15750/stat : 15750 (java) S 15724 15724 15062 0 -1 1077944384 2 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 35979 33554432000 4194304 4196468 140730964931584 139915741731728 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15751] ppid=15724 vsize=8282828 memory=69807848293354 CPUtime=8.05 cores=0-7 /proc/15747/task/15751/stat : 15751 (java) S 15724 15724 15062 0 -1 1077944384 2 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 35979 33554432000 4194304 4196468 140730964931584 139915388333072 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15752] ppid=15724 vsize=8282828 memory=877976 CPUtime=8.05 cores=0-7 /proc/15747/task/15752/stat : 15752 (java) S 15724 15724 15062 0 -1 1077944384 1 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 35979 33554432000 4194304 4196468 140730964931584 139915387280528 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15753] ppid=15724 vsize=8282828 memory=64120 CPUtime=8.05 cores=0-7 /proc/15747/task/15753/stat : 15753 (java) S 15724 15724 15062 0 -1 1077944384 1 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 35979 33554432000 4194304 4196468 140730964931584 139915386226960 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15754] ppid=15724 vsize=8282828 memory=3632 CPUtime=8.05 cores=0-7 /proc/15747/task/15754/stat : 15754 (java) S 15724 15724 15062 0 -1 1077944384 2 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 35979 33554432000 4194304 4196468 140730964931584 139915385174416 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15755] ppid=15724 vsize=8282828 memory=0 CPUtime=8.05 cores=0-7 /proc/15747/task/15755/stat : 15755 (java) S 15724 15724 15062 0 -1 1077944384 1 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 35979 33554432000 4194304 4196468 140730964931584 139915384121872 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15756] ppid=15724 vsize=8282828 memory=0 CPUtime=8.05 cores=0-7 /proc/15747/task/15756/stat : 15756 (java) S 15724 15724 15062 0 -1 1077944384 3 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 35979 33554432000 4194304 4196468 140730964931584 139915383069328 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15757] ppid=15724 vsize=8282828 memory=0 CPUtime=8.05 cores=0-7 /proc/15747/task/15757/stat : 15757 (java) S 15724 15724 15062 0 -1 1077944384 5 234967 0 0 0 0 752 53 20 0 22 0 237158310 8481615872 35979 33554432000 4194304 4196468 140730964931584 139914996849136 139915904121474 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15758] ppid=15724 vsize=8282828 memory=56 CPUtime=8.05 cores=0-7 /proc/15747/task/15758/stat : 15758 (java) S 15724 15724 15062 0 -1 1077944384 13 234967 0 0 0 0 752 53 20 0 22 0 237158310 8481615872 35979 33554432000 4194304 4196468 140730964931584 139914532349344 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15759] ppid=15724 vsize=8282828 memory=7667749246332660075 CPUtime=8.05 cores=0-7 /proc/15747/task/15759/stat : 15759 (java) S 15724 15724 15062 0 -1 1077944384 1 234967 0 0 0 0 752 53 20 0 22 0 237158310 8481615872 35979 33554432000 4194304 4196468 140730964931584 139914263913968 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15760] ppid=15724 vsize=8282828 memory=7451884331400064361 CPUtime=8.05 cores=0-7 /proc/15747/task/15760/stat : 15760 (java) S 15724 15724 15062 0 -1 1077944384 1 234967 0 0 0 0 752 53 20 0 22 0 237158313 8481615872 35979 33554432000 4194304 4196468 140730964931584 139913889405648 139915904128923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15761] ppid=15724 vsize=8282828 memory=33 CPUtime=8.21 cores=0-7 /proc/15747/task/15761/stat : 15761 (java) S 15724 15724 15062 0 -1 1077944384 914 234967 0 0 16 0 752 53 20 0 22 0 237158313 8481615872 35979 33554432000 4194304 4196468 140730964931584 139914995795952 139915904121474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15762] ppid=15724 vsize=8282828 memory=6944656592455360604 CPUtime=8.2 cores=0-7 /proc/15747/task/15762/stat : 15762 (java) S 15724 15724 15062 0 -1 1077944384 460 234967 0 0 15 0 752 53 20 0 22 0 237158313 8481615872 35979 33554432000 4194304 4196468 140730964931584 139914994743408 139915904121474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15763] ppid=15724 vsize=8282828 memory=0 CPUtime=8.17 cores=0-7 /proc/15747/task/15763/stat : 15763 (java) S 15724 15724 15062 0 -1 1077944384 315 234967 0 0 12 0 752 53 20 0 22 0 237158313 8481615872 35979 33554432000 4194304 4196468 140730964931584 139914993690864 139915904121474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15764] ppid=15724 vsize=8282828 memory=0 CPUtime=8.31 cores=0-7 /proc/15747/task/15764/stat : 15764 (java) R 15724 15724 15062 0 -1 4202560 1311 234967 0 0 26 0 752 53 20 0 22 0 237158313 8481615872 35979 33554432000 4194304 4196468 140730964931584 139914992638320 139915888190740 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15765] ppid=15724 vsize=8282828 memory=752 CPUtime=8.05 cores=0-7 /proc/15747/task/15765/stat : 15765 (java) S 15724 15724 15062 0 -1 1077944384 3 234967 0 0 0 0 752 53 20 0 22 0 237158313 8481615872 35979 33554432000 4194304 4196468 140730964931584 139913391500000 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15766] ppid=15724 vsize=8282828 memory=796 CPUtime=8.05 cores=0-7 /proc/15747/task/15766/stat : 15766 (java) S 15724 15724 15062 0 -1 1077944384 3 234967 0 0 0 0 752 53 20 0 22 0 237158313 8481615872 35979 33554432000 4194304 4196468 140730964931584 139914991586224 139915904121474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15768] ppid=15724 vsize=8282828 memory=1592 CPUtime=8.05 cores=0-7 /proc/15747/task/15768/stat : 15768 (java) S 15724 15724 15062 0 -1 1077944384 24 234967 0 0 0 0 752 53 20 0 22 0 237158387 8481615872 35979 33554432000 4194304 4196468 140730964931584 139915338109840 139915904121474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15772] ppid=15724 vsize=8282828 memory=1244 CPUtime=8.05 cores=0-7 /proc/15747/task/15772/stat : 15772 (java) S 15724 15724 15062 0 -1 1077944384 12 234967 0 0 0 0 752 53 20 0 22 0 237158389 8481615872 35979 33554432000 4194304 4196468 140730964931584 139912451974064 139915904121474 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 Current children cumulated CPU time: 50 s Current children cumulated vsize: 8395956 KiB Current children cumulated memory: 145388 KiB [startup+25.6542 s] # the end of solver process 15724 was just reported to runsolver # cumulated CPU time of all completed processes: user=47.9177 s, system=2.46041 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.6013 s] /proc/loadavg: 4.99 7.28 6.85 9/213 15780 /proc/meminfo: memFree=23550072/32770624 swapFree=67108796/67108860 [pid=15724] ppid=15721 vsize=113128 memory=1472 CPUtime=40.31 cores=0-7 /proc/15724/stat : 15724 (scop.sh) S 15721 15724 15062 0 -1 4202496 588 47822 0 0 0 0 3851 180 20 0 1 0 237156342 115843072 368 33554432000 4194304 5098028 140729989173344 140729989170088 140326011748988 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24252416 140729989178402 140729989178627 140729989178627 140729989181389 0 /proc/15724/statm: 28282 368 311 221 0 87 0 [pid=15747] ppid=15724 vsize=8282828 memory=149704 CPUtime=9.9 cores=0-7 /proc/15747/stat : 15747 (java) S 15724 15724 15062 0 -1 1077944320 20551 234967 0 0 175 10 752 53 20 0 22 0 237158307 8481615872 37426 33554432000 4194304 4196468 140730964931584 140730964914128 139915904110327 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 /proc/15747/statm: 2070707 37426 3179 1 0 2032106 0 [pid=15747/tid=15748] ppid=15724 vsize=8282828 memory=5704 CPUtime=8.97 cores=0-7 /proc/15747/task/15748/stat : 15748 (java) R 15724 15724 15062 0 -1 4202560 15904 234967 0 0 85 7 752 53 20 0 22 0 237158307 8481615872 37426 33554432000 4194304 4196468 140730964931584 139915875946976 139915904122262 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15749] ppid=15724 vsize=8282828 memory=14772 CPUtime=8.05 cores=0-7 /proc/15747/task/15749/stat : 15749 (java) S 15724 15724 15062 0 -1 1077944384 2 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 37426 33554432000 4194304 4196468 140730964931584 139915908352784 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15750] ppid=15724 vsize=8282828 memory=3860 CPUtime=8.05 cores=0-7 /proc/15747/task/15750/stat : 15750 (java) S 15724 15724 15062 0 -1 1077944384 2 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 37426 33554432000 4194304 4196468 140730964931584 139915741731728 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15751] ppid=15724 vsize=8282828 memory=2180 CPUtime=8.05 cores=0-7 /proc/15747/task/15751/stat : 15751 (java) S 15724 15724 15062 0 -1 1077944384 2 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 37426 33554432000 4194304 4196468 140730964931584 139915388333072 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15752] ppid=15724 vsize=8282828 memory=3980 CPUtime=8.05 cores=0-7 /proc/15747/task/15752/stat : 15752 (java) S 15724 15724 15062 0 -1 1077944384 1 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 37426 33554432000 4194304 4196468 140730964931584 139915387280528 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15753] ppid=15724 vsize=8282828 memory=880 CPUtime=8.05 cores=0-7 /proc/15747/task/15753/stat : 15753 (java) S 15724 15724 15062 0 -1 1077944384 1 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 37426 33554432000 4194304 4196468 140730964931584 139915386226960 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15754] ppid=15724 vsize=8282828 memory=1500 CPUtime=8.05 cores=0-7 /proc/15747/task/15754/stat : 15754 (java) S 15724 15724 15062 0 -1 1077944384 2 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 37426 33554432000 4194304 4196468 140730964931584 139915385174416 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15755] ppid=15724 vsize=8282828 memory=1904 CPUtime=8.05 cores=0-7 /proc/15747/task/15755/stat : 15755 (java) S 15724 15724 15062 0 -1 1077944384 1 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 37426 33554432000 4194304 4196468 140730964931584 139915384121872 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15756] ppid=15724 vsize=8282828 memory=7524 CPUtime=8.05 cores=0-7 /proc/15747/task/15756/stat : 15756 (java) S 15724 15724 15062 0 -1 1077944384 3 234967 0 0 0 0 752 53 20 0 22 0 237158308 8481615872 37426 33554432000 4194304 4196468 140730964931584 139915383069328 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15757] ppid=15724 vsize=8282828 memory=800 CPUtime=8.05 cores=0-7 /proc/15747/task/15757/stat : 15757 (java) S 15724 15724 15062 0 -1 1077944384 5 234967 0 0 0 0 752 53 20 0 22 0 237158310 8481615872 37426 33554432000 4194304 4196468 140730964931584 139914996849136 139915904121474 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15758] ppid=15724 vsize=8282828 memory=4096 CPUtime=8.05 cores=0-7 /proc/15747/task/15758/stat : 15758 (java) S 15724 15724 15062 0 -1 1077944384 13 234967 0 0 0 0 752 53 20 0 22 0 237158310 8481615872 37426 33554432000 4194304 4196468 140730964931584 139914532349344 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15759] ppid=15724 vsize=8282828 memory=1780 CPUtime=8.05 cores=0-7 /proc/15747/task/15759/stat : 15759 (java) S 15724 15724 15062 0 -1 1077944384 1 234967 0 0 0 0 752 53 20 0 22 0 237158310 8481615872 37426 33554432000 4194304 4196468 140730964931584 139914263913968 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15760] ppid=15724 vsize=8282828 memory=920 CPUtime=8.05 cores=0-7 /proc/15747/task/15760/stat : 15760 (java) S 15724 15724 15062 0 -1 1077944384 1 234967 0 0 0 0 752 53 20 0 22 0 237158313 8481615872 37426 33554432000 4194304 4196468 140730964931584 139913889405648 139915904128923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15761] ppid=15724 vsize=8282828 memory=4968 CPUtime=8.23 cores=0-7 /proc/15747/task/15761/stat : 15761 (java) R 15724 15724 15062 0 -1 4202560 928 234967 0 0 18 0 752 53 20 0 22 0 237158313 8481615872 37426 33554432000 4194304 4196468 140730964931584 139914995782704 139915881937486 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15762] ppid=15724 vsize=8282828 memory=1408 CPUtime=8.21 cores=0-7 /proc/15747/task/15762/stat : 15762 (java) S 15724 15724 15062 0 -1 1077944384 475 234967 0 0 16 0 752 53 20 0 22 0 237158313 8481615872 37426 33554432000 4194304 4196468 140730964931584 139914994743408 139915904121474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15763] ppid=15724 vsize=8282828 memory=2728 CPUtime=8.19 cores=0-7 /proc/15747/task/15763/stat : 15763 (java) S 15724 15724 15062 0 -1 1077944384 331 234967 0 0 14 0 752 53 20 0 22 0 237158313 8481615872 37426 33554432000 4194304 4196468 140730964931584 139914993690864 139915904121474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15764] ppid=15724 vsize=8282828 memory=1396 CPUtime=8.37 cores=0-7 /proc/15747/task/15764/stat : 15764 (java) R 15724 15724 15062 0 -1 4202560 1453 234967 0 0 32 0 752 53 20 0 22 0 237158313 8481615872 37426 33554432000 4194304 4196468 140730964931584 139914992638320 139915885520335 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15765] ppid=15724 vsize=8282828 memory=6036972 CPUtime=8.05 cores=0-7 /proc/15747/task/15765/stat : 15765 (java) S 15724 15724 15062 0 -1 1077944384 3 234967 0 0 0 0 752 53 20 0 22 0 237158313 8481615872 37426 33554432000 4194304 4196468 140730964931584 139913391500000 139915904120533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15766] ppid=15724 vsize=8282828 memory=6791534058613427641 CPUtime=8.05 cores=0-7 /proc/15747/task/15766/stat : 15766 (java) S 15724 15724 15062 0 -1 1077944384 3 234967 0 0 0 0 752 53 20 0 22 0 237158313 8481615872 37426 33554432000 4194304 4196468 140730964931584 139914991586224 139915904121474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15768] ppid=15724 vsize=8282828 memory=-7003737579269690708 CPUtime=8.05 cores=0-7 /proc/15747/task/15768/stat : 15768 (java) S 15724 15724 15062 0 -1 1077944384 24 234967 0 0 0 0 752 53 20 0 22 0 237158387 8481615872 37426 33554432000 4194304 4196468 140730964931584 139915338109840 139915904121474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 [pid=15747/tid=15772] ppid=15724 vsize=8282828 memory=-7027408097459412384 CPUtime=8.05 cores=0-7 /proc/15747/task/15772/stat : 15772 (java) S 15724 15724 15062 0 -1 1077944384 12 234967 0 0 0 0 752 53 20 0 22 0 237158389 8481615872 37426 33554432000 4194304 4196468 140730964931584 139912451974064 139915904121474 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20250624 140730964939953 140730964940077 140730964940077 140730964942799 0 Current children cumulated CPU time: 50.21 s Current children cumulated vsize: 8395956 KiB Current children cumulated memory: 151176 KiB Child status: 0 Real time (s): 25.6542 CPU time (s): 50.3781 CPU user time (s): 47.9177 CPU system time (s): 2.46041 CPU usage (%): 196.373 Max. virtual memory (cumulated for all children) (KiB): 27443704 Max. memory (cumulated for all children) (KiB): 6144748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 47.9177 system time used= 2.4604 maximum resident set size= 6144132 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 304481 page faults= 0 swaps= 0 block input operations= 0 block output operations= 115720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42270 involuntary context switches= 87 # summary of solver processes directly reported to runsolver: # pid: 15724 # total CPU time (s): 50.3781 # total CPU user time (s): 47.9177 # total CPU system time (s): 2.46041 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.181307 second user time and 0.340937 second system time The end
Begin job on node138 at 2018-08-13 23:32:12 IDJOB=4307083 IDBENCH=141453 IDSOLVER=2788 FILE ID=node138/4307083-1534195932 RUNJOBID= node138-1534190647-15089 PBS_JOBID= 21037990 Free space on /tmp= 24692 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/CarSequencing/CarSequencing-65-01_c18.xml COMMAND LINE= scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307083-1534195932/watcher-4307083-1534195932 -o /tmp/evaluation-result-4307083-1534195932/solver-4307083-1534195932 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534190647-15089 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307083-1534195932.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 48ac70ebdae407305a9c210468be8830 RANDOM SEED=1886049021 node138.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.71 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.71 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.71 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.71 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: 24572752 kB MemAvailable: 31893532 kB Buffers: 104252 kB Cached: 7384516 kB SwapCached: 12 kB Active: 3826984 kB Inactive: 3723848 kB Active(anon): 3708 kB Inactive(anon): 110356 kB Active(file): 3823276 kB Inactive(file): 3613492 kB Unevictable: 7276 kB Mlocked: 7276 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 8196 kB Writeback: 0 kB AnonPages: 179180 kB Mapped: 52716 kB Shmem: 49740 kB Slab: 340384 kB SReclaimable: 312472 kB SUnreclaim: 27912 kB KernelStack: 3776 kB PageTables: 5196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 349812 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 24684 MiB End job on node138 at 2018-08-13 23:32:38