Trace number 4305555

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 596.461 575.788

General information on the benchmark

NameCarSequencing/
CarSequencing-70-01_c18.xml
MD5SUM5ebb66a2f72e45e9d6642a776a6cc19c
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 benchmark5.09527
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1402
Number of domains2
Minimum domain size2
Maximum domain size26
Distribution of domain sizes[{"size":2,"count":1000},{"size":26,"count":200}]
Minimum variable degree2
Maximum variable degree63
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":19},{"degree":25,"count":19},{"degree":26,"count":19},"...",{"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":8}, {"degree":44,"count":8}, {"degree":45,"count":8}, {"degree":46,"count":8}, {"degree":47,"count":8}, {"degree":48,"count":8}, {"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":8}, {"degree":53,"count":9}, {"degree":54,"count":9}, {"degree":55,"count":53}, {"degree":56,"count":5}, {"degree":57,"count":6}, {"degree":58,"count":6}, {"degree":59,"count":38}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":3}, {"degree":63,"count":81}]
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":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":1},{"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":75,"count":1},{"arity":77,"count":2},{"arity":80,"count":3},{"arity":82,"count":1},{"arity":83,"count":2},{"arity":84,"count":1},{"arity":85,"count":1},{"arity":86,"count":3},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1201},{"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-28736-serial-file.bin HOME/instance-4305555-1534078794.xml
0.54/0.52	
0.65/0.52	scop both+minisat_release (2018-07-31)
0.65/0.52	(Encoding Process)
0.65/0.52	
0.65/0.54	c BEGIN-Prog: Sun Aug 12 14:59:55 CEST 2018
0.65/0.54	c PID: 28739
0.65/0.54	c IP: 172.20.3.106
0.65/0.54	c HOST: node106.alineos.net
0.65/0.55	c (0,0) Parsing Begin
3.37/1.42	c (0,0) Parsing End
3.37/1.44	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1402 ctr, max domain size 26
3.37/1.44	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.37/1.44	c (0,0) Constraint Name Generate Begin
3.37/1.46	c (0,0) Ctr:HOME/instance-4305555-1534078794.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.37/1.46	c (0,0) Constraint Name Generate End
3.37/1.46	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.37/1.46	c (0,0) CSP to CSPinCNF Begin
12.95/4.83	c (4,4) translated 141 (10%) constraints
13.50/5.31	c (4,4) translated 281 (20%) constraints
13.50/5.33	c (4,4) translated 421 (30%) constraints
13.50/5.36	c (4,4) translated 561 (40%) constraints
13.50/5.40	c (4,4) translated 701 (50%) constraints
13.90/5.42	c (4,4) translated 842 (60%) constraints
13.90/5.43	c (4,4) translated 982 (70%) constraints
13.90/5.45	c (4,4) translated 1122 (80%) constraints
15.58/6.61	c (6,6) translated 1262 (90%) constraints
17.19/7.93	c (7,7) translated 1402 (100%) constraints
18.41/8.42	c (7,7) STATISTICS1:HOME/instance-4305555-1534078794.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57027,9223372036854775807,26,25,200,9223372036854775807:252;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:1;8796093022208:1;1099511627776:1;137438953472:1;16:392;4:396;2:199,26:20400;2:156946,25:200;3:29600;2:26000;1:1227,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:2;89:2;88:1;86:3;85:1;84:1;83:2;82:1;80:3;77:2;75:1;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:1;44:1;41:1;38:1;5:392;3:396;2:199;1:145600;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:2;3481:2;3364:1;3249:3;3136:2;3025:2;2916:1;2809:3;2601:2;2500:1;2401:2;2209:2;2025:2;1849:2
18.41/8.42	c (7,7) ==========================================
18.41/8.42	c (7,7) Both Encoding selects:
18.41/8.43	c (7,7) Log
18.41/8.43	c (7,7) ==========================================
19.56/8.97	c (8,8) translated 5703 (10%) constraints
20.14/9.18	c (8,8) translated 11406 (20%) constraints
20.32/9.28	c (8,8) translated 17109 (30%) constraints
20.59/9.36	c (8,8) translated 22811 (40%) constraints
20.69/9.44	c (8,8) translated 28514 (50%) constraints
20.79/9.52	c (8,8) translated 34217 (60%) constraints
20.89/9.60	c (9,8) translated 39919 (70%) constraints
20.89/9.68	c (9,9) translated 45622 (80%) constraints
20.99/9.76	c (9,9) translated 51325 (90%) constraints
22.49/10.85	c (10,10) translated 57027 (100%) constraints
22.49/10.85	c (10,10) CSP to CSPinCNF End
22.49/10.86	c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67453 ctr, max domain size 26
22.49/10.86	c (10,10) Heap : 1759 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.49/10.86	c (10,10) CSPinCNF Propagation Begin
23.47/11.47	c (10,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.47/11.47	c (10,10) CSPinCNF Propagation End
23.47/11.47	c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67053 ctr, max domain size 26
23.47/11.47	c (10,10) Heap : 2035 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.47/11.47	c (10,10) Simplify CSPinCNF Begin
23.89/11.62	c (11,10) Simplify CSPinCNF End
23.89/11.62	c (11,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67053 ctr, max domain size 26
23.89/11.62	c (11,10) Heap : 2091 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.89/11.62	c (11,10) Calculate Precise Domain Begin
23.89/11.62	c (11,10) 0 values are removed by re-calculation
23.89/11.62	c (11,10) Calculate Precise Domain End
23.89/11.62	c (11,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67053 ctr, max domain size 26
23.89/11.62	c (11,10) Heap : 2091 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.89/11.62	c (11,10) CSPinCNF to SatSolver Begin
27.86/13.20	c (12,12) 6706 (10 %) CSP clauses are being encoded (122131 SAT variables, 267002 SAT clauses)
28.42/13.53	c (13,12) 13411 (20 %) CSP clauses are being encoded (145464 SAT variables, 317020 SAT clauses)
28.72/13.84	c (13,13) 20116 (30 %) CSP clauses are being encoded (169468 SAT variables, 368515 SAT clauses)
29.26/14.03	c (13,13) 26822 (40 %) CSP clauses are being encoded (176080 SAT variables, 387101 SAT clauses)
29.43/14.17	c (13,13) 33527 (50 %) CSP clauses are being encoded (181996 SAT variables, 404246 SAT clauses)
29.62/14.31	c (13,13) 40232 (60 %) CSP clauses are being encoded (188116 SAT variables, 421751 SAT clauses)
29.73/14.44	c (13,13) 46938 (70 %) CSP clauses are being encoded (194032 SAT variables, 438897 SAT clauses)
29.83/14.57	c (14,13) 53643 (80 %) CSP clauses are being encoded (200152 SAT variables, 456402 SAT clauses)
30.02/14.71	c (14,13) 60348 (90 %) CSP clauses are being encoded (206068 SAT variables, 473547 SAT clauses)
40.46/22.14	c (21,20) 67053 (100 %) CSP clauses are being encoded (938961 SAT variables, 2625583 SAT clauses)
40.46/22.18	c (21,20) Launch Command will be: minisat_release
40.46/22.18	c (21,20) CSPinCNF to SatSolver End
40.46/22.18	c (21,20) Heap : 1756 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
41.35/22.59	c (22,20) STATISTICS2:HOME/instance-4305555-1534078794.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,21800,67053,9223372036854775807,26,24,200,9223372036854775807:252;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:1;8796093022208:1;1099511627776:1;137438953472:1;16:392;4:396;2:199,26:30000;2:177346,24:200;3:29200;2:36400;1:1253,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:2;89:2;88:1;86:3;85:1;84:1;83:2;82:1;80:3;77:2;75:1;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:1;44:1;41:1;38:1;5:392;3:396;2:199;1:165200,2:252
41.35/22.59	c (22,20) 943115 bool, 2637912 clause
41.35/22.59	c (22,20) Export Begin
42.02/22.84	c (22,21) Export to HOME/scop-28736-serial-file.bin
42.02/22.84	c (22,21) Export End
42.02/22.85	c (22,21) Export File Size: 0.61 MB
42.02/22.85	c (22,21) 0,0,10,10,11,11,21,STOP-AFTER(DIMACS)
42.02/22.85	c END-Prog: Sun Aug 12 15:00:17 CEST 2018
42.02/22.88	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-28736-serial-file.bin
42.68/23.38	c (0,0) Read Serial File Begin
42.68/23.38	c (0,0) HOME/scop-28736-serial-file.bin
43.48/23.74	c (0,0) Read Serial File End
43.48/23.75	
43.48/23.75	scop log+minisat_release (2018-07-31)
43.48/23.75	(Solving Process)
43.48/23.75	
43.48/23.77	c BEGIN-Prog: Sun Aug 12 15:00:18 CEST 2018
43.48/23.77	c PID: 28762
43.48/23.77	c IP: 172.20.3.106
43.48/23.77	c HOST: node106.alineos.net
43.48/23.78	c (0,0) SatSolver.solve Begin
43.48/23.78	c (0,0) 0 bool, 0 clause
43.48/23.78	c (0,0) minisat_release HOME/instance-4305555-1534078794.xml-scop-28739.cnf
595.27/575.19	c (551,0) c This is COMiniSatPS.
595.27/575.19	c (551,0) c WARNING: for repeatability, setting FPU to use double precision
595.27/575.19	c (551,0) c ============================[ Problem Statistics ]=============================
595.27/575.19	c (551,0) c |                                                                             |
595.27/575.19	c (551,0) c |  Number of variables:        943115                                         |
595.27/575.19	c (551,0) c |  Number of clauses:         2636459                                         |
595.27/575.19	c (551,0) c |  Parse time:                   1.03 s                                       |
595.27/575.19	c (551,0) c |  Eliminated clauses:           3.65 Mb                                      |
595.27/575.19	c (551,0) c Reduced to 792513 vars, 2381450 cls (grow=0)
595.27/575.19	c (551,0) c |  Eliminated clauses:          15.58 Mb                                      |
595.27/575.19	c (551,0) c Reduced to 571005 vars, 3297925 cls (grow=8)
595.27/575.19	c (551,0) c cl_inc_rate=1.385, var_dec_rate=1.388
595.27/575.19	c (551,0) c No. effective iterative eliminations: 1
595.27/575.19	c (551,0) c |  Simplification time:          7.69 s                                       |
595.27/575.19	c (551,0) c |                                                                             |
595.27/575.20	c (551,0) c ============================[ Search Statistics ]==============================
595.27/575.20	c (551,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
595.27/575.20	c (551,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
595.27/575.20	c (551,0) c ===============================================================================
595.27/575.20	c (551,0) c ===============================================================================
595.27/575.20	c (551,0) c restarts              : 1059
595.27/575.20	c (551,0) c conflicts             : 478835         (870 /sec)
595.27/575.20	c (551,0) c decisions             : 9916305        (0.00 % random) (18014 /sec)
595.27/575.20	c (551,0) c propagations          : 1298709175     (2359304 /sec)
595.27/575.20	c (551,0) c conflict literals     : 28677879       (17.48 % deleted)
595.27/575.20	c (551,0) c CPU time              : 550.463 s
595.27/575.20	c (551,0) 
595.27/575.20	c (551,0) s SATISFIABLE
596.09/575.67	c (552,0) SatSolver.solve End
596.09/575.67	c (552,0) Heap : 321 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
596.09/575.67	c (552,0) Show results Begin
596.26/575.74	s SATISFIABLE
596.26/575.76	v <instantiation>
596.26/575.76	v     <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4]</list>
596.26/575.76	v     <values>3 6 3 5 8 15 2 2 18 6 18 2 25 19 9 2 8 6 11 2 19 9 19 2 8 7 2 19 18 2 6 25 17 5 2 21 2 2 0 2 2 1 2 12 1 2 20 19 2 5 15 8 3 6 5 2 6 19 2 11 6 8 3 25 6 5 3 6 16 2 2 18 7 2 19 25 14 18 5 2 6 2 19 2 8 7 2 19 20 16 3 6 5 2 18 6 2 1 2 9 8 2 6 11 2 18 13 2 6 3 2 10 2 19 2 9 18 2 23 8 19 6 2 2 8 21 2 19 6 2 5 18 6 19 3 2 0 2 5 6 18 18 5 24 2 11 6 11 2 6 2 1 2 0 2 11 6 2 3 8 11 6 5 3 12 18 2 2 1 2 2 19 15 4 2 2 19 9 18 5 15 2 25 19 6 8 5 9 1 2 2 18 25 0 2 2 19 15 2 22 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 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 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 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 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 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 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 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 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 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1</values>
596.26/575.76	v </instantiation>
596.26/575.76	c (552,0) Show results End
596.26/575.76	c (552,0) Heap : 321 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
596.26/575.77	c (552,0) 552,552,STOP-AFTER(ALL)
596.26/575.77	c END-Prog: Sun Aug 12 15:09:30 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 (12919 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305555-1534078794/watcher-4305555-1534078794 -o /tmp/evaluation-result-4305555-1534078794/solver-4305555-1534078794 -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-4305555-1534078794.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=28736, runsolver pid=28733

[startup+0.100131 s]*
/proc/loadavg: 2.17 2.20 2.66 3/222 28753
/proc/meminfo: memFree=23202752/32770624 swapFree=67108688/67108860
[pid=28736] ppid=28733 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/28736/stat : 28736 (scop.sh) S 28733 28736 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225442296 115843072 349 33554432000 4194304 5098028 140725036986496 140725036983752 140157312770684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20393984 140725036995649 140725036995847 140725036995847 140725036998605 0
/proc/28736/statm: 28282 349 296 221 0 87 0
[pid=28739] ppid=28736 vsize=15012476 memory=71776 CPUtime=0.11 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28736 28736 23167 0 -1 1077944320 6604 0 0 0 9 2 0 0 20 0 15 0 225442296 15372775424 17944 33554432000 4194304 4196468 140721961362400 140721961344944 140194541100791 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
/proc/28739/statm: 3753119 17944 2758 1 0 3715579 0
[pid=28739/tid=28740] ppid=28736 vsize=15012476 memory=-6439158751130075077 CPUtime=0.08 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) R 28736 28736 23167 0 -1 4202560 4683 0 0 0 7 1 0 0 20 0 15 0 225442297 15372775424 17944 33554432000 4194304 4196468 140721961362400 140194512912776 140194521376540 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28741] ppid=28736 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28741/stat : 28741 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442298 15372775424 18010 33554432000 4194304 4196468 140721961362400 140194545343248 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28742] ppid=28736 vsize=15012476 memory=139676217534080 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28742/stat : 28742 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442298 15372775424 18010 33554432000 4194304 4196468 140721961362400 140194002000784 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28743] ppid=28736 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28743/stat : 28743 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442298 15372775424 18010 33554432000 4194304 4196468 140721961362400 140194000948240 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28744] ppid=28736 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28744/stat : 28744 (java) S 28736 28736 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225442298 15372775424 18010 33554432000 4194304 4196468 140721961362400 140193999895696 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28745] ppid=28736 vsize=15012476 memory=139676217534080 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28745/stat : 28745 (java) S 28736 28736 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225442300 15372775424 18010 33554432000 4194304 4196468 140721961362400 140193310009328 140194541111938 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28746] ppid=28736 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28746/stat : 28746 (java) S 28736 28736 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225442300 15372775424 18010 33554432000 4194304 4196468 140721961362400 140193235461024 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28747] ppid=28736 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28747/stat : 28747 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442301 15372775424 18010 33554432000 4194304 4196468 140721961362400 140192967025648 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28748] ppid=28736 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28748/stat : 28748 (java) S 28736 28736 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 18010 33554432000 4194304 4196468 140721961362400 140192592517328 140194541119387 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28749] ppid=28736 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28749/stat : 28749 (java) S 28736 28736 23167 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 18010 33554432000 4194304 4196468 140721961362400 140193308957168 140194541111938 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28750] ppid=28736 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28750/stat : 28750 (java) S 28736 28736 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 18010 33554432000 4194304 4196468 140721961362400 140193307904624 140194541111938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28751] ppid=28736 vsize=15012476 memory=139676217534080 CPUtime=0.01 cores=0,2,4,6
/proc/28739/task/28751/stat : 28751 (java) S 28736 28736 23167 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 15 0 225442303 15372775424 18010 33554432000 4194304 4196468 140721961362400 140193306852080 140194541111938 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28752] ppid=28736 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28752/stat : 28752 (java) S 28736 28736 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 18076 33554432000 4194304 4196468 140721961362400 140192094612576 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28753] ppid=28736 vsize=15012476 memory=139676217534080 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28753/stat : 28753 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 18076 33554432000 4194304 4196468 140721961362400 140193305798960 140194541111938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73172 KiB

[startup+0.210789 s]*
/proc/loadavg: 2.17 2.20 2.66 3/222 28753
/proc/meminfo: memFree=23188624/32770624 swapFree=67108688/67108860
[pid=28736] ppid=28733 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/28736/stat : 28736 (scop.sh) S 28733 28736 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225442296 115843072 349 33554432000 4194304 5098028 140725036986496 140725036983752 140157312770684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20393984 140725036995649 140725036995847 140725036995847 140725036998605 0
/proc/28736/statm: 28282 349 296 221 0 87 0
[pid=28739] ppid=28736 vsize=15012476 memory=85352 CPUtime=0.25 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28736 28736 23167 0 -1 1077944320 10143 0 0 0 23 2 0 0 20 0 15 0 225442296 15372775424 21338 33554432000 4194304 4196468 140721961362400 140721961344944 140194541100791 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
/proc/28739/statm: 3753119 21338 2929 1 0 3715579 0
[pid=28739/tid=28740] ppid=28736 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) R 28736 28736 23167 0 -1 4202560 7971 0 0 0 18 2 0 0 20 0 15 0 225442297 15372775424 21338 33554432000 4194304 4196468 140721961362400 140194512926448 140194541112726 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28741] ppid=28736 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28741/stat : 28741 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442298 15372775424 21338 33554432000 4194304 4196468 140721961362400 140194545343248 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28742] ppid=28736 vsize=15012476 memory=288370052369245824 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28742/stat : 28742 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442298 15372775424 21338 33554432000 4194304 4196468 140721961362400 140194002000784 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28743] ppid=28736 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28743/stat : 28743 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442298 15372775424 21338 33554432000 4194304 4196468 140721961362400 140194000948240 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28744] ppid=28736 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28744/stat : 28744 (java) S 28736 28736 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225442298 15372775424 21338 33554432000 4194304 4196468 140721961362400 140193999895696 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28745] ppid=28736 vsize=15012476 memory=139676217534080 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28745/stat : 28745 (java) S 28736 28736 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225442300 15372775424 21338 33554432000 4194304 4196468 140721961362400 140193310009328 140194541111938 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28746] ppid=28736 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28746/stat : 28746 (java) S 28736 28736 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225442300 15372775424 21338 33554432000 4194304 4196468 140721961362400 140193235461024 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28747] ppid=28736 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28747/stat : 28747 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442301 15372775424 21338 33554432000 4194304 4196468 140721961362400 140192967025648 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28748] ppid=28736 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28748/stat : 28748 (java) S 28736 28736 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 21338 33554432000 4194304 4196468 140721961362400 140192592517328 140194541119387 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28749] ppid=28736 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28749/stat : 28749 (java) R 28736 28736 23167 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 21338 33554432000 4194304 4196468 140721961362400 140193308957264 140194541110997 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28750] ppid=28736 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28750/stat : 28750 (java) R 28736 28736 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 21338 33554432000 4194304 4196468 140721961362400 140193307904624 140194541111938 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28751] ppid=28736 vsize=15012476 memory=139676217534080 CPUtime=0.03 cores=0,2,4,6
/proc/28739/task/28751/stat : 28751 (java) R 28736 28736 23167 0 -1 4202560 360 0 0 0 3 0 0 0 20 0 15 0 225442303 15372775424 21338 33554432000 4194304 4196468 140721961362400 140193306852080 140194541112726 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28752] ppid=28736 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28752/stat : 28752 (java) S 28736 28736 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 21338 33554432000 4194304 4196468 140721961362400 140192094612576 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28753] ppid=28736 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28753/stat : 28753 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 21338 33554432000 4194304 4196468 140721961362400 140193305798960 140194541111938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86748 KiB

[startup+0.310903 s]*
/proc/loadavg: 2.17 2.20 2.66 3/222 28753
/proc/meminfo: memFree=23184776/32770624 swapFree=67108688/67108860
[pid=28736] ppid=28733 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/28736/stat : 28736 (scop.sh) S 28733 28736 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225442296 115843072 349 33554432000 4194304 5098028 140725036986496 140725036983752 140157312770684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20393984 140725036995649 140725036995847 140725036995847 140725036998605 0
/proc/28736/statm: 28282 349 296 221 0 87 0
[pid=28739] ppid=28736 vsize=15012476 memory=88908 CPUtime=0.43 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28736 28736 23167 0 -1 1077944320 10756 0 0 0 40 3 0 0 20 0 15 0 225442296 15372775424 22227 33554432000 4194304 4196468 140721961362400 140721961344944 140194541100791 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
/proc/28739/statm: 3753119 22227 2976 1 0 3715579 0
[pid=28739/tid=28740] ppid=28736 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) R 28736 28736 23167 0 -1 4202560 8352 0 0 0 27 2 0 0 20 0 15 0 225442297 15372775424 22227 33554432000 4194304 4196468 140721961362400 140194512895792 140194541122717 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28741] ppid=28736 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28741/stat : 28741 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442298 15372775424 22227 33554432000 4194304 4196468 140721961362400 140194545343248 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28742] ppid=28736 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28742/stat : 28742 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442298 15372775424 22227 33554432000 4194304 4196468 140721961362400 140194002000784 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28743] ppid=28736 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28743/stat : 28743 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442298 15372775424 22227 33554432000 4194304 4196468 140721961362400 140194000948240 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28744] ppid=28736 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28744/stat : 28744 (java) S 28736 28736 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225442298 15372775424 22227 33554432000 4194304 4196468 140721961362400 140193999895696 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28745] ppid=28736 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28745/stat : 28745 (java) S 28736 28736 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225442300 15372775424 22227 33554432000 4194304 4196468 140721961362400 140193310009328 140194541111938 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28746] ppid=28736 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28746/stat : 28746 (java) S 28736 28736 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225442300 15372775424 22227 33554432000 4194304 4196468 140721961362400 140193235461024 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28747] ppid=28736 vsize=15012476 memory=-6664436420846798482 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28747/stat : 28747 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442301 15372775424 22227 33554432000 4194304 4196468 140721961362400 140192967025648 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28748] ppid=28736 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28748/stat : 28748 (java) S 28736 28736 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 22227 33554432000 4194304 4196468 140721961362400 140192592517328 140194541119387 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28749] ppid=28736 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28739/task/28749/stat : 28749 (java) R 28736 28736 23167 0 -1 4202560 583 0 0 0 3 0 0 0 20 0 15 0 225442303 15372775424 22227 33554432000 4194304 4196468 140721961362400 140193308957168 140194541112726 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28750] ppid=28736 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28739/task/28750/stat : 28750 (java) R 28736 28736 23167 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 15 0 225442303 15372775424 22227 33554432000 4194304 4196468 140721961362400 140193307904624 140194541111938 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28751] ppid=28736 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28739/task/28751/stat : 28751 (java) R 28736 28736 23167 0 -1 4202560 446 0 0 0 7 0 0 0 20 0 15 0 225442303 15372775424 22227 33554432000 4194304 4196468 140721961362400 140193306852080 140194541122138 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28752] ppid=28736 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28752/stat : 28752 (java) S 28736 28736 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 22227 33554432000 4194304 4196468 140721961362400 140192094612576 140194541110997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28753] ppid=28736 vsize=15012476 memory=3472898942829666353 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28753/stat : 28753 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442303 15372775424 22227 33554432000 4194304 4196468 140721961362400 140193305798960 140194541111938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90304 KiB

[startup+0.703479 s]
/proc/loadavg: 2.17 2.20 2.66 3/222 28753
/proc/meminfo: memFree=23160716/32770624 swapFree=67108688/67108860
[pid=28736] ppid=28733 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/28736/stat : 28736 (scop.sh) S 28733 28736 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225442296 115843072 349 33554432000 4194304 5098028 140725036986496 140725036983752 140157312770684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20393984 140725036995649 140725036995847 140725036995847 140725036998605 0
/proc/28736/statm: 28282 349 296 221 0 87 0
[pid=28739] ppid=28736 vsize=15018748 memory=130948 CPUtime=1.05 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28736 28736 23167 0 -1 1077944320 17835 0 0 0 100 5 0 0 20 0 15 0 225442296 15379197952 32737 33554432000 4194304 4196468 140721961362400 140721961344944 140194541100791 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
/proc/28739/statm: 3754687 32737 3148 1 0 3716091 0
[pid=28739/tid=28740] ppid=28736 vsize=15018748 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) R 28736 28736 23167 0 -1 4202560 14771 0 0 0 63 4 0 0 20 0 15 0 225442297 15379197952 32737 33554432000 4194304 4196468 140721961362400 140194512938480 140194541122717 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28741] ppid=28736 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28741/stat : 28741 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442298 15379197952 32737 33554432000 4194304 4196468 140721961362400 140194545343248 140194541110997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28742] ppid=28736 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28742/stat : 28742 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442298 15379197952 32737 33554432000 4194304 4196468 140721961362400 140194002000784 140194541110997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28743] ppid=28736 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28743/stat : 28743 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442298 15379197952 32737 33554432000 4194304 4196468 140721961362400 140194000948240 140194541110997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28744] ppid=28736 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28744/stat : 28744 (java) S 28736 28736 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225442298 15379197952 32737 33554432000 4194304 4196468 140721961362400 140193999895696 140194541110997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28745] ppid=28736 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28745/stat : 28745 (java) S 28736 28736 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225442300 15379197952 32737 33554432000 4194304 4196468 140721961362400 140193310009328 140194541111938 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28746] ppid=28736 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28746/stat : 28746 (java) S 28736 28736 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225442300 15379197952 32737 33554432000 4194304 4196468 140721961362400 140193235461024 140194541110997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28747] ppid=28736 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28747/stat : 28747 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442301 15379197952 32737 33554432000 4194304 4196468 140721961362400 140192967025648 140194541110997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28748] ppid=28736 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28748/stat : 28748 (java) S 28736 28736 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225442303 15379197952 32737 33554432000 4194304 4196468 140721961362400 140192592517328 140194541119387 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28749] ppid=28736 vsize=15018748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28739/task/28749/stat : 28749 (java) R 28736 28736 23167 0 -1 4202560 717 0 0 0 9 0 0 0 20 0 15 0 225442303 15379197952 32737 33554432000 4194304 4196468 140721961362400 140193308946960 140194521736675 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28750] ppid=28736 vsize=15018748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28739/task/28750/stat : 28750 (java) S 28736 28736 23167 0 -1 1077944384 321 0 0 0 9 0 0 0 20 0 15 0 225442303 15379197952 32737 33554432000 4194304 4196468 140721961362400 140193307904624 140194541111938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28751] ppid=28736 vsize=15018748 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/28739/task/28751/stat : 28751 (java) S 28736 28736 23167 0 -1 1077944384 691 0 0 0 17 0 0 0 20 0 15 0 225442303 15379197952 32737 33554432000 4194304 4196468 140721961362400 140193306852080 140194541111938 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28752] ppid=28736 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28752/stat : 28752 (java) S 28736 28736 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225442303 15379197952 32737 33554432000 4194304 4196468 140721961362400 140192094612576 140194541110997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
[pid=28739/tid=28753] ppid=28736 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28753/stat : 28753 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225442303 15379197952 32737 33554432000 4194304 4196468 140721961362400 140193305798960 140194541111938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140721961370631 140721961370929 140721961370929 140721961373647 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132344 KiB

[startup+1.50126 s]
/proc/loadavg: 2.17 2.20 2.66 6/222 28753
/proc/meminfo: memFree=23119912/32770624 swapFree=67108688/67108860
[pid=28736] ppid=28733 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/28736/stat : 28736 (scop.sh) S 28733 28736 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225442296 115843072 349 33554432000 4194304 5098028 140725036986496 140725036983752 140157312770684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20393984 140725036995649 140725036995847 140725036995847 140725036998605 0
/proc/28736/statm: 28282 349 296 221 0 87 0

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

[pid=28762/tid=28775] ppid=28736 vsize=8068220 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28775/stat : 28775 (java) S 28736 28736 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225444591 8261857280 31491 33554432000 4194304 4196468 140727457577168 139657304075232 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28776] ppid=28736 vsize=8068220 memory=1472 CPUtime=0.28 cores=0,2,4,6
/proc/28762/task/28776/stat : 28776 (java) S 28736 28736 23167 0 -1 1077944384 39 0 0 0 14 14 0 0 20 0 19 0 225444591 8261857280 31491 33554432000 4194304 4196468 140727457577168 139658847578544 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28778] ppid=28736 vsize=8068220 memory=125964 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28778/stat : 28778 (java) S 28736 28736 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225444676 8261857280 31491 33554432000 4194304 4196468 140727457577168 139658914935744 139659473100569 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28780] ppid=28736 vsize=8068220 memory=487476 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28780/stat : 28780 (java) S 28736 28736 23167 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 225444677 8261857280 31491 33554432000 4194304 4196468 140727457577168 139656767188528 139659473097885 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28781] ppid=28736 vsize=8068220 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28781/stat : 28781 (java) S 28736 28736 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225444677 8261857280 31491 33554432000 4194304 4196468 140727457577168 139656901410736 139659473097885 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28782] ppid=28736 vsize=8068220 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28782/stat : 28782 (java) S 28736 28736 23167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225444679 8261857280 31491 33554432000 4194304 4196468 140727457577168 139656498765216 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
Current children cumulated CPU time: 594.56 s
Current children cumulated vsize: 8763304 KiB
Current children cumulated memory: 614916 KiB

[startup+575.201 s]
/proc/loadavg: 2.01 2.05 2.37 3/227 28814
/proc/meminfo: memFree=22612492/32770624 swapFree=67108688/67108860
[pid=28736] ppid=28733 vsize=113128 memory=1472 CPUtime=42.14 cores=0,2,4,6
/proc/28736/stat : 28736 (scop.sh) S 28733 28736 23167 0 -1 4202496 589 63031 0 0 0 0 4010 204 20 0 1 0 225442296 115843072 368 33554432000 4194304 5098028 140725036986496 140725036983240 140157312770684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20393984 140725036995649 140725036995847 140725036995847 140725036998605 0
/proc/28736/statm: 28282 368 311 221 0 87 0
[pid=28762] ppid=28736 vsize=8068220 memory=125964 CPUtime=1.97 cores=0,2,4,6
/proc/28762/stat : 28762 (java) S 28736 28736 23167 0 -1 1077944320 18740 0 0 0 168 29 0 0 20 0 19 0 225444585 8261857280 31491 33554432000 4194304 4196468 140727457577168 140727457559712 139659473075959 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
/proc/28762/statm: 2017055 31491 3168 1 0 1978454 0
[pid=28777] ppid=28762 vsize=581956 memory=487692 CPUtime=551.26 cores=0,2,4,6
/proc/28777/stat : 28777 (minisat_release) S 28762 28736 23167 0 -1 4202496 976110 0 0 0 55046 80 0 0 20 0 1 0 225444676 595922944 121923 33554432000 4194304 4308513 140722845174336 140722845170248 140157893540960 0 4 0 8396802 18446744071580971376 0 0 17 0 0 0 0 0 0 6409496 6410680 24256512 140722845176948 140722845177046 140722845177046 140722845179845 0
/proc/28777/statm: 145489 121923 342 28 0 141729 0
[pid=28762/tid=28763] ppid=28736 vsize=8068220 memory=125964 CPUtime=0.93 cores=0,2,4,6
/proc/28762/task/28763/stat : 28763 (java) S 28736 28736 23167 0 -1 1077944384 15069 0 0 0 80 13 0 0 20 0 19 0 225444585 8261857280 31491 33554432000 4194304 4196468 140727457577168 139659444916112 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28764] ppid=28736 vsize=8068220 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28764/stat : 28764 (java) S 28736 28736 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225444586 8261857280 31491 33554432000 4194304 4196468 140727457577168 139659477318544 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28765] ppid=28736 vsize=8068220 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28765/stat : 28765 (java) S 28736 28736 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225444586 8261857280 31491 33554432000 4194304 4196468 140727457577168 139659277486864 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28766] ppid=28736 vsize=8068220 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28766/stat : 28766 (java) S 28736 28736 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225444586 8261857280 31491 33554432000 4194304 4196468 140727457577168 139659276434576 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28767] ppid=28736 vsize=8068220 memory=868 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28767/stat : 28767 (java) S 28736 28736 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225444586 8261857280 31491 33554432000 4194304 4196468 140727457577168 139659275381776 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28768] ppid=28736 vsize=8068220 memory=1472 CPUtime=0.01 cores=0,2,4,6
/proc/28762/task/28768/stat : 28768 (java) S 28736 28736 23167 0 -1 1077944384 7 0 0 0 1 0 0 0 20 0 19 0 225444588 8261857280 31491 33554432000 4194304 4196468 140727457577168 139658919479408 139659473087106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28769] ppid=28736 vsize=8068220 memory=125964 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28769/stat : 28769 (java) S 28736 28736 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225444588 8261857280 31491 33554432000 4194304 4196468 140727457577168 139658310705952 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28770] ppid=28736 vsize=8068220 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28770/stat : 28770 (java) S 28736 28736 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225444589 8261857280 31491 33554432000 4194304 4196468 140727457577168 139658176484464 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28771] ppid=28736 vsize=8068220 memory=61360 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28771/stat : 28771 (java) S 28736 28736 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225444591 8261857280 31491 33554432000 4194304 4196468 140727457577168 139657801979984 139659473094555 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28772] ppid=28736 vsize=8068220 memory=487476 CPUtime=0.23 cores=0,2,4,6
/proc/28762/task/28772/stat : 28772 (java) S 28736 28736 23167 0 -1 1077944384 886 0 0 0 23 0 0 0 20 0 19 0 225444591 8261857280 31491 33554432000 4194304 4196468 140727457577168 139658918427248 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28773] ppid=28736 vsize=8068220 memory=-7824251494390912868 CPUtime=0.22 cores=0,2,4,6
/proc/28762/task/28773/stat : 28773 (java) S 28736 28736 23167 0 -1 1077944384 621 0 0 0 22 0 0 0 20 0 19 0 225444591 8261857280 31491 33554432000 4194304 4196468 140727457577168 139658917374448 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28774] ppid=28736 vsize=8068220 memory=4872558044660077418 CPUtime=0.24 cores=0,2,4,6
/proc/28762/task/28774/stat : 28774 (java) S 28736 28736 23167 0 -1 1077944384 686 0 0 0 24 0 0 0 20 0 19 0 225444591 8261857280 31491 33554432000 4194304 4196468 140727457577168 139658916322160 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28775] ppid=28736 vsize=8068220 memory=15768 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28775/stat : 28775 (java) S 28736 28736 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225444591 8261857280 31491 33554432000 4194304 4196468 140727457577168 139657304075232 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28776] ppid=28736 vsize=8068220 memory=125964 CPUtime=0.28 cores=0,2,4,6
/proc/28762/task/28776/stat : 28776 (java) S 28736 28736 23167 0 -1 1077944384 39 0 0 0 14 14 0 0 20 0 19 0 225444591 8261857280 31491 33554432000 4194304 4196468 140727457577168 139658847578544 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28778] ppid=28736 vsize=8068220 memory=487480 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28778/stat : 28778 (java) S 28736 28736 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225444676 8261857280 31491 33554432000 4194304 4196468 140727457577168 139658914935744 139659473100569 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28780] ppid=28736 vsize=8068220 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28780/stat : 28780 (java) R 28736 28736 23167 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 225444677 8261857280 31491 33554432000 4194304 4196468 140727457577168 139656767188528 139659473097885 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28781] ppid=28736 vsize=8068220 memory=748 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28781/stat : 28781 (java) S 28736 28736 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225444677 8261857280 31491 33554432000 4194304 4196468 140727457577168 139656901410736 139659473097885 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28782] ppid=28736 vsize=8068220 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/28762/task/28782/stat : 28782 (java) S 28736 28736 23167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225444679 8261857280 31491 33554432000 4194304 4196468 140727457577168 139656498765216 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
Current children cumulated CPU time: 595.37 s
Current children cumulated vsize: 8763304 KiB
Current children cumulated memory: 615128 KiB

[startup+575.604 s]
/proc/loadavg: 2.01 2.05 2.37 3/227 28814
/proc/meminfo: memFree=22612492/32770624 swapFree=67108688/67108860
[pid=28736] ppid=28733 vsize=113128 memory=1472 CPUtime=42.14 cores=0,2,4,6
/proc/28736/stat : 28736 (scop.sh) S 28733 28736 23167 0 -1 4202496 589 63031 0 0 0 0 4010 204 20 0 1 0 225442296 115843072 368 33554432000 4194304 5098028 140725036986496 140725036983240 140157312770684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20393984 140725036995649 140725036995847 140725036995847 140725036998605 0
/proc/28736/statm: 28282 368 311 221 0 87 0
[pid=28762] ppid=28736 vsize=8068220 memory=290828 CPUtime=553.95 cores=0,2,4,6
/proc/28762/stat : 28762 (java) S 28736 28736 23167 0 -1 1077944320 19603 976118 0 0 214 33 55065 83 20 0 18 0 225444585 8261857280 72707 33554432000 4194304 4196468 140727457577168 140727457559712 139659473075959 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
/proc/28762/statm: 2017055 72707 3173 1 0 1978454 0
[pid=28762/tid=28763] ppid=28736 vsize=8068220 memory=3316 CPUtime=552.41 cores=0,2,4,6
/proc/28762/task/28763/stat : 28763 (java) S 28736 28736 23167 0 -1 1077944384 15069 976118 0 0 80 13 55065 83 20 0 18 0 225444585 8261857280 72707 33554432000 4194304 4196468 140727457577168 139659444916112 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28764] ppid=28736 vsize=8068220 memory=15768 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28764/stat : 28764 (java) S 28736 28736 23167 0 -1 1077944384 2 976118 0 0 0 0 55065 83 20 0 18 0 225444586 8261857280 72707 33554432000 4194304 4196468 140727457577168 139659477318544 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28765] ppid=28736 vsize=8068220 memory=34660 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28765/stat : 28765 (java) S 28736 28736 23167 0 -1 1077944384 1 976118 0 0 0 0 55065 83 20 0 18 0 225444586 8261857280 72707 33554432000 4194304 4196468 140727457577168 139659277486864 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28766] ppid=28736 vsize=8068220 memory=1612 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28766/stat : 28766 (java) S 28736 28736 23167 0 -1 1077944384 2 976118 0 0 0 0 55065 83 20 0 18 0 225444586 8261857280 72707 33554432000 4194304 4196468 140727457577168 139659276434576 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28767] ppid=28736 vsize=8068220 memory=496 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28767/stat : 28767 (java) S 28736 28736 23167 0 -1 1077944384 2 976118 0 0 0 0 55065 83 20 0 18 0 225444586 8261857280 72707 33554432000 4194304 4196468 140727457577168 139659275381776 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28768] ppid=28736 vsize=8068220 memory=924 CPUtime=551.49 cores=0,2,4,6
/proc/28762/task/28768/stat : 28768 (java) S 28736 28736 23167 0 -1 1077944384 7 976118 0 0 1 0 55065 83 20 0 18 0 225444588 8261857280 72707 33554432000 4194304 4196468 140727457577168 139658919479408 139659473087106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28769] ppid=28736 vsize=8068220 memory=1168 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28769/stat : 28769 (java) S 28736 28736 23167 0 -1 1077944384 13 976118 0 0 0 0 55065 83 20 0 18 0 225444588 8261857280 72707 33554432000 4194304 4196468 140727457577168 139658310705952 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28770] ppid=28736 vsize=8068220 memory=2336 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28770/stat : 28770 (java) S 28736 28736 23167 0 -1 1077944384 21 976118 0 0 0 0 55065 83 20 0 18 0 225444589 8261857280 72707 33554432000 4194304 4196468 140727457577168 139658176484464 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28771] ppid=28736 vsize=8068220 memory=1572 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28771/stat : 28771 (java) S 28736 28736 23167 0 -1 1077944384 3 976118 0 0 0 0 55065 83 20 0 18 0 225444591 8261857280 72707 33554432000 4194304 4196468 140727457577168 139657801979984 139659473094555 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28772] ppid=28736 vsize=8068220 memory=924 CPUtime=551.8 cores=0,2,4,6
/proc/28762/task/28772/stat : 28772 (java) R 28736 28736 23167 0 -1 4202560 908 976118 0 0 32 0 55065 83 20 0 18 0 225444591 8261857280 72707 33554432000 4194304 4196468 140727457577168 139658918427248 139659457475704 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28773] ppid=28736 vsize=8068220 memory=2192 CPUtime=551.77 cores=0,2,4,6
/proc/28762/task/28773/stat : 28773 (java) R 28736 28736 23167 0 -1 4202560 865 976118 0 0 29 0 55065 83 20 0 18 0 225444591 8261857280 72707 33554432000 4194304 4196468 140727457577168 139658917360992 139659458177472 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28774] ppid=28736 vsize=8068220 memory=3980 CPUtime=551.76 cores=0,2,4,6
/proc/28762/task/28774/stat : 28774 (java) S 28736 28736 23167 0 -1 1077944384 1165 976118 0 0 28 0 55065 83 20 0 18 0 225444591 8261857280 72707 33554432000 4194304 4196468 140727457577168 139658916322160 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28775] ppid=28736 vsize=8068220 memory=1924 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28775/stat : 28775 (java) S 28736 28736 23167 0 -1 1077944384 3 976118 0 0 0 0 55065 83 20 0 18 0 225444591 8261857280 72707 33554432000 4194304 4196468 140727457577168 139657304075232 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28776] ppid=28736 vsize=8068220 memory=1408 CPUtime=551.76 cores=0,2,4,6
/proc/28762/task/28776/stat : 28776 (java) S 28736 28736 23167 0 -1 1077944384 39 976118 0 0 14 14 55065 83 20 0 18 0 225444591 8261857280 72707 33554432000 4194304 4196468 140727457577168 139658847578544 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28778] ppid=28736 vsize=8068220 memory=3524 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28778/stat : 28778 (java) S 28736 28736 23167 0 -1 1077944384 23 976118 0 0 0 0 55065 83 20 0 18 0 225444676 8261857280 72707 33554432000 4194304 4196468 140727457577168 139658914934928 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28780] ppid=28736 vsize=8068220 memory=1472 CPUtime=551.77 cores=0,2,4,6
/proc/28762/task/28780/stat : 28780 (java) R 28736 28736 23167 0 -1 4202560 149 976118 0 0 26 3 55065 83 20 0 18 0 225444677 8261857280 72707 33554432000 4194304 4196468 140727457577168 139656767192384 139658931569040 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28782] ppid=28736 vsize=8068220 memory=116900 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28782/stat : 28782 (java) S 28736 28736 23167 0 -1 1077944384 4 976118 0 0 0 0 55065 83 20 0 18 0 225444679 8261857280 72707 33554432000 4194304 4196468 140727457577168 139656498764976 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
Current children cumulated CPU time: 596.09 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 292300 KiB

[startup+575.707 s]
/proc/loadavg: 2.01 2.05 2.37 3/227 28814
/proc/meminfo: memFree=22612492/32770624 swapFree=67108688/67108860
[pid=28736] ppid=28733 vsize=113128 memory=1472 CPUtime=42.14 cores=0,2,4,6
/proc/28736/stat : 28736 (scop.sh) S 28733 28736 23167 0 -1 4202496 589 63031 0 0 0 0 4010 204 20 0 1 0 225442296 115843072 368 33554432000 4194304 5098028 140725036986496 140725036983240 140157312770684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20393984 140725036995649 140725036995847 140725036995847 140725036998605 0
/proc/28736/statm: 28282 368 311 221 0 87 0
[pid=28762] ppid=28736 vsize=7937144 memory=305612 CPUtime=554.12 cores=0,2,4,6
/proc/28762/stat : 28762 (java) S 28736 28736 23167 0 -1 1077944320 19735 976118 0 0 231 33 55065 83 20 0 17 0 225444585 8127635456 76403 33554432000 4194304 4196468 140727457577168 140727457559712 139659473075959 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
/proc/28762/statm: 1984286 76403 3177 1 0 1945685 0
[pid=28762/tid=28763] ppid=28736 vsize=7937144 memory=487692 CPUtime=552.44 cores=0,2,4,6
/proc/28762/task/28763/stat : 28763 (java) R 28736 28736 23167 0 -1 4202560 15098 976118 0 0 83 13 55065 83 20 0 17 0 225444585 8127635456 76403 33554432000 4194304 4196468 140727457577168 139659444913480 139659451078881 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28764] ppid=28736 vsize=7937144 memory=143020 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28764/stat : 28764 (java) S 28736 28736 23167 0 -1 1077944384 2 976118 0 0 0 0 55065 83 20 0 17 0 225444586 8127635456 76403 33554432000 4194304 4196468 140727457577168 139659477318544 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28765] ppid=28736 vsize=7937144 memory=125964 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28765/stat : 28765 (java) S 28736 28736 23167 0 -1 1077944384 1 976118 0 0 0 0 55065 83 20 0 17 0 225444586 8127635456 76403 33554432000 4194304 4196468 140727457577168 139659277486864 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28766] ppid=28736 vsize=7937144 memory=125964 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28766/stat : 28766 (java) S 28736 28736 23167 0 -1 1077944384 2 976118 0 0 0 0 55065 83 20 0 17 0 225444586 8127635456 76403 33554432000 4194304 4196468 140727457577168 139659276434576 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28767] ppid=28736 vsize=7937144 memory=125964 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28767/stat : 28767 (java) S 28736 28736 23167 0 -1 1077944384 2 976118 0 0 0 0 55065 83 20 0 17 0 225444586 8127635456 76403 33554432000 4194304 4196468 140727457577168 139659275381776 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28768] ppid=28736 vsize=7937144 memory=125964 CPUtime=551.49 cores=0,2,4,6
/proc/28762/task/28768/stat : 28768 (java) S 28736 28736 23167 0 -1 1077944384 7 976118 0 0 1 0 55065 83 20 0 17 0 225444588 8127635456 76403 33554432000 4194304 4196468 140727457577168 139658919479408 139659473087106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28769] ppid=28736 vsize=7937144 memory=125964 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28769/stat : 28769 (java) S 28736 28736 23167 0 -1 1077944384 13 976118 0 0 0 0 55065 83 20 0 17 0 225444588 8127635456 76403 33554432000 4194304 4196468 140727457577168 139658310705952 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28770] ppid=28736 vsize=7937144 memory=239456 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28770/stat : 28770 (java) S 28736 28736 23167 0 -1 1077944384 21 976118 0 0 0 0 55065 83 20 0 17 0 225444589 8127635456 76403 33554432000 4194304 4196468 140727457577168 139658176484464 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28771] ppid=28736 vsize=7937144 memory=1472 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28771/stat : 28771 (java) S 28736 28736 23167 0 -1 1077944384 3 976118 0 0 0 0 55065 83 20 0 17 0 225444591 8127635456 76403 33554432000 4194304 4196468 140727457577168 139657801979984 139659473094555 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28772] ppid=28736 vsize=7937144 memory=1220 CPUtime=551.82 cores=0,2,4,6
/proc/28762/task/28772/stat : 28772 (java) S 28736 28736 23167 0 -1 1077944384 918 976118 0 0 34 0 55065 83 20 0 17 0 225444591 8127635456 76403 33554432000 4194304 4196468 140727457577168 139658918427248 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28773] ppid=28736 vsize=7937144 memory=125964 CPUtime=551.79 cores=0,2,4,6
/proc/28762/task/28773/stat : 28773 (java) R 28736 28736 23167 0 -1 4202560 882 976118 0 0 31 0 55065 83 20 0 17 0 225444591 8127635456 76403 33554432000 4194304 4196468 140727457577168 139658917361648 139659457464816 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28774] ppid=28736 vsize=7937144 memory=125964 CPUtime=551.79 cores=0,2,4,6
/proc/28762/task/28774/stat : 28774 (java) S 28736 28736 23167 0 -1 1077944384 1230 976118 0 0 31 0 55065 83 20 0 17 0 225444591 8127635456 76403 33554432000 4194304 4196468 140727457577168 139658916322160 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28775] ppid=28736 vsize=7937144 memory=1472 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28775/stat : 28775 (java) S 28736 28736 23167 0 -1 1077944384 3 976118 0 0 0 0 55065 83 20 0 17 0 225444591 8127635456 76403 33554432000 4194304 4196468 140727457577168 139657304075232 139659473086165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28776] ppid=28736 vsize=7937144 memory=1472 CPUtime=551.76 cores=0,2,4,6
/proc/28762/task/28776/stat : 28776 (java) S 28736 28736 23167 0 -1 1077944384 39 976118 0 0 14 14 55065 83 20 0 17 0 225444591 8127635456 76403 33554432000 4194304 4196468 140727457577168 139658847578544 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28778] ppid=28736 vsize=7937144 memory=125964 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28778/stat : 28778 (java) S 28736 28736 23167 0 -1 1077944384 23 976118 0 0 0 0 55065 83 20 0 17 0 225444676 8127635456 76403 33554432000 4194304 4196468 140727457577168 139658914934928 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
[pid=28762/tid=28782] ppid=28736 vsize=7937144 memory=3868 CPUtime=551.48 cores=0,2,4,6
/proc/28762/task/28782/stat : 28782 (java) S 28736 28736 23167 0 -1 1077944384 9 976118 0 0 0 0 55065 83 20 0 17 0 225444679 8127635456 76403 33554432000 4194304 4196468 140727457577168 139656498767024 139659473087106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19976192 140727457580213 140727457580337 140727457580337 140727457583055 0
Current children cumulated CPU time: 596.26 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 307084 KiB

Child status: 0
Real time (s): 575.788
CPU time (s): 596.461
CPU user time (s): 593.225
CPU system time (s): 3.23594
CPU usage (%): 103.59
Max. virtual memory (cumulated for all children) (KiB): 15144320
Max. memory (cumulated for all children) (KiB): 3948932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 593.225
system time used= 3.23594
maximum resident set size= 3947648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1059735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 116288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21733
involuntary context switches= 806


# summary of solver processes directly reported to runsolver:
#   pid: 28736
#   total CPU time (s): 596.461
#   total CPU user time (s): 593.225
#   total CPU system time (s): 3.23594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.48475 second user time and 7.07315 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-12 14:59:54
IDJOB=4305555
IDBENCH=141454
IDSOLVER=2783
FILE ID=node106/4305555-1534078794
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-70-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-4305555-1534078794/watcher-4305555-1534078794 -o /tmp/evaluation-result-4305555-1534078794/solver-4305555-1534078794 -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-4305555-1534078794.xml

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

MD5SUM BENCH= 5ebb66a2f72e45e9d6642a776a6cc19c
RANDOM SEED=4762883

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:        23262896 kB
MemAvailable:   31432748 kB
Buffers:          119268 kB
Cached:          8242296 kB
SwapCached:            0 kB
Active:          4705524 kB
Inactive:        4182764 kB
Active(anon):     469580 kB
Inactive(anon):   109476 kB
Active(file):    4235944 kB
Inactive(file):  4073288 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              8016 kB
Writeback:             0 kB
AnonPages:        533528 kB
Mapped:            63632 kB
Shmem:             49632 kB
Slab:             318076 kB
SReclaimable:     289080 kB
SUnreclaim:        28996 kB
KernelStack:        3632 kB
PageTables:         6692 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:    196608 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 15:09:30