Trace number 4305559

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 both+MapleCOMSPS (2018-07-31)SAT 2449.31 2426.79

General information on the benchmark

NameCarSequencing/
CarSequencing-80-01_c18.xml
MD5SUM1fae7142163c3dd6bc5a43a0b85b79be
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 benchmark48.3324
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1429
Number of domains2
Minimum domain size2
Maximum domain size26
Distribution of domain sizes[{"size":2,"count":1000},{"size":26,"count":200}]
Minimum variable degree2
Maximum variable degree78
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":54,"count":9}, {"degree":55,"count":9}, {"degree":56,"count":51}, {"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":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":3}, {"degree":78,"count":51}]
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":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":2},{"arity":50,"count":3},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"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":1228},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-25067-serial-file.bin HOME/instance-4305559-1534079852.xml
0.66/0.52	
0.66/0.52	scop both+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Sun Aug 12 15:17:33 CEST 2018
0.66/0.55	c PID: 25070
0.66/0.55	c IP: 172.20.3.135
0.66/0.55	c HOST: node135.alineos.net
0.66/0.55	c (0,0) Parsing Begin
3.40/1.42	c (0,0) Parsing End
3.40/1.43	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1429 ctr, max domain size 26
3.40/1.43	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.40/1.43	c (0,0) Constraint Name Generate Begin
3.40/1.46	c (0,0) Ctr:HOME/instance-4305559-1534079852.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.40/1.46	c (0,0) Constraint Name Generate End
3.40/1.46	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.40/1.46	c (0,0) CSP to CSPinCNF Begin
12.94/4.82	c (4,4) translated 143 (10%) constraints
13.35/5.28	c (4,4) translated 286 (20%) constraints
13.56/5.30	c (4,4) translated 429 (30%) constraints
13.56/5.33	c (4,4) translated 572 (40%) constraints
13.56/5.37	c (4,4) translated 715 (50%) constraints
13.56/5.38	c (4,4) translated 858 (60%) constraints
13.93/5.40	c (4,4) translated 1001 (70%) constraints
13.93/5.42	c (4,4) translated 1144 (80%) constraints
15.94/6.89	c (6,6) translated 1287 (90%) constraints
17.34/7.97	c (7,7) translated 1429 (100%) constraints
18.60/8.49	c (7,7) STATISTICS1:HOME/instance-4305559-1534079852.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57054,9223372036854775807,26,25,200,9223372036854775807:268;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:3;70368744177664:2;17592186044416:1;8796093022208:1;1099511627776:1;549755813888:1;16:392;4:396;2:199,26:20400;2:158730,25:200;3:29600;2:26000;1:1254,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:3;47:2;45:1;44:1;41:1;40:1;5:392;3:396;2:199;1:145600;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2704:1;2601:2;2500:3;2401:3;2304:1;2209:2;2116:3;2025:3;1936:1;1849:3;1764:1
18.60/8.49	c (7,7) ==========================================
18.60/8.49	c (7,7) Both Encoding selects:
18.60/8.49	c (7,7) Log
18.60/8.49	c (7,7) ==========================================
20.14/9.03	c (8,8) translated 5706 (10%) constraints
20.62/9.25	c (8,8) translated 11411 (20%) constraints
20.89/9.34	c (8,8) translated 17117 (30%) constraints
21.02/9.42	c (8,8) translated 22822 (40%) constraints
21.12/9.50	c (8,8) translated 28527 (50%) constraints
21.12/9.58	c (9,8) translated 34233 (60%) constraints
21.22/9.66	c (9,9) translated 39938 (70%) constraints
21.32/9.74	c (9,9) translated 45644 (80%) constraints
21.42/9.82	c (9,9) translated 51349 (90%) constraints
23.11/10.94	c (10,10) translated 57054 (100%) constraints
23.11/10.95	c (10,10) CSP to CSPinCNF End
23.11/10.96	c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67480 ctr, max domain size 26
23.11/10.96	c (10,10) Heap : 1851 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.11/10.96	c (10,10) CSPinCNF Propagation Begin
24.33/11.60	c (11,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
24.33/11.60	c (11,10) CSPinCNF Propagation End
24.33/11.60	c (11,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67080 ctr, max domain size 26
24.33/11.60	c (11,10) Heap : 2179 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.33/11.60	c (11,10) Simplify CSPinCNF Begin
24.56/11.75	c (11,11) Simplify CSPinCNF End
24.56/11.75	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67080 ctr, max domain size 26
24.56/11.75	c (11,11) Heap : 2234 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.56/11.75	c (11,11) Calculate Precise Domain Begin
24.56/11.75	c (11,11) 0 values are removed by re-calculation
24.56/11.75	c (11,11) Calculate Precise Domain End
24.56/11.76	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67080 ctr, max domain size 26
24.56/11.76	c (11,11) Heap : 2234 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.56/11.76	c (11,11) CSPinCNF to SatSolver Begin
28.40/13.39	c (12,12) 6708 (10 %) CSP clauses are being encoded (125804 SAT variables, 278021 SAT clauses)
29.22/13.73	c (13,12) 13416 (20 %) CSP clauses are being encoded (149146 SAT variables, 328059 SAT clauses)
29.53/14.06	c (13,13) 20124 (30 %) CSP clauses are being encoded (173164 SAT variables, 379587 SAT clauses)
29.98/14.26	c (13,13) 26832 (40 %) CSP clauses are being encoded (179752 SAT variables, 398127 SAT clauses)
30.33/14.41	c (13,13) 33540 (50 %) CSP clauses are being encoded (185668 SAT variables, 415275 SAT clauses)
30.43/14.56	c (14,13) 40248 (60 %) CSP clauses are being encoded (191788 SAT variables, 432783 SAT clauses)
30.66/14.70	c (14,13) 46956 (70 %) CSP clauses are being encoded (197704 SAT variables, 449931 SAT clauses)
30.76/14.85	c (14,14) 53664 (80 %) CSP clauses are being encoded (203824 SAT variables, 467439 SAT clauses)
30.86/15.00	c (14,14) 60372 (90 %) CSP clauses are being encoded (209740 SAT variables, 484587 SAT clauses)
42.81/23.89	c (23,21) 67080 (100 %) CSP clauses are being encoded (1050660 SAT variables, 2959949 SAT clauses)
42.91/23.94	c (23,22) Launch Command will be: minisat_release
42.91/23.94	c (23,22) CSPinCNF to SatSolver End
42.91/23.94	c (23,22) Heap : 2852 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
43.87/24.40	c (23,22) STATISTICS2:HOME/instance-4305559-1534079852.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,21800,67080,9223372036854775807,26,24,200,9223372036854775807:268;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:3;70368744177664:2;17592186044416:1;8796093022208:1;1099511627776:1;549755813888:1;16:392;4:396;2:199,26:30000;2:179130,24:200;3:29200;2:36400;1:1280,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:3;47:2;45:1;44:1;41:1;40:1;5:392;3:396;2:199;1:165200,2:268
43.87/24.40	c (23,22) 1056743 bool, 2978041 clause
43.87/24.40	c (23,22) Export Begin
44.57/24.65	c (24,22) Export to HOME/scop-25067-serial-file.bin
44.57/24.65	c (24,22) Export End
44.57/24.66	c (24,22) Export File Size: 0.61 MB
44.57/24.66	c (24,22) 0,0,10,11,11,11,23,STOP-AFTER(DIMACS)
44.57/24.66	c END-Prog: Sun Aug 12 15:17:57 CEST 2018
44.57/24.69	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25067-serial-file.bin
45.25/25.18	c (0,0) Read Serial File Begin
45.25/25.18	c (0,0) HOME/scop-25067-serial-file.bin
46.04/25.54	c (0,0) Read Serial File End
46.04/25.55	
46.04/25.55	scop log+minisat_release (2018-07-31)
46.04/25.55	(Solving Process)
46.04/25.55	
46.04/25.58	c BEGIN-Prog: Sun Aug 12 15:17:58 CEST 2018
46.04/25.58	c PID: 25085
46.04/25.58	c IP: 172.20.3.135
46.04/25.58	c HOST: node135.alineos.net
46.04/25.58	c (0,0) SatSolver.solve Begin
46.04/25.58	c (0,0) 0 bool, 0 clause
46.04/25.58	c (0,0) minisat_release HOME/instance-4305559-1534079852.xml-scop-25070.cnf
2448.12/2426.14	c (2401,0) c This is COMiniSatPS.
2448.12/2426.14	c (2401,0) c WARNING: for repeatability, setting FPU to use double precision
2448.12/2426.14	c (2401,0) c ============================[ Problem Statistics ]=============================
2448.12/2426.14	c (2401,0) c |                                                                             |
2448.12/2426.14	c (2401,0) c |  Number of variables:       1056743                                         |
2448.12/2426.14	c (2401,0) c |  Number of clauses:         2976561                                         |
2448.12/2426.14	c (2401,0) c |  Parse time:                   1.14 s                                       |
2448.12/2426.14	c (2401,0) c |  Eliminated clauses:           3.65 Mb                                      |
2448.12/2426.14	c (2401,0) c Reduced to 905959 vars, 2719846 cls (grow=0)
2448.12/2426.14	c (2401,0) c |  Eliminated clauses:          17.27 Mb                                      |
2448.12/2426.15	c (2401,0) c Reduced to 652002 vars, 3775072 cls (grow=8)
2448.12/2426.15	c (2401,0) c cl_inc_rate=1.388, var_dec_rate=1.390
2448.12/2426.15	c (2401,0) c No. effective iterative eliminations: 1
2448.12/2426.15	c (2401,0) c |  Simplification time:          8.89 s                                       |
2448.12/2426.15	c (2401,0) c |                                                                             |
2448.12/2426.15	c (2401,0) c ============================[ Search Statistics ]==============================
2448.12/2426.15	c (2401,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2448.12/2426.15	c (2401,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2448.12/2426.15	c (2401,0) c ===============================================================================
2448.12/2426.15	c (2401,0) c ===============================================================================
2448.12/2426.15	c (2401,0) c restarts              : 2630
2448.12/2426.15	c (2401,0) c conflicts             : 1350674        (563 /sec)
2448.12/2426.15	c (2401,0) c decisions             : 12895016       (0.00 % random) (5378 /sec)
2448.12/2426.15	c (2401,0) c propagations          : 5201045989     (2169207 /sec)
2448.12/2426.15	c (2401,0) c conflict literals     : 159237209      (12.83 % deleted)
2448.12/2426.15	c (2401,0) c CPU time              : 2397.67 s
2448.12/2426.15	c (2401,0) 
2448.12/2426.15	c (2401,0) s SATISFIABLE
2448.97/2426.66	c (2401,0) SatSolver.solve End
2448.97/2426.66	c (2401,0) Heap : 369 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
2448.97/2426.66	c (2401,0) Show results Begin
2449.11/2426.73	s SATISFIABLE
2449.11/2426.76	v <instantiation>
2449.11/2426.76	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>
2449.11/2426.76	v     <values>2 21 25 13 18 5 15 5 8 7 2 18 2 6 22 25 1 9 2 1 12 2 1 9 2 16 3 0 18 19 6 11 2 19 3 9 16 25 6 2 11 24 2 11 6 5 2 21 2 8 2 3 1 6 2 5 18 19 25 8 11 6 11 25 0 3 2 19 15 19 2 16 18 7 25 19 2 0 3 4 2 5 6 11 2 12 19 3 2 0 2 2 18 8 2 0 3 5 18 9 19 17 9 2 1 9 19 3 9 8 11 9 1 2 6 19 8 20 2 1 2 2 12 11 2 6 2 3 21 2 19 12 25 19 2 5 15 5 18 13 9 19 18 6 11 8 23 3 19 2 14 18 3 6 2 2 0 17 19 15 2 19 15 5 8 7 2 19 18 5 18 25 5 15 8 5 20 19 18 5 6 3 5 8 20 19 2 3 10 25 2 1 6 3 5 8 2 7 18 19 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0</values>
2449.11/2426.76	v </instantiation>
2449.11/2426.76	c (2401,0) Show results End
2449.11/2426.76	c (2401,0) Heap : 369 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
2449.11/2426.76	c (2401,0) 2401,2401,STOP-AFTER(ALL)
2449.11/2426.76	c END-Prog: Sun Aug 12 15:57:59 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 (7627 MiB free)
  memory of node 1: 16384 MiB (4417 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305559-1534079852/watcher-4305559-1534079852 -o /tmp/evaluation-result-4305559-1534079852/solver-4305559-1534079852 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305559-1534079852.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=25067, runsolver pid=25064

[startup+0.100172 s]*
/proc/loadavg: 2.00 2.08 2.31 3/225 25084
/proc/meminfo: memFree=12274156/32770624 swapFree=67108860/67108860
[pid=25067] ppid=25064 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25067/stat : 25067 (scop.sh) S 25064 25067 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225548411 115843072 349 33554432000 4194304 5098028 140730607934784 140730607932040 140685119980156 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15073280 140730607940673 140730607940871 140730607940871 140730607943629 0
/proc/25067/statm: 28282 349 296 221 0 87 0
[pid=25070] ppid=25067 vsize=15012476 memory=72616 CPUtime=0.11 cores=0,2,4,6
/proc/25070/stat : 25070 (java) S 25067 25067 19383 0 -1 1077944320 6753 0 0 0 9 2 0 0 20 0 15 0 225548411 15372775424 18154 33554432000 4194304 4196468 140724136853888 140724136836432 140521659956983 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
/proc/25070/statm: 3753119 18154 2767 1 0 3715579 0
[pid=25070/tid=25071] ppid=25067 vsize=15012476 memory=-6222985969016291263 CPUtime=0.09 cores=0,2,4,6
/proc/25070/task/25071/stat : 25071 (java) R 25067 25067 19383 0 -1 4202560 4851 0 0 0 7 2 0 0 20 0 15 0 225548412 15372775424 18154 33554432000 4194304 4196468 140724136853888 140521631768968 140521643143827 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25072] ppid=25067 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25072/stat : 25072 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548413 15372775424 18154 33554432000 4194304 4196468 140724136853888 140521664199056 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25073] ppid=25067 vsize=15012476 memory=140030507239040 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25073/stat : 25073 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225548413 15372775424 18154 33554432000 4194304 4196468 140724136853888 140521478355216 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25074] ppid=25067 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25074/stat : 25074 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225548413 15372775424 18154 33554432000 4194304 4196468 140724136853888 140521477302928 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25075] ppid=25067 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25075/stat : 25075 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548413 15372775424 18154 33554432000 4194304 4196468 140724136853888 140521476250128 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25076] ppid=25067 vsize=15012476 memory=140030507239040 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25076/stat : 25076 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225548415 15372775424 18154 33554432000 4194304 4196468 140724136853888 140520697530992 140521659968130 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25077] ppid=25067 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25077/stat : 25077 (java) S 25067 25067 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225548415 15372775424 18154 33554432000 4194304 4196468 140724136853888 140520189846816 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25078] ppid=25067 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25078/stat : 25078 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548416 15372775424 18154 33554432000 4194304 4196468 140724136853888 140519921411696 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25079] ppid=25067 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25079/stat : 25079 (java) S 25067 25067 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 18154 33554432000 4194304 4196468 140724136853888 140519546903120 140521659975579 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25080] ppid=25067 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25080/stat : 25080 (java) S 25067 25067 19383 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 18154 33554432000 4194304 4196468 140724136853888 140520696477808 140521659968130 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25081] ppid=25067 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25081/stat : 25081 (java) S 25067 25067 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 18154 33554432000 4194304 4196468 140724136853888 140520695425008 140521659968130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25082] ppid=25067 vsize=15012476 memory=140030507239040 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25082/stat : 25082 (java) R 25067 25067 19383 0 -1 4202560 269 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 18154 33554432000 4194304 4196468 140724136853888 140520694372720 140521640283808 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25083] ppid=25067 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25083/stat : 25083 (java) S 25067 25067 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 18154 33554432000 4194304 4196468 140724136853888 140519048997344 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25084] ppid=25067 vsize=15012476 memory=140030507239040 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25084/stat : 25084 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 18154 33554432000 4194304 4196468 140724136853888 140520693320624 140521659968130 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74012 KiB

[startup+0.210935 s]*
/proc/loadavg: 2.00 2.08 2.31 3/225 25084
/proc/meminfo: memFree=12260576/32770624 swapFree=67108860/67108860
[pid=25067] ppid=25064 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25067/stat : 25067 (scop.sh) S 25064 25067 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225548411 115843072 349 33554432000 4194304 5098028 140730607934784 140730607932040 140685119980156 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15073280 140730607940673 140730607940871 140730607940871 140730607943629 0
/proc/25067/statm: 28282 349 296 221 0 87 0
[pid=25070] ppid=25067 vsize=15012476 memory=85956 CPUtime=0.26 cores=0,2,4,6
/proc/25070/stat : 25070 (java) S 25067 25067 19383 0 -1 1077944320 10275 0 0 0 22 4 0 0 20 0 15 0 225548411 15372775424 21489 33554432000 4194304 4196468 140724136853888 140724136836432 140521659956983 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
/proc/25070/statm: 3753119 21489 2930 1 0 3715579 0
[pid=25070/tid=25071] ppid=25067 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/25070/task/25071/stat : 25071 (java) R 25067 25067 19383 0 -1 4202560 8188 0 0 0 17 2 0 0 20 0 15 0 225548412 15372775424 21489 33554432000 4194304 4196468 140724136853888 140521631783376 140521659978909 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25072] ppid=25067 vsize=15012476 memory=550 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25072/stat : 25072 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548413 15372775424 21489 33554432000 4194304 4196468 140724136853888 140521664199056 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25073] ppid=25067 vsize=15012476 memory=140030507260248 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25073/stat : 25073 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225548413 15372775424 21489 33554432000 4194304 4196468 140724136853888 140521478355216 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25074] ppid=25067 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25074/stat : 25074 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225548413 15372775424 21489 33554432000 4194304 4196468 140724136853888 140521477302928 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25075] ppid=25067 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25075/stat : 25075 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548413 15372775424 21489 33554432000 4194304 4196468 140724136853888 140521476250128 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25076] ppid=25067 vsize=15012476 memory=140030507239040 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25076/stat : 25076 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225548415 15372775424 21489 33554432000 4194304 4196468 140724136853888 140520697530992 140521659968130 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25077] ppid=25067 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25077/stat : 25077 (java) S 25067 25067 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225548415 15372775424 21489 33554432000 4194304 4196468 140724136853888 140520189846816 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25078] ppid=25067 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25078/stat : 25078 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548416 15372775424 21489 33554432000 4194304 4196468 140724136853888 140519921411696 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25079] ppid=25067 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25079/stat : 25079 (java) S 25067 25067 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 21489 33554432000 4194304 4196468 140724136853888 140519546903120 140521659975579 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25080] ppid=25067 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25080/stat : 25080 (java) S 25067 25067 19383 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 21489 33554432000 4194304 4196468 140724136853888 140520696477808 140521659968130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25081] ppid=25067 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25081/stat : 25081 (java) S 25067 25067 19383 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 21489 33554432000 4194304 4196468 140724136853888 140520695425008 140521659968130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25082] ppid=25067 vsize=15012476 memory=140030507239040 CPUtime=0.02 cores=0,2,4,6
/proc/25070/task/25082/stat : 25082 (java) S 25067 25067 19383 0 -1 1077944384 286 0 0 0 2 0 0 0 20 0 15 0 225548418 15372775424 21489 33554432000 4194304 4196468 140724136853888 140520694372720 140521659968130 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25083] ppid=25067 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25083/stat : 25083 (java) S 25067 25067 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 21489 33554432000 4194304 4196468 140724136853888 140519048997344 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25084] ppid=25067 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25084/stat : 25084 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 21489 33554432000 4194304 4196468 140724136853888 140520693320624 140521659968130 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87352 KiB

[startup+0.310862 s]*
/proc/loadavg: 2.00 2.08 2.31 3/225 25084
/proc/meminfo: memFree=12256420/32770624 swapFree=67108860/67108860
[pid=25067] ppid=25064 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25067/stat : 25067 (scop.sh) S 25064 25067 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225548411 115843072 349 33554432000 4194304 5098028 140730607934784 140730607932040 140685119980156 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15073280 140730607940673 140730607940871 140730607940871 140730607943629 0
/proc/25067/statm: 28282 349 296 221 0 87 0
[pid=25070] ppid=25067 vsize=15012476 memory=89476 CPUtime=0.43 cores=0,2,4,6
/proc/25070/stat : 25070 (java) S 25067 25067 19383 0 -1 1077944320 10891 0 0 0 39 4 0 0 20 0 15 0 225548411 15372775424 22369 33554432000 4194304 4196468 140724136853888 140724136836432 140521659956983 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
/proc/25070/statm: 3753119 22369 2971 1 0 3715579 0
[pid=25070/tid=25071] ppid=25067 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/25070/task/25071/stat : 25071 (java) R 25067 25067 19383 0 -1 4202560 8623 0 0 0 27 3 0 0 20 0 15 0 225548412 15372775424 22369 33554432000 4194304 4196468 140724136853888 140521631751984 140521643157717 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25072] ppid=25067 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25072/stat : 25072 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548413 15372775424 22369 33554432000 4194304 4196468 140724136853888 140521664199056 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25073] ppid=25067 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25073/stat : 25073 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225548413 15372775424 22369 33554432000 4194304 4196468 140724136853888 140521478355216 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25074] ppid=25067 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25074/stat : 25074 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225548413 15372775424 22369 33554432000 4194304 4196468 140724136853888 140521477302928 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25075] ppid=25067 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25075/stat : 25075 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548413 15372775424 22369 33554432000 4194304 4196468 140724136853888 140521476250128 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25076] ppid=25067 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25076/stat : 25076 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225548415 15372775424 22369 33554432000 4194304 4196468 140724136853888 140520697530992 140521659968130 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25077] ppid=25067 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25077/stat : 25077 (java) S 25067 25067 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225548415 15372775424 22369 33554432000 4194304 4196468 140724136853888 140520189846816 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25078] ppid=25067 vsize=15012476 memory=-6664436420846798482 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25078/stat : 25078 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548416 15372775424 22369 33554432000 4194304 4196468 140724136853888 140519921411696 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25079] ppid=25067 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25079/stat : 25079 (java) S 25067 25067 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 22369 33554432000 4194304 4196468 140724136853888 140519546903120 140521659975579 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25080] ppid=25067 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25070/task/25080/stat : 25080 (java) S 25067 25067 19383 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 225548418 15372775424 22369 33554432000 4194304 4196468 140724136853888 140520696477808 140521659968130 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25081] ppid=25067 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25070/task/25081/stat : 25081 (java) S 25067 25067 19383 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 225548418 15372775424 22369 33554432000 4194304 4196468 140724136853888 140520695425008 140521659968130 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25082] ppid=25067 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25070/task/25082/stat : 25082 (java) S 25067 25067 19383 0 -1 1077944384 323 0 0 0 7 0 0 0 20 0 15 0 225548418 15372775424 22369 33554432000 4194304 4196468 140724136853888 140520694372720 140521659968130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25083] ppid=25067 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25083/stat : 25083 (java) S 25067 25067 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 22369 33554432000 4194304 4196468 140724136853888 140519048997344 140521659967189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25084] ppid=25067 vsize=15012476 memory=3761410793958088753 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25084/stat : 25084 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548418 15372775424 22369 33554432000 4194304 4196468 140724136853888 140520693320624 140521659968130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90872 KiB

[startup+0.701289 s]
/proc/loadavg: 2.00 2.08 2.31 3/225 25084
/proc/meminfo: memFree=12232500/32770624 swapFree=67108860/67108860
[pid=25067] ppid=25064 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25067/stat : 25067 (scop.sh) S 25064 25067 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225548411 115843072 349 33554432000 4194304 5098028 140730607934784 140730607932040 140685119980156 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15073280 140730607940673 140730607940871 140730607940871 140730607943629 0
/proc/25067/statm: 28282 349 296 221 0 87 0
[pid=25070] ppid=25067 vsize=15018748 memory=131336 CPUtime=1.05 cores=0,2,4,6
/proc/25070/stat : 25070 (java) S 25067 25067 19383 0 -1 1077944320 17943 0 0 0 99 6 0 0 20 0 15 0 225548411 15379197952 32834 33554432000 4194304 4196468 140724136853888 140724136836432 140521659956983 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
/proc/25070/statm: 3754687 32834 3147 1 0 3716091 0
[pid=25070/tid=25071] ppid=25067 vsize=15018748 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/25070/task/25071/stat : 25071 (java) R 25067 25067 19383 0 -1 4202560 15157 0 0 0 63 4 0 0 20 0 15 0 225548412 15379197952 32834 33554432000 4194304 4196468 140724136853888 140521631786448 140521644037470 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25072] ppid=25067 vsize=15018748 memory=288230377057958153 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25072/stat : 25072 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548413 15379197952 32834 33554432000 4194304 4196468 140724136853888 140521664199056 140521659967189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25073] ppid=25067 vsize=15018748 memory=14975555351106623 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25073/stat : 25073 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225548413 15379197952 32834 33554432000 4194304 4196468 140724136853888 140521478355216 140521659967189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25074] ppid=25067 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25074/stat : 25074 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225548413 15379197952 32834 33554432000 4194304 4196468 140724136853888 140521477302928 140521659967189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25075] ppid=25067 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25075/stat : 25075 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548413 15379197952 32834 33554432000 4194304 4196468 140724136853888 140521476250128 140521659967189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25076] ppid=25067 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25076/stat : 25076 (java) S 25067 25067 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225548415 15379197952 32834 33554432000 4194304 4196468 140724136853888 140520697530992 140521659968130 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25077] ppid=25067 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25077/stat : 25077 (java) S 25067 25067 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225548415 15379197952 32834 33554432000 4194304 4196468 140724136853888 140520189846816 140521659967189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25078] ppid=25067 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25078/stat : 25078 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548416 15379197952 32834 33554432000 4194304 4196468 140724136853888 140519921411696 140521659967189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25079] ppid=25067 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25079/stat : 25079 (java) S 25067 25067 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225548418 15379197952 32834 33554432000 4194304 4196468 140724136853888 140519546903120 140521659975579 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25080] ppid=25067 vsize=15018748 memory=280060724510960 CPUtime=0.07 cores=0,2,4,6
/proc/25070/task/25080/stat : 25080 (java) R 25067 25067 19383 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 15 0 225548418 15379197952 32834 33554432000 4194304 4196468 140724136853888 140520696469760 140521659967189 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25081] ppid=25067 vsize=15018748 memory=7234030490512222553 CPUtime=0.1 cores=0,2,4,6
/proc/25070/task/25081/stat : 25081 (java) R 25067 25067 19383 0 -1 4202560 460 0 0 0 10 0 0 0 20 0 15 0 225548418 15379197952 32834 33554432000 4194304 4196468 140724136853888 140520695416464 140521659968918 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25082] ppid=25067 vsize=15018748 memory=7594587674001172330 CPUtime=0.17 cores=0,2,4,6
/proc/25070/task/25082/stat : 25082 (java) S 25067 25067 19383 0 -1 1077944384 497 0 0 0 17 0 0 0 20 0 15 0 225548418 15379197952 32834 33554432000 4194304 4196468 140724136853888 140520694367760 140521659967189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25083] ppid=25067 vsize=15018748 memory=7649399367151924530 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25083/stat : 25083 (java) S 25067 25067 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225548418 15379197952 32834 33554432000 4194304 4196468 140724136853888 140519048997344 140521659967189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
[pid=25070/tid=25084] ppid=25067 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25070/task/25084/stat : 25084 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225548418 15379197952 32834 33554432000 4194304 4196468 140724136853888 140520693320624 140521659968130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140724136862727 140724136863025 140724136863025 140724136865743 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132732 KiB

[startup+1.50113 s]
/proc/loadavg: 2.00 2.08 2.31 5/225 25084
/proc/meminfo: memFree=12192112/32770624 swapFree=67108860/67108860
[pid=25067] ppid=25064 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25067/stat : 25067 (scop.sh) S 25064 25067 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225548411 115843072 349 33554432000 4194304 5098028 140730607934784 140730607932040 140685119980156 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15073280 140730607940673 140730607940871 140730607940871 140730607943629 0
/proc/25067/statm: 28282 349 296 221 0 87 0

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

/proc/25085/task/25096/stat : 25096 (java) S 25067 25067 19383 0 -1 1077944384 502 0 0 0 26 0 0 0 20 0 19 0 225550887 8261857280 32006 33554432000 4194304 4196468 140727281631136 139690833275248 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25097] ppid=25067 vsize=8068220 memory=2416 CPUtime=0.26 cores=0,2,4,6
/proc/25085/task/25097/stat : 25097 (java) S 25067 25067 19383 0 -1 1077944384 625 0 0 0 26 0 0 0 20 0 19 0 225550887 8261857280 32006 33554432000 4194304 4196468 140727281631136 139690832222192 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25098] ppid=25067 vsize=8068220 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25098/stat : 25098 (java) S 25067 25067 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225550887 8261857280 32006 33554432000 4194304 4196468 140727281631136 139689315002720 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25099] ppid=25067 vsize=8068220 memory=5772 CPUtime=1.46 cores=0,2,4,6
/proc/25085/task/25099/stat : 25099 (java) S 25067 25067 19383 0 -1 1077944384 351 0 0 0 75 71 0 0 20 0 19 0 225550887 8261857280 32006 33554432000 4194304 4196468 140727281631136 139690831170608 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25101] ppid=25067 vsize=8068220 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25101/stat : 25101 (java) S 25067 25067 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225550972 8261857280 32006 33554432000 4194304 4196468 140727281631136 139690823694144 139691582361369 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25103] ppid=25067 vsize=8068220 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25103/stat : 25103 (java) S 25067 25067 19383 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 225550972 8261857280 32006 33554432000 4194304 4196468 140727281631136 139688778117040 139691582358685 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25104] ppid=25067 vsize=8068220 memory=128024 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25104/stat : 25104 (java) S 25067 25067 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225550972 8261857280 32006 33554432000 4194304 4196468 140727281631136 139688912338480 139691582358685 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25105] ppid=25067 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25105/stat : 25105 (java) S 25067 25067 19383 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 225550974 8261857280 32006 33554432000 4194304 4196468 140727281631136 139688509693216 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
Current children cumulated CPU time: 2447.61 s
Current children cumulated vsize: 8831400 KiB
Current children cumulated memory: 687416 KiB

[startup+2426.4 s]
/proc/loadavg: 2.06 2.01 2.05 3/230 25285
/proc/meminfo: memFree=11568356/32770624 swapFree=67108860/67108860
[pid=25067] ppid=25064 vsize=113128 memory=1472 CPUtime=44.7 cores=0,2,4,6
/proc/25067/stat : 25067 (scop.sh) S 25064 25067 19383 0 -1 4202496 591 66085 0 0 0 0 4278 192 20 0 1 0 225548411 115843072 368 33554432000 4194304 5098028 140730607934784 140730607931528 140685119980156 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15073280 140730607940673 140730607940871 140730607940871 140730607943629 0
/proc/25067/statm: 28282 368 311 221 0 87 0
[pid=25085] ppid=25067 vsize=8068220 memory=206028 CPUtime=3.5 cores=0,2,4,6
/proc/25085/stat : 25085 (java) S 25067 25067 19383 0 -1 1077944320 19623 0 0 0 269 81 0 0 20 0 19 0 225550881 8261857280 51507 33554432000 4194304 4196468 140727281631136 140727281613680 139691582336759 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
/proc/25085/statm: 2017055 51507 3170 1 0 1978454 0
[pid=25085/tid=25086] ppid=25067 vsize=8068220 memory=828 CPUtime=0.93 cores=0,2,4,6
/proc/25085/task/25086/stat : 25086 (java) S 25067 25067 19383 0 -1 1077944384 15125 0 0 0 82 11 0 0 20 0 19 0 225550881 8261857280 51507 33554432000 4194304 4196468 140727281631136 139691554176912 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25087] ppid=25067 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25087/stat : 25087 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225550882 8261857280 51507 33554432000 4194304 4196468 140727281631136 139691586578960 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25088] ppid=25067 vsize=8068220 memory=912 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25088/stat : 25088 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225550882 8261857280 51507 33554432000 4194304 4196468 140727281631136 139691400735376 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25089] ppid=25067 vsize=8068220 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25089/stat : 25089 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225550882 8261857280 51507 33554432000 4194304 4196468 140727281631136 139691399682320 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25090] ppid=25067 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25090/stat : 25090 (java) S 25067 25067 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225550882 8261857280 51507 33554432000 4194304 4196468 140727281631136 139691398629776 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25091] ppid=25067 vsize=8068220 memory=968 CPUtime=0.05 cores=0,2,4,6
/proc/25085/task/25091/stat : 25091 (java) S 25067 25067 19383 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 19 0 225550884 8261857280 51507 33554432000 4194304 4196468 140727281631136 139690835380976 139691582347906 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25092] ppid=25067 vsize=8068220 memory=12144 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25092/stat : 25092 (java) S 25067 25067 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225550884 8261857280 51507 33554432000 4194304 4196468 140727281631136 139690455852704 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25093] ppid=25067 vsize=8068220 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25093/stat : 25093 (java) S 25067 25067 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225550884 8261857280 51507 33554432000 4194304 4196468 140727281631136 139690187416816 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25094] ppid=25067 vsize=8068220 memory=8812 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25094/stat : 25094 (java) S 25067 25067 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225550887 8261857280 51507 33554432000 4194304 4196468 140727281631136 139689812908496 139691582355355 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25095] ppid=25067 vsize=8068220 memory=-7824251494390715755 CPUtime=0.28 cores=0,2,4,6
/proc/25085/task/25095/stat : 25095 (java) S 25067 25067 19383 0 -1 1077944384 1092 0 0 0 27 1 0 0 20 0 19 0 225550887 8261857280 51507 33554432000 4194304 4196468 140727281631136 139690834327792 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25096] ppid=25067 vsize=8068220 memory=557920 CPUtime=0.29 cores=0,2,4,6
/proc/25085/task/25096/stat : 25096 (java) S 25067 25067 19383 0 -1 1077944384 522 0 0 0 29 0 0 0 20 0 19 0 225550887 8261857280 51507 33554432000 4194304 4196468 140727281631136 139690833275248 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25097] ppid=25067 vsize=8068220 memory=1412 CPUtime=0.28 cores=0,2,4,6
/proc/25085/task/25097/stat : 25097 (java) S 25067 25067 19383 0 -1 1077944384 1066 0 0 0 28 0 0 0 20 0 19 0 225550887 8261857280 51507 33554432000 4194304 4196468 140727281631136 139690832222192 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25098] ppid=25067 vsize=8068220 memory=3476 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25098/stat : 25098 (java) S 25067 25067 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225550887 8261857280 51507 33554432000 4194304 4196468 140727281631136 139689315002720 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25099] ppid=25067 vsize=8068220 memory=128024 CPUtime=1.46 cores=0,2,4,6
/proc/25085/task/25099/stat : 25099 (java) S 25067 25067 19383 0 -1 1077944384 351 0 0 0 75 71 0 0 20 0 19 0 225550887 8261857280 51507 33554432000 4194304 4196468 140727281631136 139690831170608 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25101] ppid=25067 vsize=8068220 memory=-7824251494390715755 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25101/stat : 25101 (java) S 25067 25067 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225550972 8261857280 51507 33554432000 4194304 4196468 140727281631136 139690823694144 139691582361369 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25103] ppid=25067 vsize=8068220 memory=928 CPUtime=0.13 cores=0,2,4,6
/proc/25085/task/25103/stat : 25103 (java) R 25067 25067 19383 0 -1 4202560 76 0 0 0 11 2 0 0 20 0 19 0 225550972 8261857280 51507 33554432000 4194304 4196468 140727281631136 139688778116944 139691080180404 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25104] ppid=25067 vsize=8068220 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25104/stat : 25104 (java) S 25067 25067 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225550972 8261857280 51507 33554432000 4194304 4196468 140727281631136 139688912338480 139691582358685 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25105] ppid=25067 vsize=8068220 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/25085/task/25105/stat : 25105 (java) S 25067 25067 19383 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 225550974 8261857280 51507 33554432000 4194304 4196468 140727281631136 139688509693216 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
Current children cumulated CPU time: 48.2 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 207500 KiB

[startup+2426.6 s]
/proc/loadavg: 2.06 2.01 2.05 3/230 25285
/proc/meminfo: memFree=11568356/32770624 swapFree=67108860/67108860
[pid=25067] ppid=25064 vsize=113128 memory=1472 CPUtime=44.7 cores=0,2,4,6
/proc/25067/stat : 25067 (scop.sh) S 25064 25067 19383 0 -1 4202496 591 66085 0 0 0 0 4278 192 20 0 1 0 225548411 115843072 368 33554432000 4194304 5098028 140730607934784 140730607931528 140685119980156 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15073280 140730607940673 140730607940871 140730607940871 140730607943629 0
/proc/25067/statm: 28282 368 311 221 0 87 0
[pid=25085] ppid=25067 vsize=8068220 memory=335456 CPUtime=2404.27 cores=0,2,4,6
/proc/25085/stat : 25085 (java) S 25067 25067 19383 0 -1 1077944320 19780 3206905 0 0 300 82 239789 256 20 0 18 0 225550881 8261857280 83864 33554432000 4194304 4196468 140727281631136 140727281613680 139691582336759 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
/proc/25085/statm: 2017055 83864 3175 1 0 1978454 0
[pid=25085/tid=25086] ppid=25067 vsize=8068220 memory=6791534058613427641 CPUtime=2401.38 cores=0,2,4,6
/proc/25085/task/25086/stat : 25086 (java) S 25067 25067 19383 0 -1 1077944384 15125 3206905 0 0 82 11 239789 256 20 0 18 0 225550881 8261857280 83864 33554432000 4194304 4196468 140727281631136 139691554176912 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25087] ppid=25067 vsize=8068220 memory=288230596050944315 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25087/stat : 25087 (java) S 25067 25067 19383 0 -1 1077944384 1 3206905 0 0 0 0 239789 256 20 0 18 0 225550882 8261857280 83864 33554432000 4194304 4196468 140727281631136 139691586578960 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25088] ppid=25067 vsize=8068220 memory=14972265422916166 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25088/stat : 25088 (java) S 25067 25067 19383 0 -1 1077944384 2 3206905 0 0 0 0 239789 256 20 0 18 0 225550882 8261857280 83864 33554432000 4194304 4196468 140727281631136 139691400735376 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25089] ppid=25067 vsize=8068220 memory=4576 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25089/stat : 25089 (java) S 25067 25067 19383 0 -1 1077944384 1 3206905 0 0 0 0 239789 256 20 0 18 0 225550882 8261857280 83864 33554432000 4194304 4196468 140727281631136 139691399682320 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25090] ppid=25067 vsize=8068220 memory=15868 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25090/stat : 25090 (java) S 25067 25067 19383 0 -1 1077944384 2 3206905 0 0 0 0 239789 256 20 0 18 0 225550882 8261857280 83864 33554432000 4194304 4196468 140727281631136 139691398629776 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25091] ppid=25067 vsize=8068220 memory=4012 CPUtime=2400.5 cores=0,2,4,6
/proc/25085/task/25091/stat : 25091 (java) S 25067 25067 19383 0 -1 1077944384 7 3206905 0 0 3 2 239789 256 20 0 18 0 225550884 8261857280 83864 33554432000 4194304 4196468 140727281631136 139690835380976 139691582347906 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25092] ppid=25067 vsize=8068220 memory=35116 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25092/stat : 25092 (java) S 25067 25067 19383 0 -1 1077944384 13 3206905 0 0 0 0 239789 256 20 0 18 0 225550884 8261857280 83864 33554432000 4194304 4196468 140727281631136 139690455852704 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25093] ppid=25067 vsize=8068220 memory=18220 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25093/stat : 25093 (java) S 25067 25067 19383 0 -1 1077944384 1 3206905 0 0 0 0 239789 256 20 0 18 0 225550884 8261857280 83864 33554432000 4194304 4196468 140727281631136 139690187416816 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25094] ppid=25067 vsize=8068220 memory=1788 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25094/stat : 25094 (java) S 25067 25067 19383 0 -1 1077944384 3 3206905 0 0 0 0 239789 256 20 0 18 0 225550887 8261857280 83864 33554432000 4194304 4196468 140727281631136 139689812908496 139691582355355 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25095] ppid=25067 vsize=8068220 memory=1232 CPUtime=2400.8 cores=0,2,4,6
/proc/25085/task/25095/stat : 25095 (java) S 25067 25067 19383 0 -1 1077944384 1105 3206905 0 0 34 1 239789 256 20 0 18 0 225550887 8261857280 83864 33554432000 4194304 4196468 140727281631136 139690834327792 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25096] ppid=25067 vsize=8068220 memory=644 CPUtime=2400.78 cores=0,2,4,6
/proc/25085/task/25096/stat : 25096 (java) S 25067 25067 19383 0 -1 1077944384 531 3206905 0 0 33 0 239789 256 20 0 18 0 225550887 8261857280 83864 33554432000 4194304 4196468 140727281631136 139690833275248 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25097] ppid=25067 vsize=8068220 memory=952 CPUtime=2400.75 cores=0,2,4,6
/proc/25085/task/25097/stat : 25097 (java) S 25067 25067 19383 0 -1 1077944384 1098 3206905 0 0 30 0 239789 256 20 0 18 0 225550887 8261857280 83864 33554432000 4194304 4196468 140727281631136 139690832222192 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25098] ppid=25067 vsize=8068220 memory=2416 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25098/stat : 25098 (java) S 25067 25067 19383 0 -1 1077944384 3 3206905 0 0 0 0 239789 256 20 0 18 0 225550887 8261857280 83864 33554432000 4194304 4196468 140727281631136 139689315002720 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25099] ppid=25067 vsize=8068220 memory=1536 CPUtime=2401.92 cores=0,2,4,6
/proc/25085/task/25099/stat : 25099 (java) S 25067 25067 19383 0 -1 1077944384 351 3206905 0 0 76 71 239789 256 20 0 18 0 225550887 8261857280 83864 33554432000 4194304 4196468 140727281631136 139690831170608 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25101] ppid=25067 vsize=8068220 memory=4576 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25101/stat : 25101 (java) S 25067 25067 19383 0 -1 1077944384 24 3206905 0 0 0 0 239789 256 20 0 18 0 225550972 8261857280 83864 33554432000 4194304 4196468 140727281631136 139690823693328 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25103] ppid=25067 vsize=8068220 memory=15868 CPUtime=2400.78 cores=0,2,4,6
/proc/25085/task/25103/stat : 25103 (java) R 25067 25067 19383 0 -1 4202560 176 3206905 0 0 29 4 239789 256 20 0 18 0 225550972 8261857280 83864 33554432000 4194304 4196468 140727281631136 139688778121672 139691080358523 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25105] ppid=25067 vsize=8068220 memory=4012 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25105/stat : 25105 (java) S 25067 25067 19383 0 -1 1077944384 9 3206905 0 0 0 0 239789 256 20 0 18 0 225550974 8261857280 83864 33554432000 4194304 4196468 140727281631136 139688509692976 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
Current children cumulated CPU time: 2448.97 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 336928 KiB

[startup+2426.7 s]
/proc/loadavg: 2.06 2.01 2.05 3/230 25285
/proc/meminfo: memFree=11568356/32770624 swapFree=67108860/67108860
[pid=25067] ppid=25064 vsize=113128 memory=1472 CPUtime=44.7 cores=0,2,4,6
/proc/25067/stat : 25067 (scop.sh) S 25064 25067 19383 0 -1 4202496 591 66085 0 0 0 0 4278 192 20 0 1 0 225548411 115843072 368 33554432000 4194304 5098028 140730607934784 140730607931528 140685119980156 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15073280 140730607940673 140730607940871 140730607940871 140730607943629 0
/proc/25067/statm: 28282 368 311 221 0 87 0
[pid=25085] ppid=25067 vsize=7937144 memory=352056 CPUtime=2404.41 cores=0,2,4,6
/proc/25085/stat : 25085 (java) S 25067 25067 19383 0 -1 1077944320 19896 3206905 0 0 314 82 239789 256 20 0 17 0 225550881 8127635456 88014 33554432000 4194304 4196468 140727281631136 140727281613680 139691582336759 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
/proc/25085/statm: 1984286 88014 3176 1 0 1945685 0
[pid=25085/tid=25086] ppid=25067 vsize=7937144 memory=160836 CPUtime=2401.42 cores=0,2,4,6
/proc/25085/task/25086/stat : 25086 (java) R 25067 25067 19383 0 -1 4202560 15156 3206905 0 0 86 11 239789 256 20 0 17 0 225550881 8127635456 88014 33554432000 4194304 4196468 140727281631136 139691554174816 139691076714849 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25087] ppid=25067 vsize=7937144 memory=1472 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25087/stat : 25087 (java) S 25067 25067 19383 0 -1 1077944384 1 3206905 0 0 0 0 239789 256 20 0 17 0 225550882 8127635456 88014 33554432000 4194304 4196468 140727281631136 139691586578960 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25088] ppid=25067 vsize=7937144 memory=1472 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25088/stat : 25088 (java) S 25067 25067 19383 0 -1 1077944384 2 3206905 0 0 0 0 239789 256 20 0 17 0 225550882 8127635456 88014 33554432000 4194304 4196468 140727281631136 139691400735376 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25089] ppid=25067 vsize=7937144 memory=128024 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25089/stat : 25089 (java) S 25067 25067 19383 0 -1 1077944384 1 3206905 0 0 0 0 239789 256 20 0 17 0 225550882 8127635456 88014 33554432000 4194304 4196468 140727281631136 139691399682320 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25090] ppid=25067 vsize=7937144 memory=128024 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25090/stat : 25090 (java) S 25067 25067 19383 0 -1 1077944384 2 3206905 0 0 0 0 239789 256 20 0 17 0 225550882 8127635456 88014 33554432000 4194304 4196468 140727281631136 139691398629776 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25091] ppid=25067 vsize=7937144 memory=1472 CPUtime=2400.5 cores=0,2,4,6
/proc/25085/task/25091/stat : 25091 (java) S 25067 25067 19383 0 -1 1077944384 7 3206905 0 0 3 2 239789 256 20 0 17 0 225550884 8127635456 88014 33554432000 4194304 4196468 140727281631136 139690835380976 139691582347906 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25092] ppid=25067 vsize=7937144 memory=304504 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25092/stat : 25092 (java) S 25067 25067 19383 0 -1 1077944384 13 3206905 0 0 0 0 239789 256 20 0 17 0 225550884 8127635456 88014 33554432000 4194304 4196468 140727281631136 139690455852704 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25093] ppid=25067 vsize=7937144 memory=1472 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25093/stat : 25093 (java) S 25067 25067 19383 0 -1 1077944384 1 3206905 0 0 0 0 239789 256 20 0 17 0 225550884 8127635456 88014 33554432000 4194304 4196468 140727281631136 139690187416816 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25094] ppid=25067 vsize=7937144 memory=128024 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25094/stat : 25094 (java) S 25067 25067 19383 0 -1 1077944384 3 3206905 0 0 0 0 239789 256 20 0 17 0 225550887 8127635456 88014 33554432000 4194304 4196468 140727281631136 139689812908496 139691582355355 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25095] ppid=25067 vsize=7937144 memory=557920 CPUtime=2400.81 cores=0,2,4,6
/proc/25085/task/25095/stat : 25095 (java) R 25067 25067 19383 0 -1 1077944384 1116 3206905 0 0 35 1 239789 256 20 0 17 0 225550887 8127635456 88014 33554432000 4194304 4196468 140727281631136 139690834327792 139691582347906 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25096] ppid=25067 vsize=7937144 memory=128024 CPUtime=2400.79 cores=0,2,4,6
/proc/25085/task/25096/stat : 25096 (java) R 25067 25067 19383 0 -1 4202560 540 3206905 0 0 34 0 239789 256 20 0 17 0 225550887 8127635456 88014 33554432000 4194304 4196468 140727281631136 139690833275344 139691582358106 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25097] ppid=25067 vsize=7937144 memory=1472 CPUtime=2400.77 cores=0,2,4,6
/proc/25085/task/25097/stat : 25097 (java) R 25067 25067 19383 0 -1 4202560 1151 3206905 0 0 32 0 239789 256 20 0 17 0 225550887 8127635456 88014 33554432000 4194304 4196468 140727281631136 139690832222192 139691582358106 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25098] ppid=25067 vsize=7937144 memory=1472 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25098/stat : 25098 (java) S 25067 25067 19383 0 -1 1077944384 3 3206905 0 0 0 0 239789 256 20 0 17 0 225550887 8127635456 88014 33554432000 4194304 4196468 140727281631136 139689315002720 139691582346965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25099] ppid=25067 vsize=7937144 memory=1472 CPUtime=2401.92 cores=0,2,4,6
/proc/25085/task/25099/stat : 25099 (java) S 25067 25067 19383 0 -1 1077944384 351 3206905 0 0 76 71 239789 256 20 0 17 0 225550887 8127635456 88014 33554432000 4194304 4196468 140727281631136 139690831170608 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25101] ppid=25067 vsize=7937144 memory=1472 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25101/stat : 25101 (java) S 25067 25067 19383 0 -1 1077944384 24 3206905 0 0 0 0 239789 256 20 0 17 0 225550972 8127635456 88014 33554432000 4194304 4196468 140727281631136 139690823693328 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
[pid=25085/tid=25105] ppid=25067 vsize=7937144 memory=1472 CPUtime=2400.45 cores=0,2,4,6
/proc/25085/task/25105/stat : 25105 (java) S 25067 25067 19383 0 -1 1077944384 14 3206905 0 0 0 0 239789 256 20 0 17 0 225550974 8127635456 88014 33554432000 4194304 4196468 140727281631136 139688509695024 139691582347906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38641664 140727281636533 140727281636657 140727281636657 140727281639375 0
Current children cumulated CPU time: 2449.11 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 353528 KiB

Child status: 0
Real time (s): 2426.79
CPU time (s): 2449.31
CPU user time (s): 2443.97
CPU system time (s): 5.34443
CPU usage (%): 100.928
Max. virtual memory (cumulated for all children) (KiB): 15144696
Max. memory (cumulated for all children) (KiB): 3923856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2443.97
system time used= 5.34443
maximum resident set size= 3922636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3293744
page faults= 0
swaps= 0
block input operations= 0
block output operations= 134776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62125
involuntary context switches= 3542


# summary of solver processes directly reported to runsolver:
#   pid: 25067
#   total CPU time (s): 2449.31
#   total CPU user time (s): 2443.97
#   total CPU system time (s): 5.34443

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1158 second user time and 27.1996 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-12 15:17:32
IDJOB=4305559
IDBENCH=141459
IDSOLVER=2783
FILE ID=node135/4305559-1534079852
RUNJOBID= node135-1534062530-19414
PBS_JOBID= 21036983
Free space on /tmp= 42700 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-80-01_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305559-1534079852/watcher-4305559-1534079852 -o /tmp/evaluation-result-4305559-1534079852/solver-4305559-1534079852 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305559-1534079852.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1fae7142163c3dd6bc5a43a0b85b79be
RANDOM SEED=1651384299

node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        12334328 kB
MemAvailable:   31235568 kB
Buffers:          247216 kB
Cached:         18676048 kB
SwapCached:            0 kB
Active:          9415220 kB
Inactive:       10232276 kB
Active(anon):     670052 kB
Inactive(anon):   106248 kB
Active(file):    8745168 kB
Inactive(file): 10126028 kB
Unevictable:        7244 kB
Mlocked:            7244 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7856 kB
Writeback:             0 kB
AnonPages:        783172 kB
Mapped:            73928 kB
Shmem:             49824 kB
Slab:             486796 kB
SReclaimable:     458504 kB
SUnreclaim:        28292 kB
KernelStack:        3984 kB
PageTables:         7160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6453944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 42684 MiB
End job on node135 at 2018-08-12 15:57:59