Trace number 4307084

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+glucose-syrup (2018-07-31)SAT 51.0036 23.9263

General information on the benchmark

NameCarSequencing/
CarSequencing-65-02_c18.xml
MD5SUM5b8cef4a239c531d2bd2d2ec1c21b605
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.08259
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1377
Number of domains2
Minimum domain size2
Maximum domain size22
Distribution of domain sizes[{"size":2,"count":1000},{"size":22,"count":200}]
Minimum variable degree2
Maximum variable degree56
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":32,"count":19}, {"degree":33,"count":19}, {"degree":34,"count":19}, {"degree":35,"count":19}, {"degree":36,"count":64}, {"degree":37,"count":14}, {"degree":38,"count":144}, {"degree":39,"count":13}, {"degree":40,"count":102}, {"degree":41,"count":9}, {"degree":42,"count":24}, {"degree":43,"count":3}, {"degree":44,"count":3}, {"degree":45,"count":3}, {"degree":46,"count":3}, {"degree":47,"count":3}, {"degree":48,"count":3}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":3}, {"degree":52,"count":3}, {"degree":53,"count":3}, {"degree":54,"count":4}, {"degree":55,"count":4}, {"degree":56,"count":45}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":25,"count":1},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":47,"count":1},{"arity":50,"count":2},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},{"arity":80,"count":3},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1176},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

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-26404-serial-file.bin HOME/instance-4307084-1534197054.xml
0.64/0.54	
0.64/0.54	scop order+glucose-syrup (2018-07-31)
0.64/0.54	(Encoding Process)
0.64/0.54	
0.64/0.56	c BEGIN-Prog: Mon Aug 13 23:50:55 CEST 2018
0.64/0.56	c PID: 26407
0.64/0.56	c IP: 172.20.3.151
0.64/0.56	c HOST: node151.alineos.net
0.64/0.57	c (0,0) Parsing Begin
2.96/1.37	c (0,0) Parsing End
2.96/1.38	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1377 ctr, max domain size 22
2.96/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.96/1.38	c (0,0) Constraint Name Generate Begin
3.31/1.41	c (0,0) Ctr:HOME/instance-4307084-1534197054.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.31/1.41	c (0,0) Constraint Name Generate End
3.31/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.31/1.41	c (0,0) CSP to CSPinCNF Begin
11.60/4.23	c (3,3) translated 138 (10%) constraints
12.15/4.71	c (4,4) translated 276 (20%) constraints
12.15/4.73	c (4,4) translated 414 (30%) constraints
12.15/4.75	c (4,4) translated 551 (40%) constraints
12.15/4.77	c (4,4) translated 689 (50%) constraints
12.63/4.80	c (4,4) translated 827 (60%) constraints
12.63/4.82	c (4,4) translated 964 (70%) constraints
12.63/4.83	c (4,4) translated 1102 (80%) constraints
14.00/5.58	c (5,5) translated 1240 (90%) constraints
15.56/7.03	c (6,6) translated 1377 (100%) constraints
16.85/7.54	c (6,6) STATISTICS1:HOME/instance-4307084-1534197054.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,15400,52998,9223372036854775807,22,23,200,9223372036854775807:217;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:2;70368744177664:1;17592186044416:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,22:17200;2:146563,23:200;3:27200;2:24400;1:1198,200:49;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:2;128:2;125:4;122:2;120:2;119:2;116:2;115:2;113:2;110:4;107:2;105:2;104:2;101:2;100:2;98:2;95:4;92:1;90:2;89:1;86:1;85:2;83:1;80:3;77:1;75:2;74:1;71:1;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:2;47:1;45:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:134800;0:200,17689:49;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:2;7225:2;6889:4;6561:2;6400:2;6241:2;5929:2;5776:2;5625:2;5329:4;5041:2;4900:2;4761:2;4489:2;4356:2;4225:2;3969:4;3721:1;3600:2;3481:1;3249:1;3136:2;3025:1;2809:3;2601:1;2500:2;2401:1;2209:1;2116:2;2025:1;1849:3
16.85/7.54	c (6,6) ==========================================
16.85/7.54	c (6,6) Order
16.85/7.54	c (6,6) ==========================================
19.39/8.25	c (7,7) translated 5300 (10%) constraints
20.12/8.46	c (7,7) translated 10600 (20%) constraints
20.42/8.54	c (8,7) translated 15900 (30%) constraints
20.52/8.63	c (8,8) translated 21200 (40%) constraints
20.62/8.71	c (8,8) translated 26499 (50%) constraints
20.62/8.79	c (8,8) translated 31799 (60%) constraints
20.72/8.87	c (8,8) translated 37099 (70%) constraints
20.82/8.96	c (8,8) translated 42399 (80%) constraints
20.93/9.04	c (8,8) translated 47699 (90%) constraints
25.56/10.88	c (10,10) translated 52998 (100%) constraints
25.76/10.90	c (10,10) CSP to CSPinCNF End
25.76/10.91	c (10,10) CSP: 3587 int (3387 aux), 19654 bool (18654 aux), 70564 ctr, max domain size 68
25.76/10.91	c (10,10) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
25.76/10.91	c (10,10) CSPinCNF Propagation Begin
27.38/11.40	c (10,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
27.38/11.40	c (10,10) CSPinCNF Propagation End
27.38/11.41	c (10,10) CSP: 3587 int (3387 aux), 19654 bool (18654 aux), 70164 ctr, max domain size 68
27.38/11.41	c (10,10) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
27.38/11.41	c (10,10) Simplify CSPinCNF Begin
27.68/11.57	c (11,11) Simplify CSPinCNF End
27.68/11.58	c (11,11) CSP: 3587 int (3387 aux), 19654 bool (18654 aux), 70164 ctr, max domain size 68
27.68/11.58	c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
27.68/11.58	c (11,11) Calculate Precise Domain Begin
27.90/11.63	c (11,11) 0 values are removed by re-calculation
27.90/11.63	c (11,11) Calculate Precise Domain End
27.90/11.63	c (11,11) CSP: 3587 int (3387 aux), 19654 bool (18654 aux), 70164 ctr, max domain size 68
27.90/11.63	c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
27.90/11.63	c (11,11) CSPinCNF to SatSolver Begin
31.94/13.61	c (13,12) 7017 (10 %) CSP clauses are encoded (84043 SAT variables, 512466 SAT clauses)
31.94/13.66	c (13,12) 14033 (20 %) CSP clauses are encoded (84043 SAT variables, 519482 SAT clauses)
32.22/13.73	c (13,13) 21050 (30 %) CSP clauses are encoded (84043 SAT variables, 526499 SAT clauses)
32.22/13.76	c (13,13) 28066 (40 %) CSP clauses are encoded (84043 SAT variables, 533515 SAT clauses)
32.22/13.80	c (13,13) 35082 (50 %) CSP clauses are encoded (84043 SAT variables, 540531 SAT clauses)
32.43/13.83	c (13,13) 42099 (60 %) CSP clauses are encoded (84043 SAT variables, 547548 SAT clauses)
32.43/13.86	c (13,13) 49115 (70 %) CSP clauses are encoded (84043 SAT variables, 554564 SAT clauses)
32.43/13.90	c (13,13) 56132 (80 %) CSP clauses are encoded (84043 SAT variables, 561581 SAT clauses)
32.53/13.95	c (13,13) 63148 (90 %) CSP clauses are encoded (84043 SAT variables, 571945 SAT clauses)
36.34/17.53	c (16,16) 70164 (100 %) CSP clauses are encoded (84043 SAT variables, 2017645 SAT clauses)
36.34/17.53	c (16,16) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
36.34/17.53	c (16,16) CSPinCNF to SatSolver End
36.34/17.53	c (16,16) Heap : 4960 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
37.24/17.84	c (17,17) STATISTICS2:HOME/instance-4307084-1534197054.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,23241,70164,4556,68,22,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:5;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:3;1980:2;1936:2;1892:2;1806:4;1722:2;1681:2;1640:2;1560:2;1521:2;1482:2;1406:4;1332:2;1296:2;1260:2;1190:20;1156:19;1122:18;1089:21;1056:18;1024:202;992:13;961:19;930:13;900:15;870:15;841:15;812:17;784:13;756:17;729:15;702:13;676:19;650:13;625:23;600:15;576:15;552:17;529:12;512:601;506:13;484:10;462:9;441:14;420:9;400:10;380:11;361:10;342:13;324:34;306:96;289:66;272:63;256:1670;240:61;225:63;210:63;196:62;182:67;169:61;162:4;156:64;153:8;144:57;132:43;128:1017;126:4;121:50;119:8;110:43;108:4;102:8;100:45;96:221;90:471;85:8;81:445;72:269;68:16;64:1013;56:254;54:24;51:48;49:262;36:32;34:48;25:229;16:850;9:48;4:444;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:26;54:40;53:30;52:24;51:34;50:24;49:30;48:28;47:26;46:32;45:36;44:20;43:20;42:16;41:24;40:16;39:20;38:20;37:16;36:24;35:52;34:156;33:168;32:124;31:134;30:122;29:126;28:126;27:122;26:134;25:158;24:126;23:114;22:25286;21:98;20:86;19:90;18:934;17:872;16:522;15:502;14:508;13:508;12:884;11:374;10:1202;9:3240;8:2034;7:1560;6:36;5:920;4:72;3:216;2:163979,22:200;3:26800;2:33200;1:9964,11:187;10:601;9:1602;8:1017;7:762;5:1055;3:4541;2:199;1:151200,
37.24/17.84	c (17,17) 84043 bool, 2018800 clause
37.24/17.84	c (17,17) Export Begin
37.41/18.00	c (17,17) Export to HOME/scop-26404-serial-file.bin
37.41/18.00	c (17,17) Export End
37.41/18.00	c (17,17) Export File Size: 0.24 MB
37.41/18.00	c (17,17) 0,0,10,10,11,11,16,STOP-AFTER(DIMACS)
37.41/18.00	c END-Prog: Mon Aug 13 23:51:12 CEST 2018
37.78/18.05	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-26404-serial-file.bin
37.82/18.54	c (0,0) Read Serial File Begin
37.82/18.54	c (0,0) HOME/scop-26404-serial-file.bin
37.82/18.79	c (0,0) Read Serial File End
37.82/18.80	
37.82/18.80	scop order+glucose-syrup (2018-07-31)
37.82/18.80	(Solving Process)
37.82/18.80	
37.82/18.82	c BEGIN-Prog: Mon Aug 13 23:51:13 CEST 2018
37.82/18.82	c PID: 26427
37.82/18.82	c IP: 172.20.3.151
37.82/18.82	c HOST: node151.alineos.net
37.82/18.83	c (0,0) SatSolver.solve Begin
37.82/18.83	c (0,0) 0 bool, 0 clause
37.82/18.83	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307084-1534197054.xml-scop-26407.cnf
49.70/23.69	c (5,0) c
49.70/23.69	c (5,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
49.70/23.69	c (5,0) c
49.70/23.69	c (5,0) c WARNING: for repeatability, setting FPU to use double precision
49.70/23.69	c (5,0) c 8 solvers engines and 1 companion as a blackboard created.
49.70/23.69	c (5,0) c ========================================[ Problem Statistics ]===========================================
49.70/23.69	c (5,0) c |                                                                                                       |
49.70/23.69	c (5,0) c |  Number of variables:         84043                                                                   |
49.70/23.69	c (5,0) c |  Number of clauses:         2018584                                                                   |
49.70/23.69	c (5,0) c |  Parse time:                   0.69 s                                                                 |
49.70/23.69	c (5,0) c |                                                                                                       |
49.70/23.69	c (5,0) c |  Eliminated clauses:           0.36 Mb                                                                |
49.70/23.69	c (5,0) c |  Simplification time:          2.72 s                                                                 |
49.70/23.69	c (5,0) c |                                                                                                       |
49.70/23.69	c (5,0) c |  Generating clones                                                                                    |
49.70/23.69	c (5,0) c |  all clones generated. Memory = 781.18Mb.                                                             |
49.70/23.69	c (5,0) c ========================================================================================================|
49.70/23.69	c (5,0) c last restart ## conflicts  :  78 2246 
49.70/23.69	c (5,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer).
49.70/23.69	c (5,0) c Total Memory so far : 1375.55Mb
49.70/23.69	c (5,0) c
49.70/23.69	c (5,0) c real time : 4.83643 s
49.70/23.69	c (5,0) c cpu time  : 10.7447 s
49.70/23.69	c (5,0) c
49.70/23.69	c (5,0) c
49.70/23.69	c (5,0) c
49.70/23.69	c (5,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
49.70/23.69	c (5,0) c
49.70/23.69	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.70/23.69	c (5,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
49.70/23.69	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.70/23.69	c (5,0) c | Conflicts     |           34040 |       6992 |       2497 |       2543 |       3746 |       2377 |       3746 |       6156 |       5983 |
49.70/23.69	c (5,0) c | Decisions     |          121702 |       9060 |      19970 |      20381 |      14437 |      16472 |      14437 |      13605 |      13340 |
49.70/23.69	c (5,0) c | Propagations  |        21423137 |    2912227 |    2486584 |    2538934 |    2788833 |    2197594 |    2788833 |    2885582 |    2824550 |
49.70/23.69	c (5,0) c | Avg_Trail     |                 |       9756 |      17015 |      16781 |      16852 |      24539 |      16852 |      14003 |      14028 |
49.70/23.69	c (5,0) c | Avg_DL        |                 |        145 |        157 |        154 |        126 |        239 |        126 |         79 |         79 |
49.70/23.69	c (5,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.70/23.69	c (5,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.70/23.69	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.70/23.69	c (5,0) c | Exported      |            1976 |        832 |         44 |         59 |         15 |         35 |         15 |        514 |        462 |
49.70/23.69	c (5,0) c | Imported      |            7243 |          0 |        809 |       1689 |       1763 |       1181 |       1686 |         57 |         58 |
49.70/23.69	c (5,0) c | Good          |             491 |          0 |         68 |         79 |        117 |         74 |        116 |         18 |         19 |
49.70/23.69	c (5,0) c | Purge         |            6752 |          0 |        741 |       1610 |       1646 |       1107 |       1570 |         39 |         39 |
49.70/23.69	c (5,0) c | Promoted      |               5 |          0 |          1 |          0 |          0 |          0 |          0 |          2 |          2 |
49.70/23.69	c (5,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.70/23.69	c (5,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.70/23.69	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.70/23.69	c (5,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.70/23.69	c (5,0) c | Binaries      |                 |          0 |         35 |         49 |          7 |         32 |          7 |          1 |          1 |
49.70/23.69	c (5,0) c | Glues         |                 |          0 |         44 |         59 |         15 |         35 |         15 |          8 |          8 |
49.70/23.69	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.70/23.69	c (5,0) c | Orig_Seen     |             0 % |       2213 |       8664 |       8304 |       6945 |       6612 |       6945 |       3933 |       3927 |
49.70/23.69	c (5,0) c | Diff Orig seen|                 | -     4399 |       2052 |       1692 |        333 |      X     |        333 | -     2679 | -     2685 |
49.70/23.69	c (5,0) c | Hamming       |            10 % |       9128 |       8946 |       9085 |       9152 |      X     |       9152 |       7602 |       7586 |
49.70/23.69	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.70/23.69	c (5,0) 
49.70/23.69	c (5,0) s SATISFIABLE
50.39/23.78	c (5,0) SatSolver.solve End
50.39/23.78	c (5,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
50.39/23.78	c (5,0) Show results Begin
50.67/23.87	s SATISFIABLE
50.92/23.90	v <instantiation>
50.92/23.90	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.92/23.90	v     <values>10 10 8 17 17 13 17 10 4 9 10 17 9 10 2 9 4 17 20 10 9 4 10 3 17 20 15 17 10 9 17 10 9 1 17 17 21 17 0 17 4 3 10 17 17 4 10 12 2 17 9 4 20 9 17 10 10 13 4 17 10 20 17 9 10 10 4 17 9 10 17 11 10 17 6 9 19 17 12 20 17 11 10 17 17 10 9 2 4 9 10 10 17 13 4 10 17 17 0 17 4 3 17 10 9 4 10 17 17 10 9 14 17 17 9 10 5 9 10 20 10 9 2 16 17 9 21 17 4 12 17 17 10 4 10 9 17 17 10 4 9 17 10 9 4 17 2 12 7 4 18 20 17 13 4 10 17 10 9 1 10 9 10 17 4 9 10 10 9 4 17 9 7 10 5 17 20 9 10 4 13 17 6 9 4 17 10 9 10 1 17 17 9 17 4 9 10 17 13 4 0 0 0 1 0 0 0 0 1 0 1 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 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 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 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 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 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 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 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1</values>
50.92/23.90	v </instantiation>
50.92/23.90	c (5,0) Show results End
50.92/23.90	c (5,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
50.92/23.90	c (5,0) 5,5,STOP-AFTER(ALL)
50.92/23.90	c END-Prog: Mon Aug 13 23:51:18 CEST 2018

Verifier Data 

OK

Watcher Data 

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 (11097 MiB free)
  memory of node 1: 16384 MiB (12358 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307084-1534197054/watcher-4307084-1534197054 -o /tmp/evaluation-result-4307084-1534197054/solver-4307084-1534197054 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1534197026-26259 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307084-1534197054.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=26404, runsolver pid=26401

[startup+0.109879 s]*
/proc/loadavg: 5.99 7.71 7.31 2/200 26426
/proc/meminfo: memFree=23922156/32770624 swapFree=67108196/67108860
[pid=26404] ppid=26401 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/26404/stat : 26404 (scop.sh) S 26401 26404 26232 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 237268623 115843072 348 33554432000 4194304 5098028 140723908377952 140723908375208 140325276758652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34979840 140723908379682 140723908379907 140723908379907 140723908382669 0
/proc/26404/statm: 28282 348 296 221 0 87 0
[pid=26407] ppid=26404 vsize=27313900 memory=108528 CPUtime=0.12 cores=0-7
/proc/26407/stat : 26407 (java) S 26404 26404 26232 0 -1 1077944320 7078 0 0 0 9 3 0 0 20 0 20 0 237268623 27969433600 27132 33554432000 4194304 4196468 140728010321104 140728010303648 140018895654647 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
/proc/26407/statm: 6828475 27132 2768 1 0 6790935 0
[pid=26407/tid=26408] ppid=26404 vsize=27313900 memory=7969853398213107863 CPUtime=0.09 cores=0-7
/proc/26407/task/26408/stat : 26408 (java) R 26404 26404 26232 0 -1 4202560 5143 0 0 0 7 2 0 0 20 0 20 0 237268624 27969433600 27132 33554432000 4194304 4196468 140728010321104 140018867466632 140018878841473 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26409] ppid=26404 vsize=27313900 memory=732369871605210085 CPUtime=0 cores=0-7
/proc/26407/task/26409/stat : 26409 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 27132 33554432000 4194304 4196468 140728010321104 140018899896592 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26410] ppid=26404 vsize=27313900 memory=139733267756672 CPUtime=0 cores=0-7
/proc/26407/task/26410/stat : 26410 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 27132 33554432000 4194304 4196468 140728010321104 140018714053008 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26411] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26411/stat : 26411 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 27132 33554432000 4194304 4196468 140728010321104 140018713000464 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26412] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26412/stat : 26412 (java) S 26404 26404 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 27132 33554432000 4194304 4196468 140728010321104 140018711947920 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26413] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26413/stat : 26413 (java) S 26404 26404 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 27132 33554432000 4194304 4196468 140728010321104 140018710895376 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26414] ppid=26404 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/26407/task/26414/stat : 26414 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 27132 33554432000 4194304 4196468 140728010321104 140018709842832 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26415] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26415/stat : 26415 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 27132 33554432000 4194304 4196468 140728010321104 140018708790288 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26416] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26416/stat : 26416 (java) S 26404 26404 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 27132 33554432000 4194304 4196468 140728010321104 140018707737744 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26417] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26417/stat : 26417 (java) S 26404 26404 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237268628 27969433600 27132 33554432000 4194304 4196468 140728010321104 140017014466544 140018895665794 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26418] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26418/stat : 26418 (java) S 26404 26404 26232 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237268628 27969433600 27132 33554432000 4194304 4196468 140728010321104 140016806257568 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26419] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26419/stat : 26419 (java) S 26404 26404 26232 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237268628 27969433600 27132 33554432000 4194304 4196468 140728010321104 140016672035824 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26420] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26420/stat : 26420 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 27132 33554432000 4194304 4196468 140728010321104 140016297531600 140018895673243 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26421] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26421/stat : 26421 (java) S 26404 26404 26232 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 27132 33554432000 4194304 4196468 140728010321104 140017013414384 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26422] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26422/stat : 26422 (java) S 26404 26404 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 27132 33554432000 4194304 4196468 140728010321104 140017012361840 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26423] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26423/stat : 26423 (java) S 26404 26404 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 27132 33554432000 4194304 4196468 140728010321104 140017011309296 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26424] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26424/stat : 26424 (java) R 26404 26404 26232 0 -1 4202560 276 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 27132 33554432000 4194304 4196468 140728010321104 140017010256752 140018875981472 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26425] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26425/stat : 26425 (java) S 26404 26404 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 27132 33554432000 4194304 4196468 140728010321104 140015799625952 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26426] ppid=26404 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/26407/task/26426/stat : 26426 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 27132 33554432000 4194304 4196468 140728010321104 140017009203632 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 109920 KiB

[startup+0.21014 s]*
/proc/loadavg: 5.99 7.71 7.31 2/200 26426
/proc/meminfo: memFree=23909536/32770624 swapFree=67108196/67108860
[pid=26404] ppid=26401 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/26404/stat : 26404 (scop.sh) S 26401 26404 26232 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 237268623 115843072 348 33554432000 4194304 5098028 140723908377952 140723908375208 140325276758652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34979840 140723908379682 140723908379907 140723908379907 140723908382669 0
/proc/26404/statm: 28282 348 296 221 0 87 0
[pid=26407] ppid=26404 vsize=27313900 memory=121320 CPUtime=0.24 cores=0-7
/proc/26407/stat : 26407 (java) S 26404 26404 26232 0 -1 1077944320 10562 0 0 0 20 4 0 0 20 0 20 0 237268623 27969433600 30330 33554432000 4194304 4196468 140728010321104 140728010303648 140018895654647 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
/proc/26407/statm: 6828475 30330 2863 1 0 6790935 0
[pid=26407/tid=26408] ppid=26404 vsize=27313900 memory=0 CPUtime=0.19 cores=0-7
/proc/26407/task/26408/stat : 26408 (java) R 26404 26404 26232 0 -1 4202560 8443 0 0 0 16 3 0 0 20 0 20 0 237268624 27969433600 30330 33554432000 4194304 4196468 140728010321104 140018867463392 140018877048381 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26409] ppid=26404 vsize=27313900 memory=279466404853496 CPUtime=0 cores=0-7
/proc/26407/task/26409/stat : 26409 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 30330 33554432000 4194304 4196468 140728010321104 140018899896592 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26410] ppid=26404 vsize=27313900 memory=139733267756672 CPUtime=0 cores=0-7
/proc/26407/task/26410/stat : 26410 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 30330 33554432000 4194304 4196468 140728010321104 140018714053008 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26411] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26411/stat : 26411 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 30330 33554432000 4194304 4196468 140728010321104 140018713000464 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26412] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26412/stat : 26412 (java) S 26404 26404 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 30330 33554432000 4194304 4196468 140728010321104 140018711947920 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26413] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26413/stat : 26413 (java) S 26404 26404 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 30330 33554432000 4194304 4196468 140728010321104 140018710895376 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26414] ppid=26404 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/26407/task/26414/stat : 26414 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 30330 33554432000 4194304 4196468 140728010321104 140018709842832 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26415] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26415/stat : 26415 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 30330 33554432000 4194304 4196468 140728010321104 140018708790288 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26416] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26416/stat : 26416 (java) S 26404 26404 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 30330 33554432000 4194304 4196468 140728010321104 140018707737744 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26417] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26417/stat : 26417 (java) S 26404 26404 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237268628 27969433600 30330 33554432000 4194304 4196468 140728010321104 140017014466544 140018895665794 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26418] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26418/stat : 26418 (java) S 26404 26404 26232 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237268628 27969433600 30330 33554432000 4194304 4196468 140728010321104 140016806257568 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26419] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26419/stat : 26419 (java) S 26404 26404 26232 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237268628 27969433600 30330 33554432000 4194304 4196468 140728010321104 140016672035824 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26420] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26420/stat : 26420 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 30330 33554432000 4194304 4196468 140728010321104 140016297531600 140018895673243 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26421] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26421/stat : 26421 (java) S 26404 26404 26232 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 30330 33554432000 4194304 4196468 140728010321104 140017013414384 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26422] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26422/stat : 26422 (java) S 26404 26404 26232 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 30330 33554432000 4194304 4196468 140728010321104 140017012361840 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26423] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26423/stat : 26423 (java) S 26404 26404 26232 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 30330 33554432000 4194304 4196468 140728010321104 140017011309296 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26424] ppid=26404 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/26407/task/26424/stat : 26424 (java) S 26404 26404 26232 0 -1 1077944384 289 0 0 0 2 0 0 0 20 0 20 0 237268631 27969433600 30330 33554432000 4194304 4196468 140728010321104 140017010256752 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26425] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26425/stat : 26425 (java) S 26404 26404 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 30330 33554432000 4194304 4196468 140728010321104 140015799625952 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26426] ppid=26404 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/26407/task/26426/stat : 26426 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 30330 33554432000 4194304 4196468 140728010321104 140017009203632 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 122712 KiB

[startup+0.309595 s]*
/proc/loadavg: 5.99 7.71 7.31 2/200 26426
/proc/meminfo: memFree=23906372/32770624 swapFree=67108196/67108860
[pid=26404] ppid=26401 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/26404/stat : 26404 (scop.sh) S 26401 26404 26232 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 237268623 115843072 348 33554432000 4194304 5098028 140723908377952 140723908375208 140325276758652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34979840 140723908379682 140723908379907 140723908379907 140723908382669 0
/proc/26404/statm: 28282 348 296 221 0 87 0
[pid=26407] ppid=26404 vsize=27313900 memory=125136 CPUtime=0.41 cores=0-7
/proc/26407/stat : 26407 (java) S 26404 26404 26232 0 -1 1077944320 11137 0 0 0 37 4 0 0 20 0 20 0 237268623 27969433600 31284 33554432000 4194304 4196468 140728010321104 140728010303648 140018895654647 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
/proc/26407/statm: 6828475 31284 2963 1 0 6790935 0
[pid=26407/tid=26408] ppid=26404 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/26407/task/26408/stat : 26408 (java) R 26404 26404 26232 0 -1 4202560 8835 0 0 0 26 3 0 0 20 0 20 0 237268624 27969433600 31284 33554432000 4194304 4196468 140728010321104 140018867450096 140018880820192 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26409] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26409/stat : 26409 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 31284 33554432000 4194304 4196468 140728010321104 140018899896592 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26410] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26410/stat : 26410 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 31284 33554432000 4194304 4196468 140728010321104 140018714053008 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26411] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26411/stat : 26411 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 31284 33554432000 4194304 4196468 140728010321104 140018713000464 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26412] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26412/stat : 26412 (java) S 26404 26404 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 31284 33554432000 4194304 4196468 140728010321104 140018711947920 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26413] ppid=26404 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/26407/task/26413/stat : 26413 (java) S 26404 26404 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 31284 33554432000 4194304 4196468 140728010321104 140018710895376 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26414] ppid=26404 vsize=27313900 memory=139733137191855 CPUtime=0 cores=0-7
/proc/26407/task/26414/stat : 26414 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 31284 33554432000 4194304 4196468 140728010321104 140018709842832 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26415] ppid=26404 vsize=27313900 memory=139733137194160 CPUtime=0 cores=0-7
/proc/26407/task/26415/stat : 26415 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 31284 33554432000 4194304 4196468 140728010321104 140018708790288 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26416] ppid=26404 vsize=27313900 memory=139733137196464 CPUtime=0 cores=0-7
/proc/26407/task/26416/stat : 26416 (java) S 26404 26404 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237268626 27969433600 31284 33554432000 4194304 4196468 140728010321104 140018707737744 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26417] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26417/stat : 26417 (java) S 26404 26404 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237268628 27969433600 31284 33554432000 4194304 4196468 140728010321104 140017014466544 140018895665794 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26418] ppid=26404 vsize=27313900 memory=279466274399888 CPUtime=0 cores=0-7
/proc/26407/task/26418/stat : 26418 (java) S 26404 26404 26232 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237268628 27969433600 31284 33554432000 4194304 4196468 140728010321104 140016806257568 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26419] ppid=26404 vsize=27313900 memory=279466274406800 CPUtime=0 cores=0-7
/proc/26407/task/26419/stat : 26419 (java) S 26404 26404 26232 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237268628 27969433600 31284 33554432000 4194304 4196468 140728010321104 140016672035824 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26420] ppid=26404 vsize=27313900 memory=279466274348080 CPUtime=0 cores=0-7
/proc/26407/task/26420/stat : 26420 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 31284 33554432000 4194304 4196468 140728010321104 140016297531600 140018895673243 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26421] ppid=26404 vsize=27313900 memory=279466274420624 CPUtime=0.01 cores=0-7
/proc/26407/task/26421/stat : 26421 (java) S 26404 26404 26232 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 20 0 237268631 27969433600 31284 33554432000 4194304 4196468 140728010321104 140017013414384 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26422] ppid=26404 vsize=27313900 memory=279466274427536 CPUtime=0 cores=0-7
/proc/26407/task/26422/stat : 26422 (java) S 26404 26404 26232 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 31284 33554432000 4194304 4196468 140728010321104 140017012361840 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26423] ppid=26404 vsize=27313900 memory=279466274425232 CPUtime=0.01 cores=0-7
/proc/26407/task/26423/stat : 26423 (java) S 26404 26404 26232 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 237268631 27969433600 31284 33554432000 4194304 4196468 140728010321104 140017011309296 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26424] ppid=26404 vsize=27313900 memory=279466274441392 CPUtime=0.07 cores=0-7
/proc/26407/task/26424/stat : 26424 (java) S 26404 26404 26232 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 20 0 237268631 27969433600 31284 33554432000 4194304 4196468 140728010321104 140017010256752 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26425] ppid=26404 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26425/stat : 26425 (java) S 26404 26404 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 31284 33554432000 4194304 4196468 140728010321104 140015799625952 140018895664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26426] ppid=26404 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/26407/task/26426/stat : 26426 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268631 27969433600 31284 33554432000 4194304 4196468 140728010321104 140017009203632 140018895665794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126528 KiB

[startup+0.700937 s]
/proc/loadavg: 5.99 7.71 7.31 2/200 26426
/proc/meminfo: memFree=23882552/32770624 swapFree=67108196/67108860
[pid=26404] ppid=26401 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/26404/stat : 26404 (scop.sh) S 26401 26404 26232 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 237268623 115843072 348 33554432000 4194304 5098028 140723908377952 140723908375208 140325276758652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34979840 140723908379682 140723908379907 140723908379907 140723908382669 0
/proc/26404/statm: 28282 348 296 221 0 87 0
[pid=26407] ppid=26404 vsize=27320172 memory=162640 CPUtime=0.98 cores=0-7
/proc/26407/stat : 26407 (java) S 26404 26404 26232 0 -1 1077944320 18190 0 0 0 92 6 0 0 20 0 20 0 237268623 27975856128 40660 33554432000 4194304 4196468 140728010321104 140728010303648 140018895654647 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
/proc/26407/statm: 6830043 40660 3128 1 0 6791447 0
[pid=26407/tid=26408] ppid=26404 vsize=27320172 memory=279466274736256 CPUtime=0.67 cores=0-7
/proc/26407/task/26408/stat : 26408 (java) R 26404 26404 26232 0 -1 4202560 15342 0 0 0 62 5 0 0 20 0 20 0 237268624 27975856128 40660 33554432000 4194304 4196468 140728010321104 140018867492224 140018895666582 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26409] ppid=26404 vsize=27320172 memory=5046586573967 CPUtime=0 cores=0-7
/proc/26407/task/26409/stat : 26409 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27975856128 40660 33554432000 4194304 4196468 140728010321104 140018899896592 140018895664853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26410] ppid=26404 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26410/stat : 26410 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27975856128 40660 33554432000 4194304 4196468 140728010321104 140018714053008 140018895664853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0
[pid=26407/tid=26411] ppid=26404 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/26407/task/26411/stat : 26411 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237268626 27975856128 40660 33554432000 4194304 4196468 140728010321104 140018713000464 140018895664853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16125952 140728010327016 140728010327341 140728010327341 140728010330063 0

################
# More data... #
################

[pid=26427/tid=26428] ppid=26404 vsize=8413904 memory=1124 CPUtime=0.82 cores=0-7
/proc/26427/task/26428/stat : 26428 (java) S 26404 26404 26232 0 -1 1077944384 15571 0 0 0 75 7 0 0 20 0 24 0 237270429 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207673368464 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26429] ppid=26404 vsize=8413904 memory=1824 CPUtime=0 cores=0-7
/proc/26427/task/26429/stat : 26429 (java) S 26404 26404 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237270430 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207705770768 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26430] ppid=26404 vsize=8413904 memory=1356 CPUtime=0 cores=0-7
/proc/26427/task/26430/stat : 26430 (java) S 26404 26404 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237270430 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207186410384 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26431] ppid=26404 vsize=8413904 memory=4140 CPUtime=0 cores=0-7
/proc/26427/task/26431/stat : 26431 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237270430 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207185357840 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26432] ppid=26404 vsize=8413904 memory=6316 CPUtime=0 cores=0-7
/proc/26427/task/26432/stat : 26432 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237270430 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207184305296 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26433] ppid=26404 vsize=8413904 memory=1628 CPUtime=0 cores=0-7
/proc/26427/task/26433/stat : 26433 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237270430 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207183251728 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26434] ppid=26404 vsize=8413904 memory=1100 CPUtime=0 cores=0-7
/proc/26427/task/26434/stat : 26434 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237270430 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207182199184 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26435] ppid=26404 vsize=8413904 memory=15188 CPUtime=0 cores=0-7
/proc/26427/task/26435/stat : 26435 (java) S 26404 26404 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237270430 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207181146640 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26436] ppid=26404 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/26427/task/26436/stat : 26436 (java) S 26404 26404 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237270430 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207180094096 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26437] ppid=26404 vsize=8413904 memory=4028 CPUtime=0 cores=0-7
/proc/26427/task/26437/stat : 26437 (java) S 26404 26404 26232 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 237270432 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207130634736 140207701539458 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26438] ppid=26404 vsize=8413904 memory=15916 CPUtime=0 cores=0-7
/proc/26427/task/26438/stat : 26438 (java) S 26404 26404 26232 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237270432 8615837696 30945 33554432000 4194304 4196468 140734452159280 140206053254560 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26439] ppid=26404 vsize=8413904 memory=504 CPUtime=0 cores=0-7
/proc/26427/task/26439/stat : 26439 (java) S 26404 26404 26232 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 237270432 8615837696 30945 33554432000 4194304 4196468 140734452159280 140205919032816 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26440] ppid=26404 vsize=8413904 memory=1704 CPUtime=0 cores=0-7
/proc/26427/task/26440/stat : 26440 (java) S 26404 26404 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237270435 8615837696 30945 33554432000 4194304 4196468 140734452159280 140205544528592 140207701546907 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26441] ppid=26404 vsize=8413904 memory=1176 CPUtime=0.09 cores=0-7
/proc/26427/task/26441/stat : 26441 (java) S 26404 26404 26232 0 -1 1077944384 594 0 0 0 9 0 0 0 20 0 24 0 237270435 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207129581552 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26442] ppid=26404 vsize=8413904 memory=932 CPUtime=0.13 cores=0-7
/proc/26427/task/26442/stat : 26442 (java) S 26404 26404 26232 0 -1 1077944384 376 0 0 0 13 0 0 0 20 0 24 0 237270435 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207128529008 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26443] ppid=26404 vsize=8413904 memory=2056 CPUtime=0.13 cores=0-7
/proc/26427/task/26443/stat : 26443 (java) S 26404 26404 26232 0 -1 1077944384 660 0 0 0 13 0 0 0 20 0 24 0 237270435 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207059888368 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26444] ppid=26404 vsize=8413904 memory=928 CPUtime=0.22 cores=0-7
/proc/26427/task/26444/stat : 26444 (java) S 26404 26404 26232 0 -1 1077944384 608 0 0 0 22 0 0 0 20 0 24 0 237270435 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207058835824 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26445] ppid=26404 vsize=8413904 memory=1568 CPUtime=0 cores=0-7
/proc/26427/task/26445/stat : 26445 (java) S 26404 26404 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237270435 8615837696 30945 33554432000 4194304 4196468 140734452159280 140205046622944 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26446] ppid=26404 vsize=8413904 memory=2216 CPUtime=0 cores=0-7
/proc/26427/task/26446/stat : 26446 (java) S 26404 26404 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237270435 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207057783728 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26448] ppid=26404 vsize=8413904 memory=3984 CPUtime=0 cores=0-7
/proc/26427/task/26448/stat : 26448 (java) S 26404 26404 26232 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237270509 8615837696 30945 33554432000 4194304 4196468 140734452159280 140207050307264 140207701552921 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26450] ppid=26404 vsize=8413904 memory=2036 CPUtime=0 cores=0-7
/proc/26427/task/26450/stat : 26450 (java) S 26404 26404 26232 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 237270509 8615837696 30945 33554432000 4194304 4196468 140734452159280 140204375522608 140207701550237 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26451] ppid=26404 vsize=8413904 memory=8148 CPUtime=0 cores=0-7
/proc/26427/task/26451/stat : 26451 (java) S 26404 26404 26232 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 237270509 8615837696 30945 33554432000 4194304 4196468 140734452159280 140204643958192 140207701550237 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26452] ppid=26404 vsize=8413904 memory=816 CPUtime=0 cores=0-7
/proc/26427/task/26452/stat : 26452 (java) S 26404 26404 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237270511 8615837696 30945 33554432000 4194304 4196468 140734452159280 140204107095200 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
Current children cumulated CPU time: 49.7 s
Current children cumulated vsize: 9935188 KiB
Current children cumulated memory: 952760 KiB

[startup+23.8011 s]
/proc/loadavg: 5.05 7.39 7.21 9/213 26460
/proc/meminfo: memFree=23053700/32770624 swapFree=67108196/67108860
[pid=26404] ppid=26401 vsize=113128 memory=1468 CPUtime=37.82 cores=0-7
/proc/26404/stat : 26404 (scop.sh) S 26401 26404 26232 0 -1 4202496 589 49215 0 0 0 0 3632 150 20 0 1 0 237268623 115843072 367 33554432000 4194304 5098028 140723908377952 140723908374696 140325276758652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34979840 140723908379682 140723908379907 140723908379907 140723908382669 0
/proc/26404/statm: 28282 367 311 221 0 87 0
[pid=26427] ppid=26404 vsize=8282828 memory=144160 CPUtime=12.85 cores=0-7
/proc/26427/stat : 26427 (java) S 26404 26404 26232 0 -1 1077944320 20216 188435 0 0 158 10 1076 41 20 0 22 0 237270428 8481615872 36040 33554432000 4194304 4196468 140734452159280 140734452141824 140207701528311 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
/proc/26427/statm: 2070707 36040 3171 1 0 2032106 0
[pid=26427/tid=26428] ppid=26404 vsize=8282828 memory=64068 CPUtime=12.01 cores=0-7
/proc/26427/task/26428/stat : 26428 (java) R 26404 26404 26232 0 -1 4202560 15668 188435 0 0 77 7 1076 41 20 0 22 0 237270429 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207673302768 140207685608798 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26429] ppid=26404 vsize=8282828 memory=1692 CPUtime=11.17 cores=0-7
/proc/26427/task/26429/stat : 26429 (java) S 26404 26404 26232 0 -1 1077944384 2 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207705770768 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26430] ppid=26404 vsize=8282828 memory=916 CPUtime=11.17 cores=0-7
/proc/26427/task/26430/stat : 26430 (java) S 26404 26404 26232 0 -1 1077944384 2 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207186410384 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26431] ppid=26404 vsize=8282828 memory=4196 CPUtime=11.17 cores=0-7
/proc/26427/task/26431/stat : 26431 (java) S 26404 26404 26232 0 -1 1077944384 1 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207185357840 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26432] ppid=26404 vsize=8282828 memory=1408 CPUtime=11.17 cores=0-7
/proc/26427/task/26432/stat : 26432 (java) S 26404 26404 26232 0 -1 1077944384 1 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207184305296 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26433] ppid=26404 vsize=8282828 memory=2964 CPUtime=11.17 cores=0-7
/proc/26427/task/26433/stat : 26433 (java) S 26404 26404 26232 0 -1 1077944384 1 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207183251728 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26434] ppid=26404 vsize=8282828 memory=1468 CPUtime=11.17 cores=0-7
/proc/26427/task/26434/stat : 26434 (java) S 26404 26404 26232 0 -1 1077944384 1 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207182199184 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26435] ppid=26404 vsize=8282828 memory=123780 CPUtime=11.17 cores=0-7
/proc/26427/task/26435/stat : 26435 (java) S 26404 26404 26232 0 -1 1077944384 2 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207181146640 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26436] ppid=26404 vsize=8282828 memory=807976 CPUtime=11.17 cores=0-7
/proc/26427/task/26436/stat : 26436 (java) S 26404 26404 26232 0 -1 1077944384 3 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207180094096 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26437] ppid=26404 vsize=8282828 memory=8039887049847965604 CPUtime=11.17 cores=0-7
/proc/26427/task/26437/stat : 26437 (java) S 26404 26404 26232 0 -1 1077944384 5 188435 0 0 0 0 1076 41 20 0 22 0 237270432 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207130634736 140207701539458 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26438] ppid=26404 vsize=8282828 memory=0 CPUtime=11.17 cores=0-7
/proc/26427/task/26438/stat : 26438 (java) S 26404 26404 26232 0 -1 1077944384 13 188435 0 0 0 0 1076 41 20 0 22 0 237270432 8481615872 36040 33554432000 4194304 4196468 140734452159280 140206053254560 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26439] ppid=26404 vsize=8282828 memory=0 CPUtime=11.17 cores=0-7
/proc/26427/task/26439/stat : 26439 (java) S 26404 26404 26232 0 -1 1077944384 21 188435 0 0 0 0 1076 41 20 0 22 0 237270432 8481615872 36040 33554432000 4194304 4196468 140734452159280 140205919032816 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26440] ppid=26404 vsize=8282828 memory=0 CPUtime=11.17 cores=0-7
/proc/26427/task/26440/stat : 26440 (java) S 26404 26404 26232 0 -1 1077944384 1 188435 0 0 0 0 1076 41 20 0 22 0 237270435 8481615872 36040 33554432000 4194304 4196468 140734452159280 140205544528592 140207701546907 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26441] ppid=26404 vsize=8282828 memory=0 CPUtime=11.29 cores=0-7
/proc/26427/task/26441/stat : 26441 (java) S 26404 26404 26232 0 -1 1077944384 600 188435 0 0 12 0 1076 41 20 0 22 0 237270435 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207129581552 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26442] ppid=26404 vsize=8282828 memory=0 CPUtime=11.33 cores=0-7
/proc/26427/task/26442/stat : 26442 (java) S 26404 26404 26232 0 -1 1077944384 661 188435 0 0 16 0 1076 41 20 0 22 0 237270435 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207128529008 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26443] ppid=26404 vsize=8282828 memory=2241 CPUtime=11.32 cores=0-7
/proc/26427/task/26443/stat : 26443 (java) S 26404 26404 26232 0 -1 1077944384 674 188435 0 0 15 0 1076 41 20 0 22 0 237270435 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207059888368 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26444] ppid=26404 vsize=8282828 memory=2244 CPUtime=11.43 cores=0-7
/proc/26427/task/26444/stat : 26444 (java) S 26404 26404 26232 0 -1 1077944384 1135 188435 0 0 26 0 1076 41 20 0 22 0 237270435 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207058835824 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26445] ppid=26404 vsize=8282828 memory=-7966001734603266090 CPUtime=11.17 cores=0-7
/proc/26427/task/26445/stat : 26445 (java) S 26404 26404 26232 0 -1 1077944384 3 188435 0 0 0 0 1076 41 20 0 22 0 237270435 8481615872 36040 33554432000 4194304 4196468 140734452159280 140205046622944 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26446] ppid=26404 vsize=8282828 memory=-6876588627878947929 CPUtime=11.17 cores=0-7
/proc/26427/task/26446/stat : 26446 (java) S 26404 26404 26232 0 -1 1077944384 3 188435 0 0 0 0 1076 41 20 0 22 0 237270435 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207057783728 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26448] ppid=26404 vsize=8282828 memory=-7101718590825193272 CPUtime=11.17 cores=0-7
/proc/26427/task/26448/stat : 26448 (java) S 26404 26404 26232 0 -1 1077944384 24 188435 0 0 0 0 1076 41 20 0 22 0 237270509 8481615872 36040 33554432000 4194304 4196468 140734452159280 140207050306448 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26452] ppid=26404 vsize=8282828 memory=6944656592387989600 CPUtime=11.17 cores=0-7
/proc/26427/task/26452/stat : 26452 (java) S 26404 26404 26232 0 -1 1077944384 7 188435 0 0 0 0 1076 41 20 0 22 0 237270511 8481615872 36040 33554432000 4194304 4196468 140734452159280 140204107097008 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
Current children cumulated CPU time: 50.67 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 145628 KiB

[startup+23.901 s]
/proc/loadavg: 5.05 7.39 7.21 9/213 26460
/proc/meminfo: memFree=23053700/32770624 swapFree=67108196/67108860
[pid=26404] ppid=26401 vsize=113128 memory=1468 CPUtime=37.82 cores=0-7
/proc/26404/stat : 26404 (scop.sh) S 26401 26404 26232 0 -1 4202496 589 49215 0 0 0 0 3632 150 20 0 1 0 237268623 115843072 367 33554432000 4194304 5098028 140723908377952 140723908374696 140325276758652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34979840 140723908379682 140723908379907 140723908379907 140723908382669 0
/proc/26404/statm: 28282 367 311 221 0 87 0
[pid=26427] ppid=26404 vsize=8282828 memory=150472 CPUtime=13.1 cores=0-7
/proc/26427/stat : 26427 (java) S 26404 26404 26232 0 -1 1077944320 20743 188435 0 0 183 10 1076 41 20 0 22 0 237270428 8481615872 37618 33554432000 4194304 4196468 140734452159280 140734452141824 140207701528311 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
/proc/26427/statm: 2070707 37618 3177 1 0 2032106 0
[pid=26427/tid=26428] ppid=26404 vsize=8282828 memory=-9108684669924967205 CPUtime=12.11 cores=0-7
/proc/26427/task/26428/stat : 26428 (java) R 26404 26404 26232 0 -1 4202560 15795 188435 0 0 87 7 1076 41 20 0 22 0 237270429 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207673363728 140207208404807 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26429] ppid=26404 vsize=8282828 memory=125056 CPUtime=11.17 cores=0-7
/proc/26427/task/26429/stat : 26429 (java) S 26404 26404 26232 0 -1 1077944384 2 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207705770768 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26430] ppid=26404 vsize=8282828 memory=1392 CPUtime=11.17 cores=0-7
/proc/26427/task/26430/stat : 26430 (java) S 26404 26404 26232 0 -1 1077944384 2 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207186410384 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26431] ppid=26404 vsize=8282828 memory=1392 CPUtime=11.17 cores=0-7
/proc/26427/task/26431/stat : 26431 (java) S 26404 26404 26232 0 -1 1077944384 1 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207185357840 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26432] ppid=26404 vsize=8282828 memory=6035896 CPUtime=11.17 cores=0-7
/proc/26427/task/26432/stat : 26432 (java) S 26404 26404 26232 0 -1 1077944384 1 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207184305296 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26433] ppid=26404 vsize=8282828 memory=844 CPUtime=11.17 cores=0-7
/proc/26427/task/26433/stat : 26433 (java) S 26404 26404 26232 0 -1 1077944384 1 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207183251728 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26434] ppid=26404 vsize=8282828 memory=10072 CPUtime=11.17 cores=0-7
/proc/26427/task/26434/stat : 26434 (java) S 26404 26404 26232 0 -1 1077944384 1 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207182199184 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26435] ppid=26404 vsize=8282828 memory=5012 CPUtime=11.17 cores=0-7
/proc/26427/task/26435/stat : 26435 (java) S 26404 26404 26232 0 -1 1077944384 2 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207181146640 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26436] ppid=26404 vsize=8282828 memory=1392 CPUtime=11.17 cores=0-7
/proc/26427/task/26436/stat : 26436 (java) S 26404 26404 26232 0 -1 1077944384 3 188435 0 0 0 0 1076 41 20 0 22 0 237270430 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207180094096 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26437] ppid=26404 vsize=8282828 memory=6035896 CPUtime=11.17 cores=0-7
/proc/26427/task/26437/stat : 26437 (java) S 26404 26404 26232 0 -1 1077944384 5 188435 0 0 0 0 1076 41 20 0 22 0 237270432 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207130634736 140207701539458 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26438] ppid=26404 vsize=8282828 memory=0 CPUtime=11.17 cores=0-7
/proc/26427/task/26438/stat : 26438 (java) S 26404 26404 26232 0 -1 1077944384 13 188435 0 0 0 0 1076 41 20 0 22 0 237270432 8481615872 37618 33554432000 4194304 4196468 140734452159280 140206053254560 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26439] ppid=26404 vsize=8282828 memory=8039887049847965604 CPUtime=11.17 cores=0-7
/proc/26427/task/26439/stat : 26439 (java) S 26404 26404 26232 0 -1 1077944384 21 188435 0 0 0 0 1076 41 20 0 22 0 237270432 8481615872 37618 33554432000 4194304 4196468 140734452159280 140205919032816 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26440] ppid=26404 vsize=8282828 memory=65 CPUtime=11.17 cores=0-7
/proc/26427/task/26440/stat : 26440 (java) S 26404 26404 26232 0 -1 1077944384 1 188435 0 0 0 0 1076 41 20 0 22 0 237270435 8481615872 37618 33554432000 4194304 4196468 140734452159280 140205544528592 140207701546907 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26441] ppid=26404 vsize=8282828 memory=-8382741927119592821 CPUtime=11.31 cores=0-7
/proc/26427/task/26441/stat : 26441 (java) S 26404 26404 26232 0 -1 1077944384 623 188435 0 0 14 0 1076 41 20 0 22 0 237270435 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207129581552 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26442] ppid=26404 vsize=8282828 memory=-8540331613351157109 CPUtime=11.35 cores=0-7
/proc/26427/task/26442/stat : 26442 (java) S 26404 26404 26232 0 -1 1077944384 697 188435 0 0 18 0 1076 41 20 0 22 0 237270435 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207128529008 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26443] ppid=26404 vsize=8282828 memory=0 CPUtime=11.36 cores=0-7
/proc/26427/task/26443/stat : 26443 (java) R 26404 26404 26232 0 -1 4202560 755 188435 0 0 19 0 1076 41 20 0 22 0 237270435 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207059877968 140207683048057 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26444] ppid=26404 vsize=8282828 memory=5450909908396308010 CPUtime=11.5 cores=0-7
/proc/26427/task/26444/stat : 26444 (java) R 26404 26404 26232 0 -1 4202560 1397 188435 0 0 33 0 1076 41 20 0 22 0 237270435 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207058830176 140207694625036 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26445] ppid=26404 vsize=8282828 memory=-8814538831020006773 CPUtime=11.17 cores=0-7
/proc/26427/task/26445/stat : 26445 (java) S 26404 26404 26232 0 -1 1077944384 3 188435 0 0 0 0 1076 41 20 0 22 0 237270435 8481615872 37618 33554432000 4194304 4196468 140734452159280 140205046622944 140207701538517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26446] ppid=26404 vsize=8282828 memory=3760 CPUtime=11.17 cores=0-7
/proc/26427/task/26446/stat : 26446 (java) S 26404 26404 26232 0 -1 1077944384 3 188435 0 0 0 0 1076 41 20 0 22 0 237270435 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207057783728 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26448] ppid=26404 vsize=8282828 memory=662363608034390319 CPUtime=11.17 cores=0-7
/proc/26427/task/26448/stat : 26448 (java) S 26404 26404 26232 0 -1 1077944384 24 188435 0 0 0 0 1076 41 20 0 22 0 237270509 8481615872 37618 33554432000 4194304 4196468 140734452159280 140207050306448 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
[pid=26427/tid=26452] ppid=26404 vsize=8282828 memory=7649399358495143474 CPUtime=11.17 cores=0-7
/proc/26427/task/26452/stat : 26452 (java) S 26404 26404 26232 0 -1 1077944384 7 188435 0 0 0 0 1076 41 20 0 22 0 237270511 8481615872 37618 33554432000 4194304 4196468 140734452159280 140204107097008 140207701539458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140734452163761 140734452163885 140734452163885 140734452166607 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 151940 KiB

Child status: 0
Real time (s): 23.9263
CPU time (s): 51.0036
CPU user time (s): 48.9655
CPU system time (s): 2.03816
CPU usage (%): 213.17
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6037288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.9655
system time used= 2.03816
maximum resident set size= 6035992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259075
page faults= 0
swaps= 0
block input operations= 0
block output operations= 101768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27513
involuntary context switches= 132


# summary of solver processes directly reported to runsolver:
#   pid: 26404
#   total CPU time (s): 51.0036
#   total CPU user time (s): 48.9655
#   total CPU system time (s): 2.03816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.211629 second user time and 0.255152 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-13 23:50:54
IDJOB=4307084
IDBENCH=141463
IDSOLVER=2788
FILE ID=node151/4307084-1534197054
RUNJOBID= node151-1534197026-26259
PBS_JOBID= 21038001
Free space on /tmp= 41400 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-65-02_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-4307084-1534197054/watcher-4307084-1534197054 -o /tmp/evaluation-result-4307084-1534197054/solver-4307084-1534197054 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1534197026-26259 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307084-1534197054.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 5b8cef4a239c531d2bd2d2ec1c21b605
RANDOM SEED=144427331

node151.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.87
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.87
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.87
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.87
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:        24020056 kB
MemAvailable:   31900728 kB
Buffers:          125868 kB
Cached:          7967536 kB
SwapCached:           12 kB
Active:          4126912 kB
Inactive:        4021104 kB
Active(anon):       4052 kB
Inactive(anon):   102836 kB
Active(file):    4122860 kB
Inactive(file):  3918268 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108196 kB
Dirty:              8888 kB
Writeback:             0 kB
AnonPages:         90912 kB
Mapped:            54952 kB
Shmem:             49524 kB
Slab:             296028 kB
SReclaimable:     268004 kB
SUnreclaim:        28024 kB
KernelStack:        3536 kB
PageTables:         5440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41388 MiB
End job on node151 at 2018-08-13 23:51:18