Trace number 4307082

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+glucose-syrup (2018-07-31)SAT 45.2021 21.5425

General information on the benchmark

NameCarSequencing/
CarSequencing-60-02_c18.xml
MD5SUM7d15061b3f8ae249c0a64b716749507b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.89204
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1354
Number of domains2
Minimum domain size2
Maximum domain size17
Distribution of domain sizes[{"size":2,"count":1000},{"size":17,"count":200}]
Minimum variable degree2
Maximum variable degree54
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":19},{"degree":22,"count":179},{"degree":23,"count":16},{"degree":24,"count":16},{"degree":25,"count":16},{"degree":26,"count":16},"...",{"degree":30,"count":16}, {"degree":31,"count":16}, {"degree":32,"count":17}, {"degree":33,"count":18}, {"degree":34,"count":18}, {"degree":35,"count":122}, {"degree":36,"count":59}, {"degree":37,"count":8}, {"degree":38,"count":9}, {"degree":39,"count":9}, {"degree":40,"count":9}, {"degree":41,"count":9}, {"degree":42,"count":24}, {"degree":43,"count":3}, {"degree":44,"count":3}, {"degree":45,"count":3}, {"degree":46,"count":3}, {"degree":47,"count":3}, {"degree":48,"count":3}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":3}, {"degree":52,"count":4}, {"degree":53,"count":4}, {"degree":54,"count":51}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":25,"count":1},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":50,"count":1},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},{"arity":80,"count":3},{"arity":83,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1153},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-14891-serial-file.bin HOME/instance-4307082-1534196923.xml
0.66/0.53	
0.66/0.53	scop order+glucose-syrup (2018-07-31)
0.66/0.53	(Encoding Process)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Mon Aug 13 23:48:43 CEST 2018
0.66/0.56	c PID: 14894
0.66/0.56	c IP: 172.20.3.150
0.66/0.56	c HOST: node150.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.96/1.38	c (0,0) Parsing End
2.96/1.39	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1354 ctr, max domain size 17
2.96/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.96/1.39	c (0,0) Constraint Name Generate Begin
3.31/1.41	c (0,0) Ctr:HOME/instance-4307082-1534196923.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.31/1.41	c (0,0) Constraint Name Generate End
3.31/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.31/1.41	c (0,0) CSP to CSPinCNF Begin
11.03/3.95	c (3,3) translated 136 (10%) constraints
11.52/4.37	c (3,3) translated 271 (20%) constraints
11.52/4.39	c (3,3) translated 407 (30%) constraints
11.77/4.42	c (3,3) translated 542 (40%) constraints
11.77/4.44	c (3,3) translated 677 (50%) constraints
11.77/4.47	c (3,3) translated 813 (60%) constraints
11.77/4.48	c (3,3) translated 948 (70%) constraints
12.16/4.50	c (3,3) translated 1084 (80%) constraints
12.93/4.86	c (4,4) translated 1219 (90%) constraints
15.03/6.55	c (6,5) translated 1354 (100%) constraints
16.43/7.04	c (6,6) STATISTICS1:HOME/instance-4307082-1534196923.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,13000,44370,9223372036854775807,17,18,200,9223372036854775807:186;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:1;17592186044416:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,17:13200;2:124609,18:200;3:22400;2:20600;1:1170,200:39;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;161:2;160:2;158:2;155:4;152:2;150:2;149:2;146:2;145:2;143:2;140:4;137:2;135:2;134:2;131:2;130:2;128:2;125:4;122:2;120:2;119:2;116:2;115:2;113:2;110:4;107:1;105:2;104:1;101:1;100:2;98:1;95:3;92:1;90:2;89:1;86:1;85:2;83:1;80:3;77:1;75:2;74:1;71:1;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:1;45:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:111800;0:200,17689:39;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11449:2;11236:2;11025:2;10609:4;10201:2;10000:2;9801:2;9409:2;9216:2;9025:2;8649:4;8281:2;8100:2;7921:2;7569:2;7396:2;7225:2;6889:4;6561:2;6400:2;6241:2;5929:2;5776:2;5625:2;5329:4;5041:1;4900:2;4761:1;4489:1;4356:2;4225:1;3969:3;3721:1;3600:2;3481:1;3249:1;3136:2;3025:1;2809:3;2601:1;2500:2;2401:1;2209:1;2116:2;2025:1;1849:3
16.43/7.04	c (6,6) ==========================================
16.43/7.04	c (6,6) Order
16.43/7.04	c (6,6) ==========================================
18.33/7.65	c (7,7) translated 4437 (10%) constraints
19.13/7.84	c (7,7) translated 8874 (20%) constraints
19.54/7.92	c (7,7) translated 13311 (30%) constraints
19.54/7.99	c (7,7) translated 17748 (40%) constraints
19.87/8.06	c (7,7) translated 22185 (50%) constraints
20.17/8.13	c (7,7) translated 26622 (60%) constraints
20.32/8.20	c (7,7) translated 31059 (70%) constraints
20.32/8.27	c (7,7) translated 35496 (80%) constraints
20.43/8.34	c (7,7) translated 39933 (90%) constraints
25.65/10.09	c (9,9) translated 44370 (100%) constraints
25.65/10.10	c (9,9) CSP to CSPinCNF End
25.65/10.10	c (9,9) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58596 ctr, max domain size 68
25.65/10.10	c (9,9) Heap : 4280 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.65/10.10	c (9,9) CSPinCNF Propagation Begin
27.45/10.52	c (9,9) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
27.45/10.52	c (9,9) CSPinCNF Propagation End
27.45/10.53	c (9,9) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58196 ctr, max domain size 68
27.45/10.53	c (9,9) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
27.45/10.53	c (9,9) Simplify CSPinCNF Begin
27.80/10.67	c (10,10) Simplify CSPinCNF End
27.80/10.68	c (10,10) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58196 ctr, max domain size 68
27.80/10.68	c (10,10) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
27.80/10.68	c (10,10) Calculate Precise Domain Begin
28.03/10.73	c (10,10) 0 values are removed by re-calculation
28.03/10.73	c (10,10) Calculate Precise Domain End
28.03/10.73	c (10,10) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58196 ctr, max domain size 68
28.03/10.73	c (10,10) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.03/10.73	c (10,10) CSPinCNF to SatSolver Begin
31.93/12.55	c (12,11) 5820 (10 %) CSP clauses are encoded (73465 SAT variables, 416769 SAT clauses)
32.27/12.60	c (12,11) 11640 (20 %) CSP clauses are encoded (73465 SAT variables, 422589 SAT clauses)
32.27/12.67	c (12,12) 17459 (30 %) CSP clauses are encoded (73465 SAT variables, 428408 SAT clauses)
32.53/12.70	c (12,12) 23279 (40 %) CSP clauses are encoded (73465 SAT variables, 434228 SAT clauses)
32.53/12.74	c (12,12) 29098 (50 %) CSP clauses are encoded (73465 SAT variables, 440047 SAT clauses)
32.53/12.77	c (12,12) 34918 (60 %) CSP clauses are encoded (73465 SAT variables, 445867 SAT clauses)
32.64/12.80	c (12,12) 40738 (70 %) CSP clauses are encoded (73465 SAT variables, 451687 SAT clauses)
32.64/12.83	c (12,12) 46557 (80 %) CSP clauses are encoded (73465 SAT variables, 457506 SAT clauses)
32.85/13.07	c (12,12) 52377 (90 %) CSP clauses are encoded (73465 SAT variables, 528987 SAT clauses)
36.04/16.24	c (15,15) 58196 (100 %) CSP clauses are encoded (73465 SAT variables, 1774773 SAT clauses)
36.04/16.24	c (15,15) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
36.04/16.24	c (15,15) CSPinCNF to SatSolver End
36.04/16.24	c (15,15) Heap : 3635 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
36.95/16.53	c (15,15) STATISTICS2:HOME/instance-4307082-1534196923.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,19407,58196,4556,68,17,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:2;2970:2;2916:4;2862:2;2756:4;2652:2;2601:2;2550:2;2450:2;2401:2;2352:2;2256:4;2162:2;2116:2;2070:2;1980:2;1936:2;1892:2;1806:4;1722:2;1681:2;1640:2;1600:2;1560:2;1521:2;1482:2;1406:4;1332:1;1296:2;1260:1;1190:23;1156:21;1122:17;1089:13;1056:17;1024:202;992:13;961:27;930:13;900:15;870:15;841:15;812:17;784:9;756:13;729:10;702:9;676:14;650:9;625:10;600:11;576:10;552:13;529:8;512:493;506:13;484:10;462:9;441:14;420:9;400:10;380:11;361:8;342:10;324:31;306:92;289:63;272:61;256:1468;240:61;225:63;210:51;196:44;182:49;169:43;156:46;144:45;132:43;128:925;121:50;110:43;100:38;96:179;90:381;85:16;81:384;72:263;68:8;64:791;56:188;54:12;51:24;49:182;36:28;34:56;25:195;16:758;9:24;4:452;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:30;54:32;53:20;52:16;51:24;50:16;49:20;48:20;47:16;46:24;45:16;44:20;43:20;42:16;41:24;40:28;39:20;38:20;37:12;36:18;35:54;34:166;33:126;32:122;31:170;30:122;29:126;28:102;27:86;26:98;25:86;24:90;23:90;22:86;21:98;20:86;19:76;18:746;17:19966;16:518;15:478;14:376;13:364;12:716;11:374;10:986;9:2800;8:1850;7:1104;5:788;4:36;3:108;2:138061,17:200;3:22000;2:27400;1:8596,11:187;10:493;9:1400;8:925;7:552;5:929;3:3911;2:199;1:124200,
36.95/16.53	c (15,15) 73465 bool, 1774863 clause
36.95/16.53	c (15,15) Export Begin
37.16/16.69	c (16,16) Export to HOME/scop-14891-serial-file.bin
37.16/16.69	c (16,16) Export End
37.16/16.69	c (16,16) Export File Size: 0.24 MB
37.16/16.69	c (16,16) 0,0,9,9,10,10,15,STOP-AFTER(DIMACS)
37.16/16.69	c END-Prog: Mon Aug 13 23:48:59 CEST 2018
37.48/16.73	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-14891-serial-file.bin
38.10/17.22	c (0,0) Read Serial File Begin
38.10/17.22	c (0,0) HOME/scop-14891-serial-file.bin
38.48/17.47	c (0,0) Read Serial File End
38.48/17.48	
38.48/17.48	scop order+glucose-syrup (2018-07-31)
38.48/17.48	(Solving Process)
38.48/17.48	
38.74/17.50	c BEGIN-Prog: Mon Aug 13 23:49:00 CEST 2018
38.74/17.50	c PID: 14914
38.74/17.50	c IP: 172.20.3.150
38.74/17.51	c HOST: node150.alineos.net
38.74/17.51	c (0,0) SatSolver.solve Begin
38.74/17.51	c (0,0) 0 bool, 0 clause
38.74/17.51	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307082-1534196923.xml-scop-14894.cnf
44.52/21.31	c (4,0) c
44.52/21.31	c (4,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
44.52/21.31	c (4,0) c
44.52/21.31	c (4,0) c WARNING: for repeatability, setting FPU to use double precision
44.52/21.31	c (4,0) c 8 solvers engines and 1 companion as a blackboard created.
44.52/21.31	c (4,0) c ========================================[ Problem Statistics ]===========================================
44.52/21.31	c (4,0) c |                                                                                                       |
44.52/21.31	c (4,0) c |  Number of variables:         73465                                                                   |
44.52/21.31	c (4,0) c |  Number of clauses:         1774707                                                                   |
44.52/21.31	c (4,0) c |  Parse time:                   0.60 s                                                                 |
44.52/21.31	c (4,0) c |                                                                                                       |
44.52/21.31	c (4,0) c |  Eliminated clauses:           0.46 Mb                                                                |
44.52/21.31	c (4,0) c |  Simplification time:          2.43 s                                                                 |
44.52/21.31	c (4,0) c |                                                                                                       |
44.52/21.31	c (4,0) c |  Generating clones                                                                                    |
44.52/21.31	c (4,0) c |  all clones generated. Memory = 720.81Mb.                                                             |
44.52/21.31	c (4,0) c ========================================================================================================|
44.52/21.31	c (4,0) c last restart ## conflicts  :  113 1944 
44.52/21.31	c (4,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer).
44.52/21.31	c (4,0) c Total Memory so far : 1309.14Mb
44.52/21.31	c (4,0) c
44.52/21.31	c (4,0) c real time : 3.781 s
44.52/21.31	c (4,0) c cpu time  : 5.36387 s
44.52/21.32	c (4,0) c
44.52/21.32	c (4,0) c
44.52/21.32	c (4,0) c
44.52/21.32	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
44.52/21.32	c (4,0) c
44.52/21.32	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.52/21.32	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
44.52/21.32	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.52/21.32	c (4,0) c | Conflicts     |            3479 |        334 |        440 |        358 |        441 |        374 |        442 |        732 |        358 |
44.52/21.32	c (4,0) c | Decisions     |           55604 |       5142 |       6316 |       5747 |       6396 |      12288 |       6638 |       7330 |       5747 |
44.52/21.32	c (4,0) c | Propagations  |         3672134 |     380163 |     502300 |     410604 |     506087 |     434159 |     527121 |     501096 |     410604 |
44.52/21.32	c (4,0) c | Avg_Trail     |                 |      21217 |      17679 |      14179 |      17703 |      18166 |      17693 |      22113 |      14179 |
44.52/21.32	c (4,0) c | Avg_DL        |                 |        501 |        578 |        309 |        579 |        382 |        578 |        162 |        309 |
44.52/21.32	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.52/21.32	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.52/21.32	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.52/21.32	c (4,0) c | Exported      |              50 |         10 |          5 |          5 |          5 |          7 |          5 |          8 |          5 |
44.52/21.32	c (4,0) c | Imported      |             287 |         38 |         25 |         34 |         45 |         32 |         45 |         34 |         34 |
44.52/21.32	c (4,0) c | Good          |             134 |         17 |          7 |         15 |         26 |         13 |         26 |         15 |         15 |
44.52/21.32	c (4,0) c | Purge         |             153 |         21 |         18 |         19 |         19 |         19 |         19 |         19 |         19 |
44.52/21.32	c (4,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.52/21.32	c (4,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.52/21.32	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.52/21.32	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.52/21.32	c (4,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.52/21.32	c (4,0) c | Binaries      |                 |          9 |          2 |          2 |          2 |          4 |          2 |          5 |          2 |
44.52/21.32	c (4,0) c | Glues         |                 |         10 |          5 |          5 |          5 |          7 |          5 |          8 |          5 |
44.52/21.32	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.52/21.32	c (4,0) c | Orig_Seen     |             0 % |       2312 |       2340 |       2282 |       2340 |       2977 |       2343 |       3376 |       2282 |
44.52/21.32	c (4,0) c | Diff Orig seen|                 | -      665 | -      637 | -      695 | -      637 |      X     | -      634 |        399 | -      695 |
44.52/21.32	c (4,0) c | Hamming       |             9 % |       9509 |       7248 |       6808 |       6286 |      X     |       6279 |       6662 |       6808 |
44.52/21.32	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.52/21.32	c (4,0) 
44.52/21.32	c (4,0) s SATISFIABLE
44.52/21.39	c (4,0) SatSolver.solve End
44.52/21.39	c (4,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
44.52/21.39	c (4,0) Show results Begin
44.85/21.48	s SATISFIABLE
45.06/21.52	v <instantiation>
45.06/21.52	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>
45.06/21.52	v     <values>7 8 4 10 13 13 7 12 13 8 13 13 11 13 4 7 8 8 7 2 4 8 13 13 7 8 4 7 8 13 7 8 4 8 2 13 7 13 4 7 8 13 7 8 4 8 2 13 16 10 4 8 13 13 7 8 4 8 13 13 7 8 4 7 8 13 7 8 4 5 13 16 7 8 4 14 8 13 7 8 4 8 13 13 7 13 4 7 8 13 7 8 4 8 13 13 7 4 13 8 8 13 7 1 8 7 8 16 15 13 8 7 8 4 11 13 13 7 8 8 7 4 13 7 8 8 11 13 4 7 13 8 3 13 4 7 13 8 7 4 8 2 13 7 1 8 8 7 13 4 7 13 8 7 4 13 13 0 8 4 13 13 7 8 4 7 8 13 7 4 8 7 8 13 6 8 13 7 8 4 13 0 13 8 4 13 7 13 8 9 8 13 16 8 4 13 13 8 8 4 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1</values>
45.06/21.52	v </instantiation>
45.06/21.52	c (4,0) Show results End
45.06/21.52	c (4,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
45.06/21.52	c (4,0) 4,4,STOP-AFTER(ALL)
45.06/21.52	c END-Prog: Mon Aug 13 23:49:04 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 (4592 MiB free)
  memory of node 1: 16384 MiB (10193 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307082-1534196923/watcher-4307082-1534196923 -o /tmp/evaluation-result-4307082-1534196923/solver-4307082-1534196923 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1534191880-14510 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307082-1534196923.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14891, runsolver pid=14888


[startup+0.100137 s]*
/proc/loadavg: 7.86 8.20 8.04 3/199 14913
/proc/meminfo: memFree=15046940/32770624 swapFree=67108792/67108860
[pid=14891] ppid=14888 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14891/stat : 14891 (scop.sh) S 14888 14891 14483 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 237255537 115843072 349 33554432000 4194304 5098028 140737192499472 140737192496728 140108240327292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24875008 140737192502306 140737192502531 140737192502531 140737192505293 0
/proc/14891/statm: 28282 349 296 221 0 87 0
[pid=14894] ppid=14891 vsize=27313900 memory=106168 CPUtime=0.1 cores=0-7
/proc/14894/stat : 14894 (java) S 14891 14891 14483 0 -1 1077944320 6510 0 0 0 7 3 0 0 20 0 20 0 237255537 27969433600 26542 33554432000 4194304 4196468 140726249770896 140726249753440 139759021788919 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
/proc/14894/statm: 6828475 26542 2740 1 0 6790935 0
[pid=14894/tid=14895] ppid=14891 vsize=27313900 memory=8257519724899769760 CPUtime=0.08 cores=0-7
/proc/14894/task/14895/stat : 14895 (java) R 14891 14891 14483 0 -1 4202560 4611 0 0 0 6 2 0 0 20 0 20 0 237255537 27969433600 26542 33554432000 4194304 4196468 140726249770896 139758993566000 139759005869436 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14896] ppid=14891 vsize=27313900 memory=732370478327700453 CPUtime=0 cores=0-7
/proc/14894/task/14896/stat : 14896 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 26542 33554432000 4194304 4196468 140726249770896 139759026030992 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14897] ppid=14891 vsize=27313900 memory=140339990247040 CPUtime=0 cores=0-7
/proc/14894/task/14897/stat : 14897 (java) S 14891 14891 14483 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 26542 33554432000 4194304 4196468 140726249770896 139758444116240 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14898] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14898/stat : 14898 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 26542 33554432000 4194304 4196468 140726249770896 139758443063952 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14899] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14899/stat : 14899 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 26542 33554432000 4194304 4196468 140726249770896 139758442011152 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14900] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14900/stat : 14900 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 26542 33554432000 4194304 4196468 140726249770896 139758440958864 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14901] ppid=14891 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14894/task/14901/stat : 14901 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 26542 33554432000 4194304 4196468 140726249770896 139758439906064 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14902] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14902/stat : 14902 (java) S 14891 14891 14483 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 26542 33554432000 4194304 4196468 140726249770896 139758438853776 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14903] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14903/stat : 14903 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 26542 33554432000 4194304 4196468 140726249770896 139758437800976 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14904] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14904/stat : 14904 (java) S 14891 14891 14483 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237255541 27969433600 26542 33554432000 4194304 4196468 140726249770896 139757543258224 139759021800066 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14905] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14905/stat : 14905 (java) S 14891 14891 14483 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237255542 27969433600 26542 33554432000 4194304 4196468 140726249770896 139756625191712 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14906] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14906/stat : 14906 (java) S 14891 14891 14483 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237255542 27969433600 26542 33554432000 4194304 4196468 140726249770896 139756490970224 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14907] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14907/stat : 14907 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255544 27969433600 26542 33554432000 4194304 4196468 140726249770896 139756116465744 139759021807515 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14908] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14908/stat : 14908 (java) S 14891 14891 14483 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 237255544 27969433600 26542 33554432000 4194304 4196468 140726249770896 139757542206064 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14909] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14909/stat : 14909 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255544 27969433600 26542 33554432000 4194304 4196468 140726249770896 139757541153264 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14910] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14910/stat : 14910 (java) S 14891 14891 14483 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237255544 27969433600 26542 33554432000 4194304 4196468 140726249770896 139757540100976 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14911] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14911/stat : 14911 (java) S 14891 14891 14483 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 20 0 237255544 27969433600 26542 33554432000 4194304 4196468 140726249770896 139757539048176 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14912] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14912/stat : 14912 (java) S 14891 14891 14483 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237255545 27969433600 26542 33554432000 4194304 4196468 140726249770896 139755618560352 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14913] ppid=14891 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14894/task/14913/stat : 14913 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255545 27969433600 26607 33554432000 4194304 4196468 140726249770896 139757537995056 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 107564 KiB

[startup+0.209829 s]*
/proc/loadavg: 7.86 8.20 8.04 2/199 14913
/proc/meminfo: memFree=15030568/32770624 swapFree=67108792/67108860
[pid=14891] ppid=14888 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14891/stat : 14891 (scop.sh) S 14888 14891 14483 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 237255537 115843072 349 33554432000 4194304 5098028 140737192499472 140737192496728 140108240327292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24875008 140737192502306 140737192502531 140737192502531 140737192505293 0
/proc/14891/statm: 28282 349 296 221 0 87 0
[pid=14894] ppid=14891 vsize=27313900 memory=120792 CPUtime=0.24 cores=0-7
/proc/14894/stat : 14894 (java) S 14891 14891 14483 0 -1 1077944320 10424 0 0 0 20 4 0 0 20 0 20 0 237255537 27969433600 30198 33554432000 4194304 4196468 140726249770896 140726249753440 139759021788919 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
/proc/14894/statm: 6828475 30198 2903 1 0 6790935 0
[pid=14894/tid=14895] ppid=14891 vsize=27313900 memory=0 CPUtime=0.19 cores=0-7
/proc/14894/task/14895/stat : 14895 (java) R 14891 14891 14483 0 -1 4202560 8302 0 0 0 16 3 0 0 20 0 20 0 237255537 27969433600 30198 33554432000 4194304 4196468 140726249770896 139758993597664 139759005869406 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14896] ppid=14891 vsize=27313900 memory=732370478327700453 CPUtime=0 cores=0-7
/proc/14894/task/14896/stat : 14896 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 30198 33554432000 4194304 4196468 140726249770896 139759026030992 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14897] ppid=14891 vsize=27313900 memory=140339990247040 CPUtime=0 cores=0-7
/proc/14894/task/14897/stat : 14897 (java) S 14891 14891 14483 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 30198 33554432000 4194304 4196468 140726249770896 139758444116240 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14898] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14898/stat : 14898 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 30198 33554432000 4194304 4196468 140726249770896 139758443063952 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14899] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14899/stat : 14899 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 30198 33554432000 4194304 4196468 140726249770896 139758442011152 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14900] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14900/stat : 14900 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 30198 33554432000 4194304 4196468 140726249770896 139758440958864 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14901] ppid=14891 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14894/task/14901/stat : 14901 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 30198 33554432000 4194304 4196468 140726249770896 139758439906064 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14902] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14902/stat : 14902 (java) S 14891 14891 14483 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 30198 33554432000 4194304 4196468 140726249770896 139758438853776 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14903] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14903/stat : 14903 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 30198 33554432000 4194304 4196468 140726249770896 139758437800976 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14904] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14904/stat : 14904 (java) S 14891 14891 14483 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237255541 27969433600 30198 33554432000 4194304 4196468 140726249770896 139757543258224 139759021800066 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14905] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14905/stat : 14905 (java) S 14891 14891 14483 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237255542 27969433600 30198 33554432000 4194304 4196468 140726249770896 139756625191712 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14906] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14906/stat : 14906 (java) S 14891 14891 14483 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237255542 27969433600 30198 33554432000 4194304 4196468 140726249770896 139756490970224 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14907] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14907/stat : 14907 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255544 27969433600 30198 33554432000 4194304 4196468 140726249770896 139756116465744 139759021807515 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14908] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14908/stat : 14908 (java) S 14891 14891 14483 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 237255544 27969433600 30198 33554432000 4194304 4196468 140726249770896 139757542206064 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14909] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14909/stat : 14909 (java) S 14891 14891 14483 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 20 0 237255544 27969433600 30198 33554432000 4194304 4196468 140726249770896 139757541153264 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14910] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14910/stat : 14910 (java) S 14891 14891 14483 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237255544 27969433600 30198 33554432000 4194304 4196468 140726249770896 139757540100976 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14911] ppid=14891 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/14894/task/14911/stat : 14911 (java) S 14891 14891 14483 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 20 0 237255544 27969433600 30198 33554432000 4194304 4196468 140726249770896 139757539048176 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14912] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14912/stat : 14912 (java) S 14891 14891 14483 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237255545 27969433600 30198 33554432000 4194304 4196468 140726249770896 139755618560352 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14913] ppid=14891 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14894/task/14913/stat : 14913 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255545 27969433600 30198 33554432000 4194304 4196468 140726249770896 139757537995056 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 122188 KiB

[startup+0.309397 s]*
/proc/loadavg: 7.86 8.20 8.04 3/199 14913
/proc/meminfo: memFree=15026560/32770624 swapFree=67108792/67108860
[pid=14891] ppid=14888 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14891/stat : 14891 (scop.sh) S 14888 14891 14483 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 237255537 115843072 349 33554432000 4194304 5098028 140737192499472 140737192496728 140108240327292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24875008 140737192502306 140737192502531 140737192502531 140737192505293 0
/proc/14891/statm: 28282 349 296 221 0 87 0
[pid=14894] ppid=14891 vsize=27313900 memory=125004 CPUtime=0.41 cores=0-7
/proc/14894/stat : 14894 (java) S 14891 14891 14483 0 -1 1077944320 11128 0 0 0 37 4 0 0 20 0 20 0 237255537 27969433600 31251 33554432000 4194304 4196468 140726249770896 140726249753440 139759021788919 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
/proc/14894/statm: 6828475 31251 2951 1 0 6790935 0
[pid=14894/tid=14895] ppid=14891 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14894/task/14895/stat : 14895 (java) R 14891 14891 14483 0 -1 4202560 8805 0 0 0 26 3 0 0 20 0 20 0 237255537 27969433600 31251 33554432000 4194304 4196468 140726249770896 139758993584368 139759021802828 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14896] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14896/stat : 14896 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 31251 33554432000 4194304 4196468 140726249770896 139759026030992 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14897] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14897/stat : 14897 (java) S 14891 14891 14483 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 31251 33554432000 4194304 4196468 140726249770896 139758444116240 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14898] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14898/stat : 14898 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 31251 33554432000 4194304 4196468 140726249770896 139758443063952 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14899] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14899/stat : 14899 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 31251 33554432000 4194304 4196468 140726249770896 139758442011152 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14900] ppid=14891 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/14894/task/14900/stat : 14900 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 31251 33554432000 4194304 4196468 140726249770896 139758440958864 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14901] ppid=14891 vsize=27313900 memory=140339868431279 CPUtime=0 cores=0-7
/proc/14894/task/14901/stat : 14901 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 31251 33554432000 4194304 4196468 140726249770896 139758439906064 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14902] ppid=14891 vsize=27313900 memory=140339868433584 CPUtime=0 cores=0-7
/proc/14894/task/14902/stat : 14902 (java) S 14891 14891 14483 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 31251 33554432000 4194304 4196468 140726249770896 139758438853776 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14903] ppid=14891 vsize=27313900 memory=140339868435888 CPUtime=0 cores=0-7
/proc/14894/task/14903/stat : 14903 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27969433600 31251 33554432000 4194304 4196468 140726249770896 139758437800976 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14904] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14904/stat : 14904 (java) S 14891 14891 14483 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237255541 27969433600 31251 33554432000 4194304 4196468 140726249770896 139757543258224 139759021800066 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14905] ppid=14891 vsize=27313900 memory=280679736878736 CPUtime=0 cores=0-7
/proc/14894/task/14905/stat : 14905 (java) S 14891 14891 14483 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237255542 27969433600 31251 33554432000 4194304 4196468 140726249770896 139756625191712 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14906] ppid=14891 vsize=27313900 memory=280679736885648 CPUtime=0 cores=0-7
/proc/14894/task/14906/stat : 14906 (java) S 14891 14891 14483 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237255542 27969433600 31251 33554432000 4194304 4196468 140726249770896 139756490970224 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14907] ppid=14891 vsize=27313900 memory=280679736826928 CPUtime=0 cores=0-7
/proc/14894/task/14907/stat : 14907 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255544 27969433600 31251 33554432000 4194304 4196468 140726249770896 139756116465744 139759021807515 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14908] ppid=14891 vsize=27313900 memory=280679736899472 CPUtime=0 cores=0-7
/proc/14894/task/14908/stat : 14908 (java) S 14891 14891 14483 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 237255544 27969433600 31251 33554432000 4194304 4196468 140726249770896 139757542206064 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14909] ppid=14891 vsize=27313900 memory=280679736906384 CPUtime=0.02 cores=0-7
/proc/14894/task/14909/stat : 14909 (java) S 14891 14891 14483 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 20 0 237255544 27969433600 31251 33554432000 4194304 4196468 140726249770896 139757541153264 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14910] ppid=14891 vsize=27313900 memory=280679736904080 CPUtime=0.01 cores=0-7
/proc/14894/task/14910/stat : 14910 (java) S 14891 14891 14483 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 237255544 27969433600 31251 33554432000 4194304 4196468 140726249770896 139757540100976 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14911] ppid=14891 vsize=27313900 memory=280679736920240 CPUtime=0.07 cores=0-7
/proc/14894/task/14911/stat : 14911 (java) S 14891 14891 14483 0 -1 1077944384 350 0 0 0 7 0 0 0 20 0 20 0 237255544 27969433600 31251 33554432000 4194304 4196468 140726249770896 139757539048176 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14912] ppid=14891 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14894/task/14912/stat : 14912 (java) S 14891 14891 14483 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237255545 27969433600 31251 33554432000 4194304 4196468 140726249770896 139755618560352 139759021799125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14913] ppid=14891 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14894/task/14913/stat : 14913 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255545 27969433600 31251 33554432000 4194304 4196468 140726249770896 139757537995056 139759021800066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126400 KiB

[startup+0.700861 s]
/proc/loadavg: 7.86 8.20 8.04 2/199 14913
/proc/meminfo: memFree=15002728/32770624 swapFree=67108792/67108860
[pid=14891] ppid=14888 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14891/stat : 14891 (scop.sh) S 14888 14891 14483 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 237255537 115843072 349 33554432000 4194304 5098028 140737192499472 140737192496728 140108240327292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24875008 140737192502306 140737192502531 140737192502531 140737192505293 0
/proc/14891/statm: 28282 349 296 221 0 87 0
[pid=14894] ppid=14891 vsize=27320172 memory=162780 CPUtime=1.01 cores=0-7
/proc/14894/stat : 14894 (java) S 14891 14891 14483 0 -1 1077944320 18188 0 0 0 94 7 0 0 20 0 20 0 237255537 27975856128 40695 33554432000 4194304 4196468 140726249770896 140726249753440 139759021788919 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
/proc/14894/statm: 6830043 40695 3127 1 0 6791447 0
[pid=14894/tid=14895] ppid=14891 vsize=27320172 memory=280679737215168 CPUtime=0.67 cores=0-7
/proc/14894/task/14895/stat : 14895 (java) R 14891 14891 14483 0 -1 4202560 15314 0 0 0 61 6 0 0 20 0 20 0 237255537 27975856128 40695 33554432000 4194304 4196468 140726249770896 139758993624768 139759021800854 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14896] ppid=14891 vsize=27320172 memory=1620 CPUtime=0 cores=0-7
/proc/14894/task/14896/stat : 14896 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27975856128 40695 33554432000 4194304 4196468 140726249770896 139759026030992 139759021799125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14897] ppid=14891 vsize=27320172 memory=4744 CPUtime=0 cores=0-7
/proc/14894/task/14897/stat : 14897 (java) S 14891 14891 14483 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237255540 27975856128 40695 33554432000 4194304 4196468 140726249770896 139758444116240 139759021799125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0
[pid=14894/tid=14898] ppid=14891 vsize=27320172 memory=3888 CPUtime=0 cores=0-7
/proc/14894/task/14898/stat : 14898 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237255540 27975856128 40695 33554432000 4194304 4196468 140726249770896 139758443063952 139759021799125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38088704 140726249776104 140726249776429 140726249776429 140726249779151 0

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

[pid=14914/tid=14915] ppid=14891 vsize=8413904 memory=0 CPUtime=0.82 cores=0-7
/proc/14914/task/14915/stat : 14915 (java) S 14891 14891 14483 0 -1 1077944384 15539 0 0 0 74 8 0 0 20 0 24 0 237257211 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935758946192 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14916] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14916/stat : 14916 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237257212 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935791348624 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14917] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14917/stat : 14917 (java) S 14891 14891 14483 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 237257212 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935271779088 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14918] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14918/stat : 14918 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237257212 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935270726800 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14919] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14919/stat : 14919 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237257212 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935269674000 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14920] ppid=14891 vsize=8413904 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/14914/task/14920/stat : 14920 (java) S 14891 14891 14483 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237257212 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935268620688 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14921] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14921/stat : 14921 (java) S 14891 14891 14483 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237257212 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935267567888 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14922] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14922/stat : 14922 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237257212 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935266515600 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14923] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14923/stat : 14923 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237257212 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935265462800 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14924] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14924/stat : 14924 (java) S 14891 14891 14483 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237257214 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935216192112 139935787117186 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14925] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14925/stat : 14925 (java) S 14891 14891 14483 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237257214 8615837696 30990 33554432000 4194304 4196468 140733352485040 139934061028640 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14926] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14926/stat : 14926 (java) S 14891 14891 14483 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 237257214 8615837696 30990 33554432000 4194304 4196468 140733352485040 139933926807152 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14927] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14927/stat : 14927 (java) S 14891 14891 14483 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237257217 8615837696 30990 33554432000 4194304 4196468 140733352485040 139933552302672 139935787124635 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14928] ppid=14891 vsize=8413904 memory=0 CPUtime=0.11 cores=0-7
/proc/14914/task/14928/stat : 14928 (java) S 14891 14891 14483 0 -1 1077944384 673 0 0 0 11 0 0 0 20 0 24 0 237257217 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935215138928 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14929] ppid=14891 vsize=8413904 memory=6944656592455360604 CPUtime=0.11 cores=0-7
/proc/14914/task/14929/stat : 14929 (java) S 14891 14891 14483 0 -1 1077944384 390 0 0 0 11 0 0 0 20 0 24 0 237257217 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935214086128 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14930] ppid=14891 vsize=8413904 memory=0 CPUtime=0.12 cores=0-7
/proc/14914/task/14930/stat : 14930 (java) S 14891 14891 14483 0 -1 1077944384 555 0 0 0 12 0 0 0 20 0 24 0 237257217 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935213033840 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14931] ppid=14891 vsize=8413904 memory=0 CPUtime=0.22 cores=0-7
/proc/14914/task/14931/stat : 14931 (java) S 14891 14891 14483 0 -1 1077944384 667 0 0 0 22 0 0 0 20 0 24 0 237257217 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935211981040 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14932] ppid=14891 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/14914/task/14932/stat : 14932 (java) S 14891 14891 14483 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237257217 8615837696 30990 33554432000 4194304 4196468 140733352485040 139933054397280 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14933] ppid=14891 vsize=8413904 memory=123960 CPUtime=0 cores=0-7
/proc/14914/task/14933/stat : 14933 (java) S 14891 14891 14483 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237257217 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935210928944 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14935] ppid=14891 vsize=8413904 memory=128316442965169 CPUtime=0 cores=0-7
/proc/14914/task/14935/stat : 14935 (java) S 14891 14891 14483 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237257290 8615837696 30990 33554432000 4194304 4196468 140733352485040 139935203120960 139935787130649 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14937] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14937/stat : 14937 (java) S 14891 14891 14483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 237257291 8615837696 30990 33554432000 4194304 4196468 140733352485040 139932383296944 139935787127965 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14938] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14938/stat : 14938 (java) S 14891 14891 14483 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 237257291 8615837696 30990 33554432000 4194304 4196468 140733352485040 139932651732272 139935787127965 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14939] ppid=14891 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14914/task/14939/stat : 14939 (java) S 14891 14891 14483 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237257293 8615837696 30990 33554432000 4194304 4196468 140733352485040 139932114869536 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
Current children cumulated CPU time: 43.75 s
Current children cumulated vsize: 9864904 KiB
Current children cumulated memory: 867204 KiB

[startup+21.4012 s]
/proc/loadavg: 6.09 7.78 7.91 2/204 14939
/proc/meminfo: memFree=14296780/32770624 swapFree=67108792/67108860
[pid=14891] ppid=14888 vsize=113128 memory=1472 CPUtime=37.51 cores=0-7
/proc/14891/stat : 14891 (scop.sh) S 14888 14891 14483 0 -1 4202496 589 53011 0 0 0 0 3604 147 20 0 1 0 237255537 115843072 368 33554432000 4194304 5098028 140737192499472 140737192496216 140108240327292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24875008 140737192502306 140737192502531 140737192502531 140737192505293 0
/proc/14891/statm: 28282 368 311 221 0 87 0
[pid=14914] ppid=14891 vsize=8282828 memory=139044 CPUtime=7.34 cores=0-7
/proc/14914/stat : 14914 (java) S 14891 14891 14483 0 -1 1077944320 19433 160127 0 0 153 10 538 33 20 0 22 0 237257210 8481615872 34761 33554432000 4194304 4196468 140733352485040 140733352467584 139935787106039 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
/proc/14914/statm: 2070707 34761 3171 1 0 2032106 0
[pid=14914/tid=14915] ppid=14891 vsize=8282828 memory=-6442211747633258159 CPUtime=6.53 cores=0-7
/proc/14914/task/14915/stat : 14915 (java) R 14891 14891 14483 0 -1 4202560 15551 160127 0 0 74 8 538 33 20 0 22 0 237257211 8481615872 34761 33554432000 4194304 4196468 140733352485040 139935758935200 139935787127386 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14916] ppid=14891 vsize=8282828 memory=4572432629712593303 CPUtime=5.71 cores=0-7
/proc/14914/task/14916/stat : 14916 (java) S 14891 14891 14483 0 -1 1077944384 1 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 34761 33554432000 4194304 4196468 140733352485040 139935791348624 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14917] ppid=14891 vsize=8282828 memory=280679736672496 CPUtime=5.71 cores=0-7
/proc/14914/task/14917/stat : 14917 (java) S 14891 14891 14483 0 -1 1077944384 4 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 34761 33554432000 4194304 4196468 140733352485040 139935271779088 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14918] ppid=14891 vsize=8282828 memory=0 CPUtime=5.71 cores=0-7
/proc/14914/task/14918/stat : 14918 (java) S 14891 14891 14483 0 -1 1077944384 1 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 34761 33554432000 4194304 4196468 140733352485040 139935270726800 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14919] ppid=14891 vsize=8282828 memory=0 CPUtime=5.71 cores=0-7
/proc/14914/task/14919/stat : 14919 (java) S 14891 14891 14483 0 -1 1077944384 1 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 34761 33554432000 4194304 4196468 140733352485040 139935269674000 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14920] ppid=14891 vsize=8282828 memory=0 CPUtime=5.71 cores=0-7
/proc/14914/task/14920/stat : 14920 (java) S 14891 14891 14483 0 -1 1077944384 2 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 34761 33554432000 4194304 4196468 140733352485040 139935268620688 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14921] ppid=14891 vsize=8282828 memory=0 CPUtime=5.71 cores=0-7
/proc/14914/task/14921/stat : 14921 (java) S 14891 14891 14483 0 -1 1077944384 2 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 34761 33554432000 4194304 4196468 140733352485040 139935267567888 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14922] ppid=14891 vsize=8282828 memory=0 CPUtime=5.71 cores=0-7
/proc/14914/task/14922/stat : 14922 (java) S 14891 14891 14483 0 -1 1077944384 1 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 34761 33554432000 4194304 4196468 140733352485040 139935266515600 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14923] ppid=14891 vsize=8282828 memory=4638778398332698720 CPUtime=5.71 cores=0-7
/proc/14914/task/14923/stat : 14923 (java) S 14891 14891 14483 0 -1 1077944384 1 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 34761 33554432000 4194304 4196468 140733352485040 139935265462800 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14924] ppid=14891 vsize=8282828 memory=7739276948478193513 CPUtime=5.71 cores=0-7
/proc/14914/task/14924/stat : 14924 (java) S 14891 14891 14483 0 -1 1077944384 7 160127 0 0 0 0 538 33 20 0 22 0 237257214 8481615872 34761 33554432000 4194304 4196468 140733352485040 139935216192112 139935787117186 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14925] ppid=14891 vsize=8282828 memory=7007712420471858773 CPUtime=5.71 cores=0-7
/proc/14914/task/14925/stat : 14925 (java) S 14891 14891 14483 0 -1 1077944384 13 160127 0 0 0 0 538 33 20 0 22 0 237257214 8481615872 34761 33554432000 4194304 4196468 140733352485040 139934061028640 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14926] ppid=14891 vsize=8282828 memory=5793414046163161171 CPUtime=5.71 cores=0-7
/proc/14914/task/14926/stat : 14926 (java) S 14891 14891 14483 0 -1 1077944384 21 160127 0 0 0 0 538 33 20 0 22 0 237257214 8481615872 34773 33554432000 4194304 4196468 140733352485040 139933926807152 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14927] ppid=14891 vsize=8282828 memory=5788927974264039767 CPUtime=5.71 cores=0-7
/proc/14914/task/14927/stat : 14927 (java) S 14891 14891 14483 0 -1 1077944384 1 160127 0 0 0 0 538 33 20 0 22 0 237257217 8481615872 34773 33554432000 4194304 4196468 140733352485040 139933552302672 139935787124635 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14928] ppid=14891 vsize=8282828 memory=4641329441402885028 CPUtime=5.86 cores=0-7
/proc/14914/task/14928/stat : 14928 (java) S 14891 14891 14483 0 -1 1077944384 687 160127 0 0 15 0 538 33 20 0 22 0 237257217 8481615872 34773 33554432000 4194304 4196468 140733352485040 139935215138928 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14929] ppid=14891 vsize=8282828 memory=0 CPUtime=5.84 cores=0-7
/proc/14914/task/14929/stat : 14929 (java) S 14891 14891 14483 0 -1 1077944384 396 160127 0 0 13 0 538 33 20 0 22 0 237257217 8481615872 34773 33554432000 4194304 4196468 140733352485040 139935214086128 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14930] ppid=14891 vsize=8282828 memory=206042850 CPUtime=5.85 cores=0-7
/proc/14914/task/14930/stat : 14930 (java) S 14891 14891 14483 0 -1 1077944384 567 160127 0 0 14 0 538 33 20 0 22 0 237257217 8481615872 34773 33554432000 4194304 4196468 140733352485040 139935213033840 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14931] ppid=14891 vsize=8282828 memory=7 CPUtime=5.97 cores=0-7
/proc/14914/task/14931/stat : 14931 (java) R 14891 14891 14483 0 -1 4202560 748 160127 0 0 26 0 538 33 20 0 22 0 237257217 8481615872 34773 33554432000 4194304 4196468 140733352485040 139935211981040 139935787127386 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14932] ppid=14891 vsize=8282828 memory=280679737532824 CPUtime=5.71 cores=0-7
/proc/14914/task/14932/stat : 14932 (java) S 14891 14891 14483 0 -1 1077944384 3 160127 0 0 0 0 538 33 20 0 22 0 237257217 8481615872 34773 33554432000 4194304 4196468 140733352485040 139933054397280 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14933] ppid=14891 vsize=8282828 memory=288230583132487972 CPUtime=5.71 cores=0-7
/proc/14914/task/14933/stat : 14933 (java) S 14891 14891 14483 0 -1 1077944384 3 160127 0 0 0 0 538 33 20 0 22 0 237257217 8481615872 34773 33554432000 4194304 4196468 140733352485040 139935210928944 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14935] ppid=14891 vsize=8282828 memory=25311 CPUtime=5.71 cores=0-7
/proc/14914/task/14935/stat : 14935 (java) S 14891 14891 14483 0 -1 1077944384 23 160127 0 0 0 0 538 33 20 0 22 0 237257290 8481615872 34773 33554432000 4194304 4196468 140733352485040 139935203120144 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14939] ppid=14891 vsize=8282828 memory=0 CPUtime=5.71 cores=0-7
/proc/14914/task/14939/stat : 14939 (java) S 14891 14891 14483 0 -1 1077944384 12 160127 0 0 0 0 538 33 20 0 22 0 237257293 8481615872 34773 33554432000 4194304 4196468 140733352485040 139932114871344 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
Current children cumulated CPU time: 44.85 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 140516 KiB

[startup+21.501 s]
/proc/loadavg: 6.09 7.78 7.91 2/204 14939
/proc/meminfo: memFree=14296780/32770624 swapFree=67108792/67108860
[pid=14891] ppid=14888 vsize=113128 memory=1472 CPUtime=37.51 cores=0-7
/proc/14891/stat : 14891 (scop.sh) S 14888 14891 14483 0 -1 4202496 589 53011 0 0 0 0 3604 147 20 0 1 0 237255537 115843072 368 33554432000 4194304 5098028 140737192499472 140737192496216 140108240327292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24875008 140737192502306 140737192502531 140737192502531 140737192505293 0
/proc/14891/statm: 28282 368 311 221 0 87 0
[pid=14914] ppid=14891 vsize=8282828 memory=144996 CPUtime=7.55 cores=0-7
/proc/14914/stat : 14914 (java) S 14891 14891 14483 0 -1 1077944320 19870 160127 0 0 174 10 538 33 20 0 22 0 237257210 8481615872 36249 33554432000 4194304 4196468 140733352485040 140733352467584 139935787106039 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
/proc/14914/statm: 2070707 36249 3177 1 0 2032106 0
[pid=14914/tid=14915] ppid=14891 vsize=8282828 memory=123960 CPUtime=6.63 cores=0-7
/proc/14914/task/14915/stat : 14915 (java) R 14891 14891 14483 0 -1 4202560 15794 160127 0 0 84 8 538 33 20 0 22 0 237257211 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935758943088 139935787117974 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14916] ppid=14891 vsize=8282828 memory=1472 CPUtime=5.71 cores=0-7
/proc/14914/task/14916/stat : 14916 (java) S 14891 14891 14483 0 -1 1077944384 1 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935791348624 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14917] ppid=14891 vsize=8282828 memory=156196 CPUtime=5.71 cores=0-7
/proc/14914/task/14917/stat : 14917 (java) S 14891 14891 14483 0 -1 1077944384 4 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935271779088 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14918] ppid=14891 vsize=8282828 memory=5121 CPUtime=5.71 cores=0-7
/proc/14914/task/14918/stat : 14918 (java) S 14891 14891 14483 0 -1 1077944384 1 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935270726800 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14919] ppid=14891 vsize=8282828 memory=-7522837415730323359 CPUtime=5.71 cores=0-7
/proc/14914/task/14919/stat : 14919 (java) S 14891 14891 14483 0 -1 1077944384 1 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935269674000 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14920] ppid=14891 vsize=8282828 memory=1620 CPUtime=5.71 cores=0-7
/proc/14914/task/14920/stat : 14920 (java) S 14891 14891 14483 0 -1 1077944384 2 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935268620688 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14921] ppid=14891 vsize=8282828 memory=4744 CPUtime=5.71 cores=0-7
/proc/14914/task/14921/stat : 14921 (java) S 14891 14891 14483 0 -1 1077944384 2 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935267567888 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14922] ppid=14891 vsize=8282828 memory=1220 CPUtime=5.71 cores=0-7
/proc/14914/task/14922/stat : 14922 (java) S 14891 14891 14483 0 -1 1077944384 1 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935266515600 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14923] ppid=14891 vsize=8282828 memory=2380 CPUtime=5.71 cores=0-7
/proc/14914/task/14923/stat : 14923 (java) S 14891 14891 14483 0 -1 1077944384 1 160127 0 0 0 0 538 33 20 0 22 0 237257212 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935265462800 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14924] ppid=14891 vsize=8282828 memory=1752 CPUtime=5.71 cores=0-7
/proc/14914/task/14924/stat : 14924 (java) S 14891 14891 14483 0 -1 1077944384 7 160127 0 0 0 0 538 33 20 0 22 0 237257214 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935216192112 139935787117186 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14925] ppid=14891 vsize=8282828 memory=1620 CPUtime=5.71 cores=0-7
/proc/14914/task/14925/stat : 14925 (java) S 14891 14891 14483 0 -1 1077944384 13 160127 0 0 0 0 538 33 20 0 22 0 237257214 8481615872 36249 33554432000 4194304 4196468 140733352485040 139934061028640 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14926] ppid=14891 vsize=8282828 memory=4744 CPUtime=5.71 cores=0-7
/proc/14914/task/14926/stat : 14926 (java) S 14891 14891 14483 0 -1 1077944384 21 160127 0 0 0 0 538 33 20 0 22 0 237257214 8481615872 36249 33554432000 4194304 4196468 140733352485040 139933926807152 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14927] ppid=14891 vsize=8282828 memory=6791534058613427641 CPUtime=5.71 cores=0-7
/proc/14914/task/14927/stat : 14927 (java) S 14891 14891 14483 0 -1 1077944384 1 160127 0 0 0 0 538 33 20 0 22 0 237257217 8481615872 36249 33554432000 4194304 4196468 140733352485040 139933552302672 139935787124635 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14928] ppid=14891 vsize=8282828 memory=64240 CPUtime=5.87 cores=0-7
/proc/14914/task/14928/stat : 14928 (java) S 14891 14891 14483 0 -1 1077944384 703 160127 0 0 16 0 538 33 20 0 22 0 237257217 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935215138928 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14929] ppid=14891 vsize=8282828 memory=1472 CPUtime=5.87 cores=0-7
/proc/14914/task/14929/stat : 14929 (java) R 14891 14891 14483 0 -1 4202560 416 160127 0 0 16 0 538 33 20 0 22 0 237257217 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935214076720 139935770605416 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14930] ppid=14891 vsize=8282828 memory=4071580 CPUtime=5.87 cores=0-7
/proc/14914/task/14930/stat : 14930 (java) S 14891 14891 14483 0 -1 1077944384 580 160127 0 0 16 0 538 33 20 0 22 0 237257217 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935213033840 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14931] ppid=14891 vsize=8282828 memory=0 CPUtime=6.02 cores=0-7
/proc/14914/task/14931/stat : 14931 (java) S 14891 14891 14483 0 -1 1077944384 893 160127 0 0 31 0 538 33 20 0 22 0 237257217 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935211981040 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14932] ppid=14891 vsize=8282828 memory=0 CPUtime=5.71 cores=0-7
/proc/14914/task/14932/stat : 14932 (java) S 14891 14891 14483 0 -1 1077944384 3 160127 0 0 0 0 538 33 20 0 22 0 237257217 8481615872 36249 33554432000 4194304 4196468 140733352485040 139933054397280 139935787116245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14933] ppid=14891 vsize=8282828 memory=0 CPUtime=5.71 cores=0-7
/proc/14914/task/14933/stat : 14933 (java) S 14891 14891 14483 0 -1 1077944384 3 160127 0 0 0 0 538 33 20 0 22 0 237257217 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935210928944 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14935] ppid=14891 vsize=8282828 memory=2241 CPUtime=5.71 cores=0-7
/proc/14914/task/14935/stat : 14935 (java) S 14891 14891 14483 0 -1 1077944384 23 160127 0 0 0 0 538 33 20 0 22 0 237257290 8481615872 36249 33554432000 4194304 4196468 140733352485040 139935203120144 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
[pid=14914/tid=14939] ppid=14891 vsize=8282828 memory=2244 CPUtime=5.71 cores=0-7
/proc/14914/task/14939/stat : 14939 (java) S 14891 14891 14483 0 -1 1077944384 12 160127 0 0 0 0 538 33 20 0 22 0 237257293 8481615872 36249 33554432000 4194304 4196468 140733352485040 139932114871344 139935787117186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18243584 140733352486065 140733352486189 140733352486189 140733352488911 0
Current children cumulated CPU time: 45.06 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 146468 KiB

Child status: 0
Real time (s): 21.5425
CPU time (s): 45.2021
CPU user time (s): 43.2715
CPU system time (s): 1.93061
CPU usage (%): 209.827
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6030168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.2715
system time used= 1.93061
maximum resident set size= 6028772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 89624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22853
involuntary context switches= 106


# summary of solver processes directly reported to runsolver:
#   pid: 14891
#   total CPU time (s): 45.2021
#   total CPU user time (s): 43.2715
#   total CPU system time (s): 1.93061

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.198888 second user time and 0.231032 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-13 23:48:43
IDJOB=4307082
IDBENCH=141461
IDSOLVER=2788
FILE ID=node150/4307082-1534196923
RUNJOBID= node150-1534191880-14510
PBS_JOBID= 21037997
Free space on /tmp= 35124 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-60-02_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307082-1534196923/watcher-4307082-1534196923 -o /tmp/evaluation-result-4307082-1534196923/solver-4307082-1534196923 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1534191880-14510 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307082-1534196923.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 7d15061b3f8ae249c0a64b716749507b
RANDOM SEED=1351081606

node150.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.76
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.76
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.76
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.76
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:        15140952 kB
MemAvailable:   31902588 kB
Buffers:          242248 kB
Cached:         16604632 kB
SwapCached:           32 kB
Active:          7931044 kB
Inactive:        8970668 kB
Active(anon):       4364 kB
Inactive(anon):   102748 kB
Active(file):    7926680 kB
Inactive(file):  8867920 kB
Unevictable:        7740 kB
Mlocked:            7740 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:              8240 kB
Writeback:            28 kB
AnonPages:         62272 kB
Mapped:            54460 kB
Shmem:             49732 kB
Slab:             423368 kB
SReclaimable:     395496 kB
SUnreclaim:        27872 kB
KernelStack:        3184 kB
PageTables:         4508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     351124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 35116 MiB
End job on node150 at 2018-08-13 23:49:04