Trace number 4307088

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 70.7552 28.7637

General information on the benchmark

NameCarSequencing/
CarSequencing-75-02_c18.xml
MD5SUMb40938607e467681e9fbf6ea551bf52a
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.45662
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1416
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree64
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":40,"count":14}, {"degree":41,"count":14}, {"degree":42,"count":29}, {"degree":43,"count":8}, {"degree":44,"count":8}, {"degree":45,"count":8}, {"degree":46,"count":9}, {"degree":47,"count":9}, {"degree":48,"count":74}, {"degree":49,"count":5}, {"degree":50,"count":5}, {"degree":51,"count":5}, {"degree":52,"count":5}, {"degree":53,"count":5}, {"degree":54,"count":5}, {"degree":55,"count":5}, {"degree":56,"count":6}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":3}, {"degree":64,"count":79}]
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":2},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":2},{"arity":47,"count":1},{"arity":50,"count":3},{"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":2},{"arity":74,"count":2},{"arity":75,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1215},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	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-9155-serial-file.bin HOME/instance-4307088-1534197180.xml
0.64/0.54	
0.64/0.55	scop order+glucose-syrup (2018-07-31)
0.64/0.55	(Encoding Process)
0.64/0.55	
0.64/0.57	c BEGIN-Prog: Mon Aug 13 23:53:01 CEST 2018
0.64/0.57	c PID: 9158
0.64/0.57	c IP: 172.20.3.107
0.64/0.57	c HOST: node107.alineos.net
0.64/0.58	c (0,0) Parsing Begin
2.90/1.39	c (0,0) Parsing End
3.26/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1416 ctr, max domain size 24
3.26/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.26/1.41	c (0,0) Constraint Name Generate Begin
3.26/1.43	c (0,0) Ctr:HOME/instance-4307088-1534197180.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.26/1.43	c (0,0) Constraint Name Generate End
3.26/1.43	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.26/1.43	c (0,0) CSP to CSPinCNF Begin
11.86/4.42	c (3,3) translated 142 (10%) constraints
12.43/4.90	c (4,4) translated 284 (20%) constraints
12.43/4.92	c (4,4) translated 425 (30%) constraints
12.43/4.95	c (4,4) translated 567 (40%) constraints
12.43/4.98	c (4,4) translated 708 (50%) constraints
12.43/5.00	c (4,4) translated 850 (60%) constraints
12.94/5.01	c (4,4) translated 992 (70%) constraints
12.94/5.03	c (4,4) translated 1133 (80%) constraints
15.21/6.44	c (5,5) translated 1275 (90%) constraints
16.32/7.52	c (6,6) translated 1416 (100%) constraints
17.59/8.09	c (7,7) STATISTICS1:HOME/instance-4307088-1534197180.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16200,55839,9223372036854775807,24,25,200,9223372036854775807:255;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:3;70368744177664:1;17592186044416:2;8796093022208:1;1099511627776:1;549755813888:2;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,24:18800;2:156165,25:200;3:28800;2:25600;1:1239,200:53;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;77:2;75:2;74:2;71:2;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:3;47:1;45:2;44:1;41:1;40:2;35:1;30:1;25:1;5:392;3:396;2:199;1:142400;0:200,17689:53;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2601:2;2500:2;2401:2;2209:2;2116:2;2025:1;1849:3
17.59/8.09	c (7,7) ==========================================
17.59/8.09	c (7,7) Order
17.59/8.09	c (7,7) ==========================================
20.17/8.85	c (8,8) translated 5584 (10%) constraints
20.99/9.10	c (8,8) translated 11168 (20%) constraints
21.35/9.20	c (8,8) translated 16752 (30%) constraints
21.63/9.28	c (8,8) translated 22336 (40%) constraints
21.76/9.37	c (8,8) translated 27920 (50%) constraints
21.87/9.45	c (8,8) translated 33504 (60%) constraints
21.97/9.54	c (8,8) translated 39088 (70%) constraints
22.07/9.63	c (9,9) translated 44672 (80%) constraints
22.17/9.71	c (9,9) translated 50256 (90%) constraints
27.63/11.76	c (11,11) translated 55839 (100%) constraints
27.63/11.78	c (11,11) CSP to CSPinCNF End
27.63/11.79	c (11,11) CSP: 3970 int (3770 aux), 20827 bool (19827 aux), 75237 ctr, max domain size 68
27.63/11.79	c (11,11) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
27.63/11.79	c (11,11) CSPinCNF Propagation Begin
29.08/12.28	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
29.08/12.28	c (11,11) CSPinCNF Propagation End
29.08/12.29	c (11,11) CSP: 3970 int (3770 aux), 20827 bool (19827 aux), 74837 ctr, max domain size 68
29.08/12.29	c (11,11) Heap : 5519 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
29.08/12.29	c (11,11) Simplify CSPinCNF Begin
29.69/12.46	c (11,11) Simplify CSPinCNF End
29.69/12.47	c (11,11) CSP: 3970 int (3770 aux), 20827 bool (19827 aux), 74837 ctr, max domain size 68
29.69/12.47	c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
29.69/12.47	c (11,11) Calculate Precise Domain Begin
29.84/12.52	c (11,11) 0 values are removed by re-calculation
29.84/12.52	c (11,11) Calculate Precise Domain End
29.84/12.53	c (11,11) CSP: 3970 int (3770 aux), 20827 bool (19827 aux), 74837 ctr, max domain size 68
29.84/12.53	c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
29.84/12.53	c (11,11) CSPinCNF to SatSolver Begin
33.66/14.56	c (14,13) 7484 (10 %) CSP clauses are encoded (91214 SAT variables, 549128 SAT clauses)
34.01/14.62	c (14,13) 14968 (20 %) CSP clauses are encoded (91214 SAT variables, 556612 SAT clauses)
34.01/14.69	c (14,13) 22452 (30 %) CSP clauses are encoded (91214 SAT variables, 564096 SAT clauses)
34.27/14.74	c (14,14) 29935 (40 %) CSP clauses are encoded (91214 SAT variables, 571579 SAT clauses)
34.27/14.77	c (14,14) 37419 (50 %) CSP clauses are encoded (91214 SAT variables, 579063 SAT clauses)
34.40/14.81	c (14,14) 44903 (60 %) CSP clauses are encoded (91214 SAT variables, 586547 SAT clauses)
34.40/14.85	c (14,14) 52386 (70 %) CSP clauses are encoded (91214 SAT variables, 594030 SAT clauses)
34.40/14.89	c (14,14) 59870 (80 %) CSP clauses are encoded (91214 SAT variables, 601514 SAT clauses)
34.71/15.17	c (14,14) 67354 (90 %) CSP clauses are encoded (91214 SAT variables, 715063 SAT clauses)
39.21/19.47	c (18,18) 74837 (100 %) CSP clauses are encoded (91214 SAT variables, 2331338 SAT clauses)
39.21/19.47	c (18,18) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
39.21/19.47	c (18,18) CSPinCNF to SatSolver End
39.21/19.47	c (18,18) Heap : 650 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
40.28/19.81	c (19,18) STATISTICS2:HOME/instance-4307088-1534197180.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,24797,74837,4556,68,24,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:3;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:3;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:5;1892:3;1849:1;1806:4;1764:1;1722:3;1681:3;1640:2;1600:1;1560:3;1521:3;1482:2;1444:1;1406:5;1369:1;1332:2;1296:3;1260:3;1225:1;1190:16;1156:18;1122:19;1089:14;1056:18;1024:283;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:19;729:15;702:14;676:19;650:14;625:15;600:16;576:15;552:17;529:13;512:707;506:17;484:15;462:13;441:19;420:13;400:23;380:15;361:15;342:17;324:35;306:97;289:87;272:69;270:4;256:1839;255:8;240:69;234:4;225:79;221:8;210:71;196:67;182:70;180:8;170:16;169:72;156:65;144:67;136:8;132:61;128:1140;121:68;110:61;108:4;102:8;100:79;96:252;90:535;85:32;81:474;72:303;68:16;64:1096;56:275;54:20;51:40;49:264;36:20;34:24;25:284;16:912;9:40;4:420;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:26;54:28;53:30;52:24;51:34;50:24;49:30;48:28;47:26;46:32;45:26;44:40;43:30;42:24;41:34;40:24;39:30;38:28;37:26;36:32;35:54;34:148;33:142;32:172;31:150;30:136;29:142;28:140;27:130;26:140;25:128;24:27728;23:126;22:122;21:134;20:158;19:126;18:1038;17:982;16:590;15:606;14:550;13:564;12:1008;11:518;10:1486;9:3524;8:2316;7:1606;6:36;5:1152;4:72;3:180;2:175073,24:200;3:28400;2:35200;1:11037,11:259;10:707;9:1762;8:1140;7:803;5:1148;3:5019;2:199;1:160400,
40.28/19.81	c (19,18) 91214 bool, 2332459 clause
40.28/19.81	c (19,18) Export Begin
40.45/19.97	c (19,18) Export to HOME/scop-9155-serial-file.bin
40.45/19.97	c (19,18) Export End
40.45/19.97	c (19,18) Export File Size: 0.24 MB
40.45/19.97	c (19,18) 0,0,11,11,11,11,18,STOP-AFTER(DIMACS)
40.45/19.97	c END-Prog: Mon Aug 13 23:53:20 CEST 2018
0.00/20.02	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-9155-serial-file.bin
40.72/20.51	c (0,0) Read Serial File Begin
40.72/20.51	c (0,0) HOME/scop-9155-serial-file.bin
40.72/20.75	c (0,0) Read Serial File End
40.72/20.76	
40.72/20.76	scop order+glucose-syrup (2018-07-31)
40.72/20.76	(Solving Process)
40.72/20.76	
40.72/20.79	c BEGIN-Prog: Mon Aug 13 23:53:21 CEST 2018
40.72/20.79	c PID: 9191
40.72/20.79	c IP: 172.20.3.107
40.72/20.79	c HOST: node107.alineos.net
40.72/20.79	c (0,0) SatSolver.solve Begin
40.72/20.79	c (0,0) 0 bool, 0 clause
40.72/20.79	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307088-1534197180.xml-scop-9158.cnf
69.97/28.52	c (8,0) c
69.97/28.52	c (8,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
69.97/28.52	c (8,0) c
69.97/28.52	c (8,0) c WARNING: for repeatability, setting FPU to use double precision
69.97/28.52	c (8,0) c 8 solvers engines and 1 companion as a blackboard created.
69.97/28.52	c (8,0) c ========================================[ Problem Statistics ]===========================================
69.97/28.52	c (8,0) c |                                                                                                       |
69.97/28.52	c (8,0) c |  Number of variables:         91214                                                                   |
69.97/28.52	c (8,0) c |  Number of clauses:         2332211                                                                   |
69.97/28.52	c (8,0) c |  Parse time:                   0.81 s                                                                 |
69.97/28.52	c (8,0) c |                                                                                                       |
69.97/28.52	c (8,0) c |  Eliminated clauses:           0.32 Mb                                                                |
69.97/28.52	c (8,0) c |  Simplification time:          3.33 s                                                                 |
69.97/28.52	c (8,0) c |                                                                                                       |
69.97/28.52	c (8,0) c |  Generating clones                                                                                    |
69.97/28.52	c (8,0) c |  all clones generated. Memory = 1018.45Mb.                                                             |
69.97/28.52	c (8,0) c ========================================================================================================|
69.97/28.52	c (8,0) c last restart ## conflicts  :  5 2666 
69.97/28.52	c (8,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
69.97/28.52	c (8,0) c Total Memory so far : 1631.34Mb
69.97/28.52	c (8,0) c
69.97/28.52	c (8,0) c real time : 7.70268 s
69.97/28.52	c (8,0) c cpu time  : 26.7675 s
69.97/28.52	c (8,0) c
69.97/28.52	c (8,0) c
69.97/28.52	c (8,0) c
69.97/28.52	c (8,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
69.97/28.52	c (8,0) c
69.97/28.52	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
69.97/28.52	c (8,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
69.97/28.52	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
69.97/28.52	c (8,0) c | Conflicts     |           86719 |       9286 |      10688 |      12744 |      12245 |       8852 |      10422 |      12451 |      10031 |
69.97/28.52	c (8,0) c | Decisions     |          395651 |      77879 |      45762 |      33722 |      57495 |      45575 |      55592 |      34664 |      44962 |
69.97/28.52	c (8,0) c | Propagations  |        68854545 |    8514051 |    8957601 |    8183269 |    9013075 |    8032606 |    9047746 |    8731131 |    8375066 |
69.97/28.52	c (8,0) c | Avg_Trail     |                 |      20630 |      21807 |      15931 |      17152 |      18988 |      18127 |      14734 |      19232 |
69.97/28.52	c (8,0) c | Avg_DL        |                 |        137 |        157 |         93 |        119 |        165 |        144 |         97 |        141 |
69.97/28.52	c (8,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
69.97/28.52	c (8,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
69.97/28.52	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
69.97/28.52	c (8,0) c | Exported      |            8779 |        823 |       1181 |       1233 |       1485 |       1032 |        929 |       1381 |        715 |
69.97/28.52	c (8,0) c | Imported      |           58265 |       7787 |       7346 |       7336 |       7096 |       7154 |       7690 |       7307 |       6549 |
69.97/28.52	c (8,0) c | Good          |            3066 |        356 |        404 |        426 |        378 |        326 |        369 |        434 |        373 |
69.97/28.52	c (8,0) c | Purge         |           55199 |       7431 |       6942 |       6910 |       6718 |       6828 |       7321 |       6873 |       6176 |
69.97/28.52	c (8,0) c | Promoted      |              29 |          5 |          2 |          4 |          3 |          2 |          0 |          5 |          8 |
69.97/28.52	c (8,0) c | Remove_Imp    |             140 |          0 |          0 |          0 |          0 |        140 |          0 |          0 |          0 |
69.97/28.52	c (8,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
69.97/28.52	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
69.97/28.52	c (8,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
69.97/28.52	c (8,0) c | Binaries      |                 |         98 |         38 |         22 |         72 |         97 |         83 |         20 |         32 |
69.97/28.52	c (8,0) c | Glues         |                 |        104 |         49 |         34 |         87 |        115 |        100 |         40 |         53 |
69.97/28.52	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
69.97/28.52	c (8,0) c | Orig_Seen     |             0 % |      20611 |      20455 |      13124 |      19570 |      18076 |      22164 |      14141 |      19352 |
69.97/28.52	c (8,0) c | Diff Orig seen|                 |       1041 |        885 | -     6446 |      X     | -     1494 |       2594 | -     5429 | -      218 |
69.97/28.52	c (8,0) c | Hamming       |             8 % |       9563 |       7430 |       7768 |      X     |       9324 |       7163 |       7650 |       8114 |
69.97/28.52	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
69.97/28.52	c (8,0) 
69.97/28.52	c (8,0) s SATISFIABLE
42.33/28.61	c (8,0) SatSolver.solve End
42.33/28.61	c (8,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
42.33/28.61	c (8,0) Show results Begin
70.56/28.70	s SATISFIABLE
70.56/28.74	v <instantiation>
70.56/28.74	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>
70.56/28.74	v     <values>5 2 19 0 19 18 11 22 19 2 14 8 1 19 11 12 8 13 22 19 19 12 11 7 21 15 12 19 11 5 2 12 0 19 5 19 0 19 12 5 4 8 22 8 10 19 19 14 7 5 19 4 12 12 19 1 20 8 12 11 1 19 14 23 19 10 19 19 11 12 19 22 17 2 19 11 19 18 19 12 15 19 12 22 21 15 19 12 14 5 19 11 19 12 19 0 5 2 12 2 11 16 19 23 19 15 12 19 3 12 19 14 19 5 15 12 2 12 11 22 5 11 23 12 4 5 2 11 19 12 19 12 13 19 22 14 7 5 2 19 15 8 2 9 7 19 11 2 12 21 4 12 22 19 12 11 21 12 19 14 22 5 7 11 2 12 15 8 6 11 19 12 2 11 5 22 20 2 12 9 8 19 22 12 9 8 2 11 12 6 14 22 19 11 5 12 14 2 19 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 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 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 1</values>
70.56/28.74	v </instantiation>
70.56/28.74	c (8,0) Show results End
70.56/28.74	c (8,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
70.56/28.74	c (8,0) 8,8,STOP-AFTER(ALL)
70.56/28.74	c END-Prog: Mon Aug 13 23:53:29 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 (13228 MiB free)
  memory of node 1: 16384 MiB (10756 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307088-1534197180/watcher-4307088-1534197180 -o /tmp/evaluation-result-4307088-1534197180/solver-4307088-1534197180 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534191883-7330 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307088-1534197180.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9155, runsolver pid=9152
Current StackSize limit: 8192 KiB


[startup+0.100171 s]*
/proc/loadavg: 8.37 8.22 7.27 3/201 9177
/proc/meminfo: memFree=24468120/32770624 swapFree=67108524/67108860
[pid=9155] ppid=9152 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9155/stat : 9155 (scop.sh) S 9152 9155 7303 0 -1 4202496 559 320 0 1 0 0 0 0 20 0 1 0 237281235 115843072 349 33554432000 4194304 5098028 140728215683136 140728215680392 140468118479484 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36245504 140728215688226 140728215688451 140728215688451 140728215691213 0
/proc/9155/statm: 28282 349 296 221 0 87 0
[pid=9158] ppid=9155 vsize=27313900 memory=101912 CPUtime=0.09 cores=0-7
/proc/9158/stat : 9158 (java) S 9155 9155 7303 0 -1 1077944320 5938 0 0 0 7 2 0 0 20 0 20 0 237281237 27969433600 25478 33554432000 4194304 4196468 140730322103568 140730322086112 140653108031223 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
/proc/9158/statm: 6828475 25478 2717 1 0 6790935 0
[pid=9158/tid=9159] ppid=9155 vsize=27313900 memory=4134692831991783777 CPUtime=0.07 cores=0-7
/proc/9158/task/9159/stat : 9159 (java) R 9155 9155 7303 0 -1 4202560 4049 0 0 0 5 2 0 0 20 0 20 0 237281237 27969433600 25478 33554432000 4194304 4196468 140730322103568 140653079857552 140652610289417 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9160] ppid=9155 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9158/task/9160/stat : 9160 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 25478 33554432000 4194304 4196468 140730322103568 140653112273296 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9161] ppid=9155 vsize=27313900 memory=140169679115904 CPUtime=0 cores=0-7
/proc/9158/task/9161/stat : 9161 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652932569360 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9162] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9162/stat : 9162 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652529371792 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9163] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9163/stat : 9163 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652528318992 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9164] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9164/stat : 9164 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652527266704 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9165] ppid=9155 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9158/task/9165/stat : 9165 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652526213904 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9166] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9166/stat : 9166 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652525161616 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9167] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9167/stat : 9167 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652524108816 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9168] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9168/stat : 9168 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281241 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652367722608 140653108042370 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9169] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9169/stat : 9169 (java) S 9155 9155 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237281241 27969433600 25478 33554432000 4194304 4196468 140730322103568 140650850804512 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9170] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9170/stat : 9170 (java) S 9155 9155 7303 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237281242 27969433600 25478 33554432000 4194304 4196468 140730322103568 140650716583024 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9171] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9171/stat : 9171 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 25478 33554432000 4194304 4196468 140730322103568 140650342078544 140653108049819 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9172] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9172/stat : 9172 (java) S 9155 9155 7303 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652366670448 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9173] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9173/stat : 9173 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652365617648 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9174] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9174/stat : 9174 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652364565360 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9175] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9175/stat : 9175 (java) R 9155 9155 7303 0 -1 4202560 238 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652363512560 140653086610576 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9176] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9176/stat : 9176 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 25478 33554432000 4194304 4196468 140730322103568 140649844173152 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9177] ppid=9155 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9158/task/9177/stat : 9177 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 25478 33554432000 4194304 4196468 140730322103568 140652362459440 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 103308 KiB

[startup+0.209877 s]*
/proc/loadavg: 8.37 8.22 7.27 2/201 9177
/proc/meminfo: memFree=24449188/32770624 swapFree=67108524/67108860
[pid=9155] ppid=9152 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9155/stat : 9155 (scop.sh) S 9152 9155 7303 0 -1 4202496 559 320 0 1 0 0 0 0 20 0 1 0 237281235 115843072 349 33554432000 4194304 5098028 140728215683136 140728215680392 140468118479484 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36245504 140728215688226 140728215688451 140728215688451 140728215691213 0
/proc/9155/statm: 28282 349 296 221 0 87 0
[pid=9158] ppid=9155 vsize=27313900 memory=121036 CPUtime=0.23 cores=0-7
/proc/9158/stat : 9158 (java) S 9155 9155 7303 0 -1 1077944320 9964 0 0 0 20 3 0 0 20 0 20 0 237281237 27969433600 30259 33554432000 4194304 4196468 140730322103568 140730322086112 140653108031223 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
/proc/9158/statm: 6828475 30259 2881 1 0 6790935 0
[pid=9158/tid=9159] ppid=9155 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9158/task/9159/stat : 9159 (java) R 9155 9155 7303 0 -1 4202560 7846 0 0 0 16 3 0 0 20 0 20 0 237281237 27969433600 30259 33554432000 4194304 4196468 140730322103568 140653079839968 140653089594798 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9160] ppid=9155 vsize=27313900 memory=331 CPUtime=0 cores=0-7
/proc/9158/task/9160/stat : 9160 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 30259 33554432000 4194304 4196468 140730322103568 140653112273296 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9161] ppid=9155 vsize=27313900 memory=140169679125236 CPUtime=0 cores=0-7
/proc/9158/task/9161/stat : 9161 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652932569360 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9162] ppid=9155 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9158/task/9162/stat : 9162 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652529371792 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9163] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9163/stat : 9163 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652528318992 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9164] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9164/stat : 9164 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652527266704 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9165] ppid=9155 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9158/task/9165/stat : 9165 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652526213904 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9166] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9166/stat : 9166 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652525161616 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9167] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9167/stat : 9167 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652524108816 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9168] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9168/stat : 9168 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281241 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652367722608 140653108042370 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9169] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9169/stat : 9169 (java) S 9155 9155 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237281241 27969433600 30259 33554432000 4194304 4196468 140730322103568 140650850804512 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9170] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9170/stat : 9170 (java) S 9155 9155 7303 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237281242 27969433600 30259 33554432000 4194304 4196468 140730322103568 140650716583024 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9171] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9171/stat : 9171 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 30259 33554432000 4194304 4196468 140730322103568 140650342078544 140653108049819 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9172] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9172/stat : 9172 (java) S 9155 9155 7303 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652366670448 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9173] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9173/stat : 9173 (java) S 9155 9155 7303 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652365617648 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9174] ppid=9155 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9158/task/9174/stat : 9174 (java) S 9155 9155 7303 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652364565360 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9175] ppid=9155 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/9158/task/9175/stat : 9175 (java) S 9155 9155 7303 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 20 0 237281244 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652363512560 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9176] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9176/stat : 9176 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 30259 33554432000 4194304 4196468 140730322103568 140649844173152 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9177] ppid=9155 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9158/task/9177/stat : 9177 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 30259 33554432000 4194304 4196468 140730322103568 140652362459440 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 122432 KiB

[startup+0.309546 s]*
/proc/loadavg: 8.37 8.22 7.27 2/201 9177
/proc/meminfo: memFree=24445776/32770624 swapFree=67108524/67108860
[pid=9155] ppid=9152 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9155/stat : 9155 (scop.sh) S 9152 9155 7303 0 -1 4202496 559 320 0 1 0 0 0 0 20 0 1 0 237281235 115843072 349 33554432000 4194304 5098028 140728215683136 140728215680392 140468118479484 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36245504 140728215688226 140728215688451 140728215688451 140728215691213 0
/proc/9155/statm: 28282 349 296 221 0 87 0
[pid=9158] ppid=9155 vsize=27313900 memory=125248 CPUtime=0.4 cores=0-7
/proc/9158/stat : 9158 (java) S 9155 9155 7303 0 -1 1077944320 10621 0 0 0 36 4 0 0 20 0 20 0 237281237 27969433600 31312 33554432000 4194304 4196468 140730322103568 140730322086112 140653108031223 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
/proc/9158/statm: 6828475 31312 2972 1 0 6790935 0
[pid=9158/tid=9159] ppid=9155 vsize=27313900 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/9158/task/9159/stat : 9159 (java) R 9155 9155 7303 0 -1 4202560 8315 0 0 0 25 3 0 0 20 0 20 0 237281237 27969433600 31312 33554432000 4194304 4196468 140730322103568 140653079826672 140653089594798 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9160] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9160/stat : 9160 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 31312 33554432000 4194304 4196468 140730322103568 140653112273296 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9161] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9161/stat : 9161 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652932569360 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9162] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9162/stat : 9162 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652529371792 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9163] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9163/stat : 9163 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652528318992 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9164] ppid=9155 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/9158/task/9164/stat : 9164 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652527266704 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9165] ppid=9155 vsize=27313900 memory=140169546134447 CPUtime=0 cores=0-7
/proc/9158/task/9165/stat : 9165 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652526213904 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9166] ppid=9155 vsize=27313900 memory=140169546136752 CPUtime=0 cores=0-7
/proc/9158/task/9166/stat : 9166 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652525161616 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9167] ppid=9155 vsize=27313900 memory=140169546139056 CPUtime=0 cores=0-7
/proc/9158/task/9167/stat : 9167 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281239 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652524108816 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9168] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9168/stat : 9168 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281241 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652367722608 140653108042370 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9169] ppid=9155 vsize=27313900 memory=280339092285072 CPUtime=0 cores=0-7
/proc/9158/task/9169/stat : 9169 (java) S 9155 9155 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237281241 27969433600 31312 33554432000 4194304 4196468 140730322103568 140650850804512 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9170] ppid=9155 vsize=27313900 memory=280339092291984 CPUtime=0 cores=0-7
/proc/9158/task/9170/stat : 9170 (java) S 9155 9155 7303 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237281242 27969433600 31312 33554432000 4194304 4196468 140730322103568 140650716583024 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9171] ppid=9155 vsize=27313900 memory=280339092233264 CPUtime=0 cores=0-7
/proc/9158/task/9171/stat : 9171 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 31312 33554432000 4194304 4196468 140730322103568 140650342078544 140653108049819 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9172] ppid=9155 vsize=27313900 memory=280339092305808 CPUtime=0 cores=0-7
/proc/9158/task/9172/stat : 9172 (java) S 9155 9155 7303 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652366670448 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9173] ppid=9155 vsize=27313900 memory=280339092312720 CPUtime=0.01 cores=0-7
/proc/9158/task/9173/stat : 9173 (java) S 9155 9155 7303 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 237281244 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652365617648 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9174] ppid=9155 vsize=27313900 memory=280339092310416 CPUtime=0.01 cores=0-7
/proc/9158/task/9174/stat : 9174 (java) S 9155 9155 7303 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 20 0 237281244 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652364565360 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9175] ppid=9155 vsize=27313900 memory=280339092326576 CPUtime=0.06 cores=0-7
/proc/9158/task/9175/stat : 9175 (java) S 9155 9155 7303 0 -1 1077944384 338 0 0 0 6 0 0 0 20 0 20 0 237281244 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652363512560 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9176] ppid=9155 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9176/stat : 9176 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 31312 33554432000 4194304 4196468 140730322103568 140649844173152 140653108041429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9177] ppid=9155 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9158/task/9177/stat : 9177 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281244 27969433600 31312 33554432000 4194304 4196468 140730322103568 140652362459440 140653108042370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126644 KiB

[startup+0.700981 s]
/proc/loadavg: 8.37 8.22 7.27 5/202 9187
/proc/meminfo: memFree=24419308/32770624 swapFree=67108524/67108860
[pid=9155] ppid=9152 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9155/stat : 9155 (scop.sh) S 9152 9155 7303 0 -1 4202496 559 320 0 1 0 0 0 0 20 0 1 0 237281235 115843072 349 33554432000 4194304 5098028 140728215683136 140728215680392 140468118479484 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36245504 140728215688226 140728215688451 140728215688451 140728215691213 0
/proc/9155/statm: 28282 349 296 221 0 87 0
[pid=9158] ppid=9155 vsize=27320172 memory=162360 CPUtime=0.97 cores=0-7
/proc/9158/stat : 9158 (java) S 9155 9155 7303 0 -1 1077944320 17568 0 0 0 90 7 0 0 20 0 20 0 237281237 27975856128 40590 33554432000 4194304 4196468 140730322103568 140730322086112 140653108031223 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
/proc/9158/statm: 6830043 40590 3105 1 0 6791447 0
[pid=9158/tid=9159] ppid=9155 vsize=27320172 memory=280339092684464 CPUtime=0.66 cores=0-7
/proc/9158/task/9159/stat : 9159 (java) R 9155 9155 7303 0 -1 4202560 14827 0 0 0 61 5 0 0 20 0 20 0 237281237 27975856128 40590 33554432000 4194304 4196468 140730322103568 140653079869824 140652610292708 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9160] ppid=9155 vsize=27320172 memory=140169546343280 CPUtime=0 cores=0-7
/proc/9158/task/9160/stat : 9160 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237281239 27975856128 40590 33554432000 4194304 4196468 140730322103568 140653112273296 140653108041429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9161] ppid=9155 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/9158/task/9161/stat : 9161 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237281239 27975856128 40590 33554432000 4194304 4196468 140730322103568 140652932569360 140653108041429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0
[pid=9158/tid=9162] ppid=9155 vsize=27320172 memory=872 CPUtime=0 cores=0-7
/proc/9158/task/9162/stat : 9162 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237281239 27975856128 40590 33554432000 4194304 4196468 140730322103568 140652529371792 140653108041429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24608768 140730322109417 140730322109741 140730322109741 140730322112463 0

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

[pid=9191/tid=9194] ppid=9155 vsize=8413904 memory=8836 CPUtime=0 cores=0-7
/proc/9191/task/9194/stat : 9194 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305877428624 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9195] ppid=9155 vsize=8413904 memory=11044 CPUtime=0 cores=0-7
/proc/9191/task/9195/stat : 9195 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305876376080 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9196] ppid=9155 vsize=8413904 memory=13252 CPUtime=0 cores=0-7
/proc/9191/task/9196/stat : 9196 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305875323536 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9197] ppid=9155 vsize=8413904 memory=15460 CPUtime=0 cores=0-7
/proc/9191/task/9197/stat : 9197 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305874270992 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9198] ppid=9155 vsize=8413904 memory=17668 CPUtime=0 cores=0-7
/proc/9191/task/9198/stat : 9198 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305873218448 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9199] ppid=9155 vsize=8413904 memory=19876 CPUtime=0 cores=0-7
/proc/9191/task/9199/stat : 9199 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305872165904 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9200] ppid=9155 vsize=8413904 memory=22084 CPUtime=0 cores=0-7
/proc/9191/task/9200/stat : 9200 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305871113360 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9201] ppid=9155 vsize=8413904 memory=24292 CPUtime=0 cores=0-7
/proc/9191/task/9201/stat : 9201 (java) S 9155 9155 7303 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 237283241 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305434114032 140306073029250 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9202] ppid=9155 vsize=8413904 memory=26500 CPUtime=0 cores=0-7
/proc/9191/task/9202/stat : 9202 (java) S 9155 9155 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237283241 8615837696 30906 33554432000 4194304 4196468 140721474487056 140304501957536 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9203] ppid=9155 vsize=8413904 memory=28708 CPUtime=0 cores=0-7
/proc/9191/task/9203/stat : 9203 (java) S 9155 9155 7303 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 237283241 8615837696 30906 33554432000 4194304 4196468 140721474487056 140304367735792 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9204] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9204/stat : 9204 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237283244 8615837696 30906 33554432000 4194304 4196468 140721474487056 140303993231568 140306073036699 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9205] ppid=9155 vsize=8413904 memory=7019467088073863737 CPUtime=0.11 cores=0-7
/proc/9191/task/9205/stat : 9205 (java) S 9155 9155 7303 0 -1 1077944384 703 0 0 0 11 0 0 0 20 0 24 0 237283244 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305433061872 140306073029250 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9206] ppid=9155 vsize=8413904 memory=5931348737947488336 CPUtime=0.12 cores=0-7
/proc/9191/task/9206/stat : 9206 (java) S 9155 9155 7303 0 -1 1077944384 215 0 0 0 12 0 0 0 20 0 24 0 237283244 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305432009328 140306073029250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9207] ppid=9155 vsize=8413904 memory=7955723526217688934 CPUtime=0.11 cores=0-7
/proc/9191/task/9207/stat : 9207 (java) S 9155 9155 7303 0 -1 1077944384 601 0 0 0 11 0 0 0 20 0 24 0 237283244 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305430956784 140306073029250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9208] ppid=9155 vsize=8413904 memory=7453010317726012517 CPUtime=0.22 cores=0-7
/proc/9191/task/9208/stat : 9208 (java) S 9155 9155 7303 0 -1 1077944384 632 0 0 0 22 0 0 0 20 0 24 0 237283244 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305429904240 140306073029250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9209] ppid=9155 vsize=8413904 memory=7811889813118543721 CPUtime=0 cores=0-7
/proc/9191/task/9209/stat : 9209 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237283244 8615837696 30906 33554432000 4194304 4196468 140721474487056 140303495325920 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9210] ppid=9155 vsize=8413904 memory=734122134912448569 CPUtime=0 cores=0-7
/proc/9191/task/9210/stat : 9210 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237283244 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305428851120 140306073029250 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9212] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9212/stat : 9212 (java) S 9155 9155 7303 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237283317 8615837696 30906 33554432000 4194304 4196468 140721474487056 140305509082304 140306073042713 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9214] ppid=9155 vsize=8413904 memory=6935649255843455040 CPUtime=0 cores=0-7
/proc/9191/task/9214/stat : 9214 (java) S 9155 9155 7303 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 237283317 8615837696 30906 33554432000 4194304 4196468 140721474487056 140302824226608 140306073040029 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9215] ppid=9155 vsize=8413904 memory=6154820267226784105 CPUtime=0 cores=0-7
/proc/9191/task/9215/stat : 9215 (java) S 9155 9155 7303 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 237283317 8615837696 30906 33554432000 4194304 4196468 140721474487056 140303092662192 140306073040029 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9216] ppid=9155 vsize=8413904 memory=8836 CPUtime=0 cores=0-7
/proc/9191/task/9216/stat : 9216 (java) S 9155 9155 7303 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 237283320 8615837696 30906 33554432000 4194304 4196468 140721474487056 140302555799200 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
Current children cumulated CPU time: 69.18 s
Current children cumulated vsize: 10196976 KiB
Current children cumulated memory: 1226560 KiB

[startup+28.6014 s]
/proc/loadavg: 6.19 7.69 7.12 9/214 9224
/proc/meminfo: memFree=23288652/32770624 swapFree=67108524/67108860
[pid=9155] ppid=9152 vsize=113128 memory=1472 CPUtime=40.72 cores=0-7
/proc/9155/stat : 9155 (scop.sh) S 9152 9155 7303 0 -1 4202496 588 51861 0 1 0 0 3890 182 20 0 1 0 237281235 115843072 368 33554432000 4194304 5098028 140728215683136 140728215679880 140468118479484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36245504 140728215688226 140728215688451 140728215688451 140728215691213 0
/proc/9155/statm: 28282 368 311 221 0 87 0
[pid=9191] ppid=9155 vsize=8413904 memory=143656 CPUtime=1.61 cores=0-7
/proc/9191/stat : 9191 (java) S 9155 9155 7303 0 -1 1077944320 19611 0 0 0 151 10 0 0 20 0 24 0 237283238 8615837696 35914 33554432000 4194304 4196468 140721474487056 140721474469600 140306073018103 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
/proc/9191/statm: 2103476 35914 3170 1 0 2064875 0
[pid=9191/tid=9192] ppid=9155 vsize=8413904 memory=6081101285382514794 CPUtime=0.82 cores=0-7
/proc/9191/task/9192/stat : 9192 (java) S 9155 9155 7303 0 -1 1077944384 15077 0 0 0 75 7 0 0 20 0 24 0 237283238 8615837696 35914 33554432000 4194304 4196468 140721474487056 140306044858256 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9193] ppid=9155 vsize=8413904 memory=4124844635243833199 CPUtime=0 cores=0-7
/proc/9191/task/9193/stat : 9193 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 35914 33554432000 4194304 4196468 140721474487056 140306077260048 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9194] ppid=9155 vsize=8413904 memory=1399094042734925955 CPUtime=0 cores=0-7
/proc/9191/task/9194/stat : 9194 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305877428624 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9195] ppid=9155 vsize=8413904 memory=7682744562830902035 CPUtime=0 cores=0-7
/proc/9191/task/9195/stat : 9195 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305876376080 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9196] ppid=9155 vsize=8413904 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/9191/task/9196/stat : 9196 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305875323536 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9197] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9197/stat : 9197 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305874270992 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9198] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9198/stat : 9198 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305873218448 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9199] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9199/stat : 9199 (java) S 9155 9155 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305872165904 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9200] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9200/stat : 9200 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237283239 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305871113360 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9201] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9201/stat : 9201 (java) S 9155 9155 7303 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 237283241 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305434114032 140306073029250 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9202] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9202/stat : 9202 (java) S 9155 9155 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237283241 8615837696 35914 33554432000 4194304 4196468 140721474487056 140304501957536 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9203] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9203/stat : 9203 (java) S 9155 9155 7303 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 237283241 8615837696 35914 33554432000 4194304 4196468 140721474487056 140304367735792 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9204] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9204/stat : 9204 (java) S 9155 9155 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237283244 8615837696 35914 33554432000 4194304 4196468 140721474487056 140303993231568 140306073036699 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9205] ppid=9155 vsize=8413904 memory=0 CPUtime=0.12 cores=0-7
/proc/9191/task/9205/stat : 9205 (java) R 9155 9155 7303 0 -1 4202560 709 0 0 0 12 0 0 0 20 0 24 0 237283244 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305433041936 140306056512339 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9206] ppid=9155 vsize=8413904 memory=0 CPUtime=0.15 cores=0-7
/proc/9191/task/9206/stat : 9206 (java) R 9155 9155 7303 0 -1 4202560 615 0 0 0 15 0 0 0 20 0 24 0 237283244 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305432009328 140306054539274 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9207] ppid=9155 vsize=8413904 memory=0 CPUtime=0.13 cores=0-7
/proc/9191/task/9207/stat : 9207 (java) R 9155 9155 7303 0 -1 4202560 608 0 0 0 13 0 0 0 20 0 24 0 237283244 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305430943288 140306056504037 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9208] ppid=9155 vsize=8413904 memory=0 CPUtime=0.25 cores=0-7
/proc/9191/task/9208/stat : 9208 (java) S 9155 9155 7303 0 -1 1077944384 1124 0 0 0 25 0 0 0 20 0 24 0 237283244 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305429904240 140306073029250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9209] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9209/stat : 9209 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237283244 8615837696 35914 33554432000 4194304 4196468 140721474487056 140303495325920 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9210] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9210/stat : 9210 (java) S 9155 9155 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237283244 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305428851120 140306073029250 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9212] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9212/stat : 9212 (java) S 9155 9155 7303 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237283317 8615837696 35914 33554432000 4194304 4196468 140721474487056 140305509082304 140306073042713 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9214] ppid=9155 vsize=8413904 memory=0 CPUtime=0.07 cores=0-7
/proc/9191/task/9214/stat : 9214 (java) R 9155 9155 7303 0 -1 4202560 59 0 0 0 7 0 0 0 20 0 24 0 237283317 8615837696 35914 33554432000 4194304 4196468 140721474487056 140302824226544 140305528842272 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9215] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9215/stat : 9215 (java) S 9155 9155 7303 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 237283317 8615837696 35914 33554432000 4194304 4196468 140721474487056 140303092662192 140306073040029 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9216] ppid=9155 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9191/task/9216/stat : 9216 (java) S 9155 9155 7303 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 237283320 8615837696 35914 33554432000 4194304 4196468 140721474487056 140302555799200 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
Current children cumulated CPU time: 42.33 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 145128 KiB

[startup+28.7013 s]
/proc/loadavg: 6.19 7.69 7.12 9/214 9224
/proc/meminfo: memFree=23288652/32770624 swapFree=67108524/67108860
[pid=9155] ppid=9152 vsize=113128 memory=1472 CPUtime=40.72 cores=0-7
/proc/9155/stat : 9155 (scop.sh) S 9152 9155 7303 0 -1 4202496 588 51861 0 1 0 0 3890 182 20 0 1 0 237281235 115843072 368 33554432000 4194304 5098028 140728215683136 140728215679880 140468118479484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36245504 140728215688226 140728215688451 140728215688451 140728215691213 0
/proc/9155/statm: 28282 368 311 221 0 87 0
[pid=9191] ppid=9155 vsize=8282828 memory=147332 CPUtime=29.84 cores=0-7
/proc/9191/stat : 9191 (java) S 9155 9155 7303 0 -1 1077944320 19991 411183 0 0 171 11 2678 124 20 0 22 0 237283238 8481615872 36833 33554432000 4194304 4196468 140721474487056 140721474469600 140306073018103 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
/proc/9191/statm: 2070707 36833 3176 1 0 2032106 0
[pid=9191/tid=9192] ppid=9155 vsize=8282828 memory=123624 CPUtime=28.92 cores=0-7
/proc/9191/task/9192/stat : 9192 (java) R 9155 9155 7303 0 -1 4202560 15289 411183 0 0 83 7 2678 124 20 0 22 0 237283238 8481615872 36833 33554432000 4194304 4196468 140721474487056 140306044857456 140306073030038 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9193] ppid=9155 vsize=8282828 memory=1102380 CPUtime=28.02 cores=0-7
/proc/9191/task/9193/stat : 9193 (java) S 9155 9155 7303 0 -1 1077944384 1 411183 0 0 0 0 2678 124 20 0 22 0 237283239 8481615872 36833 33554432000 4194304 4196468 140721474487056 140306077260048 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9194] ppid=9155 vsize=8282828 memory=1472 CPUtime=28.02 cores=0-7
/proc/9191/task/9194/stat : 9194 (java) S 9155 9155 7303 0 -1 1077944384 1 411183 0 0 0 0 2678 124 20 0 22 0 237283239 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305877428624 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9195] ppid=9155 vsize=8282828 memory=123624 CPUtime=28.02 cores=0-7
/proc/9191/task/9195/stat : 9195 (java) S 9155 9155 7303 0 -1 1077944384 2 411183 0 0 0 0 2678 124 20 0 22 0 237283239 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305876376080 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9196] ppid=9155 vsize=8282828 memory=1088096 CPUtime=28.02 cores=0-7
/proc/9191/task/9196/stat : 9196 (java) S 9155 9155 7303 0 -1 1077944384 1 411183 0 0 0 0 2678 124 20 0 22 0 237283239 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305875323536 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9197] ppid=9155 vsize=8282828 memory=0 CPUtime=28.02 cores=0-7
/proc/9191/task/9197/stat : 9197 (java) S 9155 9155 7303 0 -1 1077944384 2 411183 0 0 0 0 2678 124 20 0 22 0 237283239 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305874270992 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9198] ppid=9155 vsize=8282828 memory=0 CPUtime=28.02 cores=0-7
/proc/9191/task/9198/stat : 9198 (java) S 9155 9155 7303 0 -1 1077944384 3 411183 0 0 0 0 2678 124 20 0 22 0 237283239 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305873218448 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9199] ppid=9155 vsize=8282828 memory=0 CPUtime=28.02 cores=0-7
/proc/9191/task/9199/stat : 9199 (java) S 9155 9155 7303 0 -1 1077944384 2 411183 0 0 0 0 2678 124 20 0 22 0 237283239 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305872165904 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9200] ppid=9155 vsize=8282828 memory=0 CPUtime=28.02 cores=0-7
/proc/9191/task/9200/stat : 9200 (java) S 9155 9155 7303 0 -1 1077944384 3 411183 0 0 0 0 2678 124 20 0 22 0 237283239 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305871113360 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9201] ppid=9155 vsize=8282828 memory=1472 CPUtime=28.02 cores=0-7
/proc/9191/task/9201/stat : 9201 (java) S 9155 9155 7303 0 -1 1077944384 6 411183 0 0 0 0 2678 124 20 0 22 0 237283241 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305434114032 140306073029250 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9202] ppid=9155 vsize=8282828 memory=123624 CPUtime=28.02 cores=0-7
/proc/9191/task/9202/stat : 9202 (java) S 9155 9155 7303 0 -1 1077944384 13 411183 0 0 0 0 2678 124 20 0 22 0 237283241 8481615872 36833 33554432000 4194304 4196468 140721474487056 140304501957536 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9203] ppid=9155 vsize=8282828 memory=1081548 CPUtime=28.02 cores=0-7
/proc/9191/task/9203/stat : 9203 (java) S 9155 9155 7303 0 -1 1077944384 21 411183 0 0 0 0 2678 124 20 0 22 0 237283241 8481615872 36833 33554432000 4194304 4196468 140721474487056 140304367735792 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9204] ppid=9155 vsize=8282828 memory=0 CPUtime=28.02 cores=0-7
/proc/9191/task/9204/stat : 9204 (java) S 9155 9155 7303 0 -1 1077944384 1 411183 0 0 0 0 2678 124 20 0 22 0 237283244 8481615872 36833 33554432000 4194304 4196468 140721474487056 140303993231568 140306073036699 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9205] ppid=9155 vsize=8282828 memory=55 CPUtime=28.17 cores=0-7
/proc/9191/task/9205/stat : 9205 (java) R 9155 9155 7303 0 -1 4202560 718 411183 0 0 15 0 2678 124 20 0 22 0 237283244 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305433061872 140306066003145 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9206] ppid=9155 vsize=8282828 memory=3467828020972237115 CPUtime=28.19 cores=0-7
/proc/9191/task/9206/stat : 9206 (java) S 9155 9155 7303 0 -1 1077944384 635 411183 0 0 16 1 2678 124 20 0 22 0 237283244 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305432009328 140306073029250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9207] ppid=9155 vsize=8282828 memory=7156900845461659754 CPUtime=28.17 cores=0-7
/proc/9191/task/9207/stat : 9207 (java) R 9155 9155 7303 0 -1 4202560 614 411183 0 0 15 0 2678 124 20 0 22 0 237283244 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305430956784 140306066003145 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9208] ppid=9155 vsize=8282828 memory=55 CPUtime=28.33 cores=0-7
/proc/9191/task/9208/stat : 9208 (java) R 9155 9155 7303 0 -1 4202560 1252 411183 0 0 30 1 2678 124 20 0 22 0 237283244 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305429902032 140306065255230 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9209] ppid=9155 vsize=8282828 memory=0 CPUtime=28.02 cores=0-7
/proc/9191/task/9209/stat : 9209 (java) S 9155 9155 7303 0 -1 1077944384 3 411183 0 0 0 0 2678 124 20 0 22 0 237283244 8481615872 36833 33554432000 4194304 4196468 140721474487056 140303495325920 140306073028309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9210] ppid=9155 vsize=8282828 memory=55 CPUtime=28.02 cores=0-7
/proc/9191/task/9210/stat : 9210 (java) S 9155 9155 7303 0 -1 1077944384 3 411183 0 0 0 0 2678 124 20 0 22 0 237283244 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305428851120 140306073029250 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9212] ppid=9155 vsize=8282828 memory=0 CPUtime=28.02 cores=0-7
/proc/9191/task/9212/stat : 9212 (java) S 9155 9155 7303 0 -1 1077944384 23 411183 0 0 0 0 2678 124 20 0 22 0 237283317 8481615872 36833 33554432000 4194304 4196468 140721474487056 140305509081488 140306073029250 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
[pid=9191/tid=9216] ppid=9155 vsize=8282828 memory=1932 CPUtime=28.02 cores=0-7
/proc/9191/task/9216/stat : 9216 (java) S 9155 9155 7303 0 -1 1077944384 12 411183 0 0 0 0 2678 124 20 0 22 0 237283320 8481615872 36833 33554432000 4194304 4196468 140721474487056 140302555801008 140306073029250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18976768 140721474495666 140721474495789 140721474495789 140721474498511 0
Current children cumulated CPU time: 70.56 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 148804 KiB

Child status: 0
Real time (s): 28.7637
CPU time (s): 70.7552
CPU user time (s): 67.5507
CPU system time (s): 3.20452
CPU usage (%): 245.988
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6149120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.5507
system time used= 3.20452
maximum resident set size= 6148560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484164
page faults= 1
swaps= 0
block input operations= 24
block output operations= 118512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43491
involuntary context switches= 305


# summary of solver processes directly reported to runsolver:
#   pid: 9155
#   total CPU time (s): 70.7552
#   total CPU user time (s): 67.5507
#   total CPU system time (s): 3.20452

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.275008 second user time and 0.30635 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-13 23:53:00
IDJOB=4307088
IDBENCH=141464
IDSOLVER=2788
FILE ID=node107/4307088-1534197180
RUNJOBID= node107-1534191883-7330
PBS_JOBID= 21037998
Free space on /tmp= 39620 MiB

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

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

MD5SUM BENCH= b40938607e467681e9fbf6ea551bf52a
RANDOM SEED=1782269075

node107.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.40
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.40
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.40
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.40
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:        24560324 kB
MemAvailable:   31902052 kB
Buffers:          173044 kB
Cached:          7375036 kB
SwapCached:           20 kB
Active:          3864412 kB
Inactive:        3738584 kB
Active(anon):       3112 kB
Inactive(anon):   104420 kB
Active(file):    3861300 kB
Inactive(file):  3634164 kB
Unevictable:        6980 kB
Mlocked:            6980 kB
SwapTotal:      67108860 kB
SwapFree:       67108524 kB
Dirty:              8372 kB
Writeback:             0 kB
AnonPages:         90544 kB
Mapped:            53088 kB
Shmem:             49632 kB
Slab:             302420 kB
SReclaimable:     274724 kB
SUnreclaim:        27696 kB
KernelStack:        3536 kB
PageTables:         5000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348400 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:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39612 MiB
End job on node107 at 2018-08-13 23:53:29