Trace number 4305321

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 50.3789 30.9401

General information on the benchmark

NameCarSequencing/
CarSequencing-75-01_c18.xml
MD5SUM440a7f21d9ad6b426785aa5fd584fc01
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 benchmark35.1949
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1416
Number of domains2
Minimum domain size2
Maximum domain size26
Distribution of domain sizes[{"size":2,"count":1000},{"size":26,"count":200}]
Minimum variable degree2
Maximum variable degree73
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":19},"...",{"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":9}, {"degree":54,"count":56}, {"degree":55,"count":5}, {"degree":56,"count":6}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":3}, {"degree":73,"count":61}]
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":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":1},{"arity":50,"count":1},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":60,"count":1},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":2},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":1},{"arity":76,"count":1},{"arity":77,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1215},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.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-9872-serial-file.bin HOME/instance-4305321-1534077512.xml
0.66/0.52	
0.66/0.52	scop order+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Sun Aug 12 14:38:33 CEST 2018
0.66/0.55	c PID: 9875
0.66/0.55	c IP: 172.20.3.151
0.66/0.55	c HOST: node151.alineos.net
0.66/0.55	c (0,0) Parsing Begin
3.17/1.40	c (0,0) Parsing End
3.17/1.41	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1416 ctr, max domain size 26
3.17/1.41	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.17/1.41	c (0,0) Constraint Name Generate Begin
3.17/1.44	c (0,0) Ctr:HOME/instance-4305321-1534077512.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.17/1.44	c (0,0) Constraint Name Generate End
3.17/1.44	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.17/1.44	c (0,0) CSP to CSPinCNF Begin
12.48/4.76	c (4,4) translated 142 (10%) constraints
13.02/5.24	c (4,4) translated 284 (20%) constraints
13.02/5.27	c (4,4) translated 425 (30%) constraints
13.02/5.29	c (4,4) translated 567 (40%) constraints
13.31/5.32	c (4,4) translated 708 (50%) constraints
13.31/5.34	c (4,4) translated 850 (60%) constraints
13.31/5.36	c (4,4) translated 992 (70%) constraints
13.31/5.37	c (4,4) translated 1133 (80%) constraints
15.60/6.84	c (6,6) translated 1275 (90%) constraints
17.17/8.18	c (7,7) translated 1416 (100%) constraints
18.54/8.75	c (8,8) STATISTICS1:HOME/instance-4305321-1534077512.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57041,9223372036854775807,26,25,200,9223372036854775807:265;2305843009213693952:3;576460752303423488:1;288230376151711744:2;36028797018963968:2;18014398509481984:1;4503599627370496:2;562949953421312:1;70368744177664:1;8796093022208:1;1099511627776:1;16:392;4:396;2:199,26:20400;2:157993,25:200;3:29600;2:26000;1:1241,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:4;78:1;77:2;76:1;75:1;74:3;72:1;71:2;70:2;68:3;66:1;65:3;64:1;62:3;60:1;59:2;56:2;55:1;53:2;50:1;47:1;44:1;41:1;5:392;3:396;2:199;1:145600;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:4;2704:1;2601:2;2500:2;2401:3;2304:1;2209:2;2116:2;2025:3;1936:1;1849:3;1764:1
18.54/8.75	c (8,8) ==========================================
18.54/8.75	c (8,8) Order
18.54/8.75	c (8,8) ==========================================
20.88/9.55	c (9,8) translated 5705 (10%) constraints
21.47/9.79	c (9,9) translated 11409 (20%) constraints
22.08/9.90	c (9,9) translated 17113 (30%) constraints
22.08/9.99	c (9,9) translated 22817 (40%) constraints
22.24/10.07	c (9,9) translated 28521 (50%) constraints
22.34/10.16	c (9,9) translated 34225 (60%) constraints
22.43/10.24	c (9,9) translated 39929 (70%) constraints
22.53/10.33	c (9,9) translated 45633 (80%) constraints
22.63/10.41	c (9,9) translated 51337 (90%) constraints
27.04/12.39	c (11,11) translated 57041 (100%) constraints
27.23/12.40	c (11,11) CSP to CSPinCNF End
27.23/12.41	c (11,11) CSP: 3986 int (3786 aux), 21672 bool (20672 aux), 77530 ctr, max domain size 68
27.23/12.41	c (11,11) Heap : 2452 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
27.23/12.41	c (11,11) CSPinCNF Propagation Begin
28.41/12.91	c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
28.41/12.91	c (12,12) CSPinCNF Propagation End
28.41/12.92	c (12,12) CSP: 3986 int (3786 aux), 21672 bool (20672 aux), 77130 ctr, max domain size 68
28.41/12.92	c (12,12) Heap : 2780 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.41/12.92	c (12,12) Simplify CSPinCNF Begin
28.61/13.09	c (12,12) Simplify CSPinCNF End
28.61/13.09	c (12,12) CSP: 3986 int (3786 aux), 21672 bool (20672 aux), 77130 ctr, max domain size 68
28.61/13.09	c (12,12) Heap : 2835 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.61/13.10	c (12,12) Calculate Precise Domain Begin
28.72/13.15	c (12,12) 0 values are removed by re-calculation
28.72/13.15	c (12,12) Calculate Precise Domain End
28.72/13.16	c (12,12) CSP: 3986 int (3786 aux), 21672 bool (20672 aux), 77130 ctr, max domain size 68
28.72/13.16	c (12,12) Heap : 2835 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.72/13.16	c (12,12) CSPinCNF to SatSolver Begin
32.43/15.30	c (14,14) 7713 (10 %) CSP clauses are encoded (93050 SAT variables, 584868 SAT clauses)
32.43/15.37	c (14,14) 15426 (20 %) CSP clauses are encoded (93050 SAT variables, 592581 SAT clauses)
32.67/15.43	c (14,14) 23139 (30 %) CSP clauses are encoded (93050 SAT variables, 600294 SAT clauses)
32.67/15.48	c (14,14) 30852 (40 %) CSP clauses are encoded (93050 SAT variables, 608007 SAT clauses)
32.88/15.52	c (14,14) 38565 (50 %) CSP clauses are encoded (93050 SAT variables, 615720 SAT clauses)
32.88/15.56	c (15,14) 46278 (60 %) CSP clauses are encoded (93050 SAT variables, 623433 SAT clauses)
32.88/15.60	c (15,14) 53991 (70 %) CSP clauses are encoded (93050 SAT variables, 631146 SAT clauses)
32.98/15.63	c (15,14) 61704 (80 %) CSP clauses are encoded (93050 SAT variables, 638859 SAT clauses)
33.48/15.91	c (15,15) 69417 (90 %) CSP clauses are encoded (93050 SAT variables, 723001 SAT clauses)
38.55/20.77	c (20,19) 77130 (100 %) CSP clauses are encoded (93050 SAT variables, 2400015 SAT clauses)
38.55/20.77	c (20,19) Launch Command will be: minisat_release
38.55/20.77	c (20,19) CSPinCNF to SatSolver End
38.55/20.77	c (20,19) Heap : 655 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
39.39/21.12	c (20,19) STATISTICS2:HOME/instance-4305321-1534077512.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25658,77130,4556,68,24,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:3;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:5;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:3;1892:3;1849:1;1806:4;1764:1;1722:3;1681:3;1640:2;1600:1;1560:3;1521:3;1482:2;1444:1;1406:5;1369:1;1332:2;1296:3;1260:3;1225:1;1190:16;1156:18;1122:19;1089:14;1056:18;1024:282;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:18;729:16;702:14;676:19;650:15;625:16;600:16;576:15;552:19;529:14;512:739;506:17;484:16;462:15;441:18;420:14;400:23;380:16;361:14;342:18;324:43;306:91;289:71;288:8;272:85;256:1902;240:69;234:4;225:71;221:8;210:69;198:4;196:68;187:8;182:71;169:76;162:12;156:68;153:24;144:69;132:67;128:1127;126:8;121:76;119:16;110:63;108:4;102:8;100:64;96:273;90:552;85:8;81:511;72:301;68:24;64:1107;56:276;54:4;51:8;49:291;36:40;34:64;25:281;16:962;9:8;4:460;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:26;54:28;53:30;52:24;51:34;50:24;49:42;48:28;47:26;46:32;45:26;44:28;43:30;42:24;41:34;40:24;39:30;38:28;37:26;36:32;35:54;34:148;33:142;32:136;31:150;30:136;29:142;28:136;27:136;26:30142;25:136;24:136;23:138;22:134;21:136;20:162;19:128;18:1132;17:974;16:650;15:562;14:552;13:586;12:1092;11:568;10:1478;9:3730;8:2254;7:1724;6:36;5:1128;4:108;3:36;2:178681,24:200;3:29200;2:36400;1:11330,11:266;10:739;9:1811;8:1127;7:826;5:1211;3:5151;2:199;1:165200,
39.39/21.12	c (20,19) 93050 bool, 2400639 clause
39.39/21.12	c (20,19) Export Begin
39.52/21.28	c (20,19) Export to HOME/scop-9872-serial-file.bin
39.52/21.28	c (20,19) Export End
39.52/21.28	c (20,19) Export File Size: 0.24 MB
39.52/21.28	c (20,19) 0,0,11,12,12,12,20,STOP-AFTER(DIMACS)
39.52/21.28	c END-Prog: Sun Aug 12 14:38:53 CEST 2018
0.00/21.36	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-9872-serial-file.bin
39.83/21.84	c (0,0) Read Serial File Begin
39.83/21.84	c (0,0) HOME/scop-9872-serial-file.bin
40.74/22.09	c (0,0) Read Serial File End
41.00/22.11	
41.00/22.11	scop order+minisat_release (2018-07-31)
41.00/22.11	(Solving Process)
41.00/22.11	
41.00/22.13	c BEGIN-Prog: Sun Aug 12 14:38:54 CEST 2018
41.00/22.13	c PID: 9890
41.00/22.13	c IP: 172.20.3.151
41.00/22.13	c HOST: node151.alineos.net
41.00/22.13	c (0,0) SatSolver.solve Begin
41.00/22.13	c (0,0) 0 bool, 0 clause
41.00/22.13	c (0,0) minisat_release HOME/instance-4305321-1534077512.xml-scop-9875.cnf
49.65/30.69	c (8,0) c This is COMiniSatPS.
49.65/30.69	c (8,0) c WARNING: for repeatability, setting FPU to use double precision
49.65/30.69	c (8,0) c ============================[ Problem Statistics ]=============================
49.65/30.69	c (8,0) c |                                                                             |
49.65/30.69	c (8,0) c |  Number of variables:         93050                                         |
49.65/30.69	c (8,0) c |  Number of clauses:         2400363                                         |
49.65/30.69	c (8,0) c |  Parse time:                   0.69 s                                       |
49.65/30.69	c (8,0) c |  Eliminated clauses:           0.36 Mb                                      |
49.65/30.69	c (8,0) c Reduced to 68003 vars, 1158836 cls (grow=0)
49.65/30.69	c (8,0) c No iterative elimination performed. (vars=68003, c/v ratio=17.0)
49.65/30.69	c (8,0) c |  Simplification time:          3.19 s                                       |
49.65/30.69	c (8,0) c |                                                                             |
49.65/30.69	c (8,0) c ============================[ Search Statistics ]==============================
49.65/30.69	c (8,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.65/30.69	c (8,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
49.65/30.69	c (8,0) c ===============================================================================
49.65/30.69	c (8,0) c ===============================================================================
49.65/30.69	c (8,0) c restarts              : 100
49.65/30.69	c (8,0) c conflicts             : 8035           (958 /sec)
49.65/30.69	c (8,0) c decisions             : 201300         (0.00 % random) (23990 /sec)
49.65/30.69	c (8,0) c propagations          : 19798513       (2359463 /sec)
49.65/30.69	c (8,0) c conflict literals     : 363392         (5.37 % deleted)
49.65/30.69	c (8,0) c CPU time              : 8.39111 s
49.65/30.69	c (8,0) 
49.65/30.69	c (8,0) s SATISFIABLE
49.77/30.79	c (9,0) SatSolver.solve End
49.77/30.79	c (9,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
49.77/30.79	c (9,0) Show results Begin
50.02/30.88	s SATISFIABLE
50.25/30.92	v <instantiation>
50.25/30.92	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>
50.25/30.92	v     <values>6 3 11 8 5 25 18 21 25 5 8 7 2 18 25 0 2 8 9 19 2 23 18 25 6 2 19 20 2 16 3 5 6 2 11 15 2 8 5 20 18 5 2 19 6 3 5 6 4 25 5 18 5 6 16 18 0 3 2 8 3 6 19 2 13 18 11 6 2 19 2 3 6 11 8 2 1 2 2 1 6 2 5 15 2 19 2 17 0 25 19 3 8 1 6 2 1 12 11 2 19 2 20 18 19 2 2 10 2 1 2 9 19 2 0 2 5 12 11 2 19 2 15 19 3 0 2 3 0 3 19 2 22 6 2 1 2 24 2 5 18 21 8 5 9 19 3 18 8 6 2 19 9 2 1 6 2 5 18 7 2 19 12 2 3 6 11 2 6 5 18 14 18 25 19 2 18 12 2 19 18 25 9 1 2 9 19 2 15 2 5 15 16 2 2 6 11 2 8 7 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 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 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0</values>
50.25/30.92	v </instantiation>
50.25/30.92	c (9,0) Show results End
50.25/30.92	c (9,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
50.25/30.92	c (9,0) 9,9,STOP-AFTER(ALL)
50.25/30.92	c END-Prog: Sun Aug 12 14:39:03 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 (857 MiB free)
  memory of node 1: 16384 MiB (2722 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305321-1534077512/watcher-4305321-1534077512 -o /tmp/evaluation-result-4305321-1534077512/solver-4305321-1534077512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305321-1534077512.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=9872, runsolver pid=9869
Current StackSize limit: 8192 KiB


[startup+0.100781 s]*
/proc/loadavg: 2.74 3.07 3.25 4/217 9889
/proc/meminfo: memFree=3604308/32770624 swapFree=67108860/67108860
[pid=9872] ppid=9869 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9872/stat : 9872 (scop.sh) S 9869 9872 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225314392 115843072 348 33554432000 4194304 5098028 140724804100080 140724804097336 140385554850428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30326784 140724804101184 140724804101383 140724804101383 140724804104141 0
/proc/9872/statm: 28282 348 296 221 0 87 0
[pid=9875] ppid=9872 vsize=15012476 memory=73192 CPUtime=0.11 cores=1,3,5,7
/proc/9875/stat : 9875 (java) S 9872 9872 3762 0 -1 1077944320 6936 0 0 0 9 2 0 0 20 0 15 0 225314392 15372775424 18232 33554432000 4194304 4196468 140729218258608 140729218241152 140172587257591 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
/proc/9875/statm: 3753119 18298 2742 1 0 3715579 0
[pid=9875/tid=9876] ppid=9872 vsize=15012476 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/9875/task/9876/stat : 9876 (java) R 9872 9872 3762 0 -1 4202560 5052 0 0 0 7 1 0 0 20 0 15 0 225314393 15372775424 18363 33554432000 4194304 4196468 140729218258608 140172559062888 140172570444400 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9877] ppid=9872 vsize=15012476 memory=3472468419870278864 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9877/stat : 9877 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314394 15372775424 18363 33554432000 4194304 4196468 140729218258608 140172591500048 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9878] ppid=9872 vsize=15012476 memory=140290975127168 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9878/stat : 9878 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314394 15372775424 18363 33554432000 4194304 4196468 140729218258608 140172367203216 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9879] ppid=9872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9879/stat : 9879 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314394 15372775424 18363 33554432000 4194304 4196468 140729218258608 140172366150672 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9880] ppid=9872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9880/stat : 9880 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225314394 15372775424 18363 33554432000 4194304 4196468 140729218258608 140172045839504 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9881] ppid=9872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9881/stat : 9881 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314396 15372775424 18363 33554432000 4194304 4196468 140729218258608 140171557193712 140172587268738 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9882] ppid=9872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9882/stat : 9882 (java) S 9872 9872 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225314396 15372775424 18363 33554432000 4194304 4196468 140729218258608 140171156644768 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9883] ppid=9872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9883/stat : 9883 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225314397 15372775424 18363 33554432000 4194304 4196468 140729218258608 140170888209392 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9884] ppid=9872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9884/stat : 9884 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225314399 15372775424 18363 33554432000 4194304 4196468 140729218258608 140170513701072 140172587276187 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9885] ppid=9872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9885/stat : 9885 (java) S 9872 9872 3762 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 225314399 15372775424 18363 33554432000 4194304 4196468 140729218258608 140171556141552 140172587268738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9886] ppid=9872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9886/stat : 9886 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225314399 15372775424 18363 33554432000 4194304 4196468 140729218258608 140171555089008 140172587268738 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9887] ppid=9872 vsize=15012476 memory=140290975127168 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9887/stat : 9887 (java) S 9872 9872 3762 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 225314399 15372775424 18363 33554432000 4194304 4196468 140729218258608 140171554036464 140172587268738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9888] ppid=9872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9888/stat : 9888 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225314399 15372775424 18363 33554432000 4194304 4196468 140729218258608 140170015796320 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9889] ppid=9872 vsize=15012476 memory=140290975127168 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9889/stat : 9889 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225314400 15372775424 18363 33554432000 4194304 4196468 140729218258608 140171552983344 140172587268738 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74584 KiB

[startup+0.210783 s]*
/proc/loadavg: 2.74 3.07 3.25 4/217 9889
/proc/meminfo: memFree=3590496/32770624 swapFree=67108860/67108860
[pid=9872] ppid=9869 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9872/stat : 9872 (scop.sh) S 9869 9872 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225314392 115843072 348 33554432000 4194304 5098028 140724804100080 140724804097336 140385554850428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30326784 140724804101184 140724804101383 140724804101383 140724804104141 0
/proc/9872/statm: 28282 348 296 221 0 87 0
[pid=9875] ppid=9872 vsize=15012476 memory=86440 CPUtime=0.24 cores=1,3,5,7
/proc/9875/stat : 9875 (java) S 9872 9872 3762 0 -1 1077944320 10464 0 0 0 21 3 0 0 20 0 15 0 225314392 15372775424 21610 33554432000 4194304 4196468 140729218258608 140729218241152 140172587257591 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
/proc/9875/statm: 3753119 21610 2864 1 0 3715579 0
[pid=9875/tid=9876] ppid=9872 vsize=15012476 memory=4716008030661157272 CPUtime=0.19 cores=1,3,5,7
/proc/9875/task/9876/stat : 9876 (java) R 9872 9872 3762 0 -1 4202560 8363 0 0 0 17 2 0 0 20 0 15 0 225314393 15372775424 21610 33554432000 4194304 4196468 140729218258608 140172559075528 140172587269526 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9877] ppid=9872 vsize=15012476 memory=3472468419870278864 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9877/stat : 9877 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314394 15372775424 21610 33554432000 4194304 4196468 140729218258608 140172591500048 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9878] ppid=9872 vsize=15012476 memory=140290975127168 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9878/stat : 9878 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314394 15372775424 21610 33554432000 4194304 4196468 140729218258608 140172367203216 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9879] ppid=9872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9879/stat : 9879 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314394 15372775424 21610 33554432000 4194304 4196468 140729218258608 140172366150672 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9880] ppid=9872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9880/stat : 9880 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225314394 15372775424 21610 33554432000 4194304 4196468 140729218258608 140172045839504 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9881] ppid=9872 vsize=15012476 memory=140290975127168 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9881/stat : 9881 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314396 15372775424 21610 33554432000 4194304 4196468 140729218258608 140171557193712 140172587268738 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9882] ppid=9872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9882/stat : 9882 (java) S 9872 9872 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225314396 15372775424 21610 33554432000 4194304 4196468 140729218258608 140171156644768 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9883] ppid=9872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9883/stat : 9883 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225314397 15372775424 21610 33554432000 4194304 4196468 140729218258608 140170888209392 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9884] ppid=9872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9884/stat : 9884 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225314399 15372775424 21610 33554432000 4194304 4196468 140729218258608 140170513701072 140172587276187 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9885] ppid=9872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9885/stat : 9885 (java) S 9872 9872 3762 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 15 0 225314399 15372775424 21610 33554432000 4194304 4196468 140729218258608 140171556141552 140172587268738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9886] ppid=9872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9886/stat : 9886 (java) S 9872 9872 3762 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 225314399 15372775424 21610 33554432000 4194304 4196468 140729218258608 140171555089008 140172587268738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9887] ppid=9872 vsize=15012476 memory=140290975127168 CPUtime=0.02 cores=1,3,5,7
/proc/9875/task/9887/stat : 9887 (java) R 9872 9872 3762 0 -1 4202560 290 0 0 0 2 0 0 0 20 0 15 0 225314399 15372775424 21610 33554432000 4194304 4196468 140729218258608 140171554036464 140172587278938 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9888] ppid=9872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9888/stat : 9888 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225314399 15372775424 21610 33554432000 4194304 4196468 140729218258608 140170015796320 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9889] ppid=9872 vsize=15012476 memory=140290975127168 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9889/stat : 9889 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225314400 15372775424 21610 33554432000 4194304 4196468 140729218258608 140171552983344 140172587268738 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87832 KiB

[startup+0.310368 s]*
/proc/loadavg: 2.74 3.07 3.25 3/217 9889
/proc/meminfo: memFree=3586712/32770624 swapFree=67108860/67108860
[pid=9872] ppid=9869 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9872/stat : 9872 (scop.sh) S 9869 9872 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225314392 115843072 348 33554432000 4194304 5098028 140724804100080 140724804097336 140385554850428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30326784 140724804101184 140724804101383 140724804101383 140724804104141 0
/proc/9872/statm: 28282 348 296 221 0 87 0
[pid=9875] ppid=9872 vsize=15012476 memory=89964 CPUtime=0.41 cores=1,3,5,7
/proc/9875/stat : 9875 (java) S 9872 9872 3762 0 -1 1077944320 10985 0 0 0 37 4 0 0 20 0 15 0 225314392 15372775424 22491 33554432000 4194304 4196468 140729218258608 140729218241152 140172587257591 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
/proc/9875/statm: 3753119 22491 2976 1 0 3715579 0
[pid=9875/tid=9876] ppid=9872 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/9875/task/9876/stat : 9876 (java) R 9872 9872 3762 0 -1 4202560 8738 0 0 0 26 3 0 0 20 0 15 0 225314393 15372775424 22491 33554432000 4194304 4196468 140729218258608 140172559052592 140172571338108 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9877] ppid=9872 vsize=15012476 memory=3472468419870278864 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9877/stat : 9877 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314394 15372775424 22491 33554432000 4194304 4196468 140729218258608 140172591500048 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9878] ppid=9872 vsize=15012476 memory=140290975127168 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9878/stat : 9878 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314394 15372775424 22491 33554432000 4194304 4196468 140729218258608 140172367203216 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9879] ppid=9872 vsize=15012476 memory=10 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9879/stat : 9879 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314394 15372775424 22491 33554432000 4194304 4196468 140729218258608 140172366150672 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9880] ppid=9872 vsize=15012476 memory=140290879006751 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9880/stat : 9880 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225314394 15372775424 22491 33554432000 4194304 4196468 140729218258608 140172045839504 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9881] ppid=9872 vsize=15012476 memory=280581757974272 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9881/stat : 9881 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314396 15372775424 22491 33554432000 4194304 4196468 140729218258608 140171557193712 140172587268738 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9882] ppid=9872 vsize=15012476 memory=140290878983695 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9882/stat : 9882 (java) S 9872 9872 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225314396 15372775424 22491 33554432000 4194304 4196468 140729218258608 140171156644768 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9883] ppid=9872 vsize=15012476 memory=280581854120032 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9883/stat : 9883 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225314397 15372775424 22491 33554432000 4194304 4196468 140729218258608 140170888209392 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9884] ppid=9872 vsize=15012476 memory=140290878988303 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9884/stat : 9884 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225314399 15372775424 22491 33554432000 4194304 4196468 140729218258608 140170513701072 140172587276187 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9885] ppid=9872 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9875/task/9885/stat : 9885 (java) S 9872 9872 3762 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 15 0 225314399 15372775424 22491 33554432000 4194304 4196468 140729218258608 140171556141552 140172587268738 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9886] ppid=9872 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9875/task/9886/stat : 9886 (java) S 9872 9872 3762 0 -1 1077944384 126 0 0 0 2 0 0 0 20 0 15 0 225314399 15372775424 22491 33554432000 4194304 4196468 140729218258608 140171555089008 140172587268738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9887] ppid=9872 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9875/task/9887/stat : 9887 (java) S 9872 9872 3762 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 15 0 225314399 15372775424 22491 33554432000 4194304 4196468 140729218258608 140171554036464 140172587268738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9888] ppid=9872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9888/stat : 9888 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225314399 15372775424 22491 33554432000 4194304 4196468 140729218258608 140170015796320 140172587267797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9889] ppid=9872 vsize=15012476 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9889/stat : 9889 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225314400 15372775424 22491 33554432000 4194304 4196468 140729218258608 140171552983344 140172587268738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91356 KiB

[startup+0.701344 s]
/proc/loadavg: 2.74 3.07 3.25 4/217 9889
/proc/meminfo: memFree=3562900/32770624 swapFree=67108860/67108860
[pid=9872] ppid=9869 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9872/stat : 9872 (scop.sh) S 9869 9872 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225314392 115843072 348 33554432000 4194304 5098028 140724804100080 140724804097336 140385554850428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30326784 140724804101184 140724804101383 140724804101383 140724804104141 0
/proc/9872/statm: 28282 348 296 221 0 87 0
[pid=9875] ppid=9872 vsize=15018748 memory=133580 CPUtime=1.04 cores=1,3,5,7
/proc/9875/stat : 9875 (java) S 9872 9872 3762 0 -1 1077944320 17959 0 0 0 97 7 0 0 20 0 15 0 225314392 15379197952 33395 33554432000 4194304 4196468 140729218258608 140729218241152 140172587257591 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
/proc/9875/statm: 3754687 33395 3138 1 0 3716091 0
[pid=9875/tid=9876] ppid=9872 vsize=15018748 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/9875/task/9876/stat : 9876 (java) R 9872 9872 3762 0 -1 4202560 15161 0 0 0 62 5 0 0 20 0 15 0 225314393 15379197952 33395 33554432000 4194304 4196468 140729218258608 140172559084608 140172571338078 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9877] ppid=9872 vsize=15018748 memory=7372786582024121444 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9877/stat : 9877 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314394 15379197952 33395 33554432000 4194304 4196468 140729218258608 140172591500048 140172587267797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9878] ppid=9872 vsize=15018748 memory=4638778398333091936 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9878/stat : 9878 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314394 15379197952 33395 33554432000 4194304 4196468 140729218258608 140172367203216 140172587267797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9879] ppid=9872 vsize=15018748 memory=-8820188211957838939 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9879/stat : 9879 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225314394 15379197952 33395 33554432000 4194304 4196468 140729218258608 140172366150672 140172587267797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9880] ppid=9872 vsize=15018748 memory=8370611207638964880 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9880/stat : 9880 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225314394 15379197952 33395 33554432000 4194304 4196468 140729218258608 140172045839504 140172587267797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9881] ppid=9872 vsize=15018748 memory=-9181546051567709026 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9881/stat : 9881 (java) S 9872 9872 3762 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225314396 15379197952 33395 33554432000 4194304 4196468 140729218258608 140171557193712 140172587268738 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9882] ppid=9872 vsize=15018748 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9882/stat : 9882 (java) S 9872 9872 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225314396 15379197952 33395 33554432000 4194304 4196468 140729218258608 140171156644768 140172587267797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9883] ppid=9872 vsize=15018748 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9883/stat : 9883 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225314397 15379197952 33395 33554432000 4194304 4196468 140729218258608 140170888209392 140172587267797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9884] ppid=9872 vsize=15018748 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9884/stat : 9884 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225314399 15379197952 33395 33554432000 4194304 4196468 140729218258608 140170513701072 140172587276187 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9885] ppid=9872 vsize=15018748 memory=61180 CPUtime=0.09 cores=1,3,5,7
/proc/9875/task/9885/stat : 9885 (java) S 9872 9872 3762 0 -1 1077944384 753 0 0 0 9 0 0 0 20 0 15 0 225314399 15379197952 33395 33554432000 4194304 4196468 140729218258608 140171556141552 140172587268738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9886] ppid=9872 vsize=15018748 memory=1240 CPUtime=0.08 cores=1,3,5,7
/proc/9875/task/9886/stat : 9886 (java) R 9872 9872 3762 0 -1 4202560 245 0 0 0 8 0 0 0 20 0 15 0 225314399 15379197952 33395 33554432000 4194304 4196468 140729218258608 140171555081640 140172571227384 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9887] ppid=9872 vsize=15018748 memory=2196 CPUtime=0.17 cores=1,3,5,7
/proc/9875/task/9887/stat : 9887 (java) S 9872 9872 3762 0 -1 1077944384 467 0 0 0 17 0 0 0 20 0 15 0 225314399 15379197952 33395 33554432000 4194304 4196468 140729218258608 140171554036464 140172587268738 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9888] ppid=9872 vsize=15018748 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9888/stat : 9888 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225314399 15379197952 33395 33554432000 4194304 4196468 140729218258608 140170015796320 140172587267797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
[pid=9875/tid=9889] ppid=9872 vsize=15018748 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/9875/task/9889/stat : 9889 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225314400 15379197952 33395 33554432000 4194304 4196468 140729218258608 140171552983344 140172587268738 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6500352 140729218266119 140729218266417 140729218266417 140729218269135 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 134972 KiB

[startup+1.50082 s]
/proc/loadavg: 2.74 3.07 3.25 6/217 9889
/proc/meminfo: memFree=3520324/32770624 swapFree=67108860/67108860
[pid=9872] ppid=9869 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9872/stat : 9872 (scop.sh) S 9869 9872 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225314392 115843072 348 33554432000 4194304 5098028 140724804100080 140724804097336 140385554850428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30326784 140724804101184 140724804101383 140724804101383 140724804104141 0
/proc/9872/statm: 28282 348 296 221 0 87 0

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

[pid=9890/tid=9902] ppid=9872 vsize=8068220 memory=1240 CPUtime=0.23 cores=1,3,5,7
/proc/9890/task/9902/stat : 9902 (java) S 9872 9872 3762 0 -1 1077944384 651 0 0 0 23 0 0 0 20 0 19 0 225316534 8261857280 30270 33554432000 4194304 4196468 140730475797872 140662482848624 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9903] ppid=9872 vsize=8068220 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9903/stat : 9903 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225316535 8261857280 30270 33554432000 4194304 4196468 140730475797872 140660850027488 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9904] ppid=9872 vsize=8068220 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9904/stat : 9904 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225316535 8261857280 30270 33554432000 4194304 4196468 140730475797872 140662481795504 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9906] ppid=9872 vsize=8068220 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9906/stat : 9906 (java) S 9872 9872 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225316609 8261857280 30270 33554432000 4194304 4196468 140730475797872 140662473987008 140663039532825 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9908] ppid=9872 vsize=8068220 memory=11764 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9908/stat : 9908 (java) S 9872 9872 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225316609 8261857280 30270 33554432000 4194304 4196468 140730475797872 140660313140784 140663039530141 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9909] ppid=9872 vsize=8068220 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9909/stat : 9909 (java) S 9872 9872 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225316609 8261857280 30270 33554432000 4194304 4196468 140730475797872 140660447362992 140663039530141 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9910] ppid=9872 vsize=8068220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9910/stat : 9910 (java) S 9872 9872 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225316611 8261857280 30270 33554432000 4194304 4196468 140730475797872 140660044717472 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
Current children cumulated CPU time: 48.65 s
Current children cumulated vsize: 8386784 KiB
Current children cumulated memory: 282876 KiB

[startup+30.401 s]
/proc/loadavg: 2.81 3.06 3.24 3/222 9910
/proc/meminfo: memFree=3335016/32770624 swapFree=67108860/67108860
[pid=9872] ppid=9869 vsize=113128 memory=1468 CPUtime=39.83 cores=1,3,5,7
/proc/9872/stat : 9872 (scop.sh) S 9869 9872 3762 0 -1 4202496 589 372146 0 0 0 0 3836 147 20 0 1 0 225314392 115843072 367 33554432000 4194304 5098028 140724804100080 140724804096824 140385554850428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30326784 140724804101184 140724804101383 140724804101383 140724804104141 0
/proc/9872/statm: 28282 367 311 221 0 87 0
[pid=9890] ppid=9872 vsize=8068220 memory=121080 CPUtime=1.39 cores=1,3,5,7
/proc/9890/stat : 9890 (java) S 9872 9872 3762 0 -1 1077944320 18488 0 0 0 131 8 0 0 20 0 19 0 225316528 8261857280 30270 33554432000 4194304 4196468 140730475797872 140730475780416 140663039508215 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
/proc/9890/statm: 2017055 30270 3164 1 0 1978454 0
[pid=9905] ppid=9890 vsize=205436 memory=160328 CPUtime=8.23 cores=1,3,5,7
/proc/9905/stat : 9905 (minisat_release) R 9890 9872 3762 0 -1 4202496 123923 0 0 0 810 13 0 0 20 0 1 0 225316608 210366464 40082 33554432000 4194304 4308513 140724296443504 140724296441128 4275601 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 14008320 140724296447093 140724296447190 140724296447190 140724296449989 0
/proc/9905/statm: 51359 40082 339 28 0 47599 0
[pid=9890/tid=9891] ppid=9872 vsize=8068220 memory=3256672 CPUtime=0.82 cores=1,3,5,7
/proc/9890/task/9891/stat : 9891 (java) S 9872 9872 3762 0 -1 1077944384 15016 0 0 0 76 6 0 0 20 0 19 0 225316529 8261857280 30270 33554432000 4194304 4196468 140730475797872 140663011348368 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9892] ppid=9872 vsize=8068220 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9892/stat : 9892 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225316530 8261857280 30270 33554432000 4194304 4196468 140730475797872 140663043750800 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9893] ppid=9872 vsize=8068220 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9893/stat : 9893 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225316530 8261857280 30270 33554432000 4194304 4196468 140730475797872 140662524398352 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9894] ppid=9872 vsize=8068220 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9894/stat : 9894 (java) S 9872 9872 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225316530 8261857280 30270 33554432000 4194304 4196468 140730475797872 140662523346064 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9895] ppid=9872 vsize=8068220 memory=11764 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9895/stat : 9895 (java) S 9872 9872 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225316530 8261857280 30270 33554432000 4194304 4196468 140730475797872 140662522293264 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9896] ppid=9872 vsize=8068220 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9896/stat : 9896 (java) S 9872 9872 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225316531 8261857280 30270 33554432000 4194304 4196468 140730475797872 140662486005872 140663039519362 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9897] ppid=9872 vsize=8068220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9897/stat : 9897 (java) S 9872 9872 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225316532 8261857280 30270 33554432000 4194304 4196468 140730475797872 140661856658208 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9898] ppid=9872 vsize=8068220 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9898/stat : 9898 (java) S 9872 9872 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225316532 8261857280 30270 33554432000 4194304 4196468 140730475797872 140661722436720 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9899] ppid=9872 vsize=8068220 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9899/stat : 9899 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225316534 8261857280 30270 33554432000 4194304 4196468 140730475797872 140661347932240 140663039526811 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9900] ppid=9872 vsize=8068220 memory=1384 CPUtime=0.16 cores=1,3,5,7
/proc/9890/task/9900/stat : 9900 (java) S 9872 9872 3762 0 -1 1077944384 1012 0 0 0 16 0 0 0 20 0 19 0 225316534 8261857280 30270 33554432000 4194304 4196468 140730475797872 140662484953712 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9901] ppid=9872 vsize=8068220 memory=4536 CPUtime=0.14 cores=1,3,5,7
/proc/9890/task/9901/stat : 9901 (java) S 9872 9872 3762 0 -1 1077944384 377 0 0 0 14 0 0 0 20 0 19 0 225316534 8261857280 30270 33554432000 4194304 4196468 140730475797872 140662483900912 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9902] ppid=9872 vsize=8068220 memory=8448 CPUtime=0.23 cores=1,3,5,7
/proc/9890/task/9902/stat : 9902 (java) S 9872 9872 3762 0 -1 1077944384 651 0 0 0 23 0 0 0 20 0 19 0 225316534 8261857280 30270 33554432000 4194304 4196468 140730475797872 140662482848624 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9903] ppid=9872 vsize=8068220 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9903/stat : 9903 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225316535 8261857280 30270 33554432000 4194304 4196468 140730475797872 140660850027488 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9904] ppid=9872 vsize=8068220 memory=1144 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9904/stat : 9904 (java) S 9872 9872 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225316535 8261857280 30270 33554432000 4194304 4196468 140730475797872 140662481795504 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9906] ppid=9872 vsize=8068220 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9906/stat : 9906 (java) S 9872 9872 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225316609 8261857280 30270 33554432000 4194304 4196468 140730475797872 140662473987008 140663039532825 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9908] ppid=9872 vsize=8068220 memory=160328 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9908/stat : 9908 (java) S 9872 9872 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225316609 8261857280 30270 33554432000 4194304 4196468 140730475797872 140660313140784 140663039530141 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9909] ppid=9872 vsize=8068220 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9909/stat : 9909 (java) S 9872 9872 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225316609 8261857280 30270 33554432000 4194304 4196468 140730475797872 140660447362992 140663039530141 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9910] ppid=9872 vsize=8068220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/9890/task/9910/stat : 9910 (java) S 9872 9872 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225316611 8261857280 30270 33554432000 4194304 4196468 140730475797872 140660044717472 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
Current children cumulated CPU time: 49.45 s
Current children cumulated vsize: 8386784 KiB
Current children cumulated memory: 282876 KiB

[startup+30.8009 s]
/proc/loadavg: 2.81 3.06 3.24 3/222 9910
/proc/meminfo: memFree=3335016/32770624 swapFree=67108860/67108860
[pid=9872] ppid=9869 vsize=113128 memory=1468 CPUtime=39.83 cores=1,3,5,7
/proc/9872/stat : 9872 (scop.sh) S 9869 9872 3762 0 -1 4202496 589 372146 0 0 0 0 3836 147 20 0 1 0 225314392 115843072 367 33554432000 4194304 5098028 140724804100080 140724804096824 140385554850428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30326784 140724804101184 140724804101383 140724804101383 140724804104141 0
/proc/9872/statm: 28282 367 311 221 0 87 0
[pid=9890] ppid=9872 vsize=7937144 memory=143028 CPUtime=10.19 cores=1,3,5,7
/proc/9890/stat : 9890 (java) S 9872 9872 3762 0 -1 1077944320 19387 125026 0 0 154 9 841 15 20 0 17 0 225316528 8127635456 35757 33554432000 4194304 4196468 140730475797872 140730475780416 140663039508215 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
/proc/9890/statm: 1984286 35757 3176 1 0 1945685 0
[pid=9890/tid=9891] ppid=9872 vsize=7937144 memory=18232 CPUtime=9.38 cores=1,3,5,7
/proc/9890/task/9891/stat : 9891 (java) R 9872 9872 3762 0 -1 4202560 15034 125026 0 0 76 6 841 15 20 0 17 0 225316529 8127635456 35757 33554432000 4194304 4196468 140730475797872 140663011346912 140663039530141 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9892] ppid=9872 vsize=7937144 memory=640 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9892/stat : 9892 (java) S 9872 9872 3762 0 -1 1077944384 2 125026 0 0 0 0 841 15 20 0 17 0 225316530 8127635456 35757 33554432000 4194304 4196468 140730475797872 140663043750800 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9893] ppid=9872 vsize=7937144 memory=1764 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9893/stat : 9893 (java) S 9872 9872 3762 0 -1 1077944384 1 125026 0 0 0 0 841 15 20 0 17 0 225316530 8127635456 35757 33554432000 4194304 4196468 140730475797872 140662524398352 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9894] ppid=9872 vsize=7937144 memory=1236 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9894/stat : 9894 (java) S 9872 9872 3762 0 -1 1077944384 1 125026 0 0 0 0 841 15 20 0 17 0 225316530 8127635456 35757 33554432000 4194304 4196468 140730475797872 140662523346064 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9895] ppid=9872 vsize=7937144 memory=960 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9895/stat : 9895 (java) S 9872 9872 3762 0 -1 1077944384 2 125026 0 0 0 0 841 15 20 0 17 0 225316530 8127635456 35757 33554432000 4194304 4196468 140730475797872 140662522293264 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9896] ppid=9872 vsize=7937144 memory=2452 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9896/stat : 9896 (java) S 9872 9872 3762 0 -1 1077944384 5 125026 0 0 0 0 841 15 20 0 17 0 225316531 8127635456 35757 33554432000 4194304 4196468 140730475797872 140662486005872 140663039519362 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9897] ppid=9872 vsize=7937144 memory=121080 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9897/stat : 9897 (java) S 9872 9872 3762 0 -1 1077944384 13 125026 0 0 0 0 841 15 20 0 17 0 225316532 8127635456 35757 33554432000 4194304 4196468 140730475797872 140661856658208 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9898] ppid=9872 vsize=7937144 memory=928 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9898/stat : 9898 (java) S 9872 9872 3762 0 -1 1077944384 21 125026 0 0 0 0 841 15 20 0 17 0 225316532 8127635456 35757 33554432000 4194304 4196468 140730475797872 140661722436720 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9899] ppid=9872 vsize=7937144 memory=1572 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9899/stat : 9899 (java) S 9872 9872 3762 0 -1 1077944384 3 125026 0 0 0 0 841 15 20 0 17 0 225316534 8127635456 35757 33554432000 4194304 4196468 140730475797872 140661347932240 140663039526811 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9900] ppid=9872 vsize=7937144 memory=2244 CPUtime=8.78 cores=1,3,5,7
/proc/9890/task/9900/stat : 9900 (java) S 9872 9872 3762 0 -1 1077944384 1030 125026 0 0 22 0 841 15 20 0 17 0 225316534 8127635456 35757 33554432000 4194304 4196468 140730475797872 140662484953712 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9901] ppid=9872 vsize=7937144 memory=4124 CPUtime=8.76 cores=1,3,5,7
/proc/9890/task/9901/stat : 9901 (java) S 9872 9872 3762 0 -1 1077944384 709 125026 0 0 20 0 841 15 20 0 17 0 225316534 8127635456 35757 33554432000 4194304 4196468 140730475797872 140662483900912 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9902] ppid=9872 vsize=7937144 memory=2092 CPUtime=8.82 cores=1,3,5,7
/proc/9890/task/9902/stat : 9902 (java) S 9872 9872 3762 0 -1 1077944384 1121 125026 0 0 26 0 841 15 20 0 17 0 225316534 8127635456 35757 33554432000 4194304 4196468 140730475797872 140662482848624 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9903] ppid=9872 vsize=7937144 memory=8148 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9903/stat : 9903 (java) S 9872 9872 3762 0 -1 1077944384 3 125026 0 0 0 0 841 15 20 0 17 0 225316535 8127635456 35757 33554432000 4194304 4196468 140730475797872 140660850027488 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9904] ppid=9872 vsize=7937144 memory=844 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9904/stat : 9904 (java) S 9872 9872 3762 0 -1 1077944384 3 125026 0 0 0 0 841 15 20 0 17 0 225316535 8127635456 35757 33554432000 4194304 4196468 140730475797872 140662481795504 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9906] ppid=9872 vsize=7937144 memory=1696 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9906/stat : 9906 (java) S 9872 9872 3762 0 -1 1077944384 24 125026 0 0 0 0 841 15 20 0 17 0 225316609 8127635456 35757 33554432000 4194304 4196468 140730475797872 140662473986192 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9910] ppid=9872 vsize=7937144 memory=2928 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9910/stat : 9910 (java) S 9872 9872 3762 0 -1 1077944384 8 125026 0 0 0 0 841 15 20 0 17 0 225316611 8127635456 35757 33554432000 4194304 4196468 140730475797872 140660044719280 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
Current children cumulated CPU time: 50.02 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 144496 KiB

[startup+30.9008 s]
/proc/loadavg: 2.81 3.06 3.24 3/222 9910
/proc/meminfo: memFree=3335016/32770624 swapFree=67108860/67108860
[pid=9872] ppid=9869 vsize=113128 memory=1468 CPUtime=39.83 cores=1,3,5,7
/proc/9872/stat : 9872 (scop.sh) S 9869 9872 3762 0 -1 4202496 589 372146 0 0 0 0 3836 147 20 0 1 0 225314392 115843072 367 33554432000 4194304 5098028 140724804100080 140724804096824 140385554850428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30326784 140724804101184 140724804101383 140724804101383 140724804104141 0
/proc/9872/statm: 28282 367 311 221 0 87 0
[pid=9890] ppid=9872 vsize=7937144 memory=147404 CPUtime=10.42 cores=1,3,5,7
/proc/9890/stat : 9890 (java) S 9872 9872 3762 0 -1 1077944320 20034 125026 0 0 177 9 841 15 20 0 17 0 225316528 8127635456 36851 33554432000 4194304 4196468 140730475797872 140730475780416 140663039508215 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
/proc/9890/statm: 1984286 36851 3179 1 0 1945685 0
[pid=9890/tid=9891] ppid=9872 vsize=7937144 memory=1468 CPUtime=9.48 cores=1,3,5,7
/proc/9890/task/9891/stat : 9891 (java) R 9872 9872 3762 0 -1 4202560 15237 125026 0 0 86 6 841 15 20 0 17 0 225316529 8127635456 36851 33554432000 4194304 4196468 140730475797872 140663011345552 140662542642234 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9892] ppid=9872 vsize=7937144 memory=160328 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9892/stat : 9892 (java) S 9872 9872 3762 0 -1 1077944384 2 125026 0 0 0 0 841 15 20 0 17 0 225316530 8127635456 36851 33554432000 4194304 4196468 140730475797872 140663043750800 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9893] ppid=9872 vsize=7937144 memory=160328 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9893/stat : 9893 (java) S 9872 9872 3762 0 -1 1077944384 1 125026 0 0 0 0 841 15 20 0 17 0 225316530 8127635456 36851 33554432000 4194304 4196468 140730475797872 140662524398352 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9894] ppid=9872 vsize=7937144 memory=280581758588256 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9894/stat : 9894 (java) S 9872 9872 3762 0 -1 1077944384 1 125026 0 0 0 0 841 15 20 0 17 0 225316530 8127635456 36851 33554432000 4194304 4196468 140730475797872 140662523346064 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9895] ppid=9872 vsize=7937144 memory=6944656592455360604 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9895/stat : 9895 (java) S 9872 9872 3762 0 -1 1077944384 2 125026 0 0 0 0 841 15 20 0 17 0 225316530 8127635456 36851 33554432000 4194304 4196468 140730475797872 140662522293264 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9896] ppid=9872 vsize=7937144 memory=1224 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9896/stat : 9896 (java) S 9872 9872 3762 0 -1 1077944384 5 125026 0 0 0 0 841 15 20 0 17 0 225316531 8127635456 36851 33554432000 4194304 4196468 140730475797872 140662486005872 140663039519362 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9897] ppid=9872 vsize=7937144 memory=1944 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9897/stat : 9897 (java) S 9872 9872 3762 0 -1 1077944384 13 125026 0 0 0 0 841 15 20 0 17 0 225316532 8127635456 36851 33554432000 4194304 4196468 140730475797872 140661856658208 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9898] ppid=9872 vsize=7937144 memory=1384 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9898/stat : 9898 (java) S 9872 9872 3762 0 -1 1077944384 21 125026 0 0 0 0 841 15 20 0 17 0 225316532 8127635456 36851 33554432000 4194304 4196468 140730475797872 140661722436720 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9899] ppid=9872 vsize=7937144 memory=34892 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9899/stat : 9899 (java) S 9872 9872 3762 0 -1 1077944384 3 125026 0 0 0 0 841 15 20 0 17 0 225316534 8127635456 36851 33554432000 4194304 4196468 140730475797872 140661347932240 140663039526811 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9900] ppid=9872 vsize=7937144 memory=4032 CPUtime=8.81 cores=1,3,5,7
/proc/9890/task/9900/stat : 9900 (java) D 9872 9872 3762 0 -1 4202560 1082 125026 0 0 25 0 841 15 20 0 17 0 225316534 8127635456 36851 33554432000 4194304 4196468 140730475797872 140662484940976 140663032608062 0 4 2 25189581 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9901] ppid=9872 vsize=7937144 memory=18232 CPUtime=8.8 cores=1,3,5,7
/proc/9890/task/9901/stat : 9901 (java) R 9872 9872 3762 0 -1 4202560 836 125026 0 0 24 0 841 15 20 0 17 0 225316534 8127635456 36851 33554432000 4194304 4196468 140730475797872 140662483886840 140663032225367 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9902] ppid=9872 vsize=7937144 memory=1392 CPUtime=8.88 cores=1,3,5,7
/proc/9890/task/9902/stat : 9902 (java) D 9872 9872 3762 0 -1 4202560 1385 125026 0 0 32 0 841 15 20 0 17 0 225316534 8127635456 36851 33554432000 4194304 4196468 140730475797872 140662482845096 140663018449794 0 4 2 25189581 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9903] ppid=9872 vsize=7937144 memory=2357236 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9903/stat : 9903 (java) S 9872 9872 3762 0 -1 1077944384 3 125026 0 0 0 0 841 15 20 0 17 0 225316535 8127635456 36851 33554432000 4194304 4196468 140730475797872 140660850027488 140663039518421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9904] ppid=9872 vsize=7937144 memory=4028 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9904/stat : 9904 (java) S 9872 9872 3762 0 -1 1077944384 3 125026 0 0 0 0 841 15 20 0 17 0 225316535 8127635456 36851 33554432000 4194304 4196468 140730475797872 140662481795504 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9906] ppid=9872 vsize=7937144 memory=61180 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9906/stat : 9906 (java) S 9872 9872 3762 0 -1 1077944384 24 125026 0 0 0 0 841 15 20 0 17 0 225316609 8127635456 36851 33554432000 4194304 4196468 140730475797872 140662473986192 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
[pid=9890/tid=9910] ppid=9872 vsize=7937144 memory=280581758675776 CPUtime=8.56 cores=1,3,5,7
/proc/9890/task/9910/stat : 9910 (java) S 9872 9872 3762 0 -1 1077944384 8 125026 0 0 0 0 841 15 20 0 17 0 225316611 8127635456 36851 33554432000 4194304 4196468 140730475797872 140660044719280 140663039519362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21856256 140730475803830 140730475803953 140730475803953 140730475806671 0
Current children cumulated CPU time: 50.25 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 148872 KiB

Child status: 0
Real time (s): 30.9401
CPU time (s): 50.3789
CPU user time (s): 48.6343
CPU system time (s): 1.74461
CPU usage (%): 162.827
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3259404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.6343
system time used= 1.74461
maximum resident set size= 3258332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518163
page faults= 0
swaps= 0
block input operations= 0
block output operations= 122808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8649
involuntary context switches= 185


# summary of solver processes directly reported to runsolver:
#   pid: 9872
#   total CPU time (s): 50.3789
#   total CPU user time (s): 48.6343
#   total CPU system time (s): 1.74461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.2243 second user time and 0.357696 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-12 14:38:32
IDJOB=4305321
IDBENCH=141451
IDSOLVER=2782
FILE ID=node151/4305321-1534077512
RUNJOBID= node151-1534062410-3794
PBS_JOBID= 21036982
Free space on /tmp= 41244 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-75-01_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-4305321-1534077512/watcher-4305321-1534077512 -o /tmp/evaluation-result-4305321-1534077512/solver-4305321-1534077512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305321-1534077512.xml

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

MD5SUM BENCH= 440a7f21d9ad6b426785aa5fd584fc01
RANDOM SEED=226602280

node151.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.87
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.87
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.87
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.87
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:         3666712 kB
MemAvailable:   20111856 kB
Buffers:          257544 kB
Cached:         16259592 kB
SwapCached:            0 kB
Active:         17818780 kB
Inactive:       10524172 kB
Active(anon):    9828816 kB
Inactive(anon):  2049328 kB
Active(file):    7989964 kB
Inactive(file):  8474844 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7960 kB
Writeback:             0 kB
AnonPages:      11941912 kB
Mapped:            72300 kB
Shmem:             49800 kB
Slab:             437796 kB
SReclaimable:     408796 kB
SUnreclaim:        29000 kB
KernelStack:        3840 kB
PageTables:        28436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13046288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11366400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41236 MiB
End job on node151 at 2018-08-12 14:39:03