Trace number 4305551

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 846.345 825.114

General information on the benchmark

NameCarSequencing/
CarSequencing-60-01_c18.xml
MD5SUM78ce7b18c2bc9eefd2fccfc0b2746318
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 benchmark20.4936
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1379
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree62
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":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":19},{"degree":24,"count":125},{"degree":25,"count":14},{"degree":26,"count":14},"...",{"degree":38,"count":8}, {"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"degree":44,"count":125}, {"degree":45,"count":6}, {"degree":46,"count":6}, {"degree":47,"count":6}, {"degree":48,"count":6}, {"degree":49,"count":6}, {"degree":50,"count":6}, {"degree":51,"count":6}, {"degree":52,"count":6}, {"degree":53,"count":6}, {"degree":54,"count":7}, {"degree":55,"count":7}, {"degree":56,"count":48}, {"degree":57,"count":3}, {"degree":58,"count":3}, {"degree":59,"count":3}, {"degree":60,"count":4}, {"degree":61,"count":4}, {"degree":62,"count":27}]
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":29,"count":1},{"arity":32,"count":1},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":2},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":62,"count":2},{"arity":65,"count":2},{"arity":68,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":77,"count":2},{"arity":80,"count":2},{"arity":83,"count":2},{"arity":86,"count":2},{"arity":89,"count":2},"...",{"arity":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":1178},{"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-28513-serial-file.bin HOME/instance-4305551-1534077870.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 14:44:31 CEST 2018
0.66/0.55	c PID: 28516
0.66/0.55	c IP: 172.20.3.106
0.66/0.55	c HOST: node106.alineos.net
0.66/0.56	c (0,0) Parsing Begin
2.90/1.39	c (0,0) Parsing End
2.90/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1379 ctr, max domain size 24
3.21/1.40	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.21/1.40	c (0,0) Constraint Name Generate Begin
3.21/1.43	c (0,0) Ctr:HOME/instance-4305551-1534077870.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.21/1.43	c (0,0) Constraint Name Generate End
3.21/1.43	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.21/1.43	c (0,0) CSP to CSPinCNF Begin
12.27/4.60	c (4,4) translated 138 (10%) constraints
12.82/5.12	c (4,4) translated 276 (20%) constraints
12.82/5.15	c (4,4) translated 414 (30%) constraints
12.82/5.16	c (4,4) translated 552 (40%) constraints
12.82/5.19	c (4,4) translated 690 (50%) constraints
13.18/5.22	c (4,4) translated 828 (60%) constraints
13.18/5.24	c (4,4) translated 966 (70%) constraints
13.18/5.25	c (4,4) translated 1104 (80%) constraints
14.79/6.05	c (5,5) translated 1242 (90%) constraints
16.62/7.54	c (7,6) translated 1379 (100%) constraints
17.89/8.06	c (7,7) STATISTICS1:HOME/instance-4305551-1534077870.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57402,9223372036854775807,24,25,200,9223372036854775807:221;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:2;8796093022208:1;1099511627776:1;137438953472:1;17179869184:1;2147483648:1;268435456:1;16:392;4:396;2:199,24:18800;2:156849,25:200;3:29600;2:26400;1:1202,200:53;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;116:2;115:2;113:2;110:3;107:2;105:1;104:2;101:2;100:1;98:2;95:3;92:2;89:2;86:2;83:2;80:2;77:2;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:2;44:1;41:1;38:1;35:1;32:1;29:1;5:392;3:396;2:199;1:146400;0:200,17689:53;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;5929:2;5776:2;5625:2;5329:3;5041:2;4900:1;4761:2;4489:2;4356:1;4225:2;3969:3;3721:2;3481:2;3249:2;3025:2;2809:2;2601:2;2401:2;2209:2;2025:2;1849:2
17.89/8.06	c (7,7) ==========================================
17.89/8.06	c (7,7) Both Encoding selects:
17.89/8.06	c (7,7) Log
17.89/8.06	c (7,7) ==========================================
19.43/8.63	c (8,7) translated 5741 (10%) constraints
19.99/8.84	c (8,8) translated 11481 (20%) constraints
20.25/8.92	c (8,8) translated 17221 (30%) constraints
20.25/9.00	c (8,8) translated 22961 (40%) constraints
20.36/9.07	c (8,8) translated 28701 (50%) constraints
20.46/9.15	c (8,8) translated 34442 (60%) constraints
20.56/9.23	c (8,8) translated 40182 (70%) constraints
20.66/9.31	c (8,8) translated 45922 (80%) constraints
20.66/9.38	c (8,8) translated 51662 (90%) constraints
22.21/10.40	c (9,9) translated 57402 (100%) constraints
22.21/10.41	c (9,9) CSP to CSPinCNF End
22.21/10.42	c (9,9) CSP: 200 int (0 aux), 21200 bool (20200 aux), 67026 ctr, max domain size 24
22.21/10.42	c (9,9) Heap : 1633 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.21/10.42	c (9,9) CSPinCNF Propagation Begin
23.30/11.03	c (10,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.30/11.03	c (10,10) CSPinCNF Propagation End
23.30/11.04	c (10,10) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66626 ctr, max domain size 24
23.30/11.04	c (10,10) Heap : 1906 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.30/11.04	c (10,10) Simplify CSPinCNF Begin
23.55/11.17	c (10,10) Simplify CSPinCNF End
23.55/11.18	c (10,10) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66626 ctr, max domain size 24
23.55/11.18	c (10,10) Heap : 1961 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.55/11.18	c (10,10) Calculate Precise Domain Begin
23.55/11.18	c (10,10) 0 values are removed by re-calculation
23.55/11.18	c (10,10) Calculate Precise Domain End
23.55/11.18	c (10,10) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66626 ctr, max domain size 24
23.55/11.18	c (10,10) Heap : 1961 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.55/11.18	c (10,10) CSPinCNF to SatSolver Begin
26.68/12.55	c (12,11) 6663 (10 %) CSP clauses are being encoded (113315 SAT variables, 243059 SAT clauses)
27.82/13.07	c (12,12) 13326 (20 %) CSP clauses are being encoded (136568 SAT variables, 292895 SAT clauses)
28.32/13.38	c (12,12) 19988 (30 %) CSP clauses are being encoded (157632 SAT variables, 339051 SAT clauses)
28.84/13.55	c (13,12) 26651 (40 %) CSP clauses are being encoded (163142 SAT variables, 355458 SAT clauses)
29.06/13.69	c (13,12) 33313 (50 %) CSP clauses are being encoded (168652 SAT variables, 371864 SAT clauses)
29.27/13.83	c (13,12) 39976 (60 %) CSP clauses are being encoded (173972 SAT variables, 387935 SAT clauses)
29.37/13.96	c (13,13) 46639 (70 %) CSP clauses are being encoded (179482 SAT variables, 404342 SAT clauses)
29.48/14.09	c (13,13) 53301 (80 %) CSP clauses are being encoded (184802 SAT variables, 420412 SAT clauses)
29.67/14.22	c (13,13) 59964 (90 %) CSP clauses are being encoded (190312 SAT variables, 436819 SAT clauses)
37.32/20.15	c (19,18) 66626 (100 %) CSP clauses are being encoded (794078 SAT variables, 2205293 SAT clauses)
37.41/20.20	c (19,19) Launch Command will be: minisat_release
37.41/20.20	c (19,19) CSPinCNF to SatSolver End
37.41/20.20	c (19,19) Heap : 3057 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
40.17/21.09	c (20,19) STATISTICS2:HOME/instance-4305551-1534077870.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,21400,66626,9223372036854775807,24,24,200,9223372036854775807:221;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:2;8796093022208:1;1099511627776:1;137438953472:1;17179869184:1;2147483648:1;268435456:1;16:392;4:396;2:199,24:27600;2:175649,24:200;3:29200;2:36000;1:1226,200:53;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;116:2;115:2;113:2;110:3;107:2;105:1;104:2;101:2;100:1;98:2;95:3;92:2;89:2;86:2;83:2;80:2;77:2;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:2;44:1;41:1;38:1;35:1;32:1;29:1;5:392;3:396;2:199;1:164400,2:221
40.46/21.26	c (20,19) 799496 bool, 2221290 clause
40.46/21.26	c (20,19) Export Begin
41.00/21.51	c (20,19) Export to HOME/scop-28513-serial-file.bin
41.00/21.51	c (20,19) Export End
41.00/21.51	c (20,19) Export File Size: 0.61 MB
41.00/21.51	c (20,19) 0,0,9,10,10,10,19,STOP-AFTER(DIMACS)
41.00/21.51	c END-Prog: Sun Aug 12 14:44:52 CEST 2018
41.00/21.55	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-28513-serial-file.bin
41.66/22.04	c (0,0) Read Serial File Begin
41.66/22.04	c (0,0) HOME/scop-28513-serial-file.bin
42.47/22.41	c (0,0) Read Serial File End
42.47/22.42	
42.47/22.42	scop log+minisat_release (2018-07-31)
42.47/22.42	(Solving Process)
42.47/22.42	
42.47/22.44	c BEGIN-Prog: Sun Aug 12 14:44:53 CEST 2018
42.47/22.44	c PID: 28531
42.47/22.44	c IP: 172.20.3.106
42.47/22.44	c HOST: node106.alineos.net
42.47/22.45	c (0,0) SatSolver.solve Begin
42.47/22.45	c (0,0) 0 bool, 0 clause
42.47/22.45	c (0,0) minisat_release HOME/instance-4305551-1534077870.xml-scop-28516.cnf
845.02/824.56	c (802,0) c This is COMiniSatPS.
845.02/824.56	c (802,0) c WARNING: for repeatability, setting FPU to use double precision
845.02/824.56	c (802,0) c ============================[ Problem Statistics ]=============================
845.02/824.56	c (802,0) c |                                                                             |
845.02/824.56	c (802,0) c |  Number of variables:        799496                                         |
845.02/824.56	c (802,0) c |  Number of clauses:         2219864                                         |
845.02/824.56	c (802,0) c |  Parse time:                   0.84 s                                       |
845.02/824.56	c (802,0) c |  Eliminated clauses:           3.42 Mb                                      |
845.02/824.56	c (802,0) c Reduced to 658877 vars, 1980793 cls (grow=0)
845.02/824.56	c (802,0) c |  Eliminated clauses:          13.37 Mb                                      |
845.02/824.56	c (802,0) c Reduced to 474169 vars, 2732885 cls (grow=8)
845.02/824.56	c (802,0) c cl_inc_rate=1.380, var_dec_rate=1.390
845.02/824.56	c (802,0) c No. effective iterative eliminations: 1
845.02/824.56	c (802,0) c |  Simplification time:          6.28 s                                       |
845.02/824.56	c (802,0) c |                                                                             |
845.02/824.56	c (802,0) c ============================[ Search Statistics ]==============================
845.02/824.56	c (802,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
845.02/824.56	c (802,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
845.02/824.56	c (802,0) c ===============================================================================
845.02/824.56	c (802,0) c ===============================================================================
845.02/824.56	c (802,0) c restarts              : 1625
845.02/824.56	c (802,0) c conflicts             : 756958         (945 /sec)
845.02/824.56	c (802,0) c decisions             : 7797114        (0.00 % random) (9736 /sec)
845.02/824.56	c (802,0) c propagations          : 1992593993     (2488200 /sec)
845.02/824.56	c (802,0) c conflict literals     : 53785960       (14.19 % deleted)
845.02/824.56	c (802,0) c CPU time              : 800.818 s
845.02/824.56	c (802,0) 
845.02/824.56	c (802,0) s SATISFIABLE
845.69/824.99	c (803,0) SatSolver.solve End
845.69/824.99	c (803,0) Heap : 305 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
845.69/824.99	c (803,0) Show results Begin
846.04/825.07	s SATISFIABLE
846.04/825.09	v <instantiation>
846.04/825.09	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>
846.04/825.09	v     <values>4 1 19 23 1 5 0 1 18 17 1 1 5 1 10 5 1 2 5 1 4 16 5 1 17 1 1 5 20 16 1 5 17 2 1 5 10 7 1 1 16 1 1 5 1 1 5 1 1 17 18 7 4 5 1 4 5 1 7 10 5 17 2 1 5 1 1 11 17 1 5 1 4 5 1 1 5 1 1 7 5 1 1 5 1 4 5 12 1 5 0 1 1 5 1 7 8 1 17 8 17 1 5 1 1 3 5 17 1 1 14 1 17 1 13 16 1 21 16 1 1 5 1 16 1 1 11 1 17 1 5 23 1 17 16 1 1 5 1 15 5 16 1 14 1 7 1 1 16 5 4 2 9 1 17 1 1 5 1 1 22 2 17 1 1 14 1 7 4 16 6 1 17 1 8 7 1 1 16 6 7 1 1 5 1 1 5 1 0 1 6 7 1 5 10 16 5 7 1 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 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 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0</values>
846.04/825.09	v </instantiation>
846.04/825.09	c (803,0) Show results End
846.04/825.09	c (803,0) Heap : 305 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
846.04/825.09	c (803,0) 803,803,STOP-AFTER(ALL)
846.04/825.10	c END-Prog: Sun Aug 12 14:58:15 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 (9797 MiB free)
  memory of node 1: 16384 MiB (12950 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305551-1534077870/watcher-4305551-1534077870 -o /tmp/evaluation-result-4305551-1534077870/solver-4305551-1534077870 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305551-1534077870.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=28513, runsolver pid=28510

[startup+0.100275 s]*
/proc/loadavg: 4.79 4.36 3.64 4/222 28530
/proc/meminfo: memFree=23235004/32770624 swapFree=67108688/67108860
[pid=28513] ppid=28510 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/28513/stat : 28513 (scop.sh) S 28510 28513 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225349880 115843072 349 33554432000 4194304 5098028 140722055075216 140722055072472 140041202475644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10706944 140722055078977 140722055079175 140722055079175 140722055081933 0
/proc/28513/statm: 28282 349 296 221 0 87 0
[pid=28516] ppid=28513 vsize=15012476 memory=72060 CPUtime=0.1 cores=0,2,4,6
/proc/28516/stat : 28516 (java) S 28513 28513 23167 0 -1 1077944320 6125 0 0 0 9 1 0 0 20 0 15 0 225349880 15372775424 18015 33554432000 4194304 4196468 140721859844128 140721859826672 140341120556791 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
/proc/28516/statm: 3753119 18015 2771 1 0 3715579 0
[pid=28516/tid=28517] ppid=28513 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=0,2,4,6
/proc/28516/task/28517/stat : 28517 (java) R 28513 28513 23167 0 -1 4202560 4208 0 0 0 8 1 0 0 20 0 15 0 225349881 15372775424 18015 33554432000 4194304 4196468 140721859844128 140341092368776 140341102120343 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28518] ppid=28513 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28518/stat : 28518 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349882 15372775424 18015 33554432000 4194304 4196468 140721859844128 140341124799120 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28519] ppid=28513 vsize=15012476 memory=140464451532416 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28519/stat : 28519 (java) S 28513 28513 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225349882 15372775424 18015 33554432000 4194304 4196468 140721859844128 140340580919824 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28520] ppid=28513 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28520/stat : 28520 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349882 15372775424 18015 33554432000 4194304 4196468 140721859844128 140340579867024 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28521] ppid=28513 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28521/stat : 28521 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349882 15372775424 18015 33554432000 4194304 4196468 140721859844128 140340578814224 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28522] ppid=28513 vsize=15012476 memory=140464451532416 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28522/stat : 28522 (java) S 28513 28513 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225349884 15372775424 18015 33554432000 4194304 4196468 140721859844128 140340158172016 140341120567938 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28523] ppid=28513 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28523/stat : 28523 (java) S 28513 28513 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225349884 15372775424 18015 33554432000 4194304 4196468 140721859844128 140339667002912 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28524] ppid=28513 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28524/stat : 28524 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349884 15372775424 18015 33554432000 4194304 4196468 140721859844128 140339398567280 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28525] ppid=28513 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28525/stat : 28525 (java) S 28513 28513 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 18015 33554432000 4194304 4196468 140721859844128 140339024058704 140341120575387 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28526] ppid=28513 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28526/stat : 28526 (java) S 28513 28513 23167 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 18015 33554432000 4194304 4196468 140721859844128 140340157118832 140341120567938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28527] ppid=28513 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28527/stat : 28527 (java) S 28513 28513 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 18015 33554432000 4194304 4196468 140721859844128 140340156066032 140341120567938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28528] ppid=28513 vsize=15012476 memory=140464451532416 CPUtime=0.01 cores=0,2,4,6
/proc/28516/task/28528/stat : 28528 (java) S 28513 28513 23167 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 225349887 15372775424 18015 33554432000 4194304 4196468 140721859844128 140340155013232 140341120567938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28529] ppid=28513 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28529/stat : 28529 (java) S 28513 28513 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 18015 33554432000 4194304 4196468 140721859844128 140338526152928 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28530] ppid=28513 vsize=15012476 memory=140464451532416 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28530/stat : 28530 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 18015 33554432000 4194304 4196468 140721859844128 140340153961648 140341120567938 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73456 KiB

[startup+0.210708 s]*
/proc/loadavg: 4.79 4.36 3.64 3/222 28530
/proc/meminfo: memFree=23221376/32770624 swapFree=67108688/67108860
[pid=28513] ppid=28510 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/28513/stat : 28513 (scop.sh) S 28510 28513 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225349880 115843072 349 33554432000 4194304 5098028 140722055075216 140722055072472 140041202475644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10706944 140722055078977 140722055079175 140722055079175 140722055081933 0
/proc/28513/statm: 28282 349 296 221 0 87 0
[pid=28516] ppid=28513 vsize=15012476 memory=85660 CPUtime=0.25 cores=0,2,4,6
/proc/28516/stat : 28516 (java) S 28513 28513 23167 0 -1 1077944320 9753 0 0 0 22 3 0 0 20 0 15 0 225349880 15372775424 21415 33554432000 4194304 4196468 140721859844128 140721859826672 140341120556791 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
/proc/28516/statm: 3753119 21415 2932 1 0 3715579 0
[pid=28516/tid=28517] ppid=28513 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/28516/task/28517/stat : 28517 (java) R 28513 28513 23167 0 -1 4202560 7640 0 0 0 18 2 0 0 20 0 15 0 225349881 15372775424 21415 33554432000 4194304 4196468 140721859844128 140341092383184 140340623343680 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28518] ppid=28513 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28518/stat : 28518 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349882 15372775424 21415 33554432000 4194304 4196468 140721859844128 140341124799120 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28519] ppid=28513 vsize=15012476 memory=288370840603244160 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28519/stat : 28519 (java) S 28513 28513 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225349882 15372775424 21415 33554432000 4194304 4196468 140721859844128 140340580919824 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28520] ppid=28513 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28520/stat : 28520 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349882 15372775424 21415 33554432000 4194304 4196468 140721859844128 140340579867024 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28521] ppid=28513 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28521/stat : 28521 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349882 15372775424 21415 33554432000 4194304 4196468 140721859844128 140340578814224 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28522] ppid=28513 vsize=15012476 memory=140464451532416 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28522/stat : 28522 (java) S 28513 28513 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225349884 15372775424 21415 33554432000 4194304 4196468 140721859844128 140340158172016 140341120567938 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28523] ppid=28513 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28523/stat : 28523 (java) S 28513 28513 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225349884 15372775424 21415 33554432000 4194304 4196468 140721859844128 140339667002912 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28524] ppid=28513 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28524/stat : 28524 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349884 15372775424 21415 33554432000 4194304 4196468 140721859844128 140339398567280 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28525] ppid=28513 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28525/stat : 28525 (java) S 28513 28513 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 21415 33554432000 4194304 4196468 140721859844128 140339024058704 140341120575387 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28526] ppid=28513 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28526/stat : 28526 (java) S 28513 28513 23167 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 21415 33554432000 4194304 4196468 140721859844128 140340157118832 140341120567938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28527] ppid=28513 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28527/stat : 28527 (java) S 28513 28513 23167 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 21415 33554432000 4194304 4196468 140721859844128 140340156066032 140341120567938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28528] ppid=28513 vsize=15012476 memory=140464451532416 CPUtime=0.03 cores=0,2,4,6
/proc/28516/task/28528/stat : 28528 (java) R 28513 28513 23167 0 -1 4202560 312 0 0 0 3 0 0 0 20 0 15 0 225349887 15372775424 21415 33554432000 4194304 4196468 140721859844128 140340155013232 140341104637278 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28529] ppid=28513 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28529/stat : 28529 (java) S 28513 28513 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 21415 33554432000 4194304 4196468 140721859844128 140338526152928 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28530] ppid=28513 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28530/stat : 28530 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 21415 33554432000 4194304 4196468 140721859844128 140340153961648 140341120567938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87056 KiB

[startup+0.310656 s]*
/proc/loadavg: 4.79 4.36 3.64 3/222 28530
/proc/meminfo: memFree=23217592/32770624 swapFree=67108688/67108860
[pid=28513] ppid=28510 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/28513/stat : 28513 (scop.sh) S 28510 28513 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225349880 115843072 349 33554432000 4194304 5098028 140722055075216 140722055072472 140041202475644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10706944 140722055078977 140722055079175 140722055079175 140722055081933 0
/proc/28513/statm: 28282 349 296 221 0 87 0
[pid=28516] ppid=28513 vsize=15012476 memory=89584 CPUtime=0.42 cores=0,2,4,6
/proc/28516/stat : 28516 (java) S 28513 28513 23167 0 -1 1077944320 10369 0 0 0 39 3 0 0 20 0 15 0 225349880 15372775424 22396 33554432000 4194304 4196468 140721859844128 140721859826672 140341120556791 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
/proc/28516/statm: 3753119 22396 2986 1 0 3715579 0
[pid=28516/tid=28517] ppid=28513 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/28516/task/28517/stat : 28517 (java) R 28513 28513 23167 0 -1 4202560 8075 0 0 0 27 2 0 0 20 0 15 0 225349881 15372775424 22396 33554432000 4194304 4196468 140721859844128 140341092352240 140341106718858 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28518] ppid=28513 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28518/stat : 28518 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349882 15372775424 22396 33554432000 4194304 4196468 140721859844128 140341124799120 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28519] ppid=28513 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28519/stat : 28519 (java) S 28513 28513 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225349882 15372775424 22396 33554432000 4194304 4196468 140721859844128 140340580919824 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28520] ppid=28513 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28520/stat : 28520 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349882 15372775424 22396 33554432000 4194304 4196468 140721859844128 140340579867024 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28521] ppid=28513 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28521/stat : 28521 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349882 15372775424 22396 33554432000 4194304 4196468 140721859844128 140340578814224 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28522] ppid=28513 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28522/stat : 28522 (java) S 28513 28513 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225349884 15372775424 22396 33554432000 4194304 4196468 140721859844128 140340158172016 140341120567938 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28523] ppid=28513 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28523/stat : 28523 (java) S 28513 28513 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225349884 15372775424 22396 33554432000 4194304 4196468 140721859844128 140339667002912 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28524] ppid=28513 vsize=15012476 memory=-6664436420846798482 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28524/stat : 28524 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349884 15372775424 22396 33554432000 4194304 4196468 140721859844128 140339398567280 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28525] ppid=28513 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28525/stat : 28525 (java) S 28513 28513 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 22396 33554432000 4194304 4196468 140721859844128 140339024058704 140341120575387 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28526] ppid=28513 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28516/task/28526/stat : 28526 (java) S 28513 28513 23167 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 225349887 15372775424 22396 33554432000 4194304 4196468 140721859844128 140340157118832 140341120567938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28527] ppid=28513 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28516/task/28527/stat : 28527 (java) S 28513 28513 23167 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 15 0 225349887 15372775424 22396 33554432000 4194304 4196468 140721859844128 140340156066032 140341120567938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28528] ppid=28513 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28516/task/28528/stat : 28528 (java) S 28513 28513 23167 0 -1 1077944384 353 0 0 0 7 0 0 0 20 0 15 0 225349887 15372775424 22396 33554432000 4194304 4196468 140721859844128 140340155013232 140341120567938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28529] ppid=28513 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28529/stat : 28529 (java) S 28513 28513 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 22396 33554432000 4194304 4196468 140721859844128 140338526152928 140341120566997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28530] ppid=28513 vsize=15012476 memory=3977302101095161905 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28530/stat : 28530 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349887 15372775424 22396 33554432000 4194304 4196468 140721859844128 140340153961648 140341120567938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90980 KiB

[startup+0.703224 s]
/proc/loadavg: 4.79 4.36 3.64 3/222 28530
/proc/meminfo: memFree=23193780/32770624 swapFree=67108688/67108860
[pid=28513] ppid=28510 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/28513/stat : 28513 (scop.sh) S 28510 28513 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225349880 115843072 349 33554432000 4194304 5098028 140722055075216 140722055072472 140041202475644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10706944 140722055078977 140722055079175 140722055079175 140722055081933 0
/proc/28513/statm: 28282 349 296 221 0 87 0
[pid=28516] ppid=28513 vsize=15018748 memory=131452 CPUtime=1.04 cores=0,2,4,6
/proc/28516/stat : 28516 (java) S 28513 28513 23167 0 -1 1077944320 17454 0 0 0 99 5 0 0 20 0 15 0 225349880 15379197952 32863 33554432000 4194304 4196468 140721859844128 140721859826672 140341120556791 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
/proc/28516/statm: 3754687 32863 3143 1 0 3716091 0
[pid=28516/tid=28517] ppid=28513 vsize=15018748 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/28516/task/28517/stat : 28517 (java) R 28513 28513 23167 0 -1 4202560 14627 0 0 0 63 4 0 0 20 0 15 0 225349881 15379197952 32863 33554432000 4194304 4196468 140721859844128 140341092391168 140341104600421 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28518] ppid=28513 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28518/stat : 28518 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349882 15379197952 32863 33554432000 4194304 4196468 140721859844128 140341124799120 140341120566997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28519] ppid=28513 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28519/stat : 28519 (java) S 28513 28513 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225349882 15379197952 32863 33554432000 4194304 4196468 140721859844128 140340580919824 140341120566997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28520] ppid=28513 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28520/stat : 28520 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349882 15379197952 32863 33554432000 4194304 4196468 140721859844128 140340579867024 140341120566997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28521] ppid=28513 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28521/stat : 28521 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349882 15379197952 32863 33554432000 4194304 4196468 140721859844128 140340578814224 140341120566997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28522] ppid=28513 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28522/stat : 28522 (java) S 28513 28513 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225349884 15379197952 32863 33554432000 4194304 4196468 140721859844128 140340158172016 140341120567938 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28523] ppid=28513 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28523/stat : 28523 (java) S 28513 28513 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225349884 15379197952 32863 33554432000 4194304 4196468 140721859844128 140339667002912 140341120566997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28524] ppid=28513 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28524/stat : 28524 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349884 15379197952 32863 33554432000 4194304 4196468 140721859844128 140339398567280 140341120566997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28525] ppid=28513 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28525/stat : 28525 (java) S 28513 28513 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225349887 15379197952 32863 33554432000 4194304 4196468 140721859844128 140339024058704 140341120575387 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28526] ppid=28513 vsize=15018748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28516/task/28526/stat : 28526 (java) R 28513 28513 23167 0 -1 4202560 541 0 0 0 9 0 0 0 20 0 15 0 225349887 15379197952 32863 33554432000 4194304 4196468 140721859844128 140340157108624 140341105309506 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28527] ppid=28513 vsize=15018748 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28516/task/28527/stat : 28527 (java) S 28513 28513 23167 0 -1 1077944384 413 0 0 0 8 0 0 0 20 0 15 0 225349887 15379197952 32863 33554432000 4194304 4196468 140721859844128 140340156066032 140341120567938 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28528] ppid=28513 vsize=15018748 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/28516/task/28528/stat : 28528 (java) R 28513 28513 23167 0 -1 4202560 538 0 0 0 17 0 0 0 20 0 15 0 225349887 15379197952 32863 33554432000 4194304 4196468 140721859844128 140340155011192 140341099502496 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28529] ppid=28513 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28529/stat : 28529 (java) S 28513 28513 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225349887 15379197952 32863 33554432000 4194304 4196468 140721859844128 140338526152928 140341120566997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
[pid=28516/tid=28530] ppid=28513 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28516/task/28530/stat : 28530 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225349887 15379197952 32863 33554432000 4194304 4196468 140721859844128 140340153961648 140341120567938 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140721859851271 140721859851569 140721859851569 140721859854287 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132848 KiB

[startup+1.50077 s]
/proc/loadavg: 4.79 4.36 3.64 6/222 28530
/proc/meminfo: memFree=23152960/32770624 swapFree=67108688/67108860
[pid=28513] ppid=28510 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/28513/stat : 28513 (scop.sh) S 28510 28513 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225349880 115843072 349 33554432000 4194304 5098028 140722055075216 140722055072472 140041202475644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10706944 140722055078977 140722055079175 140722055079175 140722055081933 0
/proc/28513/statm: 28282 349 296 221 0 87 0

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

[pid=28531/tid=28551] ppid=28513 vsize=8068220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28551/stat : 28551 (java) S 28513 28513 23167 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 225352130 8261857280 32465 33554432000 4194304 4196468 140734466230352 140542000225824 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
Current children cumulated CPU time: 842.92 s
Current children cumulated vsize: 8627272 KiB
Current children cumulated memory: 526656 KiB

[startup+824.001 s]*
/proc/loadavg: 2.00 2.17 2.70 3/227 28574
/proc/meminfo: memFree=22703488/32770624 swapFree=67108688/67108860
[pid=28513] ppid=28510 vsize=113128 memory=1472 CPUtime=41.06 cores=0,2,4,6
/proc/28513/stat : 28513 (scop.sh) S 28510 28513 23167 0 -1 4202496 591 61837 0 0 0 0 3922 184 20 0 1 0 225349880 115843072 368 33554432000 4194304 5098028 140722055075216 140722055071960 140041202475644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10706944 140722055078977 140722055079175 140722055079175 140722055081933 0
/proc/28513/statm: 28282 368 311 221 0 87 0
[pid=28531] ppid=28513 vsize=8068220 memory=129860 CPUtime=2.13 cores=0,2,4,6
/proc/28531/stat : 28531 (java) S 28513 28513 23167 0 -1 1077944320 18677 0 0 0 181 32 0 0 20 0 19 0 225352035 8261857280 32465 33554432000 4194304 4196468 140734466230352 140734466212896 140545101577975 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
/proc/28531/statm: 2017055 32465 3168 1 0 1978454 0
[pid=28546] ppid=28531 vsize=445924 memory=395620 CPUtime=801.34 cores=0,2,4,6
/proc/28546/stat : 28546 (minisat_release) R 28531 28513 23167 0 -1 4202496 1201125 0 0 0 80027 107 0 0 20 0 1 0 225352127 456626176 98905 33554432000 4194304 4308513 140733736131280 140733736128728 4250532 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 20463616 140733736137844 140733736137942 140733736137942 140733736140741 0
/proc/28546/statm: 111481 98905 342 28 0 107721 0
[pid=28531/tid=28532] ppid=28513 vsize=8068220 memory=4108 CPUtime=0.93 cores=0,2,4,6
/proc/28531/task/28532/stat : 28532 (java) S 28513 28513 23167 0 -1 1077944384 15098 0 0 0 82 11 0 0 20 0 19 0 225352036 8261857280 32465 33554432000 4194304 4196468 140734466230352 140545073418128 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28533] ppid=28513 vsize=8068220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28533/stat : 28533 (java) S 28513 28513 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225352037 8261857280 32465 33554432000 4194304 4196468 140734466230352 140545105820432 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28534] ppid=28513 vsize=8068220 memory=3424 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28534/stat : 28534 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225352037 8261857280 32465 33554432000 4194304 4196468 140734466230352 140544905989008 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28535] ppid=28513 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28535/stat : 28535 (java) S 28513 28513 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225352037 8261857280 32465 33554432000 4194304 4196468 140734466230352 140544904936464 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28536] ppid=28513 vsize=8068220 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28536/stat : 28536 (java) S 28513 28513 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225352037 8261857280 32465 33554432000 4194304 4196468 140734466230352 140544903883920 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28537] ppid=28513 vsize=8068220 memory=12668 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28537/stat : 28537 (java) S 28513 28513 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225352038 8261857280 32465 33554432000 4194304 4196468 140734466230352 140544480098288 140545101589122 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28538] ppid=28513 vsize=8068220 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28538/stat : 28538 (java) S 28513 28513 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225352039 8261857280 32465 33554432000 4194304 4196468 140734466230352 140543946384288 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28539] ppid=28513 vsize=8068220 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28539/stat : 28539 (java) S 28513 28513 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225352039 8261857280 32465 33554432000 4194304 4196468 140734466230352 140543677948912 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28540] ppid=28513 vsize=8068220 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28540/stat : 28540 (java) S 28513 28513 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225352041 8261857280 32465 33554432000 4194304 4196468 140734466230352 140543303440592 140545101596571 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28541] ppid=28513 vsize=8068220 memory=15768 CPUtime=0.25 cores=0,2,4,6
/proc/28531/task/28541/stat : 28541 (java) S 28513 28513 23167 0 -1 1077944384 1029 0 0 0 25 0 0 0 20 0 19 0 225352041 8261857280 32465 33554432000 4194304 4196468 140734466230352 140544479046128 140545101589122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28542] ppid=28513 vsize=8068220 memory=34640 CPUtime=0.23 cores=0,2,4,6
/proc/28531/task/28542/stat : 28542 (java) S 28513 28513 23167 0 -1 1077944384 462 0 0 0 23 0 0 0 20 0 19 0 225352041 8261857280 32465 33554432000 4194304 4196468 140734466230352 140544477993584 140545101589122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28543] ppid=28513 vsize=8068220 memory=1612 CPUtime=0.24 cores=0,2,4,6
/proc/28531/task/28543/stat : 28543 (java) S 28513 28513 23167 0 -1 1077944384 617 0 0 0 24 0 0 0 20 0 19 0 225352042 8261857280 32465 33554432000 4194304 4196468 140734466230352 140544476941040 140545101589122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28544] ppid=28513 vsize=8068220 memory=496 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28544/stat : 28544 (java) S 28513 28513 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225352042 8261857280 32465 33554432000 4194304 4196468 140734466230352 140542805535840 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28545] ppid=28513 vsize=8068220 memory=-7824251494390979174 CPUtime=0.4 cores=0,2,4,6
/proc/28531/task/28545/stat : 28545 (java) S 28513 28513 23167 0 -1 1077944384 55 0 0 0 20 20 0 0 20 0 19 0 225352042 8261857280 32465 33554432000 4194304 4196468 140734466230352 140544475887920 140545101589122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28547] ppid=28513 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28547/stat : 28547 (java) S 28513 28513 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225352127 8261857280 32465 33554432000 4194304 4196468 140734466230352 140544550892608 140545101602585 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28549] ppid=28513 vsize=8068220 memory=129860 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28549/stat : 28549 (java) S 28513 28513 23167 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 225352128 8261857280 32465 33554432000 4194304 4196468 140734466230352 140542268649136 140545101599901 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28550] ppid=28513 vsize=8068220 memory=395476 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28550/stat : 28550 (java) S 28513 28513 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225352128 8261857280 32465 33554432000 4194304 4196468 140734466230352 140542402871088 140545101599901 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28551] ppid=28513 vsize=8068220 memory=-7824251494390979174 CPUtime=0 cores=0,2,4,6
/proc/28531/task/28551/stat : 28551 (java) S 28513 28513 23167 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 225352130 8261857280 32465 33554432000 4194304 4196468 140734466230352 140542000225824 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
Current children cumulated CPU time: 844.53 s
Current children cumulated vsize: 8627272 KiB
Current children cumulated memory: 526952 KiB

[startup+824.801 s]
/proc/loadavg: 2.00 2.17 2.70 3/227 28574
/proc/meminfo: memFree=22703488/32770624 swapFree=67108688/67108860
[pid=28513] ppid=28510 vsize=113128 memory=1472 CPUtime=41.06 cores=0,2,4,6
/proc/28513/stat : 28513 (scop.sh) S 28510 28513 23167 0 -1 4202496 591 61837 0 0 0 0 3922 184 20 0 1 0 225349880 115843072 368 33554432000 4194304 5098028 140722055075216 140722055071960 140041202475644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10706944 140722055078977 140722055079175 140722055079175 140722055081933 0
/proc/28513/statm: 28282 368 311 221 0 87 0
[pid=28531] ppid=28513 vsize=8068220 memory=216700 CPUtime=804.46 cores=0,2,4,6
/proc/28531/stat : 28531 (java) S 28513 28513 23167 0 -1 1077944320 19460 1205395 0 0 204 35 80098 109 20 0 18 0 225352035 8261857280 54175 33554432000 4194304 4196468 140734466230352 140734466212896 140545101577975 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
/proc/28531/statm: 2017055 54175 3175 1 0 1978454 0
[pid=28531/tid=28532] ppid=28513 vsize=8068220 memory=1752 CPUtime=803 cores=0,2,4,6
/proc/28531/task/28532/stat : 28532 (java) S 28513 28513 23167 0 -1 1077944384 15098 1205395 0 0 82 11 80098 109 20 0 18 0 225352036 8261857280 54175 33554432000 4194304 4196468 140734466230352 140545073418128 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28533] ppid=28513 vsize=8068220 memory=1472 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28533/stat : 28533 (java) S 28513 28513 23167 0 -1 1077944384 2 1205395 0 0 0 0 80098 109 20 0 18 0 225352037 8261857280 54175 33554432000 4194304 4196468 140734466230352 140545105820432 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28534] ppid=28513 vsize=8068220 memory=129860 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28534/stat : 28534 (java) S 28513 28513 23167 0 -1 1077944384 1 1205395 0 0 0 0 80098 109 20 0 18 0 225352037 8261857280 54175 33554432000 4194304 4196468 140734466230352 140544905989008 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28535] ppid=28513 vsize=8068220 memory=395228 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28535/stat : 28535 (java) S 28513 28513 23167 0 -1 1077944384 2 1205395 0 0 0 0 80098 109 20 0 18 0 225352037 8261857280 54175 33554432000 4194304 4196468 140734466230352 140544904936464 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28536] ppid=28513 vsize=8068220 memory=3316 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28536/stat : 28536 (java) S 28513 28513 23167 0 -1 1077944384 2 1205395 0 0 0 0 80098 109 20 0 18 0 225352037 8261857280 54175 33554432000 4194304 4196468 140734466230352 140544903883920 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28537] ppid=28513 vsize=8068220 memory=15768 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28537/stat : 28537 (java) S 28513 28513 23167 0 -1 1077944384 6 1205395 0 0 0 0 80098 109 20 0 18 0 225352038 8261857280 54175 33554432000 4194304 4196468 140734466230352 140544480098288 140545101589122 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28538] ppid=28513 vsize=8068220 memory=1472 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28538/stat : 28538 (java) S 28513 28513 23167 0 -1 1077944384 13 1205395 0 0 0 0 80098 109 20 0 18 0 225352039 8261857280 54175 33554432000 4194304 4196468 140734466230352 140543946384288 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28539] ppid=28513 vsize=8068220 memory=129860 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28539/stat : 28539 (java) S 28513 28513 23167 0 -1 1077944384 1 1205395 0 0 0 0 80098 109 20 0 18 0 225352039 8261857280 54175 33554432000 4194304 4196468 140734466230352 140543677948912 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28540] ppid=28513 vsize=8068220 memory=395620 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28540/stat : 28540 (java) S 28513 28513 23167 0 -1 1077944384 3 1205395 0 0 0 0 80098 109 20 0 18 0 225352041 8261857280 54175 33554432000 4194304 4196468 140734466230352 140543303440592 140545101596571 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28541] ppid=28513 vsize=8068220 memory=1072 CPUtime=802.36 cores=0,2,4,6
/proc/28531/task/28541/stat : 28541 (java) S 28513 28513 23167 0 -1 1077944384 1043 1205395 0 0 29 0 80098 109 20 0 18 0 225352041 8261857280 54175 33554432000 4194304 4196468 140734466230352 140544479046128 140545101589122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28542] ppid=28513 vsize=8068220 memory=1472 CPUtime=802.34 cores=0,2,4,6
/proc/28531/task/28542/stat : 28542 (java) S 28513 28513 23167 0 -1 1077944384 685 1205395 0 0 27 0 80098 109 20 0 18 0 225352041 8261857280 54175 33554432000 4194304 4196468 140734466230352 140544477993584 140545101589122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28543] ppid=28513 vsize=8068220 memory=12668 CPUtime=802.34 cores=0,2,4,6
/proc/28531/task/28543/stat : 28543 (java) R 28513 28513 23167 0 -1 4202560 1073 1205395 0 0 27 0 80098 109 20 0 18 0 225352042 8261857280 54175 33554432000 4194304 4196468 140734466230352 140544476941040 140545093595441 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28544] ppid=28513 vsize=8068220 memory=1072 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28544/stat : 28544 (java) S 28513 28513 23167 0 -1 1077944384 3 1205395 0 0 0 0 80098 109 20 0 18 0 225352042 8261857280 54175 33554432000 4194304 4196468 140734466230352 140542805535840 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28545] ppid=28513 vsize=8068220 memory=14888 CPUtime=802.47 cores=0,2,4,6
/proc/28531/task/28545/stat : 28545 (java) S 28513 28513 23167 0 -1 1077944384 55 1205395 0 0 20 20 80098 109 20 0 18 0 225352042 8261857280 54175 33554432000 4194304 4196468 140734466230352 140544475887920 140545101589122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28547] ppid=28513 vsize=8068220 memory=3316 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28547/stat : 28547 (java) S 28513 28513 23167 0 -1 1077944384 24 1205395 0 0 0 0 80098 109 20 0 18 0 225352127 8261857280 54175 33554432000 4194304 4196468 140734466230352 140544550891792 140545101589122 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28549] ppid=28513 vsize=8068220 memory=15768 CPUtime=802.21 cores=0,2,4,6
/proc/28531/task/28549/stat : 28549 (java) R 28513 28513 23167 0 -1 4202560 112 1205395 0 0 12 2 80098 109 20 0 18 0 225352128 8261857280 54175 33554432000 4194304 4196468 140734466230352 140542268656072 140544567283759 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28551] ppid=28513 vsize=8068220 memory=1612 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28551/stat : 28551 (java) S 28513 28513 23167 0 -1 1077944384 9 1205395 0 0 0 0 80098 109 20 0 18 0 225352130 8261857280 54175 33554432000 4194304 4196468 140734466230352 140542000225584 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
Current children cumulated CPU time: 845.52 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 218172 KiB

[startup+825.006 s]*
/proc/loadavg: 2.00 2.17 2.70 5/224 28574
/proc/meminfo: memFree=22934940/32770624 swapFree=67108688/67108860
[pid=28513] ppid=28510 vsize=113128 memory=1472 CPUtime=41.06 cores=0,2,4,6
/proc/28513/stat : 28513 (scop.sh) S 28510 28513 23167 0 -1 4202496 591 61837 0 0 0 0 3922 184 20 0 1 0 225349880 115843072 368 33554432000 4194304 5098028 140722055075216 140722055071960 140041202475644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10706944 140722055078977 140722055079175 140722055079175 140722055081933 0
/proc/28513/statm: 28282 368 311 221 0 87 0
[pid=28531] ppid=28513 vsize=7937144 memory=293940 CPUtime=804.98 cores=0,2,4,6
/proc/28531/stat : 28531 (java) S 28513 28513 23167 0 -1 1077944320 21420 1205395 0 0 256 35 80098 109 20 0 17 0 225352035 8127635456 73485 33554432000 4194304 4196468 140734466230352 140734466212896 140545101577975 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
/proc/28531/statm: 1984286 73485 3177 1 0 1945685 0
[pid=28531/tid=28532] ppid=28513 vsize=7937144 memory=6791534058613427641 CPUtime=803.03 cores=0,2,4,6
/proc/28531/task/28532/stat : 28532 (java) R 28513 28513 23167 0 -1 4202560 15126 1205395 0 0 85 11 80098 109 20 0 17 0 225352036 8127635456 73551 33554432000 4194304 4196468 140734466230352 140545073415336 140545083443952 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28533] ppid=28513 vsize=7937144 memory=4872558044660077418 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28533/stat : 28533 (java) S 28513 28513 23167 0 -1 1077944384 2 1205395 0 0 0 0 80098 109 20 0 17 0 225352037 8127635456 73551 33554432000 4194304 4196468 140734466230352 140545105820432 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28534] ppid=28513 vsize=7937144 memory=1752 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28534/stat : 28534 (java) S 28513 28513 23167 0 -1 1077944384 1 1205395 0 0 0 0 80098 109 20 0 17 0 225352037 8127635456 73551 33554432000 4194304 4196468 140734466230352 140544905989008 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28535] ppid=28513 vsize=7937144 memory=868 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28535/stat : 28535 (java) S 28513 28513 23167 0 -1 1077944384 2 1205395 0 0 0 0 80098 109 20 0 17 0 225352037 8127635456 73551 33554432000 4194304 4196468 140734466230352 140544904936464 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28536] ppid=28513 vsize=7937144 memory=1808 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28536/stat : 28536 (java) S 28513 28513 23167 0 -1 1077944384 2 1205395 0 0 0 0 80098 109 20 0 17 0 225352037 8127635456 73551 33554432000 4194304 4196468 140734466230352 140544903883920 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28537] ppid=28513 vsize=7937144 memory=924 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28537/stat : 28537 (java) S 28513 28513 23167 0 -1 1077944384 6 1205395 0 0 0 0 80098 109 20 0 17 0 225352038 8127635456 73551 33554432000 4194304 4196468 140734466230352 140544480098288 140545101589122 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28538] ppid=28513 vsize=7937144 memory=1168 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28538/stat : 28538 (java) S 28513 28513 23167 0 -1 1077944384 13 1205395 0 0 0 0 80098 109 20 0 17 0 225352039 8127635456 73551 33554432000 4194304 4196468 140734466230352 140543946384288 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28539] ppid=28513 vsize=7937144 memory=-7824251494390979174 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28539/stat : 28539 (java) S 28513 28513 23167 0 -1 1077944384 1 1205395 0 0 0 0 80098 109 20 0 17 0 225352039 8127635456 73551 33554432000 4194304 4196468 140734466230352 140543677948912 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28540] ppid=28513 vsize=7937144 memory=1572 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28540/stat : 28540 (java) S 28513 28513 23167 0 -1 1077944384 3 1205395 0 0 0 0 80098 109 20 0 17 0 225352041 8127635456 73551 33554432000 4194304 4196468 140734466230352 140543303440592 140545101596571 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28541] ppid=28513 vsize=7937144 memory=924 CPUtime=802.49 cores=0,2,4,6
/proc/28531/task/28541/stat : 28541 (java) R 28513 28513 23167 0 -1 4202560 2170 1205395 0 0 42 0 80098 109 20 0 17 0 225352041 8127635456 73551 33554432000 4194304 4196468 140734466230352 140544479032152 140545086689100 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28542] ppid=28513 vsize=7937144 memory=2192 CPUtime=802.5 cores=0,2,4,6
/proc/28531/task/28542/stat : 28542 (java) R 28513 28513 23167 0 -1 4202560 1343 1205395 0 0 43 0 80098 109 20 0 17 0 225352041 8127635456 73551 33554432000 4194304 4196468 140734466230352 140544477979608 140545083121698 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28543] ppid=28513 vsize=7937144 memory=3980 CPUtime=802.37 cores=0,2,4,6
/proc/28531/task/28543/stat : 28543 (java) R 28513 28513 23167 0 -1 1077944384 1280 1205395 0 0 30 0 80098 109 20 0 17 0 225352042 8127635456 73551 33554432000 4194304 4196468 140734466230352 140544476941040 140545101589122 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28544] ppid=28513 vsize=7937144 memory=1924 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28544/stat : 28544 (java) S 28513 28513 23167 0 -1 1077944384 3 1205395 0 0 0 0 80098 109 20 0 17 0 225352042 8127635456 73551 33554432000 4194304 4196468 140734466230352 140542805535840 140545101588181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28545] ppid=28513 vsize=7937144 memory=7284 CPUtime=802.47 cores=0,2,4,6
/proc/28531/task/28545/stat : 28545 (java) S 28513 28513 23167 0 -1 1077944384 55 1205395 0 0 20 20 80098 109 20 0 17 0 225352042 8127635456 73551 33554432000 4194304 4196468 140734466230352 140544475887920 140545101589122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28547] ppid=28513 vsize=7937144 memory=804 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28547/stat : 28547 (java) S 28513 28513 23167 0 -1 1077944384 24 1205395 0 0 0 0 80098 109 20 0 17 0 225352127 8127635456 73551 33554432000 4194304 4196468 140734466230352 140544550891792 140545101589122 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
[pid=28531/tid=28551] ppid=28513 vsize=7937144 memory=1796 CPUtime=802.07 cores=0,2,4,6
/proc/28531/task/28551/stat : 28551 (java) S 28513 28513 23167 0 -1 1077944384 14 1205395 0 0 0 0 80098 109 20 0 17 0 225352130 8127635456 73551 33554432000 4194304 4196468 140734466230352 140542000227632 140545101589122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140734466233525 140734466233649 140734466233649 140734466236367 0
Current children cumulated CPU time: 846.04 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 295412 KiB

[startup+825.111 s]
/proc/loadavg: 2.00 2.17 2.70 5/224 28574
/proc/meminfo: memFree=22934940/32770624 swapFree=67108688/67108860
[pid=28513] ppid=28510 vsize=113128 memory=1472 CPUtime=41.06 cores=0,2,4,6
/proc/28513/stat : 28513 (scop.sh) S 28510 28513 23167 0 -1 4202496 591 61837 0 0 0 0 3922 184 20 0 1 0 225349880 115843072 368 33554432000 4194304 5098028 140722055075216 140722055071960 140041202475644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10706944 140722055078977 140722055079175 140722055079175 140722055081933 0
/proc/28513/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 41.06 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

Child status: 0
Real time (s): 825.114
CPU time (s): 846.345
CPU user time (s): 843.024
CPU system time (s): 3.32069
CPU usage (%): 102.573
Max. virtual memory (cumulated for all children) (KiB): 15144320
Max. memory (cumulated for all children) (KiB): 3955392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 843.024
system time used= 3.32069
maximum resident set size= 3954152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1289749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 97848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27030
involuntary context switches= 1018


# summary of solver processes directly reported to runsolver:
#   pid: 28513
#   total CPU time (s): 846.345
#   total CPU user time (s): 843.024
#   total CPU system time (s): 3.32069

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83879 second user time and 9.0544 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-12 14:44:30
IDJOB=4305551
IDBENCH=141448
IDSOLVER=2783
FILE ID=node106/4305551-1534077870
RUNJOBID= node106-1534060601-23198
PBS_JOBID= 21036975
Free space on /tmp= 39820 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-60-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-4305551-1534077870/watcher-4305551-1534077870 -o /tmp/evaluation-result-4305551-1534077870/solver-4305551-1534077870 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305551-1534077870.xml

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

MD5SUM BENCH= 78ce7b18c2bc9eefd2fccfc0b2746318
RANDOM SEED=420127592

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        23295480 kB
MemAvailable:   31464096 kB
Buffers:          118600 kB
Cached:          8241752 kB
SwapCached:            0 kB
Active:          4671604 kB
Inactive:        4183848 kB
Active(anon):     438284 kB
Inactive(anon):   109476 kB
Active(file):    4233320 kB
Inactive(file):  4074372 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              8084 kB
Writeback:             0 kB
AnonPages:        502344 kB
Mapped:            63624 kB
Shmem:             49632 kB
Slab:             317980 kB
SReclaimable:     289384 kB
SUnreclaim:        28596 kB
KernelStack:        3616 kB
PageTables:         6584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6207084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 39812 MiB
End job on node106 at 2018-08-12 14:58:15