Trace number 4305326

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 105.226 84.1798

General information on the benchmark

NameCarSequencing/
CarSequencing-85-02_c18.xml
MD5SUM8bc781233594bd95127afade52cac536
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 benchmark105.226
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1442
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 degree86
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":3}, {"degree":86,"count":35}]
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":32,"count":1},{"arity":35,"count":2},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":2},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":4},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},"...",{"arity":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":1241},{"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-9668-serial-file.bin HOME/instance-4305326-1534077355.xml
0.54/0.51	
0.65/0.52	scop order+minisat_release (2018-07-31)
0.65/0.52	(Encoding Process)
0.65/0.52	
0.65/0.54	c BEGIN-Prog: Sun Aug 12 14:35:56 CEST 2018
0.65/0.54	c PID: 9671
0.65/0.54	c IP: 172.20.3.151
0.65/0.54	c HOST: node151.alineos.net
0.65/0.55	c (0,0) Parsing Begin
2.96/1.39	c (0,0) Parsing End
3.26/1.41	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1442 ctr, max domain size 26
3.26/1.41	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.26/1.41	c (0,0) Constraint Name Generate Begin
3.26/1.43	c (0,0) Ctr:HOME/instance-4305326-1534077355.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.26/1.43	c (0,0) Constraint Name Generate End
3.26/1.43	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.26/1.44	c (0,0) CSP to CSPinCNF Begin
12.78/5.11	c (4,4) translated 145 (10%) constraints
13.29/5.68	c (5,5) translated 289 (20%) constraints
13.48/5.71	c (5,5) translated 433 (30%) constraints
13.48/5.73	c (5,5) translated 577 (40%) constraints
13.48/5.76	c (5,5) translated 721 (50%) constraints
13.48/5.79	c (5,5) translated 866 (60%) constraints
13.48/5.80	c (5,5) translated 1010 (70%) constraints
13.89/5.82	c (5,5) translated 1154 (80%) constraints
16.81/8.00	c (7,7) translated 1298 (90%) constraints
18.28/9.14	c (8,8) translated 1442 (100%) constraints
19.78/9.75	c (9,9) STATISTICS1:HOME/instance-4305326-1534077355.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,17200,59467,9223372036854775807,26,26,200,9223372036854775807:266;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:4;140737488355328:1;70368744177664:2;35184372088832:1;17592186044416:1;8796093022208:3;2199023255552:1;1099511627776:2;549755813888:2;137438953472:3;34359738368:1;17179869184:2;2147483648:1;16:392;4:396;2:199,26:20400;2:165392,26:200;3:30800;2:27200;1:1267,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:1;74:3;72:1;71:2;70:2;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:4;48:1;47:2;46:1;45:1;44:3;42:1;41:2;40:2;38:3;36:1;35:2;32:1;5:392;3:396;2:199;1:151800;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2704:1;2601:2;2500:2;2401:3;2304:1;2209:2;2116:2;2025:3;1936:1;1849:3;1764:1
19.78/9.75	c (9,9) ==========================================
19.78/9.75	c (9,9) Order
19.78/9.75	c (9,9) ==========================================
21.64/10.50	c (9,9) translated 5947 (10%) constraints
22.53/10.73	c (10,10) translated 11894 (20%) constraints
22.84/10.84	c (10,10) translated 17841 (30%) constraints
23.14/10.94	c (10,10) translated 23787 (40%) constraints
23.48/11.04	c (10,10) translated 29734 (50%) constraints
23.77/11.14	c (10,10) translated 35681 (60%) constraints
23.96/11.24	c (10,10) translated 41627 (70%) constraints
24.08/11.33	c (10,10) translated 47574 (80%) constraints
24.19/11.42	c (10,10) translated 53521 (90%) constraints
29.62/13.56	c (13,12) translated 59467 (100%) constraints
29.62/13.57	c (13,12) CSP to CSPinCNF End
29.62/13.58	c (13,12) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 80204 ctr, max domain size 68
29.62/13.58	c (13,12) Heap : 2563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
29.62/13.58	c (13,12) CSPinCNF Propagation Begin
30.55/14.07	c (13,13) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
30.55/14.07	c (13,13) CSPinCNF Propagation End
30.55/14.08	c (13,13) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 79804 ctr, max domain size 68
30.55/14.08	c (13,13) Heap : 2891 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
30.55/14.08	c (13,13) Simplify CSPinCNF Begin
31.59/14.41	c (13,13) Simplify CSPinCNF End
31.59/14.42	c (13,13) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 79804 ctr, max domain size 68
31.59/14.42	c (13,13) Heap : 222 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
31.59/14.42	c (13,13) Calculate Precise Domain Begin
31.59/14.47	c (13,13) 0 values are removed by re-calculation
31.59/14.47	c (13,13) Calculate Precise Domain End
31.59/14.48	c (13,13) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 79804 ctr, max domain size 68
31.59/14.48	c (13,13) Heap : 222 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
31.59/14.48	c (13,13) CSPinCNF to SatSolver Begin
34.85/16.55	c (16,15) 7981 (10 %) CSP clauses are encoded (95329 SAT variables, 585380 SAT clauses)
35.15/16.60	c (16,15) 15961 (20 %) CSP clauses are encoded (95329 SAT variables, 593360 SAT clauses)
35.15/16.65	c (16,15) 23942 (30 %) CSP clauses are encoded (95329 SAT variables, 601341 SAT clauses)
35.43/16.74	c (16,15) 31922 (40 %) CSP clauses are encoded (95329 SAT variables, 609321 SAT clauses)
35.63/16.81	c (16,16) 39902 (50 %) CSP clauses are encoded (95329 SAT variables, 617301 SAT clauses)
35.63/16.88	c (16,16) 47883 (60 %) CSP clauses are encoded (95329 SAT variables, 625282 SAT clauses)
35.83/16.93	c (16,16) 55863 (70 %) CSP clauses are encoded (95329 SAT variables, 633262 SAT clauses)
35.83/16.97	c (16,16) 63844 (80 %) CSP clauses are encoded (95329 SAT variables, 641243 SAT clauses)
36.14/17.21	c (16,16) 71824 (90 %) CSP clauses are encoded (95329 SAT variables, 730289 SAT clauses)
41.40/22.06	c (21,20) 79804 (100 %) CSP clauses are encoded (95329 SAT variables, 2490622 SAT clauses)
41.40/22.06	c (21,20) Launch Command will be: minisat_release
41.40/22.06	c (21,20) CSPinCNF to SatSolver End
41.40/22.06	c (21,20) Heap : 991 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
42.23/22.40	c (21,21) STATISTICS2:HOME/instance-4305326-1534077355.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,26409,79804,4556,68,25,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:3;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:3;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:295;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:19;729:16;702:14;676:19;650:15;625:16;600:16;576:15;552:19;529:22;512:761;506:17;484:16;462:15;441:19;420:14;400:16;380:17;361:15;342:18;324:32;306:90;289:88;272:70;270:8;256:1924;255:16;240:71;234:4;225:88;221:8;210:72;198:4;196:71;187:8;182:74;169:77;162:16;156:70;153:32;144:69;132:68;128:1174;126:4;121:80;119:8;110:67;100:69;96:277;90:568;85:24;81:528;72:315;68:32;64:1153;56:291;54:16;51:32;49:293;36:12;34:24;25:301;16:978;9:32;4:420;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:30;48:28;47:26;46:32;45:26;44:28;43:30;42:24;41:34;40:36;39:30;38:28;37:26;36:32;35:54;34:148;33:142;32:136;31:150;30:136;29:142;28:140;27:138;26:30142;25:136;24:136;23:174;22:134;21:144;20:134;19:138;18:1112;17:1028;16:598;15:656;14:582;13:606;12:1108;11:594;10:1522;9:3838;8:2348;7:1758;5:1216;4:144;3:144;2:185900,25:200;3:30400;2:37600;1:11604,11:279;10:761;9:1847;8:1174;7:861;5:1223;3:5260;2:199;1:171400,
42.23/22.40	c (21,21) 95329 bool, 2491323 clause
42.23/22.40	c (21,21) Export Begin
42.40/22.56	c (22,21) Export to HOME/scop-9668-serial-file.bin
42.40/22.56	c (22,21) Export End
42.40/22.56	c (22,21) Export File Size: 0.24 MB
42.40/22.56	c (22,21) 0,0,13,13,13,13,21,STOP-AFTER(DIMACS)
42.40/22.56	c END-Prog: Sun Aug 12 14:36:18 CEST 2018
0.00/22.66	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-9668-serial-file.bin
43.28/23.15	c (0,0) Read Serial File Begin
43.28/23.15	c (0,0) HOME/scop-9668-serial-file.bin
43.87/23.40	c (0,0) Read Serial File End
43.87/23.41	
43.87/23.41	scop order+minisat_release (2018-07-31)
43.87/23.41	(Solving Process)
43.87/23.41	
43.87/23.43	c BEGIN-Prog: Sun Aug 12 14:36:19 CEST 2018
43.87/23.43	c PID: 9686
43.87/23.43	c IP: 172.20.3.151
43.87/23.43	c HOST: node151.alineos.net
43.87/23.44	c (0,0) SatSolver.solve Begin
43.87/23.44	c (0,0) 0 bool, 0 clause
43.87/23.44	c (0,0) minisat_release HOME/instance-4305326-1534077355.xml-scop-9671.cnf
104.57/83.93	c (60,0) c This is COMiniSatPS.
104.57/83.93	c (60,0) c WARNING: for repeatability, setting FPU to use double precision
104.57/83.93	c (60,0) c ============================[ Problem Statistics ]=============================
104.57/83.93	c (60,0) c |                                                                             |
104.57/83.93	c (60,0) c |  Number of variables:         95329                                         |
104.57/83.93	c (60,0) c |  Number of clauses:         2491039                                         |
104.57/83.93	c (60,0) c |  Parse time:                   0.71 s                                       |
104.57/83.93	c (60,0) c |  Eliminated clauses:           0.33 Mb                                      |
104.57/83.93	c (60,0) c Reduced to 73194 vars, 1283671 cls (grow=0)
104.57/83.93	c (60,0) c No iterative elimination performed. (vars=73194, c/v ratio=17.5)
104.57/83.93	c (60,0) c |  Simplification time:          3.35 s                                       |
104.57/83.93	c (60,0) c |                                                                             |
104.57/83.93	c (60,0) c ============================[ Search Statistics ]==============================
104.57/83.93	c (60,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
104.57/83.93	c (60,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
104.57/83.93	c (60,0) c ===============================================================================
104.57/83.93	c (60,0) c ===============================================================================
104.57/83.93	c (60,0) c restarts              : 612
104.57/83.94	c (60,0) c conflicts             : 210265         (3491 /sec)
104.57/83.94	c (60,0) c decisions             : 665244         (0.00 % random) (11045 /sec)
104.57/83.94	c (60,0) c propagations          : 178702950      (2966962 /sec)
104.57/83.94	c (60,0) c conflict literals     : 15201323       (6.18 % deleted)
104.57/83.94	c (60,0) c CPU time              : 60.2309 s
104.57/83.94	c (60,0) 
104.57/83.94	c (60,0) s SATISFIABLE
104.80/84.03	c (60,0) SatSolver.solve End
104.80/84.03	c (60,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
104.80/84.03	c (60,0) Show results Begin
105.02/84.12	s SATISFIABLE
105.02/84.16	v <instantiation>
105.02/84.16	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>
105.02/84.16	v     <values>6 12 2 21 2 2 17 2 8 11 22 6 11 22 14 22 11 15 11 8 11 13 25 16 8 11 13 21 2 1 24 13 25 3 11 1 7 2 11 20 5 1 11 8 22 5 16 8 11 2 21 1 5 2 7 13 18 8 25 2 3 1 2 7 2 11 9 11 22 10 2 25 6 25 2 5 22 10 22 2 7 0 13 25 2 7 22 13 11 9 11 2 25 24 5 15 8 2 25 3 11 1 10 2 12 2 4 22 2 5 8 0 11 22 2 21 15 2 11 22 7 13 2 4 2 12 24 13 25 2 4 13 5 8 2 25 13 4 2 22 5 13 4 2 11 8 2 25 16 3 25 2 25 20 11 0 7 2 25 3 13 12 19 11 22 14 13 12 16 2 7 13 11 1 24 5 22 12 3 2 25 2 1 3 2 12 3 23 2 11 8 25 2 18 8 5 2 12 2 4 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 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 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1</values>
105.02/84.16	v </instantiation>
105.02/84.16	c (61,0) Show results End
105.02/84.16	c (61,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
105.02/84.16	c (61,0) 60,61,STOP-AFTER(ALL)
105.02/84.16	c END-Prog: Sun Aug 12 14:37:19 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 (1087 MiB free)
  memory of node 1: 16384 MiB (2374 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305326-1534077355/watcher-4305326-1534077355 -o /tmp/evaluation-result-4305326-1534077355/solver-4305326-1534077355 -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-4305326-1534077355.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=9668, runsolver pid=9665
Current StackSize limit: 8192 KiB


[startup+0.100362 s]*
/proc/loadavg: 2.75 3.28 3.34 4/217 9685
/proc/meminfo: memFree=3482172/32770624 swapFree=67108860/67108860
[pid=9668] ppid=9665 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9668/stat : 9668 (scop.sh) S 9665 9668 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225298708 115843072 349 33554432000 4194304 5098028 140733239375376 140733239372632 139718462407292 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33751040 140733239379008 140733239379207 140733239379207 140733239381965 0
/proc/9668/statm: 28282 349 296 221 0 87 0
[pid=9671] ppid=9668 vsize=15012476 memory=73056 CPUtime=0.1 cores=1,3,5,7
/proc/9671/stat : 9671 (java) S 9668 9668 3762 0 -1 1077944320 6393 0 0 0 8 2 0 0 20 0 15 0 225298708 15372775424 18264 33554432000 4194304 4196468 140725751819696 140725751802240 140631592754935 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
/proc/9671/statm: 3753119 18264 2747 1 0 3715579 0
[pid=9671/tid=9672] ppid=9668 vsize=15012476 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/9671/task/9672/stat : 9672 (java) R 9668 9668 3762 0 -1 4202560 4537 0 0 0 7 2 0 0 20 0 15 0 225298709 15372775424 18264 33554432000 4194304 4196468 140725751819696 140631564553088 140631576835422 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9673] ppid=9668 vsize=15012476 memory=3472468219272627408 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9673/stat : 9673 (java) S 9668 9668 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225298710 15372775424 18264 33554432000 4194304 4196468 140725751819696 140631596996880 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9674] ppid=9668 vsize=15012476 memory=140090377475712 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9674/stat : 9674 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298710 15372775424 18264 33554432000 4194304 4196468 140725751819696 140631395772816 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9675] ppid=9668 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9675/stat : 9675 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298710 15372775424 18264 33554432000 4194304 4196468 140725751819696 140631394720272 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9676] ppid=9668 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9676/stat : 9676 (java) S 9668 9668 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225298710 15372775424 18264 33554432000 4194304 4196468 140725751819696 140631393667728 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9677] ppid=9668 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9677/stat : 9677 (java) S 9668 9668 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225298712 15372775424 18264 33554432000 4194304 4196468 140725751819696 140630361582064 140631592766082 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9678] ppid=9668 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9678/stat : 9678 (java) S 9668 9668 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225298712 15372775424 18264 33554432000 4194304 4196468 140725751819696 140630248383904 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9679] ppid=9668 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9679/stat : 9679 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298712 15372775424 18264 33554432000 4194304 4196468 140725751819696 140629979948528 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9680] ppid=9668 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9680/stat : 9680 (java) S 9668 9668 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 18264 33554432000 4194304 4196468 140725751819696 140629605440208 140631592773531 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9681] ppid=9668 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9681/stat : 9681 (java) S 9668 9668 3762 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 18264 33554432000 4194304 4196468 140725751819696 140630360528880 140631592766082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9682] ppid=9668 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9682/stat : 9682 (java) S 9668 9668 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 18264 33554432000 4194304 4196468 140725751819696 140630359476336 140631592766082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9683] ppid=9668 vsize=15012476 memory=140090377475712 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9683/stat : 9683 (java) R 9668 9668 3762 0 -1 4202560 243 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 18264 33554432000 4194304 4196468 140725751819696 140630358423792 140631573988016 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9684] ppid=9668 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9684/stat : 9684 (java) S 9668 9668 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 18264 33554432000 4194304 4196468 140725751819696 140629107534432 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9685] ppid=9668 vsize=15012476 memory=140090377475712 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9685/stat : 9685 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 18264 33554432000 4194304 4196468 140725751819696 140630357371696 140631592766082 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74452 KiB

[startup+0.210421 s]*
/proc/loadavg: 2.75 3.28 3.34 3/217 9685
/proc/meminfo: memFree=3468468/32770624 swapFree=67108860/67108860
[pid=9668] ppid=9665 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9668/stat : 9668 (scop.sh) S 9665 9668 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225298708 115843072 349 33554432000 4194304 5098028 140733239375376 140733239372632 139718462407292 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33751040 140733239379008 140733239379207 140733239379207 140733239381965 0
/proc/9668/statm: 28282 349 296 221 0 87 0
[pid=9671] ppid=9668 vsize=15012476 memory=86908 CPUtime=0.24 cores=1,3,5,7
/proc/9671/stat : 9671 (java) S 9668 9668 3762 0 -1 1077944320 9995 0 0 0 21 3 0 0 20 0 15 0 225298708 15372775424 21727 33554432000 4194304 4196468 140725751819696 140725751802240 140631592754935 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
/proc/9671/statm: 3753119 21727 2930 1 0 3715579 0
[pid=9671/tid=9672] ppid=9668 vsize=15012476 memory=4716008030661157272 CPUtime=0.19 cores=1,3,5,7
/proc/9671/task/9672/stat : 9672 (java) R 9668 9668 3762 0 -1 4202560 7911 0 0 0 17 2 0 0 20 0 15 0 225298709 15372775424 21727 33554432000 4194304 4196468 140725751819696 140631564580032 140631576798565 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9673] ppid=9668 vsize=15012476 memory=3472468219272627408 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9673/stat : 9673 (java) S 9668 9668 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225298710 15372775424 21727 33554432000 4194304 4196468 140725751819696 140631596996880 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9674] ppid=9668 vsize=15012476 memory=140090377475712 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9674/stat : 9674 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298710 15372775424 21727 33554432000 4194304 4196468 140725751819696 140631395772816 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9675] ppid=9668 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9675/stat : 9675 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298710 15372775424 21727 33554432000 4194304 4196468 140725751819696 140631394720272 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9676] ppid=9668 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9676/stat : 9676 (java) S 9668 9668 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225298710 15372775424 21727 33554432000 4194304 4196468 140725751819696 140631393667728 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9677] ppid=9668 vsize=15012476 memory=140090377475712 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9677/stat : 9677 (java) S 9668 9668 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225298712 15372775424 21727 33554432000 4194304 4196468 140725751819696 140630361582064 140631592766082 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9678] ppid=9668 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9678/stat : 9678 (java) S 9668 9668 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225298712 15372775424 21727 33554432000 4194304 4196468 140725751819696 140630248383904 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9679] ppid=9668 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9679/stat : 9679 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298712 15372775424 21727 33554432000 4194304 4196468 140725751819696 140629979948528 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9680] ppid=9668 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9680/stat : 9680 (java) S 9668 9668 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 21727 33554432000 4194304 4196468 140725751819696 140629605440208 140631592773531 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9681] ppid=9668 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9681/stat : 9681 (java) R 9668 9668 3762 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 21727 33554432000 4194304 4196468 140725751819696 140630360528880 140631592766082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9682] ppid=9668 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9682/stat : 9682 (java) S 9668 9668 3762 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 21727 33554432000 4194304 4196468 140725751819696 140630359476336 140631592766082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9683] ppid=9668 vsize=15012476 memory=140090377475712 CPUtime=0.02 cores=1,3,5,7
/proc/9671/task/9683/stat : 9683 (java) R 9668 9668 3762 0 -1 4202560 281 0 0 0 2 0 0 0 20 0 15 0 225298715 15372775424 21727 33554432000 4194304 4196468 140725751819696 140630358423792 140631571706688 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9684] ppid=9668 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9684/stat : 9684 (java) S 9668 9668 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 21727 33554432000 4194304 4196468 140725751819696 140629107534432 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9685] ppid=9668 vsize=15012476 memory=140090377475712 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9685/stat : 9685 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 21727 33554432000 4194304 4196468 140725751819696 140630357371696 140631592766082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88304 KiB

[startup+0.310498 s]*
/proc/loadavg: 2.75 3.28 3.34 3/217 9685
/proc/meminfo: memFree=3465180/32770624 swapFree=67108860/67108860
[pid=9668] ppid=9665 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9668/stat : 9668 (scop.sh) S 9665 9668 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225298708 115843072 349 33554432000 4194304 5098028 140733239375376 140733239372632 139718462407292 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33751040 140733239379008 140733239379207 140733239379207 140733239381965 0
/proc/9668/statm: 28282 349 296 221 0 87 0
[pid=9671] ppid=9668 vsize=15012476 memory=90176 CPUtime=0.41 cores=1,3,5,7
/proc/9671/stat : 9671 (java) S 9668 9668 3762 0 -1 1077944320 10536 0 0 0 38 3 0 0 20 0 15 0 225298708 15372775424 22544 33554432000 4194304 4196468 140725751819696 140725751802240 140631592754935 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
/proc/9671/statm: 3753119 22544 2968 1 0 3715579 0
[pid=9671/tid=9672] ppid=9668 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/9671/task/9672/stat : 9672 (java) R 9668 9668 3762 0 -1 4202560 8288 0 0 0 26 3 0 0 20 0 15 0 225298709 15372775424 22544 33554432000 4194304 4196468 140725751819696 140631564549936 140631576835422 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9673] ppid=9668 vsize=15012476 memory=3472468219272627408 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9673/stat : 9673 (java) S 9668 9668 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225298710 15372775424 22544 33554432000 4194304 4196468 140725751819696 140631596996880 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9674] ppid=9668 vsize=15012476 memory=140090377475712 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9674/stat : 9674 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298710 15372775424 22544 33554432000 4194304 4196468 140725751819696 140631395772816 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9675] ppid=9668 vsize=15012476 memory=10 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9675/stat : 9675 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298710 15372775424 22544 33554432000 4194304 4196468 140725751819696 140631394720272 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9676] ppid=9668 vsize=15012476 memory=140090223503391 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9676/stat : 9676 (java) S 9668 9668 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225298710 15372775424 22544 33554432000 4194304 4196468 140725751819696 140631393667728 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9677] ppid=9668 vsize=15012476 memory=280180446967552 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9677/stat : 9677 (java) S 9668 9668 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225298712 15372775424 22544 33554432000 4194304 4196468 140725751819696 140630361582064 140631592766082 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9678] ppid=9668 vsize=15012476 memory=140090223480335 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9678/stat : 9678 (java) S 9668 9668 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225298712 15372775424 22544 33554432000 4194304 4196468 140725751819696 140630248383904 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9679] ppid=9668 vsize=15012476 memory=280180600965216 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9679/stat : 9679 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298712 15372775424 22544 33554432000 4194304 4196468 140725751819696 140629979948528 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9680] ppid=9668 vsize=15012476 memory=140090223484943 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9680/stat : 9680 (java) S 9668 9668 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 22544 33554432000 4194304 4196468 140725751819696 140629605440208 140631592773531 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9681] ppid=9668 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9671/task/9681/stat : 9681 (java) S 9668 9668 3762 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 15 0 225298715 15372775424 22544 33554432000 4194304 4196468 140725751819696 140630360528880 140631592766082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9682] ppid=9668 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9671/task/9682/stat : 9682 (java) S 9668 9668 3762 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 15 0 225298715 15372775424 22544 33554432000 4194304 4196468 140725751819696 140630359476336 140631592766082 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9683] ppid=9668 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9671/task/9683/stat : 9683 (java) S 9668 9668 3762 0 -1 1077944384 302 0 0 0 7 0 0 0 20 0 15 0 225298715 15372775424 22544 33554432000 4194304 4196468 140725751819696 140630358423792 140631592766082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9684] ppid=9668 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9684/stat : 9684 (java) S 9668 9668 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 22544 33554432000 4194304 4196468 140725751819696 140629107534432 140631592765141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9685] ppid=9668 vsize=15012476 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9685/stat : 9685 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298715 15372775424 22544 33554432000 4194304 4196468 140725751819696 140630357371696 140631592766082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91572 KiB

[startup+0.700806 s]
/proc/loadavg: 2.75 3.28 3.34 6/217 9685
/proc/meminfo: memFree=3440748/32770624 swapFree=67108860/67108860
[pid=9668] ppid=9665 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9668/stat : 9668 (scop.sh) S 9665 9668 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225298708 115843072 349 33554432000 4194304 5098028 140733239375376 140733239372632 139718462407292 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33751040 140733239379008 140733239379207 140733239379207 140733239381965 0
/proc/9668/statm: 28282 349 296 221 0 87 0
[pid=9671] ppid=9668 vsize=15018824 memory=131428 CPUtime=1.04 cores=1,3,5,7
/proc/9671/stat : 9671 (java) S 9668 9668 3762 0 -1 1077944320 17486 0 0 0 99 5 0 0 20 0 15 0 225298708 15379275776 32857 33554432000 4194304 4196468 140725751819696 140725751802240 140631592754935 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
/proc/9671/statm: 3754706 32857 3131 1 0 3716091 0
[pid=9671/tid=9672] ppid=9668 vsize=15020872 memory=5795117241467496816 CPUtime=0.66 cores=1,3,5,7
/proc/9671/task/9672/stat : 9672 (java) R 9668 9668 3762 0 -1 4202560 14750 0 0 0 62 4 0 0 20 0 15 0 225298709 15381372928 32857 33554432000 4194304 4196468 140725751819696 140631564586832 140631576798565 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9673] ppid=9668 vsize=15020872 memory=7372786582024121444 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9673/stat : 9673 (java) S 9668 9668 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225298710 15381372928 32857 33554432000 4194304 4196468 140725751819696 140631596996880 140631592765141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9674] ppid=9668 vsize=15020872 memory=4638778398333091936 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9674/stat : 9674 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298710 15381372928 32857 33554432000 4194304 4196468 140725751819696 140631395772816 140631592765141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9675] ppid=9668 vsize=15020872 memory=-8820188211957838939 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9675/stat : 9675 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298710 15381372928 32857 33554432000 4194304 4196468 140725751819696 140631394720272 140631592765141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9676] ppid=9668 vsize=15020872 memory=8370611207638964880 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9676/stat : 9676 (java) S 9668 9668 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225298710 15381372928 32857 33554432000 4194304 4196468 140725751819696 140631393667728 140631592765141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9677] ppid=9668 vsize=15020872 memory=-9181546051567709026 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9677/stat : 9677 (java) S 9668 9668 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225298712 15381372928 32857 33554432000 4194304 4196468 140725751819696 140630361582064 140631592766082 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9678] ppid=9668 vsize=15020872 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9678/stat : 9678 (java) S 9668 9668 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225298712 15381372928 32857 33554432000 4194304 4196468 140725751819696 140630248383904 140631592765141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9679] ppid=9668 vsize=15020872 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9679/stat : 9679 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298712 15381372928 32857 33554432000 4194304 4196468 140725751819696 140629979948528 140631592765141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9680] ppid=9668 vsize=15020872 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9680/stat : 9680 (java) S 9668 9668 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225298715 15381372928 32857 33554432000 4194304 4196468 140725751819696 140629605440208 140631592773531 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9681] ppid=9668 vsize=15020872 memory=61180 CPUtime=0.1 cores=1,3,5,7
/proc/9671/task/9681/stat : 9681 (java) R 9668 9668 3762 0 -1 4202560 636 0 0 0 10 0 0 0 20 0 15 0 225298715 15381372928 32857 33554432000 4194304 4196468 140725751819696 140630360509896 140631573455232 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9682] ppid=9668 vsize=15020872 memory=1240 CPUtime=0.08 cores=1,3,5,7
/proc/9671/task/9682/stat : 9682 (java) S 9668 9668 3762 0 -1 1077944384 310 0 0 0 8 0 0 0 20 0 15 0 225298715 15381372928 32857 33554432000 4194304 4196468 140725751819696 140630359476336 140631592766082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9683] ppid=9668 vsize=15020872 memory=2196 CPUtime=0.17 cores=1,3,5,7
/proc/9671/task/9683/stat : 9683 (java) S 9668 9668 3762 0 -1 1077944384 467 0 0 0 17 0 0 0 20 0 15 0 225298715 15381372928 32922 33554432000 4194304 4196468 140725751819696 140630358423792 140631592766082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9684] ppid=9668 vsize=15020872 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9684/stat : 9684 (java) S 9668 9668 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225298715 15381372928 32922 33554432000 4194304 4196468 140725751819696 140629107534432 140631592765141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
[pid=9671/tid=9685] ppid=9668 vsize=15020872 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/9671/task/9685/stat : 9685 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225298715 15381372928 32922 33554432000 4194304 4196468 140725751819696 140630357371696 140631592766082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27074560 140725751821319 140725751821617 140725751821617 140725751824335 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15131952 KiB
Current children cumulated memory: 132824 KiB

[startup+1.50104 s]
/proc/loadavg: 2.75 3.28 3.34 6/217 9685
/proc/meminfo: memFree=3400872/32770624 swapFree=67108860/67108860
[pid=9668] ppid=9665 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9668/stat : 9668 (scop.sh) S 9665 9668 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225298708 115843072 349 33554432000 4194304 5098028 140733239375376 140733239372632 139718462407292 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33751040 140733239379008 140733239379207 140733239379207 140733239381965 0
/proc/9668/statm: 28282 349 296 221 0 87 0

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

[pid=9686/tid=9699] ppid=9668 vsize=8068220 memory=280180447105336 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9699/stat : 9699 (java) S 9668 9668 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225300981 8261857280 30740 33554432000 4194304 4196468 140725627400032 140097672440288 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9700] ppid=9668 vsize=8068220 memory=4050622412582487296 CPUtime=0.02 cores=1,3,5,7
/proc/9686/task/9700/stat : 9700 (java) S 9668 9668 3762 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 225300981 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099209628592 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9702] ppid=9668 vsize=8068220 memory=3760962679854466873 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9702/stat : 9702 (java) S 9668 9668 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225301054 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099202151872 140099969122073 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9704] ppid=9668 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9704/stat : 9704 (java) S 9668 9668 3762 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 225301055 8261857280 30740 33554432000 4194304 4196468 140725627400032 140097135554608 140099969119389 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9705] ppid=9668 vsize=8068220 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9705/stat : 9705 (java) S 9668 9668 3762 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225301055 8261857280 30740 33554432000 4194304 4196468 140725627400032 140097001332144 140099969119389 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9706] ppid=9668 vsize=8068220 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9706/stat : 9706 (java) S 9668 9668 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225301057 8261857280 30740 33554432000 4194304 4196468 140725627400032 140097269783456 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
Current children cumulated CPU time: 103.87 s
Current children cumulated vsize: 8392128 KiB
Current children cumulated memory: 304888 KiB

[startup+83.601 s]
/proc/loadavg: 2.78 3.12 3.27 6/222 9707
/proc/meminfo: memFree=3256684/32770624 swapFree=67108860/67108860
[pid=9668] ppid=9665 vsize=113128 memory=1472 CPUtime=42.69 cores=1,3,5,7
/proc/9668/stat : 9668 (scop.sh) S 9665 9668 3762 0 -1 4202496 591 549522 0 0 0 0 4019 250 20 0 1 0 225298708 115843072 368 33554432000 4194304 5098028 140733239375376 140733239372120 139718462407292 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33751040 140733239379008 140733239379207 140733239379207 140733239381965 0
/proc/9668/statm: 28282 368 311 221 0 87 0
[pid=9686] ppid=9668 vsize=8068220 memory=122960 CPUtime=1.45 cores=1,3,5,7
/proc/9686/stat : 9686 (java) S 9668 9668 3762 0 -1 1077944320 18496 0 2 0 135 10 0 0 20 0 19 0 225300974 8261857280 30740 33554432000 4194304 4196468 140725627400032 140725627382576 140099969097463 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
/proc/9686/statm: 2017055 30740 3149 1 0 1978454 0
[pid=9701] ppid=9686 vsize=210780 memory=180456 CPUtime=60.13 cores=1,3,5,7
/proc/9701/stat : 9701 (minisat_release) R 9686 9668 3762 0 -1 4202496 205041 0 0 0 5989 24 0 0 20 0 1 0 225301054 215838720 45114 33554432000 4194304 4308513 140736400271744 140736400269192 4269582 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 31858688 140736400278645 140736400278742 140736400278742 140736400281541 0
/proc/9701/statm: 52695 45114 342 28 0 48935 0
[pid=9686/tid=9687] ppid=9668 vsize=8068220 memory=-5059952977386882957 CPUtime=0.81 cores=1,3,5,7
/proc/9686/task/9687/stat : 9687 (java) S 9668 9668 3762 0 -1 1077944384 15031 0 0 0 75 6 0 0 20 0 19 0 225300975 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099940937616 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9688] ppid=9668 vsize=8068220 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9688/stat : 9688 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225300976 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099973339536 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9689] ppid=9668 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9689/stat : 9689 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225300976 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099773507856 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9690] ppid=9668 vsize=8068220 memory=3048 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9690/stat : 9690 (java) S 9668 9668 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225300976 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099772455568 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9691] ppid=9668 vsize=8068220 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9691/stat : 9691 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225300976 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099771402768 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9692] ppid=9668 vsize=8068220 memory=11630132 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9692/stat : 9692 (java) S 9668 9668 3762 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 225300977 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099213838960 140099969108610 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9693] ppid=9668 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9693/stat : 9693 (java) S 9668 9668 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225300978 8261857280 30740 33554432000 4194304 4196468 140725627400032 140098813289760 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9694] ppid=9668 vsize=8068220 memory=3152 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9694/stat : 9694 (java) S 9668 9668 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225300978 8261857280 30740 33554432000 4194304 4196468 140725627400032 140098544854640 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9695] ppid=9668 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9695/stat : 9695 (java) S 9668 9668 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225300980 8261857280 30740 33554432000 4194304 4196468 140725627400032 140098170346064 140099969116059 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9696] ppid=9668 vsize=8068220 memory=122960 CPUtime=0.17 cores=1,3,5,7
/proc/9686/task/9696/stat : 9696 (java) S 9668 9668 3762 0 -1 1077944384 693 0 0 0 17 0 0 0 20 0 19 0 225300980 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099212785776 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9697] ppid=9668 vsize=8068220 memory=122960 CPUtime=0.16 cores=1,3,5,7
/proc/9686/task/9697/stat : 9697 (java) S 9668 9668 3762 0 -1 1077944384 708 0 0 0 16 0 0 0 20 0 19 0 225300980 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099211732976 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9698] ppid=9668 vsize=8068220 memory=55 CPUtime=0.23 cores=1,3,5,7
/proc/9686/task/9698/stat : 9698 (java) S 9668 9668 3762 0 -1 1077944384 648 0 0 0 23 0 0 0 20 0 19 0 225300980 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099210680688 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9699] ppid=9668 vsize=8068220 memory=-6944390654727184216 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9699/stat : 9699 (java) S 9668 9668 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225300981 8261857280 30740 33554432000 4194304 4196468 140725627400032 140097672440288 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9700] ppid=9668 vsize=8068220 memory=4206450464879581232 CPUtime=0.02 cores=1,3,5,7
/proc/9686/task/9700/stat : 9700 (java) S 9668 9668 3762 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 225300981 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099209628592 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9702] ppid=9668 vsize=8068220 memory=7681905605394137914 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9702/stat : 9702 (java) S 9668 9668 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225301054 8261857280 30740 33554432000 4194304 4196468 140725627400032 140099202151872 140099969122073 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9704] ppid=9668 vsize=8068220 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9704/stat : 9704 (java) S 9668 9668 3762 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 225301055 8261857280 30740 33554432000 4194304 4196468 140725627400032 140097135554608 140099969119389 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9705] ppid=9668 vsize=8068220 memory=-7233780906022726806 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9705/stat : 9705 (java) S 9668 9668 3762 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225301055 8261857280 30740 33554432000 4194304 4196468 140725627400032 140097001332144 140099969119389 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9706] ppid=9668 vsize=8068220 memory=5931348738031308880 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9706/stat : 9706 (java) S 9668 9668 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225301057 8261857280 30740 33554432000 4194304 4196468 140725627400032 140097269783456 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
Current children cumulated CPU time: 104.27 s
Current children cumulated vsize: 8392128 KiB
Current children cumulated memory: 304888 KiB

[startup+84.0013 s]*
/proc/loadavg: 2.96 3.15 3.28 7/220 9707
/proc/meminfo: memFree=3416720/32770624 swapFree=67108860/67108860
[pid=9668] ppid=9665 vsize=113128 memory=1472 CPUtime=42.69 cores=1,3,5,7
/proc/9668/stat : 9668 (scop.sh) S 9665 9668 3762 0 -1 4202496 591 549522 0 0 0 0 4019 250 20 0 1 0 225298708 115843072 368 33554432000 4194304 5098028 140733239375376 140733239372120 139718462407292 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33751040 140733239379008 140733239379207 140733239379207 140733239381965 0
/proc/9668/statm: 28282 368 311 221 0 87 0
[pid=9686] ppid=9668 vsize=8068220 memory=141916 CPUtime=62.11 cores=1,3,5,7
/proc/9686/stat : 9686 (java) S 9668 9668 3762 0 -1 1077944320 19085 205189 2 0 150 11 6025 25 20 0 18 0 225300974 8261857280 35479 33554432000 4194304 4196468 140725627400032 140725627382576 140099969097463 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
/proc/9686/statm: 2017055 35479 3175 1 0 1978454 0
[pid=9686/tid=9687] ppid=9668 vsize=8068220 memory=8148 CPUtime=61.31 cores=1,3,5,7
/proc/9686/task/9687/stat : 9687 (java) S 9668 9668 3762 0 -1 1077944384 15031 205189 0 0 75 6 6025 25 20 0 18 0 225300975 8261857280 35479 33554432000 4194304 4196468 140725627400032 140099940937616 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9688] ppid=9668 vsize=8068220 memory=-7003737579269690708 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9688/stat : 9688 (java) S 9668 9668 3762 0 -1 1077944384 1 205189 0 0 0 0 6025 25 20 0 18 0 225300976 8261857280 35479 33554432000 4194304 4196468 140725627400032 140099973339536 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9689] ppid=9668 vsize=8068220 memory=288230596050944315 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9689/stat : 9689 (java) S 9668 9668 3762 0 -1 1077944384 1 205189 0 0 0 0 6025 25 20 0 18 0 225300976 8261857280 35479 33554432000 4194304 4196468 140725627400032 140099773507856 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9690] ppid=9668 vsize=8068220 memory=1240 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9690/stat : 9690 (java) S 9668 9668 3762 0 -1 1077944384 2 205189 0 0 0 0 6025 25 20 0 18 0 225300976 8261857280 35479 33554432000 4194304 4196468 140725627400032 140099772455568 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9691] ppid=9668 vsize=8068220 memory=2196 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9691/stat : 9691 (java) S 9668 9668 3762 0 -1 1077944384 1 205189 0 0 0 0 6025 25 20 0 18 0 225300976 8261857280 35479 33554432000 4194304 4196468 140725627400032 140099771402768 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9692] ppid=9668 vsize=8068220 memory=1776 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9692/stat : 9692 (java) S 9668 9668 3762 0 -1 1077944384 7 205189 0 0 0 0 6025 25 20 0 18 0 225300977 8261857280 35479 33554432000 4194304 4196468 140725627400032 140099213838960 140099969108610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9693] ppid=9668 vsize=8068220 memory=1004 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9693/stat : 9693 (java) S 9668 9668 3762 0 -1 1077944384 13 205189 0 0 0 0 6025 25 20 0 18 0 225300978 8261857280 35479 33554432000 4194304 4196468 140725627400032 140098813289760 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9694] ppid=9668 vsize=8068220 memory=11764 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9694/stat : 9694 (java) S 9668 9668 3762 0 -1 1077944384 1 205189 0 0 0 0 6025 25 20 0 18 0 225300978 8261857280 35479 33554432000 4194304 4196468 140725627400032 140098544854640 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9695] ppid=9668 vsize=8068220 memory=5712 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9695/stat : 9695 (java) S 9668 9668 3762 0 -1 1077944384 3 205189 0 0 0 0 6025 25 20 0 18 0 225300980 8261857280 35479 33554432000 4194304 4196468 140725627400032 140098170346064 140099969116059 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9696] ppid=9668 vsize=8068220 memory=792 CPUtime=60.7 cores=1,3,5,7
/proc/9686/task/9696/stat : 9696 (java) R 9668 9668 3762 0 -1 4202560 702 205189 0 0 20 0 6025 25 20 0 18 0 225300980 8261857280 35479 33554432000 4194304 4196468 140725627400032 140099212785776 140099953995839 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9697] ppid=9668 vsize=8068220 memory=1224 CPUtime=60.7 cores=1,3,5,7
/proc/9686/task/9697/stat : 9697 (java) R 9668 9668 3762 0 -1 1077944384 802 205189 0 0 20 0 6025 25 20 0 18 0 225300980 8261857280 35479 33554432000 4194304 4196468 140725627400032 140099211732976 140099969108610 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9698] ppid=9668 vsize=8068220 memory=1944 CPUtime=60.76 cores=1,3,5,7
/proc/9686/task/9698/stat : 9698 (java) R 9668 9668 3762 0 -1 4202560 1081 205189 0 0 26 0 6025 25 20 0 18 0 225300980 8261857280 35479 33554432000 4194304 4196468 140725627400032 140099210680688 140099969118810 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9699] ppid=9668 vsize=8068220 memory=1384 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9699/stat : 9699 (java) S 9668 9668 3762 0 -1 1077944384 3 205189 0 0 0 0 6025 25 20 0 18 0 225300981 8261857280 35479 33554432000 4194304 4196468 140725627400032 140097672440288 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9700] ppid=9668 vsize=8068220 memory=4536 CPUtime=60.52 cores=1,3,5,7
/proc/9686/task/9700/stat : 9700 (java) S 9668 9668 3762 0 -1 1077944384 5 205189 0 0 1 1 6025 25 20 0 18 0 225300981 8261857280 35479 33554432000 4194304 4196468 140725627400032 140099209628592 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9702] ppid=9668 vsize=8068220 memory=8448 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9702/stat : 9702 (java) S 9668 9668 3762 0 -1 1077944384 24 205189 0 0 0 0 6025 25 20 0 18 0 225301054 8261857280 35479 33554432000 4194304 4196468 140725627400032 140099202151056 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9704] ppid=9668 vsize=8068220 memory=1628 CPUtime=60.56 cores=1,3,5,7
/proc/9686/task/9704/stat : 9704 (java) S 9668 9668 3762 0 -1 1077944384 79 205189 0 0 6 0 6025 25 20 0 18 0 225301055 8261857280 35479 33554432000 4194304 4196468 140725627400032 140097135560592 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9706] ppid=9668 vsize=8068220 memory=1144 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9706/stat : 9706 (java) S 9668 9668 3762 0 -1 1077944384 21 205189 0 0 0 0 6025 25 20 0 18 0 225301057 8261857280 35479 33554432000 4194304 4196468 140725627400032 140097269783216 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
Current children cumulated CPU time: 104.8 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 143388 KiB

[startup+84.1106 s]
/proc/loadavg: 2.96 3.15 3.28 7/220 9707
/proc/meminfo: memFree=3416720/32770624 swapFree=67108860/67108860
[pid=9668] ppid=9665 vsize=113128 memory=1472 CPUtime=42.69 cores=1,3,5,7
/proc/9668/stat : 9668 (scop.sh) S 9665 9668 3762 0 -1 4202496 591 549522 0 0 0 0 4019 250 20 0 1 0 225298708 115843072 368 33554432000 4194304 5098028 140733239375376 140733239372120 139718462407292 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33751040 140733239379008 140733239379207 140733239379207 140733239381965 0
/proc/9668/statm: 28282 368 311 221 0 87 0
[pid=9686] ppid=9668 vsize=7937144 memory=147304 CPUtime=62.33 cores=1,3,5,7
/proc/9686/stat : 9686 (java) S 9668 9668 3762 0 -1 1077944320 19438 205189 2 0 172 11 6025 25 20 0 17 0 225300974 8127635456 36826 33554432000 4194304 4196468 140725627400032 140725627382576 140099969097463 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
/proc/9686/statm: 1984286 36826 3181 1 0 1945685 0
[pid=9686/tid=9687] ppid=9668 vsize=7937144 memory=122960 CPUtime=61.4 cores=1,3,5,7
/proc/9686/task/9687/stat : 9687 (java) R 9668 9668 3762 0 -1 4202560 15220 205189 0 0 83 7 6025 25 20 0 17 0 225300975 8127635456 36826 33554432000 4194304 4196468 140725627400032 140099940935920 140099953177950 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9688] ppid=9668 vsize=7937144 memory=122960 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9688/stat : 9688 (java) S 9668 9668 3762 0 -1 1077944384 1 205189 0 0 0 0 6025 25 20 0 17 0 225300976 8127635456 36826 33554432000 4194304 4196468 140725627400032 140099973339536 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9689] ppid=9668 vsize=7937144 memory=1472 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9689/stat : 9689 (java) S 9668 9668 3762 0 -1 1077944384 1 205189 0 0 0 0 6025 25 20 0 17 0 225300976 8127635456 36826 33554432000 4194304 4196468 140725627400032 140099773507856 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9690] ppid=9668 vsize=7937144 memory=3470702268888526910 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9690/stat : 9690 (java) S 9668 9668 3762 0 -1 1077944384 2 205189 0 0 0 0 6025 25 20 0 17 0 225300976 8127635456 36826 33554432000 4194304 4196468 140725627400032 140099772455568 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9691] ppid=9668 vsize=7937144 memory=172264 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9691/stat : 9691 (java) S 9668 9668 3762 0 -1 1077944384 1 205189 0 0 0 0 6025 25 20 0 17 0 225300976 8127635456 36826 33554432000 4194304 4196468 140725627400032 140099771402768 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9692] ppid=9668 vsize=7937144 memory=1472 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9692/stat : 9692 (java) S 9668 9668 3762 0 -1 1077944384 7 205189 0 0 0 0 6025 25 20 0 17 0 225300977 8127635456 36826 33554432000 4194304 4196468 140725627400032 140099213838960 140099969108610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9693] ppid=9668 vsize=7937144 memory=1472 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9693/stat : 9693 (java) S 9668 9668 3762 0 -1 1077944384 13 205189 0 0 0 0 6025 25 20 0 17 0 225300978 8127635456 36826 33554432000 4194304 4196468 140725627400032 140098813289760 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9694] ppid=9668 vsize=7937144 memory=122960 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9694/stat : 9694 (java) S 9668 9668 3762 0 -1 1077944384 1 205189 0 0 0 0 6025 25 20 0 17 0 225300978 8127635456 36826 33554432000 4194304 4196468 140725627400032 140098544854640 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9695] ppid=9668 vsize=7937144 memory=11764 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9695/stat : 9695 (java) S 9668 9668 3762 0 -1 1077944384 3 205189 0 0 0 0 6025 25 20 0 17 0 225300980 8127635456 36826 33554432000 4194304 4196468 140725627400032 140098170346064 140099969116059 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9696] ppid=9668 vsize=7937144 memory=5712 CPUtime=60.73 cores=1,3,5,7
/proc/9686/task/9696/stat : 9696 (java) S 9668 9668 3762 0 -1 1077944384 720 205189 0 0 23 0 6025 25 20 0 17 0 225300980 8127635456 36826 33554432000 4194304 4196468 140725627400032 140099212785776 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9697] ppid=9668 vsize=7937144 memory=4536 CPUtime=60.74 cores=1,3,5,7
/proc/9686/task/9697/stat : 9697 (java) S 9668 9668 3762 0 -1 1077944384 817 205189 0 0 24 0 6025 25 20 0 17 0 225300980 8127635456 36826 33554432000 4194304 4196468 140725627400032 140099211732976 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9698] ppid=9668 vsize=7937144 memory=8448 CPUtime=60.8 cores=1,3,5,7
/proc/9686/task/9698/stat : 9698 (java) S 9668 9668 3762 0 -1 1077944384 1200 205189 0 0 30 0 6025 25 20 0 17 0 225300980 8127635456 36826 33554432000 4194304 4196468 140725627400032 140099210680688 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9699] ppid=9668 vsize=7937144 memory=1628 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9699/stat : 9699 (java) S 9668 9668 3762 0 -1 1077944384 3 205189 0 0 0 0 6025 25 20 0 17 0 225300981 8127635456 36826 33554432000 4194304 4196468 140725627400032 140097672440288 140099969107669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9700] ppid=9668 vsize=7937144 memory=1472 CPUtime=60.52 cores=1,3,5,7
/proc/9686/task/9700/stat : 9700 (java) S 9668 9668 3762 0 -1 1077944384 5 205189 0 0 1 1 6025 25 20 0 17 0 225300981 8127635456 36826 33554432000 4194304 4196468 140725627400032 140099209628592 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9702] ppid=9668 vsize=7937144 memory=122960 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9702/stat : 9702 (java) S 9668 9668 3762 0 -1 1077944384 24 205189 0 0 0 0 6025 25 20 0 17 0 225301054 8127635456 36826 33554432000 4194304 4196468 140725627400032 140099202151056 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
[pid=9686/tid=9706] ppid=9668 vsize=7937144 memory=1472 CPUtime=60.5 cores=1,3,5,7
/proc/9686/task/9706/stat : 9706 (java) S 9668 9668 3762 0 -1 1077944384 27 205189 0 0 0 0 6025 25 20 0 17 0 225301057 8127635456 36826 33554432000 4194304 4196468 140725627400032 140097269785264 140099969108610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12197888 140725627401398 140725627401521 140725627401521 140725627404239 0
Current children cumulated CPU time: 105.02 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 148776 KiB

Child status: 0
Real time (s): 84.1798
CPU time (s): 105.226
CPU user time (s): 102.336
CPU system time (s): 2.88959
CPU usage (%): 125.001
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3291496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.336
system time used= 2.88959
maximum resident set size= 3290356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775443
page faults= 2
swaps= 0
block input operations= 40
block output operations= 126968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9808
involuntary context switches= 184


# summary of solver processes directly reported to runsolver:
#   pid: 9668
#   total CPU time (s): 105.226
#   total CPU user time (s): 102.336
#   total CPU system time (s): 2.88959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.586784 second user time and 0.959577 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-12 14:35:55
IDJOB=4305326
IDBENCH=141449
IDSOLVER=2782
FILE ID=node151/4305326-1534077355
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-85-02_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -order minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305326-1534077355/watcher-4305326-1534077355 -o /tmp/evaluation-result-4305326-1534077355/solver-4305326-1534077355 -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-4305326-1534077355.xml

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

MD5SUM BENCH= 8bc781233594bd95127afade52cac536
RANDOM SEED=64752562

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:         3544760 kB
MemAvailable:   20261124 kB
Buffers:          257688 kB
Cached:         16525164 kB
SwapCached:            0 kB
Active:         17797256 kB
Inactive:       10659528 kB
Active(anon):    9664628 kB
Inactive(anon):  2061636 kB
Active(file):    8132628 kB
Inactive(file):  8597892 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7996 kB
Writeback:             0 kB
AnonPages:      11718376 kB
Mapped:            72280 kB
Shmem:             49800 kB
Slab:             442900 kB
SReclaimable:     414304 kB
SUnreclaim:        28596 kB
KernelStack:        3824 kB
PageTables:        27960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13045932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11145216 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:37:19