Trace number 4305304

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameBibd/
Bibd-sc-12-06-05_c18.xml
MD5SUMc0ca155b7f34bafa6648dc876ad7391e
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 benchmark1.29173
Satisfiable
(Un)Satisfiability was proved
Number of variables3432
Number of constraints1553
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1716}]
Minimum variable degree0
Maximum variable degree14
Distribution of variable degrees[{"degree":0,"count":1716},{"degree":2,"count":1452},{"degree":14,"count":264}]
Minimum constraint arity3
Maximum constraint arity264
Distribution of constraint arities[{"arity":3,"count":1452},{"arity":12,"count":22},{"arity":22,"count":78},{"arity":264,"count":1}]
Number of extensional constraints0
Number of intensional constraints1452
Distribution of constraint types[{"type":"intension","count":1452},{"type":"lex","count":1},{"type":"sum","count":100}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-18294-serial-file.bin HOME/instance-4305304-1534072337.xml
0.54/0.51	
0.54/0.52	scop order+minisat_release (2018-07-31)
0.54/0.52	(Encoding Process)
0.54/0.52	
0.66/0.54	c BEGIN-Prog: Sun Aug 12 13:12:17 CEST 2018
0.66/0.54	c PID: 18297
0.66/0.54	c IP: 172.20.3.107
0.66/0.54	c HOST: node107.alineos.net
0.66/0.55	c (0,0) Parsing Begin
3.46/1.53	c (1,1) Parsing End
3.46/1.54	c (1,1) CSP: 0 int (0 aux), 1716 bool (0 aux), 1553 ctr, max domain size 2
3.46/1.54	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.46/1.54	c (1,1) Constraint Name Generate Begin
3.46/1.56	c (1,1) Ctr:HOME/instance-4305304-1534072337.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum
3.46/1.56	c (1,1) Constraint Name Generate End
3.46/1.56	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
3.46/1.56	c (1,1) CSP to CSPinCNF Begin
4.82/1.93	c (1,1) translated 156 (10%) constraints
5.14/2.06	c (1,1) translated 311 (20%) constraints
5.43/2.15	c (1,1) translated 466 (30%) constraints
5.71/2.22	c (1,1) translated 622 (40%) constraints
5.71/2.29	c (1,1) translated 777 (50%) constraints
6.02/2.37	c (1,1) translated 932 (60%) constraints
6.33/2.43	c (1,1) translated 1088 (70%) constraints
6.33/2.49	c (1,1) translated 1243 (80%) constraints
6.62/2.54	c (2,2) translated 1398 (90%) constraints
6.94/2.63	c (2,2) translated 1553 (100%) constraints
8.44/3.14	c (2,2) STATISTICS1:HOME/instance-4305304-1534072337.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,5050,8284,2097152,2,4,22,2097152:156;2048:44;2:3860,2:21154,4:430;3:2936;2:3334;1:1584,22:156;12:44;2:3860;1:15810,
8.44/3.14	c (2,2) ==========================================
8.44/3.14	c (2,2) Order
8.44/3.14	c (2,2) ==========================================
8.80/3.27	c (2,2) translated 829 (10%) constraints
9.08/3.32	c (2,2) translated 1657 (20%) constraints
9.08/3.37	c (2,2) translated 2486 (30%) constraints
9.38/3.41	c (2,2) translated 3314 (40%) constraints
9.38/3.45	c (2,2) translated 4142 (50%) constraints
9.68/3.50	c (2,2) translated 4971 (60%) constraints
9.68/3.54	c (3,3) translated 5799 (70%) constraints
9.68/3.59	c (3,3) translated 6628 (80%) constraints
10.29/3.72	c (3,3) translated 7456 (90%) constraints
10.29/3.77	c (3,3) translated 8284 (100%) constraints
10.29/3.77	c (3,3) CSP to CSPinCNF End
10.29/3.77	c (3,3) CSP: 300 int (300 aux), 6502 bool (4786 aux), 13340 ctr, max domain size 9
10.29/3.77	c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
10.29/3.77	c (3,3) CSPinCNF Propagation Begin
10.93/3.90	c (3,3) 0 values, 1452 unsatisfiable literals, and 1452 valid clauses are removed
10.93/3.90	c (3,3) CSPinCNF Propagation End
10.93/3.90	c (3,3) CSP: 300 int (300 aux), 6502 bool (4786 aux), 11888 ctr, max domain size 9
10.93/3.90	c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.93/3.90	c (3,3) Simplify CSPinCNF Begin
10.93/3.97	c (3,3) Simplify CSPinCNF End
10.93/3.97	c (3,3) CSP: 300 int (300 aux), 7458 bool (5742 aux), 12844 ctr, max domain size 9
10.93/3.97	c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.93/3.97	c (3,3) Calculate Precise Domain Begin
11.27/4.03	c (3,3) 0 values are removed by re-calculation
11.27/4.03	c (3,3) Calculate Precise Domain End
11.27/4.04	c (3,3) CSP: 300 int (300 aux), 7458 bool (5742 aux), 12844 ctr, max domain size 9
11.27/4.04	c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.27/4.04	c (3,3) CSPinCNF to SatSolver Begin
12.25/4.31	c (3,3) 1285 (10 %) CSP clauses are encoded (8976 SAT variables, 18442 SAT clauses)
12.25/4.33	c (3,3) 2569 (20 %) CSP clauses are encoded (8976 SAT variables, 19726 SAT clauses)
12.25/4.35	c (3,3) 3854 (30 %) CSP clauses are encoded (8976 SAT variables, 21011 SAT clauses)
12.25/4.36	c (3,3) 5138 (40 %) CSP clauses are encoded (8976 SAT variables, 22295 SAT clauses)
12.25/4.38	c (3,3) 6422 (50 %) CSP clauses are encoded (8976 SAT variables, 23579 SAT clauses)
12.25/4.39	c (3,3) 7707 (60 %) CSP clauses are encoded (8976 SAT variables, 24864 SAT clauses)
12.56/4.40	c (3,3) 8991 (70 %) CSP clauses are encoded (8976 SAT variables, 26148 SAT clauses)
12.56/4.42	c (3,3) 10276 (80 %) CSP clauses are encoded (8976 SAT variables, 27433 SAT clauses)
13.16/4.71	c (4,4) 11560 (90 %) CSP clauses are encoded (8976 SAT variables, 87817 SAT clauses)
13.16/4.73	c (4,4) 12844 (100 %) CSP clauses are encoded (8976 SAT variables, 89731 SAT clauses)
13.16/4.73	c (4,4) Launch Command will be: minisat_release
13.16/4.73	c (4,4) CSPinCNF to SatSolver End
13.16/4.73	c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.45/4.83	c (4,4) STATISTICS2:HOME/instance-4305304-1534072337.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,7758,12844,256,9,4,9,256:156;128:312;64:24;36:132;25:44;16:132;2:4322,9:48;8:96;6:792;5:264;2:31778,4:430;3:1484;2:7194;1:3736,9:156;8:312;5:132;3:200;2:4322;1:19174,
13.45/4.83	c (4,4) 8976 bool, 89732 clause
13.45/4.83	c (4,4) Export Begin
13.76/5.01	c (4,4) Export to HOME/scop-18294-serial-file.bin
13.76/5.01	c (4,4) Export End
13.76/5.01	c (4,4) Export File Size: 0.28 MB
13.76/5.01	c (4,4) 1,1,3,3,3,3,4,STOP-AFTER(DIMACS)
13.76/5.01	c END-Prog: Sun Aug 12 13:12:22 CEST 2018
0.00/5.02	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-18294-serial-file.bin
14.15/5.51	c (0,0) Read Serial File Begin
14.15/5.51	c (0,0) HOME/scop-18294-serial-file.bin
14.15/5.76	c (0,0) Read Serial File End
14.15/5.78	
14.15/5.78	scop order+minisat_release (2018-07-31)
14.15/5.78	(Solving Process)
14.15/5.78	
14.15/5.80	c BEGIN-Prog: Sun Aug 12 13:12:23 CEST 2018
14.15/5.80	c PID: 18312
14.15/5.80	c IP: 172.20.3.107
14.15/5.80	c HOST: node107.alineos.net
14.15/5.80	c (0,0) SatSolver.solve Begin
14.15/5.80	c (0,0) 0 bool, 0 clause
14.15/5.80	c (0,0) minisat_release HOME/instance-4305304-1534072337.xml-scop-18297.cnf
16.36/6.61	c (1,0) c This is COMiniSatPS.
16.36/6.61	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
16.36/6.61	c (1,0) c ============================[ Problem Statistics ]=============================
16.36/6.61	c (1,0) c |                                                                             |
16.36/6.61	c (1,0) c |  Number of variables:          8976                                         |
16.36/6.61	c (1,0) c |  Number of clauses:           89732                                         |
16.36/6.61	c (1,0) c |  Parse time:                   0.03 s                                       |
16.36/6.61	c (1,0) c |  Eliminated clauses:           0.14 Mb                                      |
16.36/6.61	c (1,0) c Reduced to 3712 vars, 82602 cls (grow=0)
16.36/6.61	c (1,0) c No iterative elimination performed. (vars=3712, c/v ratio=22.3)
16.36/6.61	c (1,0) c |  Simplification time:          0.14 s                                       |
16.36/6.61	c (1,0) c |                                                                             |
16.36/6.61	c (1,0) c ============================[ Search Statistics ]==============================
16.36/6.61	c (1,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.36/6.61	c (1,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
16.36/6.61	c (1,0) c ===============================================================================
16.36/6.61	c (1,0) c ===============================================================================
16.36/6.61	c (1,0) c restarts              : 65
16.36/6.61	c (1,0) c conflicts             : 14826          (19128 /sec)
16.36/6.61	c (1,0) c decisions             : 25852          (0.00 % random) (33353 /sec)
16.36/6.61	c (1,0) c propagations          : 1829733        (2360666 /sec)
16.36/6.61	c (1,0) c conflict literals     : 355249         (20.40 % deleted)
16.36/6.61	c (1,0) c CPU time              : 0.775092 s
16.36/6.61	c (1,0) 
16.36/6.61	c (1,0) s SATISFIABLE
16.36/6.64	c (1,0) SatSolver.solve End
16.36/6.64	c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.36/6.64	c (1,0) Show results Begin
16.58/6.74	s SATISFIABLE
16.58/6.78	v <instantiation>
16.58/6.78	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][1][7] s[0][1][8] s[0][1][9] s[0][1][10] s[0][1][11] s[0][1][12] s[0][1][13] s[0][1][14] s[0][1][15] s[0][1][16] s[0][1][17] s[0][1][18] s[0][1][19] s[0][1][20] s[0][1][21] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][2][7] s[0][2][8] s[0][2][9] s[0][2][10] s[0][2][11] s[0][2][12] s[0][2][13] s[0][2][14] s[0][2][15] s[0][2][16] s[0][2][17] s[0][2][18] s[0][2][19] s[0][2][20] s[0][2][21] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][3][7] s[0][3][8] s[0][3][9] s[0][3][10] s[0][3][11] s[0][3][12] s[0][3][13] s[0][3][14] s[0][3][15] s[0][3][16] s[0][3][17] s[0][3][18] s[0][3][19] s[0][3][20] s[0][3][21] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][4][7] s[0][4][8] s[0][4][9] s[0][4][10] s[0][4][11] s[0][4][12] s[0][4][13] s[0][4][14] s[0][4][15] s[0][4][16] s[0][4][17] s[0][4][18] s[0][4][19] s[0][4][20] s[0][4][21] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][5][7] s[0][5][8] s[0][5][9] s[0][5][10] s[0][5][11] s[0][5][12] s[0][5][13] s[0][5][14] s[0][5][15] s[0][5][16] s[0][5][17] s[0][5][18] s[0][5][19] s[0][5][20] s[0][5][21] s[0][6][0] s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[0][6][7] s[0][6][8] s[0][6][9] s[0][6][10] s[0][6][11] s[0][6][12] s[0][6][13] s[0][6][14] s[0][6][15] s[0][6][16] s[0][6][17] s[0][6][18] s[0][6][19] s[0][6][20] s[0][6][21] s[0][7][0] s[0][7][1] s[0][7][2] s[0][7][3] s[0][7][4] s[0][7][5] s[0][7][6] s[0][7][7] s[0][7][8] s[0][7][9] s[0][7][10] s[0][7][11] s[0][7][12] s[0][7][13] s[0][7][14] s[0][7][15] s[0][7][16] s[0][7][17] s[0][7][18] s[0][7][19] s[0][7][20] s[0][7][21] s[0][8][0] s[0][8][1] s[0][8][2] s[0][8][3] s[0][8][4] s[0][8][5] s[0][8][6] s[0][8][7] s[0][8][8] s[0][8][9] s[0][8][10] s[0][8][11] s[0][8][12] s[0][8][13] s[0][8][14] s[0][8][15] s[0][8][16] s[0][8][17] s[0][8][18] s[0][8][19] s[0][8][20] s[0][8][21] s[0][9][0] s[0][9][1] s[0][9][2] s[0][9][3] s[0][9][4] s[0][9][5] s[0][9][6] s[0][9][7] s[0][9][8] s[0][9][9] s[0][9][10] s[0][9][11] s[0][9][12] s[0][9][13] s[0][9][14] s[0][9][15] s[0][9][16] s[0][9][17] s[0][9][18] s[0][9][19] s[0][9][20] s[0][9][21] s[0][10][0] s[0][10][1] s[0][10][2] s[0][10][3] s[0][10][4] s[0][10][5] s[0][10][6] s[0][10][7] s[0][10][8] s[0][10][9] s[0][10][10] s[0][10][11] s[0][10][12] s[0][10][13] s[0][10][14] s[0][10][15] s[0][10][16] s[0][10][17] s[0][10][18] s[0][10][19] s[0][10][20] s[0][10][21] s[0][11][0] s[0][11][1] s[0][11][2] s[0][11][3] s[0][11][4] s[0][11][5] s[0][11][6] s[0][11][7] s[0][11][8] s[0][11][9] s[0][11][10] s[0][11][11] s[0][11][12] s[0][11][13] s[0][11][14] s[0][11][15] s[0][11][16] s[0][11][17] s[0][11][18] s[0][11][19] s[0][11][20] s[0][11][21] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][2][7] s[1][2][8] s[1][2][9] s[1][2][10] s[1][2][11] s[1][2][12] s[1][2][13] s[1][2][14] s[1][2][15] s[1][2][16] s[1][2][17] s[1][2][18] s[1][2][19] s[1][2][20] s[1][2][21] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][3][7] s[1][3][8] s[1][3][9] s[1][3][10] s[1][3][11] s[1][3][12] s[1][3][13] s[1][3][14] s[1][3][15] s[1][3][16] s[1][3][17] s[1][3][18] s[1][3][19] s[1][3][20] s[1][3][21] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][4][7] s[1][4][8] s[1][4][9] s[1][4][10] s[1][4][11] s[1][4][12] s[1][4][13] s[1][4][14] s[1][4][15] s[1][4][16] s[1][4][17] s[1][4][18] s[1][4][19] s[1][4][20] s[1][4][21] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][5][7] s[1][5][8] s[1][5][9] s[1][5][10] s[1][5][11] s[1][5][12] s[1][5][13] s[1][5][14] s[1][5][15] s[1][5][16] s[1][5][17] s[1][5][18] s[1][5][19] s[1][5][20] s[1][5][21] s[1][6][0] s[1][6][1] s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[1][6][7] s[1][6][8] s[1][6][9] s[1][6][10] s[1][6][11] s[1][6][12] s[1][6][13] s[1][6][14] s[1][6][15] s[1][6][16] s[1][6][17] s[1][6][18] s[1][6][19] s[1][6][20] s[1][6][21] s[1][7][0] s[1][7][1] s[1][7][2] s[1][7][3] s[1][7][4] s[1][7][5] s[1][7][6] s[1][7][7] s[1][7][8] s[1][7][9] s[1][7][10] s[1][7][11] s[1][7][12] s[1][7][13] s[1][7][14] s[1][7][15] s[1][7][16] s[1][7][17] s[1][7][18] s[1][7][19] s[1][7][20] s[1][7][21] s[1][8][0] s[1][8][1] s[1][8][2] s[1][8][3] s[1][8][4] s[1][8][5] s[1][8][6] s[1][8][7] s[1][8][8] s[1][8][9] s[1][8][10] s[1][8][11] s[1][8][12] s[1][8][13] s[1][8][14] s[1][8][15] s[1][8][16] s[1][8][17] s[1][8][18] s[1][8][19] s[1][8][20] s[1][8][21] s[1][9][0] s[1][9][1] s[1][9][2] s[1][9][3] s[1][9][4] s[1][9][5] s[1][9][6] s[1][9][7] s[1][9][8] s[1][9][9] s[1][9][10] s[1][9][11] s[1][9][12] s[1][9][13] s[1][9][14] s[1][9][15] s[1][9][16] s[1][9][17] s[1][9][18] s[1][9][19] s[1][9][20] s[1][9][21] s[1][10][0] s[1][10][1] s[1][10][2] s[1][10][3] s[1][10][4] s[1][10][5] s[1][10][6] s[1][10][7] s[1][10][8] s[1][10][9] s[1][10][10] s[1][10][11] s[1][10][12] s[1][10][13] s[1][10][14] s[1][10][15] s[1][10][16] s[1][10][17] s[1][10][18] s[1][10][19] s[1][10][20] s[1][10][21] s[1][11][0] s[1][11][1] s[1][11][2] s[1][11][3] s[1][11][4] s[1][11][5] s[1][11][6] s[1][11][7] s[1][11][8] s[1][11][9] s[1][11][10] s[1][11][11] s[1][11][12] s[1][11][13] s[1][11][14] s[1][11][15] s[1][11][16] s[1][11][17] s[1][11][18] s[1][11][19] s[1][11][20] s[1][11][21] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][3][7] s[2][3][8] s[2][3][9] s[2][3][10] s[2][3][11] s[2][3][12] s[2][3][13] s[2][3][14] s[2][3][15] s[2][3][16] s[2][3][17] s[2][3][18] s[2][3][19] s[2][3][20] s[2][3][21] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][4][7] s[2][4][8] s[2][4][9] s[2][4][10] s[2][4][11] s[2][4][12] s[2][4][13] s[2][4][14] s[2][4][15] s[2][4][16] s[2][4][17] s[2][4][18] s[2][4][19] s[2][4][20] s[2][4][21] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][5][7] s[2][5][8] s[2][5][9] s[2][5][10] s[2][5][11] s[2][5][12] s[2][5][13] s[2][5][14] s[2][5][15] s[2][5][16] s[2][5][17] s[2][5][18] s[2][5][19] s[2][5][20] s[2][5][21] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[2][6][7] s[2][6][8] s[2][6][9] s[2][6][10] s[2][6][11] s[2][6][12] s[2][6][13] s[2][6][14] s[2][6][15] s[2][6][16] s[2][6][17] s[2][6][18] s[2][6][19] s[2][6][20] s[2][6][21] s[2][7][0] s[2][7][1] s[2][7][2] s[2][7][3] s[2][7][4] s[2][7][5] s[2][7][6] s[2][7][7] s[2][7][8] s[2][7][9] s[2][7][10] s[2][7][11] s[2][7][12] s[2][7][13] s[2][7][14] s[2][7][15] s[2][7][16] s[2][7][17] s[2][7][18] s[2][7][19] s[2][7][20] s[2][7][21] s[2][8][0] s[2][8][1] s[2][8][2] s[2][8][3] s[2][8][4] s[2][8][5] s[2][8][6] s[2][8][7] s[2][8][8] s[2][8][9] s[2][8][10] s[2][8][11] s[2][8][12] s[2][8][13] s[2][8][14] s[2][8][15] s[2][8][16] s[2][8][17] s[2][8][18] s[2][8][19] s[2][8][20] s[2][8][21] s[2][9][0] s[2][9][1] s[2][9][2] s[2][9][3] s[2][9][4] s[2][9][5] s[2][9][6] s[2][9][7] s[2][9][8] s[2][9][9] s[2][9][10] s[2][9][11] s[2][9][12] s[2][9][13] s[2][9][14] s[2][9][15] s[2][9][16] s[2][9][17] s[2][9][18] s[2][9][19] s[2][9][20] s[2][9][21] s[2][10][0] s[2][10][1] s[2][10][2] s[2][10][3] s[2][10][4] s[2][10][5] s[2][10][6] s[2][10][7] s[2][10][8] s[2][10][9] s[2][10][10] s[2][10][11] s[2][10][12] s[2][10][13] s[2][10][14] s[2][10][15] s[2][10][16] s[2][10][17] s[2][10][18] s[2][10][19] s[2][10][20] s[2][10][21] s[2][11][0] s[2][11][1] s[2][11][2] s[2][11][3] s[2][11][4] s[2][11][5] s[2][11][6] s[2][11][7] s[2][11][8] s[2][11][9] s[2][11][10] s[2][11][11] s[2][11][12] s[2][11][13] s[2][11][14] s[2][11][15] s[2][11][16] s[2][11][17] s[2][11][18] s[2][11][19] s[2][11][20] s[2][11][21] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][4][7] s[3][4][8] s[3][4][9] s[3][4][10] s[3][4][11] s[3][4][12] s[3][4][13] s[3][4][14] s[3][4][15] s[3][4][16] s[3][4][17] s[3][4][18] s[3][4][19] s[3][4][20] s[3][4][21] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][5][7] s[3][5][8] s[3][5][9] s[3][5][10] s[3][5][11] s[3][5][12] s[3][5][13] s[3][5][14] s[3][5][15] s[3][5][16] s[3][5][17] s[3][5][18] s[3][5][19] s[3][5][20] s[3][5][21] s[3][6][0] s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[3][6][7] s[3][6][8] s[3][6][9] s[3][6][10] s[3][6][11] s[3][6][12] s[3][6][13] s[3][6][14] s[3][6][15] s[3][6][16] s[3][6][17] s[3][6][18] s[3][6][19] s[3][6][20] s[3][6][21] s[3][7][0] s[3][7][1] s[3][7][2] s[3][7][3] s[3][7][4] s[3][7][5] s[3][7][6] s[3][7][7] s[3][7][8] s[3][7][9] s[3][7][10] s[3][7][11] s[3][7][12] s[3][7][13] s[3][7][14] s[3][7][15] s[3][7][16] s[3][7][17] s[3][7][18] s[3][7][19] s[3][7][20] s[3][7][21] s[3][8][0] s[3][8][1] s[3][8][2] s[3][8][3] s[3][8][4] s[3][8][5] s[3][8][6] s[3][8][7] s[3][8][8] s[3][8][9] s[3][8][10] s[3][8][11] s[3][8][12] s[3][8][13] s[3][8][14] s[3][8][15] s[3][8][16] s[3][8][17] s[3][8][18] s[3][8][19] s[3][8][20] s[3][8][21] s[3][9][0] s[3][9][1] s[3][9][2] s[3][9][3] s[3][9][4] s[3][9][5] s[3][9][6] s[3][9][7] s[3][9][8] s[3][9][9] s[3][9][10] s[3][9][11] s[3][9][12] s[3][9][13] s[3][9][14] s[3][9][15] s[3][9][16] s[3][9][17] s[3][9][18] s[3][9][19] s[3][9][20] s[3][9][21] s[3][10][0] s[3][10][1] s[3][10][2] s[3][10][3] s[3][10][4] s[3][10][5] s[3][10][6] s[3][10][7] s[3][10][8] s[3][10][9] s[3][10][10] s[3][10][11] s[3][10][12] s[3][10][13] s[3][10][14] s[3][10][15] s[3][10][16] s[3][10][17] s[3][10][18] s[3][10][19] s[3][10][20] s[3][10][21] s[3][11][0] s[3][11][1] s[3][11][2] s[3][11][3] s[3][11][4] s[3][11][5] s[3][11][6] s[3][11][7] s[3][11][8] s[3][11][9] s[3][11][10] s[3][11][11] s[3][11][12] s[3][11][13] s[3][11][14] s[3][11][15] s[3][11][16] s[3][11][17] s[3][11][18] s[3][11][19] s[3][11][20] s[3][11][21] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][5][7] s[4][5][8] s[4][5][9] s[4][5][10] s[4][5][11] s[4][5][12] s[4][5][13] s[4][5][14] s[4][5][15] s[4][5][16] s[4][5][17] s[4][5][18] s[4][5][19] s[4][5][20] s[4][5][21] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[4][6][7] s[4][6][8] s[4][6][9] s[4][6][10] s[4][6][11] s[4][6][12] s[4][6][13] s[4][6][14] s[4][6][15] s[4][6][16] s[4][6][17] s[4][6][18] s[4][6][19] s[4][6][20] s[4][6][21] s[4][7][0] s[4][7][1] s[4][7][2] s[4][7][3] s[4][7][4] s[4][7][5] s[4][7][6] s[4][7][7] s[4][7][8] s[4][7][9] s[4][7][10] s[4][7][11] s[4][7][12] s[4][7][13] s[4][7][14] s[4][7][15] s[4][7][16] s[4][7][17] s[4][7][18] s[4][7][19] s[4][7][20] s[4][7][21] s[4][8][0] s[4][8][1] s[4][8][2] s[4][8][3] s[4][8][4] s[4][8][5] s[4][8][6] s[4][8][7] s[4][8][8] s[4][8][9] s[4][8][10] s[4][8][11] s[4][8][12] s[4][8][13] s[4][8][14] s[4][8][15] s[4][8][16] s[4][8][17] s[4][8][18] s[4][8][19] s[4][8][20] s[4][8][21] s[4][9][0] s[4][9][1] s[4][9][2] s[4][9][3] s[4][9][4] s[4][9][5] s[4][9][6] s[4][9][7] s[4][9][8] s[4][9][9] s[4][9][10] s[4][9][11] s[4][9][12] s[4][9][13] s[4][9][14] s[4][9][15] s[4][9][16] s[4][9][17] s[4][9][18] s[4][9][19] s[4][9][20] s[4][9][21] s[4][10][0] s[4][10][1] s[4][10][2] s[4][10][3] s[4][10][4] s[4][10][5] s[4][10][6] s[4][10][7] s[4][10][8] s[4][10][9] s[4][10][10] s[4][10][11] s[4][10][12] s[4][10][13] s[4][10][14] s[4][10][15] s[4][10][16] s[4][10][17] s[4][10][18] s[4][10][19] s[4][10][20] s[4][10][21] s[4][11][0] s[4][11][1] s[4][11][2] s[4][11][3] s[4][11][4] s[4][11][5] s[4][11][6] s[4][11][7] s[4][11][8] s[4][11][9] s[4][11][10] s[4][11][11] s[4][11][12] s[4][11][13] s[4][11][14] s[4][11][15] s[4][11][16] s[4][11][17] s[4][11][18] s[4][11][19] s[4][11][20] s[4][11][21] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3] s[5][6][4] s[5][6][5] s[5][6][6] s[5][6][7] s[5][6][8] s[5][6][9] s[5][6][10] s[5][6][11] s[5][6][12] s[5][6][13] s[5][6][14] s[5][6][15] s[5][6][16] s[5][6][17] s[5][6][18] s[5][6][19] s[5][6][20] s[5][6][21] s[5][7][0] s[5][7][1] s[5][7][2] s[5][7][3] s[5][7][4] s[5][7][5] s[5][7][6] s[5][7][7] s[5][7][8] s[5][7][9] s[5][7][10] s[5][7][11] s[5][7][12] s[5][7][13] s[5][7][14] s[5][7][15] s[5][7][16] s[5][7][17] s[5][7][18] s[5][7][19] s[5][7][20] s[5][7][21] s[5][8][0] s[5][8][1] s[5][8][2] s[5][8][3] s[5][8][4] s[5][8][5] s[5][8][6] s[5][8][7] s[5][8][8] s[5][8][9] s[5][8][10] s[5][8][11] s[5][8][12] s[5][8][13] s[5][8][14] s[5][8][15] s[5][8][16] s[5][8][17] s[5][8][18] s[5][8][19] s[5][8][20] s[5][8][21] s[5][9][0] s[5][9][1] s[5][9][2] s[5][9][3] s[5][9][4] s[5][9][5] s[5][9][6] s[5][9][7] s[5][9][8] s[5][9][9] s[5][9][10] s[5][9][11] s[5][9][12] s[5][9][13] s[5][9][14] s[5][9][15] s[5][9][16] s[5][9][17] s[5][9][18] s[5][9][19] s[5][9][20] s[5][9][21] s[5][10][0] s[5][10][1] s[5][10][2] s[5][10][3] s[5][10][4] s[5][10][5] s[5][10][6] s[5][10][7] s[5][10][8] s[5][10][9] s[5][10][10] s[5][10][11] s[5][10][12] s[5][10][13] s[5][10][14] s[5][10][15] s[5][10][16] s[5][10][17] s[5][10][18] s[5][10][19] s[5][10][20] s[5][10][21] s[5][11][0] s[5][11][1] s[5][11][2] s[5][11][3] s[5][11][4] s[5][11][5] s[5][11][6] s[5][11][7] s[5][11][8] s[5][11][9] s[5][11][10] s[5][11][11] s[5][11][12] s[5][11][13] s[5][11][14] s[5][11][15] s[5][11][16] s[5][11][17] s[5][11][18] s[5][11][19] s[5][11][20] s[5][11][21] s[6][7][0] s[6][7][1] s[6][7][2] s[6][7][3] s[6][7][4] s[6][7][5] s[6][7][6] s[6][7][7] s[6][7][8] s[6][7][9] s[6][7][10] s[6][7][11] s[6][7][12] s[6][7][13] s[6][7][14] s[6][7][15] s[6][7][16] s[6][7][17] s[6][7][18] s[6][7][19] s[6][7][20] s[6][7][21] s[6][8][0] s[6][8][1] s[6][8][2] s[6][8][3] s[6][8][4] s[6][8][5] s[6][8][6] s[6][8][7] s[6][8][8] s[6][8][9] s[6][8][10] s[6][8][11] s[6][8][12] s[6][8][13] s[6][8][14] s[6][8][15] s[6][8][16] s[6][8][17] s[6][8][18] s[6][8][19] s[6][8][20] s[6][8][21] s[6][9][0] s[6][9][1] s[6][9][2] s[6][9][3] s[6][9][4] s[6][9][5] s[6][9][6] s[6][9][7] s[6][9][8] s[6][9][9] s[6][9][10] s[6][9][11] s[6][9][12] s[6][9][13] s[6][9][14] s[6][9][15] s[6][9][16] s[6][9][17] s[6][9][18] s[6][9][19] s[6][9][20] s[6][9][21] s[6][10][0] s[6][10][1] s[6][10][2] s[6][10][3] s[6][10][4] s[6][10][5] s[6][10][6] s[6][10][7] s[6][10][8] s[6][10][9] s[6][10][10] s[6][10][11] s[6][10][12] s[6][10][13] s[6][10][14] s[6][10][15] s[6][10][16] s[6][10][17] s[6][10][18] s[6][10][19] s[6][10][20] s[6][10][21] s[6][11][0] s[6][11][1] s[6][11][2] s[6][11][3] s[6][11][4] s[6][11][5] s[6][11][6] s[6][11][7] s[6][11][8] s[6][11][9] s[6][11][10] s[6][11][11] s[6][11][12] s[6][11][13] s[6][11][14] s[6][11][15] s[6][11][16] s[6][11][17] s[6][11][18] s[6][11][19] s[6][11][20] s[6][11][21] s[7][8][0] s[7][8][1] s[7][8][2] s[7][8][3] s[7][8][4] s[7][8][5] s[7][8][6] s[7][8][7] s[7][8][8] s[7][8][9] s[7][8][10] s[7][8][11] s[7][8][12] s[7][8][13] s[7][8][14] s[7][8][15] s[7][8][16] s[7][8][17] s[7][8][18] s[7][8][19] s[7][8][20] s[7][8][21] s[7][9][0] s[7][9][1] s[7][9][2] s[7][9][3] s[7][9][4] s[7][9][5] s[7][9][6] s[7][9][7] s[7][9][8] s[7][9][9] s[7][9][10] s[7][9][11] s[7][9][12] s[7][9][13] s[7][9][14] s[7][9][15] s[7][9][16] s[7][9][17] s[7][9][18] s[7][9][19] s[7][9][20] s[7][9][21] s[7][10][0] s[7][10][1] s[7][10][2] s[7][10][3] s[7][10][4] s[7][10][5] s[7][10][6] s[7][10][7] s[7][10][8] s[7][10][9] s[7][10][10] s[7][10][11] s[7][10][12] s[7][10][13] s[7][10][14] s[7][10][15] s[7][10][16] s[7][10][17] s[7][10][18] s[7][10][19] s[7][10][20] s[7][10][21] s[7][11][0] s[7][11][1] s[7][11][2] s[7][11][3] s[7][11][4] s[7][11][5] s[7][11][6] s[7][11][7] s[7][11][8] s[7][11][9] s[7][11][10] s[7][11][11] s[7][11][12] s[7][11][13] s[7][11][14] s[7][11][15] s[7][11][16] s[7][11][17] s[7][11][18] s[7][11][19] s[7][11][20] s[7][11][21] s[8][9][0] s[8][9][1] s[8][9][2] s[8][9][3] s[8][9][4] s[8][9][5] s[8][9][6] s[8][9][7] s[8][9][8] s[8][9][9] s[8][9][10] s[8][9][11] s[8][9][12] s[8][9][13] s[8][9][14] s[8][9][15] s[8][9][16] s[8][9][17] s[8][9][18] s[8][9][19] s[8][9][20] s[8][9][21] s[8][10][0] s[8][10][1] s[8][10][2] s[8][10][3] s[8][10][4] s[8][10][5] s[8][10][6] s[8][10][7] s[8][10][8] s[8][10][9] s[8][10][10] s[8][10][11] s[8][10][12] s[8][10][13] s[8][10][14] s[8][10][15] s[8][10][16] s[8][10][17] s[8][10][18] s[8][10][19] s[8][10][20] s[8][10][21] s[8][11][0] s[8][11][1] s[8][11][2] s[8][11][3] s[8][11][4] s[8][11][5] s[8][11][6] s[8][11][7] s[8][11][8] s[8][11][9] s[8][11][10] s[8][11][11] s[8][11][12] s[8][11][13] s[8][11][14] s[8][11][15] s[8][11][16] s[8][11][17] s[8][11][18] s[8][11][19] s[8][11][20] s[8][11][21] s[9][10][0] s[9][10][1] s[9][10][2] s[9][10][3] s[9][10][4] s[9][10][5] s[9][10][6] s[9][10][7] s[9][10][8] s[9][10][9] s[9][10][10] s[9][10][11] s[9][10][12] s[9][10][13] s[9][10][14] s[9][10][15] s[9][10][16] s[9][10][17] s[9][10][18] s[9][10][19] s[9][10][20] s[9][10][21] s[9][11][0] s[9][11][1] s[9][11][2] s[9][11][3] s[9][11][4] s[9][11][5] s[9][11][6] s[9][11][7] s[9][11][8] s[9][11][9] s[9][11][10] s[9][11][11] s[9][11][12] s[9][11][13] s[9][11][14] s[9][11][15] s[9][11][16] s[9][11][17] s[9][11][18] s[9][11][19] s[9][11][20] s[9][11][21] s[10][11][0] s[10][11][1] s[10][11][2] s[10][11][3] s[10][11][4] s[10][11][5] s[10][11][6] s[10][11][7] s[10][11][8] s[10][11][9] s[10][11][10] s[10][11][11] s[10][11][12] s[10][11][13] s[10][11][14] s[10][11][15] s[10][11][16] s[10][11][17] s[10][11][18] s[10][11][19] s[10][11][20] s[10][11][21]</list>
16.58/6.78	v     <values>0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0</values>
16.58/6.78	v </instantiation>
16.58/6.78	c (1,0) Show results End
16.58/6.78	c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
16.58/6.78	c (1,0) 1,1,STOP-AFTER(ALL)
16.58/6.78	c END-Prog: Sun Aug 12 13:12:24 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 (12171 MiB free)
  memory of node 1: 16384 MiB (11316 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100154 s]*
/proc/loadavg: 2.32 2.10 2.07 3/223 18311
/proc/meminfo: memFree=23993896/32770624 swapFree=67108860/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224796869 115843072 348 33554432000 4194304 5098028 140730372700976 140730372698232 140079153336956 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8892416 140730372707392 140730372707591 140730372707591 140730372710349 0
/proc/18294/statm: 28282 348 296 221 0 87 0
[pid=18297] ppid=18294 vsize=15012476 memory=70788 CPUtime=0.11 cores=1,3,5,7
/proc/18297/stat : 18297 (java) S 18294 18294 16605 0 -1 1077944320 6836 0 0 0 9 2 0 0 20 0 15 0 224796869 15372775424 17697 33554432000 4194304 4196468 140731958964800 140731958947344 139769504857847 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
/proc/18297/statm: 3753119 17697 2770 1 0 3715579 0
[pid=18297/tid=18298] ppid=18294 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/18297/task/18298/stat : 18298 (java) R 18294 18294 16605 0 -1 4202560 4936 0 0 0 8 1 0 0 20 0 15 0 224796870 15372775424 17697 33554432000 4194304 4196468 140731958964800 139769476669832 139769485134672 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18299] ppid=18294 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18299/stat : 18299 (java) S 18294 18294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224796871 15372775424 17697 33554432000 4194304 4196468 140731958964800 139769509100560 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18300] ppid=18294 vsize=15012476 memory=140305163695744 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18300/stat : 18300 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15372775424 17697 33554432000 4194304 4196468 140731958964800 139769323256976 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18301] ppid=18294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18301/stat : 18301 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15372775424 17763 33554432000 4194304 4196468 140731958964800 139769322203920 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18302] ppid=18294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18302/stat : 18302 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15372775424 17763 33554432000 4194304 4196468 140731958964800 139769321151376 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18303] ppid=18294 vsize=15012476 memory=140305163695744 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18303/stat : 18303 (java) S 18294 18294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224796873 15372775424 17763 33554432000 4194304 4196468 140731958964800 139768340912368 139769504868994 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18304] ppid=18294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18304/stat : 18304 (java) S 18294 18294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224796873 15372775424 17763 33554432000 4194304 4196468 140731958964800 139768100807840 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18305] ppid=18294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18305/stat : 18305 (java) S 18294 18294 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224796874 15372775424 17763 33554432000 4194304 4196468 140731958964800 139767966585584 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18306] ppid=18294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18306/stat : 18306 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 17763 33554432000 4194304 4196468 140731958964800 139767592081360 139769504876443 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18307] ppid=18294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18307/stat : 18307 (java) S 18294 18294 16605 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 17763 33554432000 4194304 4196468 140731958964800 139768339860208 139769504868994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18308] ppid=18294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18308/stat : 18308 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 17763 33554432000 4194304 4196468 140731958964800 139768338807664 139769504868994 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18309] ppid=18294 vsize=15012476 memory=140305163695744 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18309/stat : 18309 (java) S 18294 18294 16605 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 17763 33554432000 4194304 4196468 140731958964800 139768337754608 139769504868994 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18310] ppid=18294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18310/stat : 18310 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 17763 33554432000 4194304 4196468 140731958964800 139767094176608 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18311] ppid=18294 vsize=15012476 memory=140305163695744 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18311/stat : 18311 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 17763 33554432000 4194304 4196468 140731958964800 139768336702000 139769504868994 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72180 KiB

[startup+0.21077 s]*
/proc/loadavg: 2.32 2.10 2.07 3/223 18311
/proc/meminfo: memFree=23979728/32770624 swapFree=67108860/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224796869 115843072 348 33554432000 4194304 5098028 140730372700976 140730372698232 140079153336956 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8892416 140730372707392 140730372707591 140730372707591 140730372710349 0
/proc/18294/statm: 28282 348 296 221 0 87 0
[pid=18297] ppid=18294 vsize=15012476 memory=83600 CPUtime=0.26 cores=1,3,5,7
/proc/18297/stat : 18297 (java) S 18294 18294 16605 0 -1 1077944320 10296 0 0 0 23 3 0 0 20 0 15 0 224796869 15372775424 20900 33554432000 4194304 4196468 140731958964800 140731958947344 139769504857847 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
/proc/18297/statm: 3753119 20900 2875 1 0 3715579 0
[pid=18297/tid=18298] ppid=18294 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/18297/task/18298/stat : 18298 (java) R 18294 18294 16605 0 -1 4202560 8158 0 0 0 18 2 0 0 20 0 15 0 224796870 15372775424 20900 33554432000 4194304 4196468 140731958964800 139769476684240 139769488938334 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18299] ppid=18294 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18299/stat : 18299 (java) S 18294 18294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224796871 15372775424 20900 33554432000 4194304 4196468 140731958964800 139769509100560 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18300] ppid=18294 vsize=15012476 memory=4122684619469698720 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18300/stat : 18300 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15372775424 20900 33554432000 4194304 4196468 140731958964800 139769323256976 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18301] ppid=18294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18301/stat : 18301 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15372775424 20900 33554432000 4194304 4196468 140731958964800 139769322203920 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18302] ppid=18294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18302/stat : 18302 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15372775424 20900 33554432000 4194304 4196468 140731958964800 139769321151376 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18303] ppid=18294 vsize=15012476 memory=140305163695744 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18303/stat : 18303 (java) S 18294 18294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224796873 15372775424 20900 33554432000 4194304 4196468 140731958964800 139768340912368 139769504868994 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18304] ppid=18294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18304/stat : 18304 (java) S 18294 18294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224796873 15372775424 20900 33554432000 4194304 4196468 140731958964800 139768100807840 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18305] ppid=18294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18305/stat : 18305 (java) S 18294 18294 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224796874 15372775424 20900 33554432000 4194304 4196468 140731958964800 139767966585584 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18306] ppid=18294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18306/stat : 18306 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 20900 33554432000 4194304 4196468 140731958964800 139767592081360 139769504876443 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18307] ppid=18294 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18297/task/18307/stat : 18307 (java) R 18294 18294 16605 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 15 0 224796876 15372775424 20900 33554432000 4194304 4196468 140731958964800 139768339860208 139769504868994 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18308] ppid=18294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18308/stat : 18308 (java) R 18294 18294 16605 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 20900 33554432000 4194304 4196468 140731958964800 139768338807664 139769482516912 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18309] ppid=18294 vsize=15012476 memory=140305163695744 CPUtime=0.03 cores=1,3,5,7
/proc/18297/task/18309/stat : 18309 (java) R 18294 18294 16605 0 -1 4202560 317 0 0 0 3 0 0 0 20 0 15 0 224796876 15372775424 20900 33554432000 4194304 4196468 140731958964800 139768337754608 139769504869782 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18310] ppid=18294 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18310/stat : 18310 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 20900 33554432000 4194304 4196468 140731958964800 139767094176608 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18311] ppid=18294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18311/stat : 18311 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 20900 33554432000 4194304 4196468 140731958964800 139768336702000 139769504868994 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84992 KiB

[startup+0.310826 s]*
/proc/loadavg: 2.32 2.10 2.07 3/223 18311
/proc/meminfo: memFree=23975648/32770624 swapFree=67108860/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224796869 115843072 348 33554432000 4194304 5098028 140730372700976 140730372698232 140079153336956 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8892416 140730372707392 140730372707591 140730372707591 140730372710349 0
/proc/18294/statm: 28282 348 296 221 0 87 0
[pid=18297] ppid=18294 vsize=15012476 memory=87784 CPUtime=0.42 cores=1,3,5,7
/proc/18297/stat : 18297 (java) S 18294 18294 16605 0 -1 1077944320 10914 0 0 0 39 3 0 0 20 0 15 0 224796869 15372775424 21946 33554432000 4194304 4196468 140731958964800 140731958947344 139769504857847 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
/proc/18297/statm: 3753119 21946 3015 1 0 3715579 0
[pid=18297/tid=18298] ppid=18294 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18297/task/18298/stat : 18298 (java) R 18294 18294 16605 0 -1 4202560 8593 0 0 0 27 2 0 0 20 0 15 0 224796870 15372775424 21946 33554432000 4194304 4196468 140731958964800 139769476653296 139769490023486 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18299] ppid=18294 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18299/stat : 18299 (java) S 18294 18294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224796871 15372775424 21946 33554432000 4194304 4196468 140731958964800 139769509100560 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18300] ppid=18294 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18300/stat : 18300 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15372775424 21946 33554432000 4194304 4196468 140731958964800 139769323256976 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18301] ppid=18294 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18301/stat : 18301 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15372775424 21946 33554432000 4194304 4196468 140731958964800 139769322203920 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18302] ppid=18294 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18302/stat : 18302 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15372775424 21946 33554432000 4194304 4196468 140731958964800 139769321151376 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18303] ppid=18294 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18303/stat : 18303 (java) S 18294 18294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224796873 15372775424 21946 33554432000 4194304 4196468 140731958964800 139768340912368 139769504868994 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18304] ppid=18294 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18304/stat : 18304 (java) S 18294 18294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224796873 15372775424 21946 33554432000 4194304 4196468 140731958964800 139768100807840 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18305] ppid=18294 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18305/stat : 18305 (java) S 18294 18294 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224796874 15372775424 21946 33554432000 4194304 4196468 140731958964800 139767966585584 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18306] ppid=18294 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18306/stat : 18306 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 21946 33554432000 4194304 4196468 140731958964800 139767592081360 139769504876443 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18307] ppid=18294 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18297/task/18307/stat : 18307 (java) R 18294 18294 16605 0 -1 4202560 537 0 0 0 3 0 0 0 20 0 15 0 224796876 15372775424 21946 33554432000 4194304 4196468 140731958964800 139768339860208 139769484104633 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18308] ppid=18294 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18297/task/18308/stat : 18308 (java) R 18294 18294 16605 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 15 0 224796876 15372775424 21946 33554432000 4194304 4196468 140731958964800 139768338807664 139769504868994 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18309] ppid=18294 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18297/task/18309/stat : 18309 (java) S 18294 18294 16605 0 -1 1077944384 360 0 0 0 7 0 0 0 20 0 15 0 224796876 15372775424 21946 33554432000 4194304 4196468 140731958964800 139768337754608 139769504868994 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18310] ppid=18294 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18310/stat : 18310 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 21946 33554432000 4194304 4196468 140731958964800 139767094176608 139769504868053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18311] ppid=18294 vsize=15012476 memory=4121417289171017777 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18311/stat : 18311 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796876 15372775424 21946 33554432000 4194304 4196468 140731958964800 139768336702000 139769504868994 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89176 KiB

[startup+0.701545 s]
/proc/loadavg: 2.32 2.10 2.07 3/223 18311
/proc/meminfo: memFree=23973604/32770624 swapFree=67108860/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224796869 115843072 348 33554432000 4194304 5098028 140730372700976 140730372698232 140079153336956 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8892416 140730372707392 140730372707591 140730372707591 140730372710349 0
/proc/18294/statm: 28282 348 296 221 0 87 0
[pid=18297] ppid=18294 vsize=15018748 memory=129692 CPUtime=1.06 cores=1,3,5,7
/proc/18297/stat : 18297 (java) S 18294 18294 16605 0 -1 1077944320 18038 0 0 0 99 7 0 0 20 0 15 0 224796869 15379197952 32423 33554432000 4194304 4196468 140731958964800 140731958947344 139769504857847 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
/proc/18297/statm: 3754687 32423 3126 1 0 3716091 0
[pid=18297/tid=18298] ppid=18294 vsize=15018748 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/18297/task/18298/stat : 18298 (java) R 18294 18294 16605 0 -1 4202560 15154 0 0 0 62 5 0 0 20 0 15 0 224796870 15379197952 32423 33554432000 4194304 4196468 140731958964800 139769476695232 139769488938334 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18299] ppid=18294 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18299/stat : 18299 (java) S 18294 18294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224796871 15379197952 32423 33554432000 4194304 4196468 140731958964800 139769509100560 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18300] ppid=18294 vsize=15018748 memory=61168 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18300/stat : 18300 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15379197952 32423 33554432000 4194304 4196468 140731958964800 139769323256976 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18301] ppid=18294 vsize=15018748 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18301/stat : 18301 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15379197952 32423 33554432000 4194304 4196468 140731958964800 139769322203920 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18302] ppid=18294 vsize=15018748 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18302/stat : 18302 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15379197952 32423 33554432000 4194304 4196468 140731958964800 139769321151376 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18303] ppid=18294 vsize=15018748 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18303/stat : 18303 (java) S 18294 18294 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224796873 15379197952 32423 33554432000 4194304 4196468 140731958964800 139768340912368 139769504868994 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18304] ppid=18294 vsize=15018748 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18304/stat : 18304 (java) S 18294 18294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224796873 15379197952 32423 33554432000 4194304 4196468 140731958964800 139768100807840 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18305] ppid=18294 vsize=15018748 memory=752 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18305/stat : 18305 (java) S 18294 18294 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224796874 15379197952 32423 33554432000 4194304 4196468 140731958964800 139767966585584 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18306] ppid=18294 vsize=15018748 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18306/stat : 18306 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224796876 15379197952 32423 33554432000 4194304 4196468 140731958964800 139767592081360 139769504876443 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18307] ppid=18294 vsize=15018748 memory=1120 CPUtime=0.1 cores=1,3,5,7
/proc/18297/task/18307/stat : 18307 (java) R 18294 18294 16605 0 -1 4202560 773 0 0 0 10 0 0 0 20 0 15 0 224796876 15379197952 32423 33554432000 4194304 4196468 140731958964800 139768339851872 139769490468880 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18308] ppid=18294 vsize=15018748 memory=6120 CPUtime=0.08 cores=1,3,5,7
/proc/18297/task/18308/stat : 18308 (java) R 18294 18294 16605 0 -1 4202560 219 0 0 0 8 0 0 0 20 0 15 0 224796876 15379197952 32423 33554432000 4194304 4196468 140731958964800 139768338797728 139769497954683 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18309] ppid=18294 vsize=15018748 memory=1724 CPUtime=0.17 cores=1,3,5,7
/proc/18297/task/18309/stat : 18309 (java) S 18294 18294 16605 0 -1 1077944384 542 0 0 0 17 0 0 0 20 0 15 0 224796876 15379197952 32423 33554432000 4194304 4196468 140731958964800 139768337754608 139769504868994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18310] ppid=18294 vsize=15018748 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18310/stat : 18310 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224796876 15379197952 32423 33554432000 4194304 4196468 140731958964800 139767094176608 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18311] ppid=18294 vsize=15018748 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18311/stat : 18311 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796876 15379197952 32423 33554432000 4194304 4196468 140731958964800 139768336702000 139769504868994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 131084 KiB

[startup+1.50155 s]
/proc/loadavg: 2.46 2.13 2.08 4/223 18311
/proc/meminfo: memFree=23928252/32770624 swapFree=67108860/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224796869 115843072 348 33554432000 4194304 5098028 140730372700976 140730372698232 140079153336956 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8892416 140730372707392 140730372707591 140730372707591 140730372710349 0
/proc/18294/statm: 28282 348 296 221 0 87 0

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

[pid=18294] ppid=18291 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224796869 115843072 348 33554432000 4194304 5098028 140730372700976 140730372698232 140079153336956 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8892416 140730372707392 140730372707591 140730372707591 140730372710349 0
/proc/18294/statm: 28282 348 296 221 0 87 0
[pid=18297] ppid=18294 vsize=15024968 memory=586908 CPUtime=8.44 cores=1,3,5,7
/proc/18297/stat : 18297 (java) S 18294 18294 16605 0 -1 1077944320 27112 0 0 0 827 17 0 0 20 0 15 0 224796869 15385567232 146727 33554432000 4194304 4196468 140731958964800 140731958947344 139769504857847 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
/proc/18297/statm: 3756242 146727 3203 1 0 3717627 0
[pid=18297/tid=18298] ppid=18294 vsize=15024968 memory=0 CPUtime=3.06 cores=1,3,5,7
/proc/18297/task/18298/stat : 18298 (java) R 18294 18294 16605 0 -1 4202560 16665 0 0 0 293 13 0 0 20 0 15 0 224796870 15385567232 146727 33554432000 4194304 4196468 140731958964800 139769476692800 139769003533447 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18299] ppid=18294 vsize=15024968 memory=56 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18299/stat : 18299 (java) S 18294 18294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224796871 15385567232 146727 33554432000 4194304 4196468 140731958964800 139769509100560 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18300] ppid=18294 vsize=15024968 memory=280610077755232 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18300/stat : 18300 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15385567232 146727 33554432000 4194304 4196468 140731958964800 139769323256976 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18301] ppid=18294 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18301/stat : 18301 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15385567232 146727 33554432000 4194304 4196468 140731958964800 139769322203920 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18302] ppid=18294 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18302/stat : 18302 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224796871 15385567232 146727 33554432000 4194304 4196468 140731958964800 139769321151376 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18303] ppid=18294 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18303/stat : 18303 (java) S 18294 18294 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224796873 15385567232 146727 33554432000 4194304 4196468 140731958964800 139768340912368 139769504868994 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18304] ppid=18294 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18304/stat : 18304 (java) S 18294 18294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224796873 15385567232 146727 33554432000 4194304 4196468 140731958964800 139768100807840 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18305] ppid=18294 vsize=15024968 memory=10881 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18305/stat : 18305 (java) S 18294 18294 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224796874 15385567232 146727 33554432000 4194304 4196468 140731958964800 139767966585584 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18306] ppid=18294 vsize=15024968 memory=20710 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18306/stat : 18306 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224796876 15385567232 146727 33554432000 4194304 4196468 140731958964800 139767592081360 139769504876443 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18307] ppid=18294 vsize=15024968 memory=0 CPUtime=2.08 cores=1,3,5,7
/proc/18297/task/18307/stat : 18307 (java) R 18294 18294 16605 0 -1 4202560 2835 0 0 0 207 1 0 0 20 0 15 0 224796876 15385567232 146727 33554432000 4194304 4196468 140731958964800 139768339846776 139769488071435 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18308] ppid=18294 vsize=15024968 memory=0 CPUtime=2.11 cores=1,3,5,7
/proc/18297/task/18308/stat : 18308 (java) R 18294 18294 16605 0 -1 4202560 2453 0 0 0 210 1 0 0 20 0 15 0 224796876 15385567232 146727 33554432000 4194304 4196468 140731958964800 139768338793920 139769489254854 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18309] ppid=18294 vsize=15024968 memory=1392 CPUtime=1.16 cores=1,3,5,7
/proc/18297/task/18309/stat : 18309 (java) S 18294 18294 16605 0 -1 1077944384 3804 0 0 0 115 1 0 0 20 0 15 0 224796876 15385567232 146727 33554432000 4194304 4196468 140731958964800 139768337754608 139769504868994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18310] ppid=18294 vsize=15024968 memory=333320 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18310/stat : 18310 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224796876 15385567232 146727 33554432000 4194304 4196468 140731958964800 139767094176608 139769504868053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
[pid=18297/tid=18311] ppid=18294 vsize=15024968 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/18297/task/18311/stat : 18311 (java) S 18294 18294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224796876 15385567232 146727 33554432000 4194304 4196468 140731958964800 139768336702000 139769504868994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140731958973446 140731958973745 140731958973745 140731958976463 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 588300 KiB

[startup+6.30096 s]
/proc/loadavg: 2.50 2.15 2.09 3/228 18332
/proc/meminfo: memFree=23943464/32770624 swapFree=67108860/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1468 CPUtime=14.15 cores=1,3,5,7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 16605 0 -1 4202496 590 33251 0 0 0 0 1381 34 20 0 1 0 224796869 115843072 367 33554432000 4194304 5098028 140730372700976 140730372697720 140079153336956 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8892416 140730372707392 140730372707591 140730372707591 140730372710349 0
/proc/18294/statm: 28282 367 311 221 0 87 0
[pid=18312] ppid=18294 vsize=8068220 memory=122644 CPUtime=1.45 cores=1,3,5,7
/proc/18312/stat : 18312 (java) S 18294 18294 16605 0 -1 1077944320 18821 0 0 0 136 9 0 0 20 0 19 0 224797372 8261857280 30661 33554432000 4194304 4196468 140730048236320 140730048218864 140243873840887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
/proc/18312/statm: 2017055 30661 3163 1 0 1978454 0
[pid=18327] ppid=18312 vsize=28548 memory=11848 CPUtime=0.46 cores=1,3,5,7
/proc/18327/stat : 18327 (minisat_release) R 18312 18294 16605 0 -1 4202496 4175 0 0 0 46 0 0 0 20 0 1 0 224797452 29233152 2962 33554432000 4194304 4308513 140728735160176 140728735157800 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 29880320 140728735167604 140728735167702 140728735167702 140728735170501 0
/proc/18327/statm: 7137 2962 334 28 0 3377 0
[pid=18312/tid=18313] ppid=18294 vsize=8068220 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/18312/task/18313/stat : 18313 (java) S 18294 18294 16605 0 -1 1077944384 15497 0 0 0 75 7 0 0 20 0 19 0 224797372 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243845681040 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18314] ppid=18294 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18314/stat : 18314 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224797373 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243878083728 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18315] ppid=18294 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18315/stat : 18315 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224797373 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243702725648 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18316] ppid=18294 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18316/stat : 18316 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224797373 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243358088080 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18317] ppid=18294 vsize=8068220 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18317/stat : 18317 (java) S 18294 18294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224797373 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243357035280 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18318] ppid=18294 vsize=8068220 memory=61168 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18318/stat : 18318 (java) S 18294 18294 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224797375 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243320318320 140243873852034 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18319] ppid=18294 vsize=8068220 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18319/stat : 18319 (java) S 18294 18294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224797375 8261857280 30661 33554432000 4194304 4196468 140730048236320 140242761802784 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18320] ppid=18294 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18320/stat : 18320 (java) S 18294 18294 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224797375 8261857280 30661 33554432000 4194304 4196468 140730048236320 140242627580784 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18321] ppid=18294 vsize=8068220 memory=164 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18321/stat : 18321 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224797378 8261857280 30661 33554432000 4194304 4196468 140730048236320 140242253076304 140243873859483 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18322] ppid=18294 vsize=8068220 memory=301741394933055803 CPUtime=0.22 cores=1,3,5,7
/proc/18312/task/18322/stat : 18322 (java) S 18294 18294 16605 0 -1 1077944384 919 0 0 0 22 0 0 0 20 0 19 0 224797378 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243319266160 140243873852034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18323] ppid=18294 vsize=8068220 memory=13850759267617157 CPUtime=0.16 cores=1,3,5,7
/proc/18312/task/18323/stat : 18323 (java) S 18294 18294 16605 0 -1 1077944384 450 0 0 0 16 0 0 0 20 0 19 0 224797378 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243318213360 140243873852034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18324] ppid=18294 vsize=8068220 memory=6655300316396806240 CPUtime=0.21 cores=1,3,5,7
/proc/18312/task/18324/stat : 18324 (java) S 18294 18294 16605 0 -1 1077944384 543 0 0 0 21 0 0 0 20 0 19 0 224797378 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243317160560 140243873852034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18325] ppid=18294 vsize=8068220 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18325/stat : 18325 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224797378 8261857280 30661 33554432000 4194304 4196468 140730048236320 140241755171552 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18326] ppid=18294 vsize=8068220 memory=2308440474242860140 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18326/stat : 18326 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224797378 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243316107952 140243873852034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18328] ppid=18294 vsize=8068220 memory=-8757415993616479323 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18328/stat : 18328 (java) S 18294 18294 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224797452 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243308299456 140243873865497 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18330] ppid=18294 vsize=8068220 memory=8768461112549931132 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18330/stat : 18330 (java) S 18294 18294 16605 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 224797452 8261857280 30661 33554432000 4194304 4196468 140730048236320 140241218284848 140243873862813 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18331] ppid=18294 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18331/stat : 18331 (java) S 18294 18294 16605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224797453 8261857280 30661 33554432000 4194304 4196468 140730048236320 140241084063920 140243873862813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18332] ppid=18294 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18332/stat : 18332 (java) S 18294 18294 16605 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 224797455 8261857280 30661 33554432000 4194304 4196468 140730048236320 140241352515232 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
Current children cumulated CPU time: 16.06 s
Current children cumulated vsize: 8209896 KiB
Current children cumulated memory: 135960 KiB

[startup+6.80334 s]
# the end of solver process 18294 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=16.3847 s, system=0.462953 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40111 s]
/proc/loadavg: 2.50 2.15 2.09 3/228 18332
/proc/meminfo: memFree=23943464/32770624 swapFree=67108860/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1468 CPUtime=14.15 cores=1,3,5,7
/proc/18294/stat : 18294 (scop.sh) S 18291 18294 16605 0 -1 4202496 590 33251 0 0 0 0 1381 34 20 0 1 0 224796869 115843072 367 33554432000 4194304 5098028 140730372700976 140730372697720 140079153336956 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8892416 140730372707392 140730372707591 140730372707591 140730372710349 0
/proc/18294/statm: 28282 367 311 221 0 87 0
[pid=18312] ppid=18294 vsize=8068220 memory=122644 CPUtime=1.45 cores=1,3,5,7
/proc/18312/stat : 18312 (java) S 18294 18294 16605 0 -1 1077944320 18821 0 0 0 136 9 0 0 20 0 19 0 224797372 8261857280 30661 33554432000 4194304 4196468 140730048236320 140730048218864 140243873840887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
/proc/18312/statm: 2017055 30661 3163 1 0 1978454 0
[pid=18327] ppid=18312 vsize=28548 memory=12112 CPUtime=0.56 cores=1,3,5,7
/proc/18327/stat : 18327 (minisat_release) R 18312 18294 16605 0 -1 4202496 4238 0 0 0 56 0 0 0 20 0 1 0 224797452 29233152 3028 33554432000 4194304 4308513 140728735160176 140728735157800 4275950 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 29880320 140728735167604 140728735167702 140728735167702 140728735170501 0
/proc/18327/statm: 7137 3028 334 28 0 3377 0
[pid=18312/tid=18313] ppid=18294 vsize=8068220 memory=379 CPUtime=0.82 cores=1,3,5,7
/proc/18312/task/18313/stat : 18313 (java) S 18294 18294 16605 0 -1 1077944384 15497 0 0 0 75 7 0 0 20 0 19 0 224797372 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243845681040 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18314] ppid=18294 vsize=8068220 memory=2170 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18314/stat : 18314 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224797373 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243878083728 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18315] ppid=18294 vsize=8068220 memory=8096 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18315/stat : 18315 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224797373 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243702725648 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18316] ppid=18294 vsize=8068220 memory=507 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18316/stat : 18316 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224797373 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243358088080 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18317] ppid=18294 vsize=8068220 memory=1136 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18317/stat : 18317 (java) S 18294 18294 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224797373 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243357035280 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18318] ppid=18294 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18318/stat : 18318 (java) S 18294 18294 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224797375 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243320318320 140243873852034 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18319] ppid=18294 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18319/stat : 18319 (java) S 18294 18294 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224797375 8261857280 30661 33554432000 4194304 4196468 140730048236320 140242761802784 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18320] ppid=18294 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18320/stat : 18320 (java) S 18294 18294 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224797375 8261857280 30661 33554432000 4194304 4196468 140730048236320 140242627580784 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18321] ppid=18294 vsize=8068220 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18321/stat : 18321 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224797378 8261857280 30661 33554432000 4194304 4196468 140730048236320 140242253076304 140243873859483 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18322] ppid=18294 vsize=8068220 memory=24292 CPUtime=0.22 cores=1,3,5,7
/proc/18312/task/18322/stat : 18322 (java) S 18294 18294 16605 0 -1 1077944384 919 0 0 0 22 0 0 0 20 0 19 0 224797378 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243319266160 140243873852034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18323] ppid=18294 vsize=8068220 memory=26500 CPUtime=0.16 cores=1,3,5,7
/proc/18312/task/18323/stat : 18323 (java) S 18294 18294 16605 0 -1 1077944384 450 0 0 0 16 0 0 0 20 0 19 0 224797378 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243318213360 140243873852034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18324] ppid=18294 vsize=8068220 memory=28708 CPUtime=0.21 cores=1,3,5,7
/proc/18312/task/18324/stat : 18324 (java) S 18294 18294 16605 0 -1 1077944384 543 0 0 0 21 0 0 0 20 0 19 0 224797378 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243317160560 140243873852034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18325] ppid=18294 vsize=8068220 memory=30916 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18325/stat : 18325 (java) S 18294 18294 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224797378 8261857280 30661 33554432000 4194304 4196468 140730048236320 140241755171552 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18326] ppid=18294 vsize=8068220 memory=33124 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18326/stat : 18326 (java) S 18294 18294 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224797378 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243316107952 140243873852034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18328] ppid=18294 vsize=8068220 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18328/stat : 18328 (java) S 18294 18294 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224797452 8261857280 30661 33554432000 4194304 4196468 140730048236320 140243308299456 140243873865497 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18330] ppid=18294 vsize=8068220 memory=212184 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18330/stat : 18330 (java) S 18294 18294 16605 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 224797452 8261857280 30661 33554432000 4194304 4196468 140730048236320 140241218284848 140243873862813 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18331] ppid=18294 vsize=8068220 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18331/stat : 18331 (java) S 18294 18294 16605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224797453 8261857280 30661 33554432000 4194304 4196468 140730048236320 140241084063920 140243873862813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
[pid=18312/tid=18332] ppid=18294 vsize=8068220 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/18312/task/18332/stat : 18332 (java) S 18294 18294 16605 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 224797455 8261857280 30661 33554432000 4194304 4196468 140730048236320 140241352515232 140243873851093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140730048238773 140730048238897 140730048238897 140730048241615 0
Current children cumulated CPU time: 16.16 s
Current children cumulated vsize: 8209896 KiB
Current children cumulated memory: 136224 KiB

[startup+6.80308 s]
/proc/loadavg: 2.50 2.15 2.09 3/228 18332
/proc/meminfo: memFree=23943464/32770624 swapFree=67108860/67108860
[pid=18294] ppid=18291 vsize=113128 memory=1476 CPUtime=16.84 cores=1,3,5,7
/proc/18294/stat : 18294 (scop.sh) R 18291 18294 16605 0 -1 4202496 591 57400 0 0 0 0 1638 46 20 0 1 0 224796869 115843072 367 33554432000 4194304 5098028 140730372700976 140730372697720 140079153039241 0 0 4100 81923 0 0 0 17 3 0 0 0 0 0 7196144 7232144 8892416 140730372707392 140730372707591 140730372707591 140730372710349 0
/proc/18294/statm: 28282 367 311 221 0 87 0
Current children cumulated CPU time: 16.84 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 6.80338
CPU time (s): 16.8477
CPU user time (s): 16.3847
CPU system time (s): 0.462953
CPU usage (%): 247.637
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1178732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.3847
system time used= 0.462953
maximum resident set size= 1182164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5954
involuntary context switches= 54


# summary of solver processes directly reported to runsolver:
#   pid: 18294
#   total CPU time (s): 16.8477
#   total CPU user time (s): 16.3847
#   total CPU system time (s): 0.462953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079989 second user time and 0.099415 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-12 13:12:17
IDJOB=4305304
IDBENCH=141336
IDSOLVER=2782
FILE ID=node107/4305304-1534072337
RUNJOBID= node107-1534064712-16637
PBS_JOBID= 21036990
Free space on /tmp= 39200 MiB

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

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

MD5SUM BENCH= c0ca155b7f34bafa6648dc876ad7391e
RANDOM SEED=1992388609

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24051644 kB
MemAvailable:   31294044 kB
Buffers:          201936 kB
Cached:          7232044 kB
SwapCached:            0 kB
Active:          4407816 kB
Inactive:        3690396 kB
Active(anon):     613080 kB
Inactive(anon):   103396 kB
Active(file):    3794736 kB
Inactive(file):  3587000 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8120 kB
Writeback:             0 kB
AnonPages:        492704 kB
Mapped:            64132 kB
Shmem:             49804 kB
Slab:             317740 kB
SReclaimable:     289124 kB
SUnreclaim:        28616 kB
KernelStack:        3904 kB
PageTables:         6916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6242160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39192 MiB
End job on node107 at 2018-08-12 13:12:24