Trace number 4305316

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+MapleCOMSPS (2018-07-31)SAT 42.374 23.454

General information on the benchmark

NameCarSequencing/
CarSequencing-60-02_c18.xml
MD5SUM7d15061b3f8ae249c0a64b716749507b
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 benchmark0.227795
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1354
Number of domains2
Minimum domain size2
Maximum domain size17
Distribution of domain sizes[{"size":2,"count":1000},{"size":17,"count":200}]
Minimum variable degree2
Maximum variable degree54
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":19},{"degree":22,"count":179},{"degree":23,"count":16},{"degree":24,"count":16},{"degree":25,"count":16},{"degree":26,"count":16},"...",{"degree":30,"count":16}, {"degree":31,"count":16}, {"degree":32,"count":17}, {"degree":33,"count":18}, {"degree":34,"count":18}, {"degree":35,"count":122}, {"degree":36,"count":59}, {"degree":37,"count":8}, {"degree":38,"count":9}, {"degree":39,"count":9}, {"degree":40,"count":9}, {"degree":41,"count":9}, {"degree":42,"count":24}, {"degree":43,"count":3}, {"degree":44,"count":3}, {"degree":45,"count":3}, {"degree":46,"count":3}, {"degree":47,"count":3}, {"degree":48,"count":3}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":3}, {"degree":52,"count":4}, {"degree":53,"count":4}, {"degree":54,"count":51}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":25,"count":1},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":50,"count":1},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},{"arity":80,"count":3},{"arity":83,"count":1},"...",{"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":1153},{"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 -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-21482-serial-file.bin HOME/instance-4305316-1534078007.xml
0.54/0.51	
0.54/0.52	scop order+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Sun Aug 12 14:46:48 CEST 2018
0.66/0.54	c PID: 21485
0.66/0.54	c IP: 172.20.3.107
0.66/0.54	c HOST: node107.alineos.net
0.66/0.55	c (0,0) Parsing Begin
2.89/1.37	c (0,0) Parsing End
2.89/1.38	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1354 ctr, max domain size 17
2.89/1.38	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.89/1.38	c (0,0) Constraint Name Generate Begin
3.20/1.41	c (0,0) Ctr:HOME/instance-4305316-1534078007.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.20/1.41	c (0,0) Constraint Name Generate End
3.20/1.41	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.20/1.41	c (0,0) CSP to CSPinCNF Begin
10.80/4.10	c (3,3) translated 136 (10%) constraints
11.66/4.52	c (3,3) translated 271 (20%) constraints
11.66/4.55	c (4,4) translated 407 (30%) constraints
12.00/4.66	c (4,4) translated 542 (40%) constraints
12.00/4.66	c (4,4) translated 677 (50%) constraints
12.00/4.66	c (4,4) translated 813 (60%) constraints
12.00/4.66	c (4,4) translated 948 (70%) constraints
12.00/4.66	c (4,4) translated 1084 (80%) constraints
12.69/5.00	c (4,4) translated 1219 (90%) constraints
14.91/6.67	c (6,6) translated 1354 (100%) constraints
16.65/7.23	c (6,6) STATISTICS1:HOME/instance-4305316-1534078007.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,13000,44370,9223372036854775807,17,18,200,9223372036854775807:186;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:1;17592186044416:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,17:13200;2:124609,18:200;3:22400;2:20600;1:1170,200:39;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;161:2;160:2;158:2;155:4;152:2;150:2;149:2;146:2;145:2;143:2;140:4;137:2;135:2;134:2;131:2;130:2;128:2;125:4;122:2;120:2;119:2;116:2;115:2;113:2;110:4;107:1;105:2;104:1;101:1;100:2;98:1;95:3;92:1;90:2;89:1;86:1;85:2;83:1;80:3;77:1;75:2;74:1;71:1;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:1;45:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:111800;0:200,17689:39;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;11449:2;11236:2;11025:2;10609:4;10201:2;10000:2;9801:2;9409:2;9216:2;9025:2;8649:4;8281:2;8100:2;7921:2;7569:2;7396:2;7225:2;6889:4;6561:2;6400:2;6241:2;5929:2;5776:2;5625:2;5329:4;5041:1;4900:2;4761:1;4489:1;4356:2;4225:1;3969:3;3721:1;3600:2;3481:1;3249:1;3136:2;3025:1;2809:3;2601:1;2500:2;2401:1;2209:1;2116:2;2025:1;1849:3
16.65/7.23	c (6,6) ==========================================
16.65/7.23	c (6,6) Order
16.65/7.23	c (6,6) ==========================================
18.55/7.88	c (7,7) translated 4437 (10%) constraints
19.18/8.06	c (7,7) translated 8874 (20%) constraints
19.48/8.14	c (7,7) translated 13311 (30%) constraints
19.67/8.20	c (7,7) translated 17748 (40%) constraints
19.67/8.26	c (7,7) translated 22185 (50%) constraints
19.77/8.32	c (7,7) translated 26622 (60%) constraints
19.77/8.39	c (7,7) translated 31059 (70%) constraints
19.87/8.45	c (7,7) translated 35496 (80%) constraints
19.97/8.51	c (7,7) translated 39933 (90%) constraints
24.71/10.20	c (9,9) translated 44370 (100%) constraints
24.71/10.21	c (9,9) CSP to CSPinCNF End
24.71/10.21	c (9,9) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58596 ctr, max domain size 68
24.71/10.21	c (9,9) Heap : 1350 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.71/10.21	c (9,9) CSPinCNF Propagation Begin
25.52/10.58	c (10,9) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
25.52/10.58	c (10,9) CSPinCNF Propagation End
25.52/10.58	c (10,9) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58196 ctr, max domain size 68
25.52/10.58	c (10,9) Heap : 1568 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
25.52/10.58	c (10,9) Simplify CSPinCNF Begin
26.11/10.71	c (10,10) Simplify CSPinCNF End
26.11/10.72	c (10,10) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58196 ctr, max domain size 68
26.11/10.72	c (10,10) Heap : 1623 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
26.11/10.72	c (10,10) Calculate Precise Domain Begin
26.11/10.77	c (10,10) 0 values are removed by re-calculation
26.11/10.77	c (10,10) Calculate Precise Domain End
26.11/10.77	c (10,10) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58196 ctr, max domain size 68
26.11/10.77	c (10,10) Heap : 1677 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
26.11/10.77	c (10,10) CSPinCNF to SatSolver Begin
28.96/12.24	c (11,11) 5820 (10 %) CSP clauses are encoded (73465 SAT variables, 416769 SAT clauses)
29.26/12.30	c (11,11) 11640 (20 %) CSP clauses are encoded (73465 SAT variables, 422589 SAT clauses)
29.26/12.36	c (11,11) 17459 (30 %) CSP clauses are encoded (73465 SAT variables, 428408 SAT clauses)
29.56/12.40	c (11,11) 23279 (40 %) CSP clauses are encoded (73465 SAT variables, 434228 SAT clauses)
29.56/12.42	c (11,11) 29098 (50 %) CSP clauses are encoded (73465 SAT variables, 440047 SAT clauses)
29.89/12.55	c (12,11) 34918 (60 %) CSP clauses are encoded (73465 SAT variables, 445867 SAT clauses)
29.89/12.57	c (12,11) 40738 (70 %) CSP clauses are encoded (73465 SAT variables, 451687 SAT clauses)
29.89/12.60	c (12,11) 46557 (80 %) CSP clauses are encoded (73465 SAT variables, 457506 SAT clauses)
30.26/12.80	c (12,12) 52377 (90 %) CSP clauses are encoded (73465 SAT variables, 528987 SAT clauses)
33.35/16.06	c (15,14) 58196 (100 %) CSP clauses are encoded (73465 SAT variables, 1774773 SAT clauses)
33.35/16.06	c (15,14) Launch Command will be: minisat_release
33.35/16.06	c (15,14) CSPinCNF to SatSolver End
33.35/16.06	c (15,14) Heap : 627 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
34.02/16.33	c (15,15) STATISTICS2:HOME/instance-4305316-1534078007.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,19407,58196,4556,68,17,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:2;2970:2;2916:4;2862:2;2756:4;2652:2;2601:2;2550:2;2450:2;2401:2;2352:2;2256:4;2162:2;2116:2;2070:2;1980:2;1936:2;1892:2;1806:4;1722:2;1681:2;1640:2;1600:2;1560:2;1521:2;1482:2;1406:4;1332:1;1296:2;1260:1;1190:23;1156:21;1122:17;1089:13;1056:17;1024:202;992:13;961:27;930:13;900:15;870:15;841:15;812:17;784:9;756:13;729:10;702:9;676:14;650:9;625:10;600:11;576:10;552:13;529:8;512:493;506:13;484:10;462:9;441:14;420:9;400:10;380:11;361:8;342:10;324:31;306:92;289:63;272:61;256:1468;240:61;225:63;210:51;196:44;182:49;169:43;156:46;144:45;132:43;128:925;121:50;110:43;100:38;96:179;90:381;85:16;81:384;72:263;68:8;64:791;56:188;54:12;51:24;49:182;36:28;34:56;25:195;16:758;9:24;4:452;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:30;54:32;53:20;52:16;51:24;50:16;49:20;48:20;47:16;46:24;45:16;44:20;43:20;42:16;41:24;40:28;39:20;38:20;37:12;36:18;35:54;34:166;33:126;32:122;31:170;30:122;29:126;28:102;27:86;26:98;25:86;24:90;23:90;22:86;21:98;20:86;19:76;18:746;17:19966;16:518;15:478;14:376;13:364;12:716;11:374;10:986;9:2800;8:1850;7:1104;5:788;4:36;3:108;2:138061,17:200;3:22000;2:27400;1:8596,11:187;10:493;9:1400;8:925;7:552;5:929;3:3911;2:199;1:124200,
34.02/16.33	c (15,15) 73465 bool, 1774863 clause
34.02/16.33	c (15,15) Export Begin
34.17/16.49	c (15,15) Export to HOME/scop-21482-serial-file.bin
34.17/16.49	c (15,15) Export End
34.17/16.49	c (15,15) Export File Size: 0.24 MB
34.17/16.49	c (15,15) 0,0,9,10,10,10,15,STOP-AFTER(DIMACS)
34.17/16.49	c END-Prog: Sun Aug 12 14:47:04 CEST 2018
34.44/16.52	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21482-serial-file.bin
35.09/17.01	c (0,0) Read Serial File Begin
35.09/17.01	c (0,0) HOME/scop-21482-serial-file.bin
35.47/17.26	c (0,0) Read Serial File End
35.47/17.27	
35.47/17.27	scop order+minisat_release (2018-07-31)
35.47/17.27	(Solving Process)
35.47/17.27	
35.47/17.29	c BEGIN-Prog: Sun Aug 12 14:47:04 CEST 2018
35.47/17.29	c PID: 21500
35.47/17.29	c IP: 172.20.3.107
35.47/17.29	c HOST: node107.alineos.net
35.47/17.30	c (0,0) SatSolver.solve Begin
35.47/17.30	c (0,0) 0 bool, 0 clause
35.71/17.30	c (0,0) minisat_release HOME/instance-4305316-1534078007.xml-scop-21485.cnf
41.76/23.22	c (6,0) c This is COMiniSatPS.
41.76/23.22	c (6,0) c WARNING: for repeatability, setting FPU to use double precision
41.76/23.22	c (6,0) c ============================[ Problem Statistics ]=============================
41.76/23.22	c (6,0) c |                                                                             |
41.76/23.22	c (6,0) c |  Number of variables:         73465                                         |
41.76/23.22	c (6,0) c |  Number of clauses:         1774707                                         |
41.76/23.22	c (6,0) c |  Parse time:                   0.53 s                                       |
41.76/23.22	c (6,0) c |  Eliminated clauses:           0.46 Mb                                      |
41.76/23.22	c (6,0) c Reduced to 46213 vars, 757860 cls (grow=0)
41.76/23.22	c (6,0) c No iterative elimination performed. (vars=46213, c/v ratio=16.4)
41.76/23.22	c (6,0) c |  Simplification time:          2.21 s                                       |
41.76/23.22	c (6,0) c |                                                                             |
41.76/23.22	c (6,0) c ============================[ Search Statistics ]==============================
41.76/23.22	c (6,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
41.76/23.22	c (6,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
41.76/23.22	c (6,0) c ===============================================================================
41.76/23.22	c (6,0) c ===============================================================================
41.76/23.22	c (6,0) c restarts              : 78
41.76/23.23	c (6,0) c conflicts             : 16986          (2921 /sec)
41.76/23.23	c (6,0) c decisions             : 93895          (0.00 % random) (16147 /sec)
41.76/23.23	c (6,0) c propagations          : 11851613       (2038065 /sec)
41.76/23.23	c (6,0) c conflict literals     : 688262         (5.63 % deleted)
41.76/23.23	c (6,0) c CPU time              : 5.81513 s
41.76/23.23	c (6,0) 
41.76/23.23	c (6,0) s SATISFIABLE
42.00/23.31	c (6,0) SatSolver.solve End
42.00/23.31	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
42.00/23.31	c (6,0) Show results Begin
42.00/23.40	s SATISFIABLE
42.23/23.43	v <instantiation>
42.23/23.43	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>
42.23/23.43	v     <values>4 8 7 13 8 9 8 13 7 8 13 4 7 8 8 7 4 13 8 13 13 6 13 13 8 7 16 8 7 1 8 13 8 7 13 4 8 8 7 13 4 8 13 7 8 13 4 7 8 8 7 4 13 13 7 8 13 10 13 13 4 8 8 7 13 13 4 7 13 8 7 8 4 7 8 13 11 8 1 7 2 8 13 0 13 4 13 8 14 8 4 7 8 13 7 4 8 13 8 7 13 8 7 4 8 7 8 13 13 4 10 5 13 16 7 13 12 7 13 13 7 4 8 0 13 13 4 8 13 8 7 4 13 7 8 13 11 8 4 7 8 13 8 15 7 2 13 16 4 8 8 2 7 4 13 8 7 8 4 7 8 13 7 4 8 8 7 13 4 8 13 13 11 4 8 8 13 7 4 13 13 8 8 4 7 16 13 3 4 8 7 13 2 4 7 13 13 7 4 8 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0</values>
42.23/23.43	v </instantiation>
42.23/23.43	c (6,0) Show results End
42.23/23.43	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
42.23/23.43	c (6,0) 6,6,STOP-AFTER(ALL)
42.23/23.43	c END-Prog: Sun Aug 12 14:47:11 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 (12076 MiB free)
  memory of node 1: 16384 MiB (11393 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305316-1534078007/watcher-4305316-1534078007 -o /tmp/evaluation-result-4305316-1534078007/solver-4305316-1534078007 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305316-1534078007.xml 

running on 4 cores: 1,3,5,7

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
solver pid=21482, runsolver pid=21479
Current StackSize limit: 8192 KiB


[startup+0.100142 s]*
/proc/loadavg: 4.88 4.19 3.79 3/222 21499
/proc/meminfo: memFree=23959264/32770624 swapFree=67108860/67108860
[pid=21482] ppid=21479 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21482/stat : 21482 (scop.sh) S 21479 21482 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225363901 115843072 348 33554432000 4194304 5098028 140731743424240 140731743421496 139627948888700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10653696 140731743425600 140731743425799 140731743425799 140731743428557 0
/proc/21482/statm: 28282 348 296 221 0 87 0
[pid=21485] ppid=21482 vsize=15012476 memory=73136 CPUtime=0.11 cores=1,3,5,7
/proc/21485/stat : 21485 (java) S 21482 21482 16605 0 -1 1077944320 6376 0 0 0 9 2 0 0 20 0 15 0 225363901 15372775424 18284 33554432000 4194304 4196468 140736824230720 140736824213264 140037749120759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
/proc/21485/statm: 3753119 18284 2766 1 0 3715579 0
[pid=21485/tid=21486] ppid=21482 vsize=15012476 memory=-6222985969016291267 CPUtime=0.08 cores=1,3,5,7
/proc/21485/task/21486/stat : 21486 (java) R 21482 21482 16605 0 -1 4202560 4470 0 0 0 7 1 0 0 20 0 15 0 225363901 15372775424 18284 33554432000 4194304 4196468 140736824230720 140037720955888 140037730684315 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21487] ppid=21482 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21487/stat : 21487 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363903 15372775424 18284 33554432000 4194304 4196468 140736824230720 140037753362960 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21488] ppid=21482 vsize=15012476 memory=139867621262976 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21488/stat : 21488 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363903 15372775424 18284 33554432000 4194304 4196468 140736824230720 140037544446608 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21489] ppid=21482 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21489/stat : 21489 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225363903 15372775424 18284 33554432000 4194304 4196468 140736824230720 140037208750352 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21490] ppid=21482 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21490/stat : 21490 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363903 15372775424 18284 33554432000 4194304 4196468 140736824230720 140037207697808 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21491] ppid=21482 vsize=15012476 memory=139867621262976 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21491/stat : 21491 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225363904 15372775424 18284 33554432000 4194304 4196468 140736824230720 140037155883760 140037749131906 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21492] ppid=21482 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21492/stat : 21492 (java) S 21482 21482 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225363905 15372775424 18284 33554432000 4194304 4196468 140736824230720 140036267828896 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21493] ppid=21482 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21493/stat : 21493 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363905 15372775424 18284 33554432000 4194304 4196468 140736824230720 140035999393008 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21494] ppid=21482 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21494/stat : 21494 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225363908 15372775424 18284 33554432000 4194304 4196468 140736824230720 140035624884688 140037749139355 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21495] ppid=21482 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21495/stat : 21495 (java) S 21482 21482 16605 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 225363908 15372775424 18350 33554432000 4194304 4196468 140736824230720 140037154830576 140037749131906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21496] ppid=21482 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21496/stat : 21496 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225363908 15372775424 18350 33554432000 4194304 4196468 140736824230720 140037153778032 140037749131906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21497] ppid=21482 vsize=15012476 memory=139867621262976 CPUtime=0.01 cores=1,3,5,7
/proc/21485/task/21497/stat : 21497 (java) S 21482 21482 16605 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 225363908 15372775424 18350 33554432000 4194304 4196468 140736824230720 140037152724976 140037749131906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21498] ppid=21482 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21498/stat : 21498 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225363908 15372775424 18350 33554432000 4194304 4196468 140736824230720 140035126978912 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21499] ppid=21482 vsize=15012476 memory=139867621262976 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21499/stat : 21499 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363908 15372775424 18350 33554432000 4194304 4196468 140736824230720 140037151673392 140037749131906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74528 KiB

[startup+0.210661 s]*
/proc/loadavg: 4.88 4.19 3.79 3/222 21499
/proc/meminfo: memFree=24106740/32770624 swapFree=67108860/67108860
[pid=21482] ppid=21479 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21482/stat : 21482 (scop.sh) S 21479 21482 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225363901 115843072 348 33554432000 4194304 5098028 140731743424240 140731743421496 139627948888700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10653696 140731743425600 140731743425799 140731743425799 140731743428557 0
/proc/21482/statm: 28282 348 296 221 0 87 0
[pid=21485] ppid=21482 vsize=15012476 memory=86164 CPUtime=0.25 cores=1,3,5,7
/proc/21485/stat : 21485 (java) S 21482 21482 16605 0 -1 1077944320 9888 0 0 0 23 2 0 0 20 0 15 0 225363901 15372775424 21541 33554432000 4194304 4196468 140736824230720 140736824213264 140037749120759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
/proc/21485/statm: 3753119 21541 2871 1 0 3715579 0
[pid=21485/tid=21486] ppid=21482 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/21485/task/21486/stat : 21486 (java) R 21482 21482 16605 0 -1 4202560 7796 0 0 0 18 2 0 0 20 0 15 0 225363901 15372775424 21541 33554432000 4194304 4196468 140736824230720 140037720929504 140037749132694 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21487] ppid=21482 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21487/stat : 21487 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363903 15372775424 21541 33554432000 4194304 4196468 140736824230720 140037753362960 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21488] ppid=21482 vsize=15012476 memory=3544530186012034720 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21488/stat : 21488 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363903 15372775424 21541 33554432000 4194304 4196468 140736824230720 140037544446608 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21489] ppid=21482 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21489/stat : 21489 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225363903 15372775424 21541 33554432000 4194304 4196468 140736824230720 140037208750352 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21490] ppid=21482 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21490/stat : 21490 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363903 15372775424 21541 33554432000 4194304 4196468 140736824230720 140037207697808 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21491] ppid=21482 vsize=15012476 memory=139867621262976 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21491/stat : 21491 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225363904 15372775424 21541 33554432000 4194304 4196468 140736824230720 140037155883760 140037749131906 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21492] ppid=21482 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21492/stat : 21492 (java) S 21482 21482 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225363905 15372775424 21541 33554432000 4194304 4196468 140736824230720 140036267828896 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21493] ppid=21482 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21493/stat : 21493 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363905 15372775424 21541 33554432000 4194304 4196468 140736824230720 140035999393008 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21494] ppid=21482 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21494/stat : 21494 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225363908 15372775424 21541 33554432000 4194304 4196468 140736824230720 140035624884688 140037749139355 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21495] ppid=21482 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21485/task/21495/stat : 21495 (java) R 21482 21482 16605 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 15 0 225363908 15372775424 21541 33554432000 4194304 4196468 140736824230720 140037154830672 140037749130965 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21496] ppid=21482 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21496/stat : 21496 (java) R 21482 21482 16605 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 225363908 15372775424 21541 33554432000 4194304 4196468 140736824230720 140037153769680 140037728269448 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21497] ppid=21482 vsize=15012476 memory=139867621262976 CPUtime=0.03 cores=1,3,5,7
/proc/21485/task/21497/stat : 21497 (java) R 21482 21482 16605 0 -1 4202560 290 0 0 0 3 0 0 0 20 0 15 0 225363908 15372775424 21541 33554432000 4194304 4196468 140736824230720 140037152724976 140037749142106 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21498] ppid=21482 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21498/stat : 21498 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225363908 15372775424 21541 33554432000 4194304 4196468 140736824230720 140035126978912 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21499] ppid=21482 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21499/stat : 21499 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363908 15372775424 21541 33554432000 4194304 4196468 140736824230720 140037151673392 140037749131906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87556 KiB

[startup+0.310644 s]*
/proc/loadavg: 4.88 4.19 3.79 3/222 21499
/proc/meminfo: memFree=24103452/32770624 swapFree=67108860/67108860
[pid=21482] ppid=21479 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21482/stat : 21482 (scop.sh) S 21479 21482 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225363901 115843072 348 33554432000 4194304 5098028 140731743424240 140731743421496 139627948888700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10653696 140731743425600 140731743425799 140731743425799 140731743428557 0
/proc/21482/statm: 28282 348 296 221 0 87 0
[pid=21485] ppid=21482 vsize=15012476 memory=89956 CPUtime=0.43 cores=1,3,5,7
/proc/21485/stat : 21485 (java) S 21482 21482 16605 0 -1 1077944320 10431 0 0 0 40 3 0 0 20 0 15 0 225363901 15372775424 22489 33554432000 4194304 4196468 140736824230720 140736824213264 140037749120759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
/proc/21485/statm: 3753119 22489 3012 1 0 3715579 0
[pid=21485/tid=21486] ppid=21482 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/21485/task/21486/stat : 21486 (java) R 21482 21482 16605 0 -1 4202560 8177 0 0 0 27 2 0 0 20 0 15 0 225363901 15372775424 22489 33554432000 4194304 4196468 140736824230720 140037720915760 140037733201246 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21487] ppid=21482 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21487/stat : 21487 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363903 15372775424 22489 33554432000 4194304 4196468 140736824230720 140037753362960 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21488] ppid=21482 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21488/stat : 21488 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363903 15372775424 22489 33554432000 4194304 4196468 140736824230720 140037544446608 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21489] ppid=21482 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21489/stat : 21489 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225363903 15372775424 22489 33554432000 4194304 4196468 140736824230720 140037208750352 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21490] ppid=21482 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21490/stat : 21490 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363903 15372775424 22489 33554432000 4194304 4196468 140736824230720 140037207697808 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21491] ppid=21482 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21491/stat : 21491 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225363904 15372775424 22489 33554432000 4194304 4196468 140736824230720 140037155883760 140037749131906 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21492] ppid=21482 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21492/stat : 21492 (java) S 21482 21482 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225363905 15372775424 22489 33554432000 4194304 4196468 140736824230720 140036267828896 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21493] ppid=21482 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21493/stat : 21493 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363905 15372775424 22489 33554432000 4194304 4196468 140736824230720 140035999393008 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21494] ppid=21482 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21494/stat : 21494 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225363908 15372775424 22489 33554432000 4194304 4196468 140736824230720 140035624884688 140037749139355 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21495] ppid=21482 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21485/task/21495/stat : 21495 (java) R 21482 21482 16605 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 15 0 225363908 15372775424 22489 33554432000 4194304 4196468 140736824230720 140037154830576 140037749131906 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21496] ppid=21482 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21485/task/21496/stat : 21496 (java) R 21482 21482 16605 0 -1 4202560 74 0 0 0 1 0 0 0 20 0 15 0 225363908 15372775424 22489 33554432000 4194304 4196468 140736824230720 140037153778032 140037726755408 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21497] ppid=21482 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21485/task/21497/stat : 21497 (java) R 21482 21482 16605 0 -1 4202560 309 0 0 0 7 0 0 0 20 0 15 0 225363908 15372775424 22489 33554432000 4194304 4196468 140736824230720 140037152724976 140037727924079 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21498] ppid=21482 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21498/stat : 21498 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225363908 15372775424 22489 33554432000 4194304 4196468 140736824230720 140035126978912 140037749130965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21499] ppid=21482 vsize=15012476 memory=3833186913019306033 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21499/stat : 21499 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363908 15372775424 22489 33554432000 4194304 4196468 140736824230720 140037151673392 140037749131906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91348 KiB

[startup+0.700778 s]
/proc/loadavg: 4.88 4.19 3.79 3/222 21499
/proc/meminfo: memFree=24079268/32770624 swapFree=67108860/67108860
[pid=21482] ppid=21479 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21482/stat : 21482 (scop.sh) S 21479 21482 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225363901 115843072 348 33554432000 4194304 5098028 140731743424240 140731743421496 139627948888700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10653696 140731743425600 140731743425799 140731743425799 140731743428557 0
/proc/21482/statm: 28282 348 296 221 0 87 0
[pid=21485] ppid=21482 vsize=15020872 memory=131660 CPUtime=1.03 cores=1,3,5,7
/proc/21485/stat : 21485 (java) S 21482 21482 16605 0 -1 1077944320 17548 0 0 0 98 5 0 0 20 0 15 0 225363901 15381372928 32915 33554432000 4194304 4196468 140736824230720 140736824213264 140037749120759 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
/proc/21485/statm: 3755218 32915 3144 1 0 3716603 0
[pid=21485/tid=21486] ppid=21482 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/21485/task/21486/stat : 21486 (java) R 21482 21482 16605 0 -1 4202560 14753 0 0 0 63 4 0 0 20 0 15 0 225363901 15381372928 32915 33554432000 4194304 4196468 140736824230720 140037720956848 140037734803990 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21487] ppid=21482 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21487/stat : 21487 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363903 15381372928 32915 33554432000 4194304 4196468 140736824230720 140037753362960 140037749130965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21488] ppid=21482 vsize=15020872 memory=61332 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21488/stat : 21488 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363903 15381372928 32915 33554432000 4194304 4196468 140736824230720 140037544446608 140037749130965 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21489] ppid=21482 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21489/stat : 21489 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225363903 15381372928 32915 33554432000 4194304 4196468 140736824230720 140037208750352 140037749130965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21490] ppid=21482 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21490/stat : 21490 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363903 15381372928 32915 33554432000 4194304 4196468 140736824230720 140037207697808 140037749130965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21491] ppid=21482 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21491/stat : 21491 (java) S 21482 21482 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225363904 15381372928 32915 33554432000 4194304 4196468 140736824230720 140037155883760 140037749131906 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21492] ppid=21482 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21492/stat : 21492 (java) S 21482 21482 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225363905 15381372928 32915 33554432000 4194304 4196468 140736824230720 140036267828896 140037749130965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21493] ppid=21482 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21493/stat : 21493 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363905 15381372928 32915 33554432000 4194304 4196468 140736824230720 140035999393008 140037749130965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21494] ppid=21482 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21494/stat : 21494 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225363908 15381372928 32915 33554432000 4194304 4196468 140736824230720 140035624884688 140037749139355 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21495] ppid=21482 vsize=15020872 memory=1120 CPUtime=0.09 cores=1,3,5,7
/proc/21485/task/21495/stat : 21495 (java) R 21482 21482 16605 0 -1 4202560 660 0 0 0 9 0 0 0 20 0 15 0 225363908 15381372928 32915 33554432000 4194304 4196468 140736824230720 140037154822528 140037749134663 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21496] ppid=21482 vsize=15020872 memory=6120 CPUtime=0.08 cores=1,3,5,7
/proc/21485/task/21496/stat : 21496 (java) S 21482 21482 16605 0 -1 1077944384 335 0 0 0 8 0 0 0 20 0 15 0 225363908 15381372928 32915 33554432000 4194304 4196468 140736824230720 140037153778032 140037749131906 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21497] ppid=21482 vsize=15020872 memory=1724 CPUtime=0.17 cores=1,3,5,7
/proc/21485/task/21497/stat : 21497 (java) S 21482 21482 16605 0 -1 1077944384 467 0 0 0 17 0 0 0 20 0 15 0 225363908 15381372928 32915 33554432000 4194304 4196468 140736824230720 140037152724976 140037749131906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21498] ppid=21482 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21498/stat : 21498 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225363908 15381372928 32915 33554432000 4194304 4196468 140736824230720 140035126978912 140037749130965 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
[pid=21485/tid=21499] ppid=21482 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/21485/task/21499/stat : 21499 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225363908 15381372928 32915 33554432000 4194304 4196468 140736824230720 140037151673392 140037749131906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39694336 140736824239110 140736824239409 140736824239409 140736824242127 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 133052 KiB

[startup+1.506 s]
/proc/loadavg: 4.88 4.19 3.79 6/222 21499
/proc/meminfo: memFree=24041488/32770624 swapFree=67108860/67108860
[pid=21482] ppid=21479 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21482/stat : 21482 (scop.sh) S 21479 21482 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225363901 115843072 348 33554432000 4194304 5098028 140731743424240 140731743421496 139627948888700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10653696 140731743425600 140731743425799 140731743425799 140731743428557 0
/proc/21482/statm: 28282 348 296 221 0 87 0

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

/proc/21500/task/21516/stat : 21516 (java) S 21482 21482 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225365633 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731217667776 139731850489625 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21518] ppid=21482 vsize=8068220 memory=288289974007366480 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21518/stat : 21518 (java) S 21482 21482 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225365633 8261857280 31276 33554432000 4194304 4196468 140735866244320 139729043435312 139731850486941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21519] ppid=21482 vsize=8068220 memory=1226056 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21519/stat : 21519 (java) S 21482 21482 16605 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225365633 8261857280 31276 33554432000 4194304 4196468 140735866244320 139729177657008 139731850486941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21520] ppid=21482 vsize=8068220 memory=7453566674735886694 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21520/stat : 21520 (java) S 21482 21482 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225365636 8261857280 31276 33554432000 4194304 4196468 140735866244320 139728775011488 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
Current children cumulated CPU time: 39.36 s
Current children cumulated vsize: 8329932 KiB
Current children cumulated memory: 243596 KiB

[startup+22.401 s]
/proc/loadavg: 4.09 4.07 3.76 3/227 21520
/proc/meminfo: memFree=23903828/32770624 swapFree=67108860/67108860
[pid=21482] ppid=21479 vsize=113128 memory=1468 CPUtime=34.46 cores=1,3,5,7
/proc/21482/stat : 21482 (scop.sh) S 21479 21482 16605 0 -1 4202496 589 41627 0 0 0 0 3354 92 20 0 1 0 225363901 115843072 367 33554432000 4194304 5098028 140731743424240 140731743420984 139627948888700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10653696 140731743425600 140731743425799 140731743425799 140731743428557 0
/proc/21482/statm: 28282 367 311 221 0 87 0
[pid=21500] ppid=21482 vsize=8068220 memory=125104 CPUtime=1.43 cores=1,3,5,7
/proc/21500/stat : 21500 (java) S 21482 21482 16605 0 -1 1077944320 18458 0 0 0 134 9 0 0 20 0 19 0 225365553 8261857280 31276 33554432000 4194304 4196468 140735866244320 140735866226864 139731850465015 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
/proc/21500/statm: 2017055 31276 3164 1 0 1978454 0
[pid=21515] ppid=21500 vsize=148584 memory=119100 CPUtime=5.07 cores=1,3,5,7
/proc/21515/stat : 21515 (minisat_release) R 21500 21482 16605 0 -1 4202496 69388 0 0 0 499 8 0 0 20 0 1 0 225365633 152150016 29775 33554432000 4194304 4308513 140728557887248 140728557884872 4275941 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 13746176 140728557892724 140728557892822 140728557892822 140728557895621 0
/proc/21515/statm: 37146 29775 342 28 0 33386 0
[pid=21500/tid=21501] ppid=21482 vsize=8068220 memory=4004 CPUtime=0.81 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (java) S 21482 21482 16605 0 -1 1077944384 15047 0 0 0 75 6 0 0 20 0 19 0 225365554 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731822305168 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21502] ppid=21482 vsize=8068220 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225365555 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731854707344 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21503] ppid=21482 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21503/stat : 21503 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225365555 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731663268368 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21504] ppid=21482 vsize=8068220 memory=125104 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21504/stat : 21504 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225365555 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731662215568 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21505] ppid=21482 vsize=8068220 memory=279734978580432 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21505/stat : 21505 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225365555 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731333536016 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21506] ppid=21482 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21506/stat : 21506 (java) S 21482 21482 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225365556 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731229686640 139731850476162 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21507] ppid=21482 vsize=8068220 memory=279734979525504 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21507/stat : 21507 (java) S 21482 21482 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225365557 8261857280 31276 33554432000 4194304 4196468 140735866244320 139730721170976 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21508] ppid=21482 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21508/stat : 21508 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225365557 8261857280 31276 33554432000 4194304 4196468 140735866244320 139730452735344 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21509] ppid=21482 vsize=8068220 memory=13793 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21509/stat : 21509 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225365559 8261857280 31276 33554432000 4194304 4196468 140735866244320 139730078226768 139731850483611 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21510] ppid=21482 vsize=8068220 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/21500/task/21510/stat : 21510 (java) S 21482 21482 16605 0 -1 1077944384 913 0 0 0 18 0 0 0 20 0 19 0 225365559 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731228633456 139731850476162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21511] ppid=21482 vsize=8068220 memory=1576 CPUtime=0.16 cores=1,3,5,7
/proc/21500/task/21511/stat : 21511 (java) S 21482 21482 16605 0 -1 1077944384 473 0 0 0 16 0 0 0 20 0 19 0 225365559 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731227580656 139731850476162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21512] ppid=21482 vsize=8068220 memory=3980 CPUtime=0.23 cores=1,3,5,7
/proc/21500/task/21512/stat : 21512 (java) S 21482 21482 16605 0 -1 1077944384 610 0 0 0 23 0 0 0 20 0 19 0 225365559 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731226527856 139731850476162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21513] ppid=21482 vsize=8068220 memory=31076 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21513/stat : 21513 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225365560 8261857280 31276 33554432000 4194304 4196468 140735866244320 139729580320992 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21514] ppid=21482 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21514/stat : 21514 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225365560 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731225476272 139731850476162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21516] ppid=21482 vsize=8068220 memory=139867489423280 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21516/stat : 21516 (java) S 21482 21482 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225365633 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731217667776 139731850489625 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21518] ppid=21482 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21518/stat : 21518 (java) S 21482 21482 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225365633 8261857280 31276 33554432000 4194304 4196468 140735866244320 139729043435312 139731850486941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21519] ppid=21482 vsize=8068220 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21519/stat : 21519 (java) S 21482 21482 16605 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225365633 8261857280 31276 33554432000 4194304 4196468 140735866244320 139729177657008 139731850486941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21520] ppid=21482 vsize=8068220 memory=504 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21520/stat : 21520 (java) S 21482 21482 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225365636 8261857280 31276 33554432000 4194304 4196468 140735866244320 139728775011488 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
Current children cumulated CPU time: 40.96 s
Current children cumulated vsize: 8329932 KiB
Current children cumulated memory: 245672 KiB

[startup+23.201 s]
/proc/loadavg: 4.09 4.07 3.76 3/227 21520
/proc/meminfo: memFree=23903828/32770624 swapFree=67108860/67108860
[pid=21482] ppid=21479 vsize=113128 memory=1468 CPUtime=34.46 cores=1,3,5,7
/proc/21482/stat : 21482 (scop.sh) S 21479 21482 16605 0 -1 4202496 589 41627 0 0 0 0 3354 92 20 0 1 0 225363901 115843072 367 33554432000 4194304 5098028 140731743424240 140731743420984 139627948888700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10653696 140731743425600 140731743425799 140731743425799 140731743428557 0
/proc/21482/statm: 28282 367 311 221 0 87 0
[pid=21500] ppid=21482 vsize=8068220 memory=125104 CPUtime=1.43 cores=1,3,5,7
/proc/21500/stat : 21500 (java) S 21482 21482 16605 0 -1 1077944320 18458 0 0 0 134 9 0 0 20 0 19 0 225365553 8261857280 31276 33554432000 4194304 4196468 140735866244320 140735866226864 139731850465015 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
/proc/21500/statm: 2017055 31276 3164 1 0 1978454 0
[pid=21515] ppid=21500 vsize=148584 memory=119100 CPUtime=5.87 cores=1,3,5,7
/proc/21515/stat : 21515 (minisat_release) R 21500 21482 16605 0 -1 4202496 69518 0 0 0 579 8 0 0 20 0 1 0 225365633 152150016 29775 33554432000 4194304 4308513 140728557887248 140728557884872 4250320 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 13746176 140728557892724 140728557892822 140728557892822 140728557895621 0
/proc/21515/statm: 37146 29775 342 28 0 33386 0
[pid=21500/tid=21501] ppid=21482 vsize=8068220 memory=125104 CPUtime=0.81 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (java) S 21482 21482 16605 0 -1 1077944384 15047 0 0 0 75 6 0 0 20 0 19 0 225365554 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731822305168 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21502] ppid=21482 vsize=8068220 memory=119100 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225365555 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731854707344 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21503] ppid=21482 vsize=8068220 memory=2180 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21503/stat : 21503 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225365555 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731663268368 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21504] ppid=21482 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21504/stat : 21504 (java) S 21482 21482 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225365555 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731662215568 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21505] ppid=21482 vsize=8068220 memory=125104 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21505/stat : 21505 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225365555 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731333536016 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21506] ppid=21482 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21506/stat : 21506 (java) S 21482 21482 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225365556 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731229686640 139731850476162 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21507] ppid=21482 vsize=8068220 memory=125104 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21507/stat : 21507 (java) S 21482 21482 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225365557 8261857280 31276 33554432000 4194304 4196468 140735866244320 139730721170976 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21508] ppid=21482 vsize=8068220 memory=138408 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21508/stat : 21508 (java) S 21482 21482 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225365557 8261857280 31276 33554432000 4194304 4196468 140735866244320 139730452735344 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21509] ppid=21482 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21509/stat : 21509 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225365559 8261857280 31276 33554432000 4194304 4196468 140735866244320 139730078226768 139731850483611 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21510] ppid=21482 vsize=8068220 memory=279734978840016 CPUtime=0.18 cores=1,3,5,7
/proc/21500/task/21510/stat : 21510 (java) S 21482 21482 16605 0 -1 1077944384 913 0 0 0 18 0 0 0 20 0 19 0 225365559 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731228633456 139731850476162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21511] ppid=21482 vsize=8068220 memory=3472468163717410732 CPUtime=0.16 cores=1,3,5,7
/proc/21500/task/21511/stat : 21511 (java) S 21482 21482 16605 0 -1 1077944384 473 0 0 0 16 0 0 0 20 0 19 0 225365559 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731227580656 139731850476162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21512] ppid=21482 vsize=8068220 memory=6944656592387989600 CPUtime=0.23 cores=1,3,5,7
/proc/21500/task/21512/stat : 21512 (java) S 21482 21482 16605 0 -1 1077944384 610 0 0 0 23 0 0 0 20 0 19 0 225365559 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731226527856 139731850476162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21513] ppid=21482 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21513/stat : 21513 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225365560 8261857280 31276 33554432000 4194304 4196468 140735866244320 139729580320992 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21514] ppid=21482 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21514/stat : 21514 (java) S 21482 21482 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225365560 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731225476272 139731850476162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21516] ppid=21482 vsize=8068220 memory=-7375025357002208448 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21516/stat : 21516 (java) S 21482 21482 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225365633 8261857280 31276 33554432000 4194304 4196468 140735866244320 139731217667776 139731850489625 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21518] ppid=21482 vsize=8068220 memory=-6520473914223154590 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21518/stat : 21518 (java) S 21482 21482 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225365633 8261857280 31276 33554432000 4194304 4196468 140735866244320 139729043435312 139731850486941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21519] ppid=21482 vsize=8068220 memory=872 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21519/stat : 21519 (java) S 21482 21482 16605 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225365633 8261857280 31276 33554432000 4194304 4196468 140735866244320 139729177657008 139731850486941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21520] ppid=21482 vsize=8068220 memory=1288 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21520/stat : 21520 (java) S 21482 21482 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225365636 8261857280 31276 33554432000 4194304 4196468 140735866244320 139728775011488 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
Current children cumulated CPU time: 41.76 s
Current children cumulated vsize: 8329932 KiB
Current children cumulated memory: 245672 KiB

[startup+23.4102 s]
/proc/loadavg: 4.09 4.07 3.76 3/227 21520
/proc/meminfo: memFree=23903828/32770624 swapFree=67108860/67108860
[pid=21482] ppid=21479 vsize=113128 memory=1468 CPUtime=34.46 cores=1,3,5,7
/proc/21482/stat : 21482 (scop.sh) S 21479 21482 16605 0 -1 4202496 589 41627 0 0 0 0 3354 92 20 0 1 0 225363901 115843072 367 33554432000 4194304 5098028 140731743424240 140731743420984 139627948888700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10653696 140731743425600 140731743425799 140731743425799 140731743428557 0
/proc/21482/statm: 28282 367 311 221 0 87 0
[pid=21500] ppid=21482 vsize=7937144 memory=147460 CPUtime=7.77 cores=1,3,5,7
/proc/21500/stat : 21500 (java) S 21482 21482 16605 0 -1 1077944320 19446 69697 0 0 175 10 583 9 20 0 17 0 225365553 8127635456 36865 33554432000 4194304 4196468 140735866244320 140735866226864 139731850465015 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
/proc/21500/statm: 1984286 36865 3178 1 0 1945685 0
[pid=21500/tid=21501] ppid=21482 vsize=7937144 memory=33924 CPUtime=6.84 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (java) R 21482 21482 16605 0 -1 4202560 15269 69697 0 0 85 7 583 9 20 0 17 0 225365554 8127635456 36865 33554432000 4194304 4196468 140735866244320 139731822301808 139731850476950 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21502] ppid=21482 vsize=7937144 memory=3312 CPUtime=5.92 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (java) S 21482 21482 16605 0 -1 1077944384 2 69697 0 0 0 0 583 9 20 0 17 0 225365555 8127635456 36865 33554432000 4194304 4196468 140735866244320 139731854707344 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21503] ppid=21482 vsize=7937144 memory=15712 CPUtime=5.92 cores=1,3,5,7
/proc/21500/task/21503/stat : 21503 (java) S 21482 21482 16605 0 -1 1077944384 2 69697 0 0 0 0 583 9 20 0 17 0 225365555 8127635456 36865 33554432000 4194304 4196468 140735866244320 139731663268368 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21504] ppid=21482 vsize=7937144 memory=1620 CPUtime=5.92 cores=1,3,5,7
/proc/21500/task/21504/stat : 21504 (java) S 21482 21482 16605 0 -1 1077944384 2 69697 0 0 0 0 583 9 20 0 17 0 225365555 8127635456 36865 33554432000 4194304 4196468 140735866244320 139731662215568 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21505] ppid=21482 vsize=7937144 memory=504 CPUtime=5.92 cores=1,3,5,7
/proc/21500/task/21505/stat : 21505 (java) S 21482 21482 16605 0 -1 1077944384 1 69697 0 0 0 0 583 9 20 0 17 0 225365555 8127635456 36865 33554432000 4194304 4196468 140735866244320 139731333536016 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21506] ppid=21482 vsize=7937144 memory=924 CPUtime=5.92 cores=1,3,5,7
/proc/21500/task/21506/stat : 21506 (java) S 21482 21482 16605 0 -1 1077944384 5 69697 0 0 0 0 583 9 20 0 17 0 225365556 8127635456 36865 33554432000 4194304 4196468 140735866244320 139731229686640 139731850476162 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21507] ppid=21482 vsize=7937144 memory=1168 CPUtime=5.92 cores=1,3,5,7
/proc/21500/task/21507/stat : 21507 (java) S 21482 21482 16605 0 -1 1077944384 13 69697 0 0 0 0 583 9 20 0 17 0 225365557 8127635456 36865 33554432000 4194304 4196468 140735866244320 139730721170976 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21508] ppid=21482 vsize=7937144 memory=2140 CPUtime=5.92 cores=1,3,5,7
/proc/21500/task/21508/stat : 21508 (java) S 21482 21482 16605 0 -1 1077944384 1 69697 0 0 0 0 583 9 20 0 17 0 225365557 8127635456 36865 33554432000 4194304 4196468 140735866244320 139730452735344 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21509] ppid=21482 vsize=7937144 memory=2180 CPUtime=5.92 cores=1,3,5,7
/proc/21500/task/21509/stat : 21509 (java) S 21482 21482 16605 0 -1 1077944384 3 69697 0 0 0 0 583 9 20 0 17 0 225365559 8127635456 36865 33554432000 4194304 4196468 140735866244320 139730078226768 139731850483611 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21510] ppid=21482 vsize=7937144 memory=924 CPUtime=6.19 cores=1,3,5,7
/proc/21500/task/21510/stat : 21510 (java) R 21482 21482 16605 0 -1 4202560 985 69697 0 0 27 0 583 9 20 0 17 0 225365559 8127635456 36865 33554432000 4194304 4196468 140735866244320 139731228621736 139731829682528 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21511] ppid=21482 vsize=7937144 memory=288230574492221466 CPUtime=6.14 cores=1,3,5,7
/proc/21500/task/21511/stat : 21511 (java) S 21482 21482 16605 0 -1 1077944384 510 69697 0 0 22 0 583 9 20 0 17 0 225365559 8127635456 36865 33554432000 4194304 4196468 140735866244320 139731227580656 139731850476162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21512] ppid=21482 vsize=7937144 memory=288230596050944315 CPUtime=6.23 cores=1,3,5,7
/proc/21500/task/21512/stat : 21512 (java) R 21482 21482 16605 0 -1 4202560 1208 69697 0 0 31 0 583 9 20 0 17 0 225365559 8127635456 36865 33554432000 4194304 4196468 140735866244320 139731226527856 139731843561851 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21513] ppid=21482 vsize=7937144 memory=13850759267617157 CPUtime=5.92 cores=1,3,5,7
/proc/21500/task/21513/stat : 21513 (java) S 21482 21482 16605 0 -1 1077944384 3 69697 0 0 0 0 583 9 20 0 17 0 225365560 8127635456 36865 33554432000 4194304 4196468 140735866244320 139729580320992 139731850475221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21514] ppid=21482 vsize=7937144 memory=1828 CPUtime=5.92 cores=1,3,5,7
/proc/21500/task/21514/stat : 21514 (java) S 21482 21482 16605 0 -1 1077944384 3 69697 0 0 0 0 583 9 20 0 17 0 225365560 8127635456 36865 33554432000 4194304 4196468 140735866244320 139731225476272 139731850476162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21516] ppid=21482 vsize=7937144 memory=1120 CPUtime=5.92 cores=1,3,5,7
/proc/21500/task/21516/stat : 21516 (java) S 21482 21482 16605 0 -1 1077944384 24 69697 0 0 0 0 583 9 20 0 17 0 225365633 8127635456 36865 33554432000 4194304 4196468 140735866244320 139731217666960 139731850476162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
[pid=21500/tid=21520] ppid=21482 vsize=7937144 memory=1724 CPUtime=5.92 cores=1,3,5,7
/proc/21500/task/21520/stat : 21520 (java) S 21482 21482 16605 0 -1 1077944384 8 69697 0 0 0 0 583 9 20 0 17 0 225365636 8127635456 36865 33554432000 4194304 4196468 140735866244320 139728775013296 139731850476162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28934144 140735866250421 140735866250545 140735866250545 140735866253263 0
Current children cumulated CPU time: 42.23 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 148928 KiB

Child status: 0
Real time (s): 23.454
CPU time (s): 42.374
CPU user time (s): 41.2305
CPU system time (s): 1.14356
CPU usage (%): 180.669
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3218676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.2305
system time used= 1.14356
maximum resident set size= 3217420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131862
page faults= 0
swaps= 0
block input operations= 0
block output operations= 89624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7648
involuntary context switches= 89


# summary of solver processes directly reported to runsolver:
#   pid: 21482
#   total CPU time (s): 42.374
#   total CPU user time (s): 41.2305
#   total CPU system time (s): 1.14356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.177815 second user time and 0.286951 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-12 14:46:47
IDJOB=4305316
IDBENCH=141461
IDSOLVER=2782
FILE ID=node107/4305316-1534078007
RUNJOBID= node107-1534064712-16637
PBS_JOBID= 21036990
Free space on /tmp= 39344 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-60-02_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -order minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305316-1534078007/watcher-4305316-1534078007 -o /tmp/evaluation-result-4305316-1534078007/solver-4305316-1534078007 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305316-1534078007.xml

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

MD5SUM BENCH= 7d15061b3f8ae249c0a64b716749507b
RANDOM SEED=614410037

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24035068 kB
MemAvailable:   31115784 kB
Buffers:          204296 kB
Cached:          7073412 kB
SwapCached:            0 kB
Active:          4509760 kB
Inactive:        3611024 kB
Active(anon):     789868 kB
Inactive(anon):   105672 kB
Active(file):    3719892 kB
Inactive(file):  3505352 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7840 kB
Writeback:             0 kB
AnonPages:        716896 kB
Mapped:            63924 kB
Shmem:             49804 kB
Slab:             312440 kB
SReclaimable:     283932 kB
SUnreclaim:        28508 kB
KernelStack:        3632 kB
PageTables:         6936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6587788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39336 MiB
End job on node107 at 2018-08-12 14:47:11