Trace number 4307085

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 57.1617 27.5715

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-15852-serial-file.bin HOME/instance-4307085-1534195958.xml
0.64/0.53	
0.64/0.54	scop order+glucose-syrup (2018-07-31)
0.64/0.54	(Encoding Process)
0.64/0.54	
0.64/0.56	c BEGIN-Prog: Mon Aug 13 23:32:39 CEST 2018
0.64/0.56	c PID: 15855
0.64/0.56	c IP: 172.20.3.138
0.64/0.56	c HOST: node138.alineos.net
0.64/0.57	c (0,0) Parsing Begin
3.00/1.39	c (0,0) Parsing End
3.33/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1402 ctr, max domain size 26
3.33/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.33/1.41	c (0,0) Constraint Name Generate Begin
3.33/1.43	c (0,0) Ctr:HOME/instance-4307085-1534195958.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.33/1.43	c (0,0) Constraint Name Generate End
3.33/1.43	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.33/1.43	c (0,0) CSP to CSPinCNF Begin
12.14/4.55	c (4,3) translated 141 (10%) constraints
12.67/5.03	c (4,4) translated 281 (20%) constraints
12.67/5.05	c (4,4) translated 421 (30%) constraints
12.67/5.07	c (4,4) translated 561 (40%) constraints
12.67/5.10	c (4,4) translated 701 (50%) constraints
13.09/5.12	c (4,4) translated 842 (60%) constraints
13.09/5.14	c (4,4) translated 982 (70%) constraints
13.09/5.16	c (4,4) translated 1122 (80%) constraints
14.82/6.30	c (5,5) translated 1262 (90%) constraints
16.06/7.57	c (7,7) translated 1402 (100%) constraints
17.33/8.10	c (7,7) STATISTICS1:HOME/instance-4307085-1534195958.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57027,9223372036854775807,26,25,200,9223372036854775807:252;2305843009213693952:2;288230376151711744:2;36028797018963968:2;4503599627370496:2;562949953421312:2;70368744177664:1;8796093022208:1;1099511627776:1;137438953472:1;16:392;4:396;2:199,26:20400;2:156946,25:200;3:29600;2:26000;1:1227,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:2;89:2;88:1;86:3;85:1;84:1;83:2;82:1;80:3;77:2;75:1;74:2;71:2;68:2;65:2;62:2;59:2;56:2;53:2;50:2;47:1;44:1;41:1;38:1;5:392;3:396;2:199;1:145600;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:2;3481:2;3364:1;3249:3;3136:2;3025:2;2916:1;2809:3;2601:2;2500:1;2401:2;2209:2;2025:2;1849:2
17.33/8.10	c (7,7) ==========================================
17.33/8.10	c (7,7) Order
17.33/8.10	c (7,7) ==========================================
19.63/8.87	c (8,8) translated 5703 (10%) constraints
20.82/9.11	c (8,8) translated 11406 (20%) constraints
21.16/9.22	c (8,8) translated 17109 (30%) constraints
21.36/9.31	c (8,8) translated 22811 (40%) constraints
21.49/9.40	c (8,8) translated 28514 (50%) constraints
21.49/9.49	c (8,8) translated 34217 (60%) constraints
21.59/9.58	c (9,9) translated 39919 (70%) constraints
21.70/9.67	c (9,9) translated 45622 (80%) constraints
21.79/9.76	c (9,9) translated 51325 (90%) constraints
26.51/11.73	c (11,11) translated 57027 (100%) constraints
26.51/11.74	c (11,11) CSP to CSPinCNF End
26.51/11.75	c (11,11) CSP: 3851 int (3651 aux), 21672 bool (20672 aux), 77211 ctr, max domain size 68
26.51/11.75	c (11,11) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
26.51/11.75	c (11,11) CSPinCNF Propagation Begin
28.00/12.26	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
28.00/12.26	c (11,11) CSPinCNF Propagation End
28.00/12.27	c (11,11) CSP: 3851 int (3651 aux), 21672 bool (20672 aux), 76811 ctr, max domain size 68
28.00/12.27	c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.00/12.27	c (11,11) Simplify CSPinCNF Begin
28.55/12.45	c (11,11) Simplify CSPinCNF End
28.55/12.45	c (11,11) CSP: 3851 int (3651 aux), 21672 bool (20672 aux), 76811 ctr, max domain size 68
28.55/12.45	c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.55/12.45	c (11,11) Calculate Precise Domain Begin
28.79/12.51	c (11,11) 0 values are removed by re-calculation
28.79/12.51	c (11,11) Calculate Precise Domain End
28.79/12.51	c (11,11) CSP: 3851 int (3651 aux), 21672 bool (20672 aux), 76811 ctr, max domain size 68
28.79/12.51	c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.79/12.51	c (11,11) CSPinCNF to SatSolver Begin
32.75/14.77	c (14,14) 7682 (10 %) CSP clauses are encoded (91261 SAT variables, 583971 SAT clauses)
33.07/14.84	c (14,14) 15363 (20 %) CSP clauses are encoded (91261 SAT variables, 591652 SAT clauses)
33.27/14.90	c (14,14) 23044 (30 %) CSP clauses are encoded (91261 SAT variables, 599333 SAT clauses)
33.27/14.95	c (14,14) 30725 (40 %) CSP clauses are encoded (91261 SAT variables, 607014 SAT clauses)
33.27/14.99	c (14,14) 38406 (50 %) CSP clauses are encoded (91261 SAT variables, 614695 SAT clauses)
33.47/15.02	c (14,14) 46087 (60 %) CSP clauses are encoded (91261 SAT variables, 622376 SAT clauses)
33.47/15.06	c (14,14) 53768 (70 %) CSP clauses are encoded (91261 SAT variables, 630057 SAT clauses)
33.47/15.10	c (14,14) 61449 (80 %) CSP clauses are encoded (91261 SAT variables, 637738 SAT clauses)
33.57/15.15	c (14,14) 69130 (90 %) CSP clauses are encoded (91261 SAT variables, 648893 SAT clauses)
38.80/19.98	c (19,18) 76811 (100 %) CSP clauses are encoded (91261 SAT variables, 2335556 SAT clauses)
38.80/19.98	c (19,18) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
38.80/19.98	c (19,18) CSPinCNF to SatSolver End
38.80/19.98	c (19,18) Heap : 762 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
39.83/20.30	c (19,19) STATISTICS2:HOME/instance-4307085-1534195958.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,25523,76811,4556,68,24,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:3;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:3;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:3;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:3;1892:3;1849:1;1806:4;1764:1;1722:3;1681:3;1640:2;1600:1;1560:3;1521:3;1482:2;1444:1;1406:5;1369:1;1332:2;1296:3;1260:3;1225:1;1190:16;1156:18;1122:19;1089:14;1056:18;1024:268;992:15;961:19;930:14;900:16;870:17;841:15;812:18;784:14;756:17;729:15;702:14;676:18;650:14;625:15;600:16;576:21;552:18;529:13;512:736;506:16;484:15;462:14;441:17;420:14;400:15;380:16;361:13;342:18;324:43;306:92;289:71;272:69;270:4;256:1880;255:8;252:4;240:68;238:8;225:77;216:4;210:67;204:8;198:4;196:71;187:8;182:68;169:62;156:62;144:74;136:8;132:62;128:1092;126:12;121:72;119:24;110:62;108:4;102:8;100:62;96:248;90:554;85:8;81:488;72:286;68:8;64:1052;56:262;54:16;51:32;49:278;36:40;34:64;25:256;16:896;9:32;4:460;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:36;59:30;58:28;57:26;56:32;55:26;54:28;53:30;52:24;51:34;50:24;49:30;48:28;47:26;46:32;45:26;44:28;43:30;42:24;41:34;40:24;39:30;38:28;37:26;36:32;35:54;34:148;33:142;32:136;31:144;30:134;29:138;28:132;27:126;26:30134;25:124;24:160;23:124;22:124;21:128;20:124;19:124;18:1136;17:976;16:564;15:584;14:560;13:508;12:1028;11:540;10:1472;9:3616;8:2220;7:1648;6:36;5:1028;4:36;3:144;2:177634,24:200;3:29200;2:36400;1:11011,11:252;10:736;9:1808;8:1092;7:770;5:1136;3:5018;2:199;1:165200,
39.83/20.30	c (19,19) 91261 bool, 2335646 clause
39.83/20.30	c (19,19) Export Begin
40.01/20.46	c (19,19) Export to HOME/scop-15852-serial-file.bin
40.01/20.46	c (19,19) Export End
40.01/20.46	c (19,19) Export File Size: 0.24 MB
40.01/20.46	c (19,19) 0,0,11,11,11,11,19,STOP-AFTER(DIMACS)
40.01/20.46	c END-Prog: Mon Aug 13 23:32:59 CEST 2018
0.00/20.50	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-15852-serial-file.bin
40.25/21.00	c (0,0) Read Serial File Begin
40.25/21.00	c (0,0) HOME/scop-15852-serial-file.bin
41.33/21.24	c (0,0) Read Serial File End
41.33/21.25	
41.33/21.25	scop order+glucose-syrup (2018-07-31)
41.33/21.25	(Solving Process)
41.33/21.25	
41.33/21.28	c BEGIN-Prog: Mon Aug 13 23:33:00 CEST 2018
41.33/21.28	c PID: 15875
41.33/21.28	c IP: 172.20.3.138
41.33/21.28	c HOST: node138.alineos.net
41.33/21.28	c (0,0) SatSolver.solve Begin
41.33/21.28	c (0,0) 0 bool, 0 clause
41.33/21.28	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307085-1534195958.xml-scop-15855.cnf
56.44/27.32	c (6,0) c
56.44/27.32	c (6,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
56.44/27.32	c (6,0) c
56.44/27.32	c (6,0) c WARNING: for repeatability, setting FPU to use double precision
56.44/27.33	c (6,0) c 8 solvers engines and 1 companion as a blackboard created.
56.44/27.33	c (6,0) c ========================================[ Problem Statistics ]===========================================
56.44/27.33	c (6,0) c |                                                                                                       |
56.44/27.33	c (6,0) c |  Number of variables:         91261                                                                   |
56.44/27.33	c (6,0) c |  Number of clauses:         2335370                                                                   |
56.44/27.33	c (6,0) c |  Parse time:                   0.77 s                                                                 |
56.44/27.33	c (6,0) c |                                                                                                       |
56.44/27.33	c (6,0) c |  Eliminated clauses:           0.37 Mb                                                                |
56.44/27.33	c (6,0) c |  Simplification time:          3.30 s                                                                 |
56.44/27.33	c (6,0) c |                                                                                                       |
56.44/27.33	c (6,0) c |  Generating clones                                                                                    |
56.44/27.33	c (6,0) c |  all clones generated. Memory = 869.68Mb.                                                             |
56.44/27.33	c (6,0) c ========================================================================================================|
56.44/27.33	c (6,0) c last restart ## conflicts  :  100 2642 
56.44/27.33	c (6,0) c Thread 0 is 100% pure glucose! First thread to finish! (SAT answer).
56.44/27.33	c (6,0) c Total Memory so far : 1478.98Mb
56.44/27.33	c (6,0) c
56.44/27.33	c (6,0) c real time : 6.01832 s
56.44/27.33	c (6,0) c cpu time  : 13.8934 s
56.44/27.33	c (6,0) c
56.44/27.33	c (6,0) c
56.44/27.33	c (6,0) c
56.44/27.33	c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
56.44/27.33	c (6,0) c
56.44/27.33	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
56.44/27.33	c (6,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
56.44/27.33	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
56.44/27.33	c (6,0) c | Conflicts     |            9208 |       1344 |       1353 |       1036 |        925 |       1166 |       1301 |       1034 |       1049 |
56.44/27.33	c (6,0) c | Decisions     |          206519 |      32140 |      30720 |      21230 |      26254 |      24335 |      29872 |      21177 |      20791 |
56.44/27.33	c (6,0) c | Propagations  |        17886676 |    2579263 |    2626590 |    1876770 |    2148455 |    2267408 |    2622946 |    1868717 |    1896527 |
56.44/27.33	c (6,0) c | Avg_Trail     |                 |      32968 |      27164 |      28775 |      28199 |      32705 |      26650 |      28738 |      28986 |
56.44/27.33	c (6,0) c | Avg_DL        |                 |        729 |        313 |        381 |        354 |        532 |        314 |        381 |        384 |
56.44/27.33	c (6,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
56.44/27.33	c (6,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
56.44/27.33	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
56.44/27.33	c (6,0) c | Exported      |             417 |         47 |         80 |         29 |         75 |         42 |         82 |         29 |         33 |
56.44/27.33	c (6,0) c | Imported      |            2525 |        282 |        263 |        360 |        342 |        294 |        308 |        347 |        329 |
56.44/27.33	c (6,0) c | Good          |            2127 |        227 |        224 |        306 |        294 |        238 |        270 |        293 |        275 |
56.44/27.33	c (6,0) c | Purge         |             398 |         55 |         39 |         54 |         48 |         56 |         38 |         54 |         54 |
56.44/27.33	c (6,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
56.44/27.33	c (6,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
56.44/27.33	c (6,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
56.44/27.33	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
56.44/27.33	c (6,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
56.44/27.33	c (6,0) c | Binaries      |                 |         46 |         62 |         26 |         66 |         41 |         63 |         26 |         30 |
56.44/27.33	c (6,0) c | Glues         |                 |         47 |         80 |         29 |         75 |         42 |         82 |         29 |         33 |
56.44/27.33	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
56.44/27.33	c (6,0) c | Orig_Seen     |             0 % |       9560 |      10580 |       7888 |       8478 |       8328 |      10041 |       7880 |       7985 |
56.44/27.33	c (6,0) c | Diff Orig seen|                 |      X     |       1020 | -     1672 | -     1082 | -     1232 |        481 | -     1680 | -     1575 |
56.44/27.33	c (6,0) c | Hamming       |             8 % |      X     |       7427 |       7368 |       8087 |       8225 |       7273 |       7372 |       7356 |
56.44/27.33	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
56.44/27.33	c (6,0) 
56.44/27.33	c (6,0) s SATISFIABLE
41.88/27.42	c (6,0) SatSolver.solve End
41.88/27.42	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
41.88/27.42	c (6,0) Show results Begin
56.94/27.51	s SATISFIABLE
56.94/27.55	v <instantiation>
56.94/27.55	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>
56.94/27.55	v     <values>24 2 19 9 19 2 1 2 21 2 8 5 25 6 1 3 12 2 5 6 25 19 25 15 19 25 7 8 5 18 5 6 3 2 18 12 2 18 9 3 16 2 2 6 11 2 6 2 8 15 2 19 2 2 6 25 11 6 5 18 0 2 4 2 9 18 2 6 11 8 2 3 6 2 2 6 19 2 19 3 22 6 2 19 20 5 8 3 19 20 2 19 6 2 11 18 14 25 19 6 19 2 5 6 11 2 8 2 2 6 1 2 7 8 5 2 0 2 5 17 23 2 19 2 15 2 5 15 2 8 11 2 19 3 9 19 8 3 2 19 9 18 2 21 2 2 18 6 11 2 6 18 13 2 19 18 7 2 8 6 2 1 2 2 0 3 2 15 2 16 2 2 6 2 5 6 5 18 2 3 6 5 2 1 9 1 2 6 2 2 18 10 18 2 2 6 18 8 0 2 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 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 1 0 1 0 0 0 1 0 0 0</values>
56.94/27.55	v </instantiation>
56.94/27.55	c (6,0) Show results End
56.94/27.55	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
56.94/27.55	c (6,0) 6,6,STOP-AFTER(ALL)
56.94/27.55	c END-Prog: Mon Aug 13 23:33:06 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 (13600 MiB free)
  memory of node 1: 16384 MiB (10399 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307085-1534195958/watcher-4307085-1534195958 -o /tmp/evaluation-result-4307085-1534195958/solver-4307085-1534195958 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534190647-15089 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307085-1534195958.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=15852, runsolver pid=15849

[startup+0.10015 s]*
/proc/loadavg: 4.59 7.15 6.82 2/200 15874
/proc/meminfo: memFree=24479984/32770624 swapFree=67108796/67108860
[pid=15852] ppid=15849 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15852/stat : 15852 (scop.sh) S 15849 15852 15062 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237159018 115843072 349 33554432000 4194304 5098028 140731022804608 140731022801864 140318503236220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37777408 140731022808098 140731022808323 140731022808323 140731022811085 0
/proc/15852/statm: 28282 349 296 221 0 87 0
[pid=15855] ppid=15852 vsize=27313900 memory=107272 CPUtime=0.1 cores=0-7
/proc/15855/stat : 15855 (java) S 15852 15852 15062 0 -1 1077944320 6312 0 0 0 8 2 0 0 20 0 20 0 237159018 27969433600 26818 33554432000 4194304 4196468 140735118418592 140735118401136 140297222717175 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
/proc/15855/statm: 6828475 26818 2699 1 0 6790935 0
[pid=15855/tid=15856] ppid=15852 vsize=27313900 memory=8257801199876480668 CPUtime=0.08 cores=0-7
/proc/15855/task/15856/stat : 15856 (java) R 15852 15852 15062 0 -1 4202560 4443 0 0 0 6 2 0 0 20 0 20 0 237159019 27969433600 26883 33554432000 4194304 4196468 140735118418592 140297194551600 140297214958565 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15857] ppid=15852 vsize=27313900 memory=732370799043804133 CPUtime=0 cores=0-7
/proc/15855/task/15857/stat : 15857 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 26883 33554432000 4194304 4196468 140735118418592 140297226959120 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15858] ppid=15852 vsize=27313900 memory=140660706350720 CPUtime=0 cores=0-7
/proc/15855/task/15858/stat : 15858 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296644544912 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15859] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15859/stat : 15859 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296643492368 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15860] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15860/stat : 15860 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296642439824 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15861] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15861/stat : 15861 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296641387280 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15862] ppid=15852 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/15855/task/15862/stat : 15862 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296640334736 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15863] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15863/stat : 15863 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296639282192 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15864] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15864/stat : 15864 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296638229648 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15865] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15865/stat : 15865 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159023 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296079697904 140297222728322 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15866] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15866/stat : 15866 (java) S 15852 15852 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237159023 27969433600 26883 33554432000 4194304 4196468 140735118418592 140295173825440 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15867] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15867/stat : 15867 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159023 27969433600 26883 33554432000 4194304 4196468 140735118418592 140294905390064 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15868] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15868/stat : 15868 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 26883 33554432000 4194304 4196468 140735118418592 140294530881744 140297222735771 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15869] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15869/stat : 15869 (java) S 15852 15852 15062 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296078645744 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15870] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15870/stat : 15870 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296077593200 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15871] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15871/stat : 15871 (java) S 15852 15852 15062 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296076540656 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15872] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15872/stat : 15872 (java) R 15852 15852 15062 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296075488112 140297222728322 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15873] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15873/stat : 15873 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 26883 33554432000 4194304 4196468 140735118418592 140294032976096 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15874] ppid=15852 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/15855/task/15874/stat : 15874 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159027 27969433600 26883 33554432000 4194304 4196468 140735118418592 140296074434992 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 108668 KiB

[startup+0.210184 s]*
/proc/loadavg: 4.59 7.15 6.82 2/200 15874
/proc/meminfo: memFree=24461168/32770624 swapFree=67108796/67108860
[pid=15852] ppid=15849 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15852/stat : 15852 (scop.sh) S 15849 15852 15062 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237159018 115843072 349 33554432000 4194304 5098028 140731022804608 140731022801864 140318503236220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37777408 140731022808098 140731022808323 140731022808323 140731022811085 0
/proc/15852/statm: 28282 349 296 221 0 87 0
[pid=15855] ppid=15852 vsize=27313900 memory=124260 CPUtime=0.23 cores=0-7
/proc/15855/stat : 15855 (java) S 15852 15852 15062 0 -1 1077944320 10247 0 0 0 20 3 0 0 20 0 20 0 237159018 27969433600 31065 33554432000 4194304 4196468 140735118418592 140735118401136 140297222717175 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
/proc/15855/statm: 6828475 31065 2876 1 0 6790935 0
[pid=15855/tid=15856] ppid=15852 vsize=27313900 memory=0 CPUtime=0.19 cores=0-7
/proc/15855/task/15856/stat : 15856 (java) R 15852 15852 15062 0 -1 4202560 8150 0 0 0 16 3 0 0 20 0 20 0 237159019 27969433600 31065 33554432000 4194304 4196468 140735118418592 140297194525920 140297222729110 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15857] ppid=15852 vsize=27313900 memory=281321287948024 CPUtime=0 cores=0-7
/proc/15855/task/15857/stat : 15857 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 31065 33554432000 4194304 4196468 140735118418592 140297226959120 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15858] ppid=15852 vsize=27313900 memory=140660706350720 CPUtime=0 cores=0-7
/proc/15855/task/15858/stat : 15858 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296644544912 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15859] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15859/stat : 15859 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296643492368 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15860] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15860/stat : 15860 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296642439824 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15861] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15861/stat : 15861 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296641387280 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15862] ppid=15852 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/15855/task/15862/stat : 15862 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296640334736 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15863] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15863/stat : 15863 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296639282192 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15864] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15864/stat : 15864 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296638229648 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15865] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15865/stat : 15865 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159023 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296079697904 140297222728322 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15866] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15866/stat : 15866 (java) S 15852 15852 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237159023 27969433600 31065 33554432000 4194304 4196468 140735118418592 140295173825440 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15867] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15867/stat : 15867 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159023 27969433600 31065 33554432000 4194304 4196468 140735118418592 140294905390064 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15868] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15868/stat : 15868 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 31065 33554432000 4194304 4196468 140735118418592 140294530881744 140297222735771 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15869] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15869/stat : 15869 (java) S 15852 15852 15062 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296078645744 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15870] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15870/stat : 15870 (java) S 15852 15852 15062 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296077593200 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15871] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15871/stat : 15871 (java) S 15852 15852 15062 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296076540656 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15872] ppid=15852 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/15855/task/15872/stat : 15872 (java) S 15852 15852 15062 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 20 0 237159026 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296075488112 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15873] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15873/stat : 15873 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 31065 33554432000 4194304 4196468 140735118418592 140294032976096 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15874] ppid=15852 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/15855/task/15874/stat : 15874 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159027 27969433600 31065 33554432000 4194304 4196468 140735118418592 140296074434992 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 125656 KiB

[startup+0.310289 s]*
/proc/loadavg: 4.59 7.15 6.82 2/200 15874
/proc/meminfo: memFree=24458128/32770624 swapFree=67108796/67108860
[pid=15852] ppid=15849 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15852/stat : 15852 (scop.sh) S 15849 15852 15062 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237159018 115843072 349 33554432000 4194304 5098028 140731022804608 140731022801864 140318503236220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37777408 140731022808098 140731022808323 140731022808323 140731022811085 0
/proc/15852/statm: 28282 349 296 221 0 87 0
[pid=15855] ppid=15852 vsize=27313900 memory=128032 CPUtime=0.41 cores=0-7
/proc/15855/stat : 15855 (java) S 15852 15852 15062 0 -1 1077944320 10799 0 0 0 37 4 0 0 20 0 20 0 237159018 27969433600 32008 33554432000 4194304 4196468 140735118418592 140735118401136 140297222717175 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
/proc/15855/statm: 6828475 32008 2964 1 0 6790935 0
[pid=15855/tid=15856] ppid=15852 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15855/task/15856/stat : 15856 (java) R 15852 15852 15062 0 -1 4202560 8537 0 0 0 26 3 0 0 20 0 20 0 237159019 27969433600 32008 33554432000 4194304 4196468 140735118418592 140297194512624 140297207882814 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15857] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15857/stat : 15857 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 32008 33554432000 4194304 4196468 140735118418592 140297226959120 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15858] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15858/stat : 15858 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296644544912 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15859] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15859/stat : 15859 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296643492368 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15860] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15860/stat : 15860 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296642439824 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15861] ppid=15852 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/15855/task/15861/stat : 15861 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296641387280 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15862] ppid=15852 vsize=27313900 memory=140660581692335 CPUtime=0 cores=0-7
/proc/15855/task/15862/stat : 15862 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296640334736 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15863] ppid=15852 vsize=27313900 memory=140660581694640 CPUtime=0 cores=0-7
/proc/15855/task/15863/stat : 15863 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296639282192 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15864] ppid=15852 vsize=27313900 memory=140660581696944 CPUtime=0 cores=0-7
/proc/15855/task/15864/stat : 15864 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159021 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296638229648 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15865] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15865/stat : 15865 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159023 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296079697904 140297222728322 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15866] ppid=15852 vsize=27313900 memory=281321163400848 CPUtime=0 cores=0-7
/proc/15855/task/15866/stat : 15866 (java) S 15852 15852 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237159023 27969433600 32008 33554432000 4194304 4196468 140735118418592 140295173825440 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15867] ppid=15852 vsize=27313900 memory=281321163407760 CPUtime=0 cores=0-7
/proc/15855/task/15867/stat : 15867 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159023 27969433600 32008 33554432000 4194304 4196468 140735118418592 140294905390064 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15868] ppid=15852 vsize=27313900 memory=281321163349040 CPUtime=0 cores=0-7
/proc/15855/task/15868/stat : 15868 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 32008 33554432000 4194304 4196468 140735118418592 140294530881744 140297222735771 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15869] ppid=15852 vsize=27313900 memory=281321163421584 CPUtime=0 cores=0-7
/proc/15855/task/15869/stat : 15869 (java) S 15852 15852 15062 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296078645744 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15870] ppid=15852 vsize=27313900 memory=281321163428496 CPUtime=0.02 cores=0-7
/proc/15855/task/15870/stat : 15870 (java) S 15852 15852 15062 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 20 0 237159026 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296077593200 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15871] ppid=15852 vsize=27313900 memory=281321163426192 CPUtime=0.01 cores=0-7
/proc/15855/task/15871/stat : 15871 (java) S 15852 15852 15062 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 237159026 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296076540656 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15872] ppid=15852 vsize=27313900 memory=281321163442352 CPUtime=0.07 cores=0-7
/proc/15855/task/15872/stat : 15872 (java) S 15852 15852 15062 0 -1 1077944384 303 0 0 0 7 0 0 0 20 0 20 0 237159026 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296075488112 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15873] ppid=15852 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15873/stat : 15873 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237159026 27969433600 32008 33554432000 4194304 4196468 140735118418592 140294032976096 140297222727381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15874] ppid=15852 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/15855/task/15874/stat : 15874 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159027 27969433600 32008 33554432000 4194304 4196468 140735118418592 140296074434992 140297222728322 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 129428 KiB

[startup+0.700969 s]
/proc/loadavg: 4.59 7.15 6.82 2/200 15874
/proc/meminfo: memFree=24434340/32770624 swapFree=67108796/67108860
[pid=15852] ppid=15849 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15852/stat : 15852 (scop.sh) S 15849 15852 15062 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237159018 115843072 349 33554432000 4194304 5098028 140731022804608 140731022801864 140318503236220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37777408 140731022808098 140731022808323 140731022808323 140731022811085 0
/proc/15852/statm: 28282 349 296 221 0 87 0
[pid=15855] ppid=15852 vsize=27320172 memory=164412 CPUtime=0.99 cores=0-7
/proc/15855/stat : 15855 (java) S 15852 15852 15062 0 -1 1077944320 17584 0 0 0 93 6 0 0 20 0 20 0 237159018 27975856128 41103 33554432000 4194304 4196468 140735118418592 140735118401136 140297222717175 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
/proc/15855/statm: 6830043 41103 3096 1 0 6791447 0
[pid=15855/tid=15856] ppid=15852 vsize=27320172 memory=281321163737216 CPUtime=0.66 cores=0-7
/proc/15855/task/15856/stat : 15856 (java) R 15852 15852 15062 0 -1 4202560 14896 0 0 0 61 5 0 0 20 0 20 0 237159019 27975856128 41103 33554432000 4194304 4196468 140735118418592 140297194554656 140297222729110 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15857] ppid=15852 vsize=27320172 memory=5085241279643 CPUtime=0 cores=0-7
/proc/15855/task/15857/stat : 15857 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237159021 27975856128 41103 33554432000 4194304 4196468 140735118418592 140297226959120 140297222727381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15858] ppid=15852 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15858/stat : 15858 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27975856128 41103 33554432000 4194304 4196468 140735118418592 140296644544912 140297222727381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0
[pid=15855/tid=15859] ppid=15852 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/15855/task/15859/stat : 15859 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237159021 27975856128 41103 33554432000 4194304 4196468 140735118418592 140296643492368 140297222727381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140735118423016 140735118423341 140735118423341 140735118426063 0

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

[pid=15875/tid=15878] ppid=15852 vsize=8413904 memory=1168 CPUtime=0 cores=0-7
/proc/15875/task/15878/stat : 15878 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105931389840 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15879] ppid=15852 vsize=8413904 memory=3860 CPUtime=0 cores=0-7
/proc/15875/task/15879/stat : 15879 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105930337296 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15880] ppid=15852 vsize=8413904 memory=2180 CPUtime=0 cores=0-7
/proc/15875/task/15880/stat : 15880 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105929284752 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15881] ppid=15852 vsize=8413904 memory=3980 CPUtime=0 cores=0-7
/proc/15875/task/15881/stat : 15881 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105928231184 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15882] ppid=15852 vsize=8413904 memory=880 CPUtime=0 cores=0-7
/proc/15875/task/15882/stat : 15882 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105594075536 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15883] ppid=15852 vsize=8413904 memory=1500 CPUtime=0 cores=0-7
/proc/15875/task/15883/stat : 15883 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105593022992 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15884] ppid=15852 vsize=8413904 memory=1904 CPUtime=0 cores=0-7
/proc/15875/task/15884/stat : 15884 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105591970448 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15885] ppid=15852 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/15875/task/15885/stat : 15885 (java) S 15852 15852 15062 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237161072 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105407863280 140106113002114 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15886] ppid=15852 vsize=8413904 memory=125924 CPUtime=0 cores=0-7
/proc/15875/task/15886/stat : 15886 (java) S 15852 15852 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237161072 8615837696 31481 33554432000 4194304 4196468 140722658097920 140104718869920 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15887] ppid=15852 vsize=8413904 memory=204748 CPUtime=0 cores=0-7
/proc/15875/task/15887/stat : 15887 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237161073 8615837696 31481 33554432000 4194304 4196468 140722658097920 140104450434544 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15888] ppid=15852 vsize=8413904 memory=1592 CPUtime=0 cores=0-7
/proc/15875/task/15888/stat : 15888 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237161075 8615837696 31481 33554432000 4194304 4196468 140722658097920 140104075926224 140106113009563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15889] ppid=15852 vsize=8413904 memory=3780 CPUtime=0.11 cores=0-7
/proc/15875/task/15889/stat : 15889 (java) S 15852 15852 15062 0 -1 1077944384 735 0 0 0 11 0 0 0 20 0 24 0 237161075 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105406810096 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15890] ppid=15852 vsize=8413904 memory=3140 CPUtime=0.11 cores=0-7
/proc/15875/task/15890/stat : 15890 (java) S 15852 15852 15062 0 -1 1077944384 572 0 0 0 11 0 0 0 20 0 24 0 237161075 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105405757552 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15891] ppid=15852 vsize=8413904 memory=1244 CPUtime=0.11 cores=0-7
/proc/15875/task/15891/stat : 15891 (java) S 15852 15852 15062 0 -1 1077944384 310 0 0 0 11 0 0 0 20 0 24 0 237161075 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105404705008 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15892] ppid=15852 vsize=8413904 memory=1036 CPUtime=0.23 cores=0-7
/proc/15875/task/15892/stat : 15892 (java) S 15852 15852 15062 0 -1 1077944384 659 0 0 0 23 0 0 0 20 0 24 0 237161075 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105403652464 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15893] ppid=15852 vsize=8413904 memory=1776 CPUtime=0 cores=0-7
/proc/15875/task/15893/stat : 15893 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237161075 8615837696 31481 33554432000 4194304 4196468 140722658097920 140103578020576 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15894] ppid=15852 vsize=8413904 memory=5704 CPUtime=0 cores=0-7
/proc/15875/task/15894/stat : 15894 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237161075 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105402600368 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15896] ppid=15852 vsize=8413904 memory=14772 CPUtime=0 cores=0-7
/proc/15875/task/15896/stat : 15896 (java) S 15852 15852 15062 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237161149 8615837696 31481 33554432000 4194304 4196468 140722658097920 140105394792128 140106113015577 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15898] ppid=15852 vsize=8413904 memory=140665001318015 CPUtime=0 cores=0-7
/proc/15875/task/15898/stat : 15898 (java) S 15852 15852 15062 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 237161149 8615837696 31481 33554432000 4194304 4196468 140722658097920 140102906920240 140106113012893 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15899] ppid=15852 vsize=8413904 memory=-2026666227646604569 CPUtime=0 cores=0-7
/proc/15875/task/15899/stat : 15899 (java) S 15852 15852 15062 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237161149 8615837696 31481 33554432000 4194304 4196468 140722658097920 140103175355824 140106113012893 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15900] ppid=15852 vsize=8413904 memory=-1751206657426859557 CPUtime=0 cores=0-7
/proc/15875/task/15900/stat : 15900 (java) S 15852 15852 15062 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237161151 8615837696 31481 33554432000 4194304 4196468 140722658097920 140102638492832 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
Current children cumulated CPU time: 55.66 s
Current children cumulated vsize: 10041108 KiB
Current children cumulated memory: 1076612 KiB

[startup+27.4098 s]
/proc/loadavg: 3.67 6.74 6.69 9/213 15908
/proc/meminfo: memFree=23458248/32770624 swapFree=67108796/67108860
[pid=15852] ppid=15849 vsize=113128 memory=1472 CPUtime=40.25 cores=0-7
/proc/15852/stat : 15852 (scop.sh) S 15849 15852 15062 0 -1 4202496 590 48056 0 0 0 0 3840 185 20 0 1 0 237159018 115843072 368 33554432000 4194304 5098028 140731022804608 140731022801352 140318503236220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37777408 140731022808098 140731022808323 140731022808323 140731022811085 0
/proc/15852/statm: 28282 368 311 221 0 87 0
[pid=15875] ppid=15852 vsize=8413904 memory=144424 CPUtime=1.63 cores=0-7
/proc/15875/stat : 15875 (java) S 15852 15852 15062 0 -1 1077944320 19832 0 0 0 155 8 0 0 20 0 24 0 237161069 8615837696 36106 33554432000 4194304 4196468 140722658097920 140722658080464 140106112990967 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
/proc/15875/statm: 2103476 36106 3165 1 0 2064875 0
[pid=15875/tid=15876] ppid=15852 vsize=8413904 memory=64120 CPUtime=0.81 cores=0-7
/proc/15875/task/15876/stat : 15876 (java) S 15852 15852 15062 0 -1 1077944384 15560 0 0 0 76 5 0 0 20 0 24 0 237161069 8615837696 36106 33554432000 4194304 4196468 140722658097920 140106084831120 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15877] ppid=15852 vsize=8413904 memory=2056 CPUtime=0 cores=0-7
/proc/15875/task/15877/stat : 15877 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 36106 33554432000 4194304 4196468 140722658097920 140106117233424 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15878] ppid=15852 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/15875/task/15878/stat : 15878 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105931389840 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15879] ppid=15852 vsize=8413904 memory=7524 CPUtime=0 cores=0-7
/proc/15875/task/15879/stat : 15879 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105930337296 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15880] ppid=15852 vsize=8413904 memory=800 CPUtime=0 cores=0-7
/proc/15875/task/15880/stat : 15880 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105929284752 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15881] ppid=15852 vsize=8413904 memory=4096 CPUtime=0 cores=0-7
/proc/15875/task/15881/stat : 15881 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105928231184 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15882] ppid=15852 vsize=8413904 memory=1780 CPUtime=0 cores=0-7
/proc/15875/task/15882/stat : 15882 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105594075536 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15883] ppid=15852 vsize=8413904 memory=920 CPUtime=0 cores=0-7
/proc/15875/task/15883/stat : 15883 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105593022992 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15884] ppid=15852 vsize=8413904 memory=4968 CPUtime=0 cores=0-7
/proc/15875/task/15884/stat : 15884 (java) S 15852 15852 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237161070 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105591970448 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15885] ppid=15852 vsize=8413904 memory=1408 CPUtime=0 cores=0-7
/proc/15875/task/15885/stat : 15885 (java) S 15852 15852 15062 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237161072 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105407863280 140106113002114 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15886] ppid=15852 vsize=8413904 memory=2964 CPUtime=0 cores=0-7
/proc/15875/task/15886/stat : 15886 (java) S 15852 15852 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237161072 8615837696 36106 33554432000 4194304 4196468 140722658097920 140104718869920 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15887] ppid=15852 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/15875/task/15887/stat : 15887 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237161073 8615837696 36106 33554432000 4194304 4196468 140722658097920 140104450434544 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15888] ppid=15852 vsize=8413904 memory=125924 CPUtime=0 cores=0-7
/proc/15875/task/15888/stat : 15888 (java) S 15852 15852 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237161075 8615837696 36106 33554432000 4194304 4196468 140722658097920 140104075926224 140106113009563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15889] ppid=15852 vsize=8413904 memory=873384 CPUtime=0.13 cores=0-7
/proc/15875/task/15889/stat : 15889 (java) R 15852 15852 15062 0 -1 4202560 745 0 0 0 13 0 0 0 20 0 24 0 237161075 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105406810096 140106105280439 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15890] ppid=15852 vsize=8413904 memory=-7880843606118635149 CPUtime=0.16 cores=0-7
/proc/15875/task/15890/stat : 15890 (java) R 15852 15852 15062 0 -1 4202560 617 0 0 0 16 0 0 0 20 0 24 0 237161075 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105405744624 140106093626900 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15891] ppid=15852 vsize=8413904 memory=6655300316396806240 CPUtime=0.14 cores=0-7
/proc/15875/task/15891/stat : 15891 (java) R 15852 15852 15062 0 -1 4202560 320 0 0 0 14 0 0 0 20 0 24 0 237161075 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105404703408 140106094535120 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15892] ppid=15852 vsize=8413904 memory=6656426216303648864 CPUtime=0.25 cores=0-7
/proc/15875/task/15892/stat : 15892 (java) S 15852 15852 15062 0 -1 1077944384 1135 0 0 0 25 0 0 0 20 0 24 0 237161075 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105403652464 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15893] ppid=15852 vsize=8413904 memory=301741373374332954 CPUtime=0 cores=0-7
/proc/15875/task/15893/stat : 15893 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237161075 8615837696 36106 33554432000 4194304 4196468 140722658097920 140103578020576 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15894] ppid=15852 vsize=8413904 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/15875/task/15894/stat : 15894 (java) S 15852 15852 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237161075 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105402600368 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15896] ppid=15852 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/15875/task/15896/stat : 15896 (java) S 15852 15852 15062 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237161149 8615837696 36106 33554432000 4194304 4196468 140722658097920 140105394792128 140106113015577 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15898] ppid=15852 vsize=8413904 memory=0 CPUtime=0.07 cores=0-7
/proc/15875/task/15898/stat : 15898 (java) R 15852 15852 15062 0 -1 4202560 56 0 0 0 7 0 0 0 20 0 24 0 237161149 8615837696 36106 33554432000 4194304 4196468 140722658097920 140102906924696 140105611474615 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15899] ppid=15852 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/15875/task/15899/stat : 15899 (java) S 15852 15852 15062 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237161149 8615837696 36106 33554432000 4194304 4196468 140722658097920 140103175355824 140106113012893 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15900] ppid=15852 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/15875/task/15900/stat : 15900 (java) S 15852 15852 15062 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237161151 8615837696 36106 33554432000 4194304 4196468 140722658097920 140102638492832 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
Current children cumulated CPU time: 41.88 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 145896 KiB

[startup+27.5012 s]
/proc/loadavg: 3.67 6.74 6.69 9/213 15908
/proc/meminfo: memFree=23458248/32770624 swapFree=67108796/67108860
[pid=15852] ppid=15849 vsize=113128 memory=1472 CPUtime=40.25 cores=0-7
/proc/15852/stat : 15852 (scop.sh) S 15849 15852 15062 0 -1 4202496 590 48056 0 0 0 0 3840 185 20 0 1 0 237159018 115843072 368 33554432000 4194304 5098028 140731022804608 140731022801352 140318503236220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37777408 140731022808098 140731022808323 140731022808323 140731022811085 0
/proc/15852/statm: 28282 368 311 221 0 87 0
[pid=15875] ppid=15852 vsize=8282828 memory=148212 CPUtime=16.69 cores=0-7
/proc/15875/stat : 15875 (java) S 15852 15852 15062 0 -1 1077944320 20177 307258 0 0 172 9 1391 97 20 0 22 0 237161069 8481615872 37053 33554432000 4194304 4196468 140722658097920 140722658080464 140106112990967 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
/proc/15875/statm: 2070707 37053 3178 1 0 2032106 0
[pid=15875/tid=15876] ppid=15852 vsize=8282828 memory=1472 CPUtime=15.78 cores=0-7
/proc/15875/task/15876/stat : 15876 (java) R 15852 15852 15062 0 -1 4202560 15754 307258 0 0 84 6 1391 97 20 0 22 0 237161069 8481615872 37053 33554432000 4194304 4196468 140722658097920 140106084828960 140106113012893 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15877] ppid=15852 vsize=8282828 memory=143 CPUtime=14.88 cores=0-7
/proc/15875/task/15877/stat : 15877 (java) S 15852 15852 15062 0 -1 1077944384 2 307258 0 0 0 0 1391 97 20 0 22 0 237161070 8481615872 37053 33554432000 4194304 4196468 140722658097920 140106117233424 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15878] ppid=15852 vsize=8282828 memory=1774224147713 CPUtime=14.88 cores=0-7
/proc/15875/task/15878/stat : 15878 (java) S 15852 15852 15062 0 -1 1077944384 1 307258 0 0 0 0 1391 97 20 0 22 0 237161070 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105931389840 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15879] ppid=15852 vsize=8282828 memory=7810487918915055718 CPUtime=14.88 cores=0-7
/proc/15875/task/15879/stat : 15879 (java) S 15852 15852 15062 0 -1 1077944384 1 307258 0 0 0 0 1391 97 20 0 22 0 237161070 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105930337296 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15880] ppid=15852 vsize=8282828 memory=6083608077034082386 CPUtime=14.88 cores=0-7
/proc/15875/task/15880/stat : 15880 (java) S 15852 15852 15062 0 -1 1077944384 3 307258 0 0 0 0 1391 97 20 0 22 0 237161070 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105929284752 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15881] ppid=15852 vsize=8282828 memory=729020 CPUtime=14.88 cores=0-7
/proc/15875/task/15881/stat : 15881 (java) S 15852 15852 15062 0 -1 1077944384 2 307258 0 0 0 0 1391 97 20 0 22 0 237161070 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105928231184 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15882] ppid=15852 vsize=8282828 memory=178680 CPUtime=14.88 cores=0-7
/proc/15875/task/15882/stat : 15882 (java) S 15852 15852 15062 0 -1 1077944384 2 307258 0 0 0 0 1391 97 20 0 22 0 237161070 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105594075536 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15883] ppid=15852 vsize=8282828 memory=-7249806322133643294 CPUtime=14.88 cores=0-7
/proc/15875/task/15883/stat : 15883 (java) S 15852 15852 15062 0 -1 1077944384 1 307258 0 0 0 0 1391 97 20 0 22 0 237161070 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105593022992 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15884] ppid=15852 vsize=8282828 memory=64120 CPUtime=14.88 cores=0-7
/proc/15875/task/15884/stat : 15884 (java) S 15852 15852 15062 0 -1 1077944384 2 307258 0 0 0 0 1391 97 20 0 22 0 237161070 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105591970448 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15885] ppid=15852 vsize=8282828 memory=2056 CPUtime=14.88 cores=0-7
/proc/15875/task/15885/stat : 15885 (java) S 15852 15852 15062 0 -1 1077944384 7 307258 0 0 0 0 1391 97 20 0 22 0 237161072 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105407863280 140106113002114 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15886] ppid=15852 vsize=8282828 memory=932 CPUtime=14.88 cores=0-7
/proc/15875/task/15886/stat : 15886 (java) S 15852 15852 15062 0 -1 1077944384 13 307258 0 0 0 0 1391 97 20 0 22 0 237161072 8481615872 37053 33554432000 4194304 4196468 140722658097920 140104718869920 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15887] ppid=15852 vsize=8282828 memory=925652 CPUtime=14.88 cores=0-7
/proc/15875/task/15887/stat : 15887 (java) S 15852 15852 15062 0 -1 1077944384 1 307258 0 0 0 0 1391 97 20 0 22 0 237161073 8481615872 37053 33554432000 4194304 4196468 140722658097920 140104450434544 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15888] ppid=15852 vsize=8282828 memory=7451860155331406701 CPUtime=14.88 cores=0-7
/proc/15875/task/15888/stat : 15888 (java) S 15852 15852 15062 0 -1 1077944384 1 307258 0 0 0 0 1391 97 20 0 22 0 237161075 8481615872 37053 33554432000 4194304 4196468 140722658097920 140104075926224 140106113009563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15889] ppid=15852 vsize=8282828 memory=7595156202714196587 CPUtime=15.03 cores=0-7
/proc/15875/task/15889/stat : 15889 (java) S 15852 15852 15062 0 -1 1077944384 750 307258 0 0 15 0 1391 97 20 0 22 0 237161075 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105406810096 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15890] ppid=15852 vsize=8282828 memory=125924 CPUtime=15.04 cores=0-7
/proc/15875/task/15890/stat : 15890 (java) S 15852 15852 15062 0 -1 1077944384 626 307258 0 0 16 0 1391 97 20 0 22 0 237161075 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105405757552 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15891] ppid=15852 vsize=8282828 memory=1472 CPUtime=15.04 cores=0-7
/proc/15875/task/15891/stat : 15891 (java) S 15852 15852 15062 0 -1 1077944384 335 307258 0 0 16 0 1391 97 20 0 22 0 237161075 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105404705008 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15892] ppid=15852 vsize=8282828 memory=125924 CPUtime=15.18 cores=0-7
/proc/15875/task/15892/stat : 15892 (java) R 15852 15852 15062 0 -1 4202560 1250 307258 0 0 30 0 1391 97 20 0 22 0 237161075 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105403652464 140106090215120 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15893] ppid=15852 vsize=8282828 memory=203272 CPUtime=14.88 cores=0-7
/proc/15875/task/15893/stat : 15893 (java) S 15852 15852 15062 0 -1 1077944384 3 307258 0 0 0 0 1391 97 20 0 22 0 237161075 8481615872 37053 33554432000 4194304 4196468 140722658097920 140103578020576 140106113001173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15894] ppid=15852 vsize=8282828 memory=1472 CPUtime=14.88 cores=0-7
/proc/15875/task/15894/stat : 15894 (java) S 15852 15852 15062 0 -1 1077944384 3 307258 0 0 0 0 1391 97 20 0 22 0 237161075 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105402600368 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15896] ppid=15852 vsize=8282828 memory=125924 CPUtime=14.88 cores=0-7
/proc/15875/task/15896/stat : 15896 (java) S 15852 15852 15062 0 -1 1077944384 23 307258 0 0 0 0 1391 97 20 0 22 0 237161149 8481615872 37053 33554432000 4194304 4196468 140722658097920 140105394791312 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
[pid=15875/tid=15900] ppid=15852 vsize=8282828 memory=1472 CPUtime=14.88 cores=0-7
/proc/15875/task/15900/stat : 15900 (java) S 15852 15852 15062 0 -1 1077944384 11 307258 0 0 0 0 1391 97 20 0 22 0 237161151 8481615872 37053 33554432000 4194304 4196468 140722658097920 140102638494640 140106113002114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140722658104497 140722658104621 140722658104621 140722658107343 0
Current children cumulated CPU time: 56.94 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 149684 KiB

Child status: 0
Real time (s): 27.5715
CPU time (s): 57.1617
CPU user time (s): 54.2162
CPU system time (s): 2.94548
CPU usage (%): 207.322
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6145624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.2162
system time used= 2.94548
maximum resident set size= 6144868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 119496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54707
involuntary context switches= 99


# summary of solver processes directly reported to runsolver:
#   pid: 15852
#   total CPU time (s): 57.1617
#   total CPU user time (s): 54.2162
#   total CPU system time (s): 2.94548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.251942 second user time and 0.308832 second system time

The end

Launcher Data 

Begin job on node138 at 2018-08-13 23:32:38
IDJOB=4307085
IDBENCH=141454
IDSOLVER=2788
FILE ID=node138/4307085-1534195958
RUNJOBID= node138-1534190647-15089
PBS_JOBID= 21037990
Free space on /tmp= 24692 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-70-01_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-4307085-1534195958/watcher-4307085-1534195958 -o /tmp/evaluation-result-4307085-1534195958/solver-4307085-1534195958 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534190647-15089 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307085-1534195958.xml

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

MD5SUM BENCH= 5ebb66a2f72e45e9d6642a776a6cc19c
RANDOM SEED=1616014464

node138.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.71
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.71
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.71
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.71
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:        24575012 kB
MemAvailable:   31895660 kB
Buffers:          104292 kB
Cached:          7384584 kB
SwapCached:           12 kB
Active:          3827048 kB
Inactive:        3723892 kB
Active(anon):       3756 kB
Inactive(anon):   110356 kB
Active(file):    3823292 kB
Inactive(file):  3613536 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              8332 kB
Writeback:             0 kB
AnonPages:        107360 kB
Mapped:            52252 kB
Shmem:             49740 kB
Slab:             340380 kB
SReclaimable:     312280 kB
SUnreclaim:        28100 kB
KernelStack:        3536 kB
PageTables:         5060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 24684 MiB
End job on node138 at 2018-08-13 23:33:06