Trace number 4405341

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
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 3039.61 411.582

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-40-3-5.xml
MD5SUMb9738aa7a21d23764c9c35483473acef
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 benchmark33.4427
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":91}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":9},{"degree":1,"count":19},{"degree":2,"count":29},{"degree":3,"count":25},{"degree":4,"count":15},{"degree":6,"count":3}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":3},{"arity":4,"count":8},{"arity":5,"count":9},{"arity":6,"count":5},{"arity":7,"count":6},{"arity":8,"count":9}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":40}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-25635-serial-file.bin HOME/instance-4405341-1569341090.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 18:04:08 CEST 2019
0.65/0.57	c PID: 25638
0.65/0.57	c IP: 172.20.3.125
0.65/0.57	c HOST: node125.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.18/0.90	c (0,0) Parsing End
1.39/0.90	c (0,0) CSP: 91 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 28
1.39/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.90	c (0,0) Constraint Name Generate Begin
1.39/0.91	c (0,0) Ctr:HOME/instance-4405341-1569341090.xml,Num:Var:WeightedSum
1.39/0.91	c (0,0) Constraint Name Generate End
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) CSP to CSPinCNF Begin
1.39/1.00	c (0,0) translated 4 (10%) constraints
1.56/1.02	c (0,0) translated 8 (20%) constraints
1.56/1.03	c (0,0) translated 12 (30%) constraints
1.56/1.03	c (0,0) translated 16 (40%) constraints
1.56/1.04	c (0,0) translated 20 (50%) constraints
1.56/1.05	c (0,0) translated 24 (60%) constraints
1.56/1.05	c (0,0) translated 28 (70%) constraints
1.56/1.06	c (0,0) translated 32 (80%) constraints
1.56/1.07	c (0,0) translated 36 (90%) constraints
1.56/1.07	c (0,0) translated 40 (100%) constraints
1.56/1.07	c (0,0) ===========================================
1.56/1.07	c (0,0) Order
1.56/1.07	c (0,0) ===========================================
1.82/1.11	c (0,0) translated 4 (10%) constraints
1.82/1.13	c (0,0) translated 8 (20%) constraints
1.82/1.14	c (0,0) translated 12 (30%) constraints
1.82/1.15	c (0,0) translated 16 (40%) constraints
1.82/1.16	c (0,0) translated 20 (50%) constraints
1.82/1.17	c (0,0) translated 24 (60%) constraints
1.82/1.18	c (0,0) translated 28 (70%) constraints
1.82/1.20	c (0,0) translated 32 (80%) constraints
2.03/1.21	c (0,0) translated 36 (90%) constraints
2.03/1.22	c (0,0) translated 40 (100%) constraints
2.03/1.23	c (0,0) CSP to CSPinCNF End
2.03/1.23	c (0,0) CSP: 199 int (108 aux), 0 bool (0 aux), 296 ctr, max domain size 1540
2.03/1.23	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.03/1.23	c (0,0) CSPinCNF Propagation Begin
2.03/1.25	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.03/1.25	c (0,0) CSPinCNF Propagation End
2.03/1.25	c (0,0) CSP: 199 int (108 aux), 0 bool (0 aux), 296 ctr, max domain size 1540
2.03/1.25	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.03/1.25	c (0,0) Simplify CSPinCNF Begin
2.03/1.25	c (0,0) Simplify CSPinCNF End
2.03/1.26	c (0,0) CSP: 199 int (108 aux), 0 bool (0 aux), 296 ctr, max domain size 1540
2.03/1.26	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.03/1.26	c (0,0) Calculate Precise Domain Begin
2.93/1.50	c (0,0) 6744 values are removed by re-calculation
2.93/1.50	c (0,0) Calculate Precise Domain End
2.93/1.50	c (0,0) CSP: 199 int (108 aux), 0 bool (0 aux), 296 ctr, max domain size 1484
2.93/1.50	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.93/1.50	c (0,0) CSPinCNF to SatSolver Begin
7.02/3.82	c (3,3) 30 (10 %) CSP clauses are encoded (0 SAT variables, 1215249 SAT clauses)
10.13/6.84	c (6,6) 60 (20 %) CSP clauses are encoded (0 SAT variables, 3052225 SAT clauses)
11.37/8.06	c (7,7) 89 (30 %) CSP clauses are encoded (0 SAT variables, 3773989 SAT clauses)
12.00/8.68	c (8,8) 119 (40 %) CSP clauses are encoded (0 SAT variables, 4134319 SAT clauses)
13.05/9.77	c (9,8) 148 (50 %) CSP clauses are encoded (0 SAT variables, 4386465 SAT clauses)
13.56/10.27	c (9,9) 178 (60 %) CSP clauses are encoded (0 SAT variables, 4684511 SAT clauses)
15.96/12.63	c (12,11) 208 (70 %) CSP clauses are encoded (0 SAT variables, 6163341 SAT clauses)
16.48/13.13	c (12,11) 237 (80 %) CSP clauses are encoded (0 SAT variables, 6486467 SAT clauses)
17.73/14.78	c (14,13) 267 (90 %) CSP clauses are encoded (0 SAT variables, 7274239 SAT clauses)
18.34/15.39	c (14,13) 296 (100 %) CSP clauses are encoded (0 SAT variables, 7670009 SAT clauses)
18.44/15.41	c (14,13) CSPinCNF to SatSolver End
18.44/15.41	c (14,13) Heap : 4178 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
18.44/15.41	c (14,13) 56025 bool, 7686444 clause
18.44/15.41	c (14,13) Export Begin
18.59/15.50	c (14,13) Export to HOME/scop-25635-serial-file.bin
18.59/15.50	c (14,13) Export End
18.59/15.50	c (14,13) Export File Size: 0.02 MB
18.59/15.50	c (14,13) 0,0,0,0,0,0,14,STOP-AFTER(DIMACS)
18.59/15.50	c END-Prog: Tue Sep 24 18:04:22 CEST 2019
18.59/15.55	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-25635-serial-file.bin
19.24/16.01	c (0,0) Read Serial File Begin
19.24/16.01	c (0,0) HOME/scop-25635-serial-file.bin
19.52/16.22	c (0,0) Read Serial File End
19.52/16.23	
19.52/16.23	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
19.52/16.23	(Solving Process)
19.52/16.23	
19.52/16.25	c BEGIN-Prog: Tue Sep 24 18:04:23 CEST 2019
19.52/16.25	c PID: 25659
19.52/16.25	c IP: 172.20.3.125
19.52/16.25	c HOST: node125.alineos.net
19.52/16.26	c (0,0) SatSolver.solve Begin
19.52/16.26	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405341-1569341090.xml-scop-25638.cnf
19.52/16.28	c (0,0) c
19.52/16.28	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
19.52/16.28	c (0,0) c
19.52/16.28	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
19.52/16.28	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
19.52/16.28	c (0,0) c ========================================[ Problem Statistics ]===========================================
19.52/16.29	c (0,0) c |                                                                                                       |
21.81/18.39	c (2,0) c |  Number of variables:         56025                                                                   |
21.81/18.39	c (2,0) c |  Number of clauses:         7686444                                                                   |
21.81/18.39	c (2,0) c |  Parse time:                   1.91 s                                                                 |
21.81/18.39	c (2,0) c |                                                                                                       |
22.41/18.95	c (3,0) c | Too many clauses... No preprocessing                                                                  |
22.41/18.95	c (3,0) c |  Simplification time:          0.48 s                                                                 |
22.41/18.95	c (3,0) c |                                                                                                       |
22.41/18.95	c (3,0) c |  Generating clones                                                                                    |
23.52/20.08	c (4,0) c |  all clones generated. Memory =  3250.21Mb.                                                           |
23.52/20.08	c (4,0) c ========================================================================================================|
23.52/20.08	c (4,0) c
23.52/20.08	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
23.52/20.08	c (4,0) c
23.52/20.08	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.52/20.08	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.52/20.08	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.52/20.08	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
23.52/20.08	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
23.52/20.08	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
23.52/20.08	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
23.52/20.08	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
23.52/20.08	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
23.52/20.08	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
23.52/20.08	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
23.52/20.08	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
23.52/20.08	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
23.52/20.08	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
23.52/20.08	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
23.52/20.08	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
23.52/20.08	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
23.52/20.08	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
23.52/20.08	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
252.06/49.55	c (33,0) c
252.06/49.55	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
252.06/49.55	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
252.06/49.55	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
252.06/49.55	c (33,0) c |  0 |     39 |      14631 |       7367 |    87447 |     3573 |      614 |     2405 |      106 |      439 |  20 |  2.770 |
252.06/49.55	c (33,0) c |  1 |     32 |      12044 |       6605 |    82703 |     2804 |      596 |     2769 |       90 |      438 |  20 |  2.770 |
252.06/49.55	c (33,0) c |  2 |     32 |      12219 |       6159 |    79480 |     5162 |      403 |     2007 |      102 |      421 |  20 |  2.770 |
252.06/49.55	c (33,0) c |  3 |     39 |      13449 |       7045 |    84748 |     3251 |      596 |     2486 |      114 |      441 |  20 |  2.770 |
252.06/49.55	c (33,0) c |  4 |     18 |      11524 |       6129 |    82906 |     5132 |      385 |     1886 |       92 |      436 |  20 |  2.770 |
252.06/49.55	c (33,0) c |  5 |      4 |       5853 |       3945 |    46568 |     2952 |       46 |     1476 |       29 |      432 |  20 |  2.770 |
252.06/49.55	c (33,0) c |  6 |     26 |      13710 |       7280 |    83227 |     3499 |      698 |     2635 |       81 |      437 |  20 |  2.770 |
252.06/49.55	c (33,0) c |  7 |     22 |      10619 |       5865 |    70487 |     4873 |      269 |     2267 |       71 |      432 |  20 |  2.770 |
252.06/49.55	c (33,0) c 
252.06/49.55	c (33,0) c synthesis       50395 conflicts   153400978 propagations      225 conflicts/sec   684392 propagations/sec
252.06/49.55	c (33,0) c real: 33.2641 s, cpu: 224.142 s, memory: 4276.82 Mb
486.33/79.55	c (63,0) c
486.33/79.55	c (63,0) c |------------------------------------------------------------------------------------------------------------------------|
486.33/79.55	c (63,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
486.33/79.55	c (63,0) c |------------------------------------------------------------------------------------------------------------------------|
486.33/79.55	c (63,0) c |  0 |     70 |      25278 |      13534 |   143313 |     9722 |     1742 |    11803 |      444 |      910 |  20 |  2.854 |
486.33/79.55	c (63,0) c |  1 |     61 |      23282 |      13093 |   140493 |     9266 |     1751 |    11071 |      443 |      907 |  20 |  2.854 |
486.33/79.55	c (63,0) c |  2 |     60 |      22815 |      12345 |   141976 |     8545 |     1796 |    11709 |      365 |      915 |  20 |  2.854 |
486.33/79.55	c (63,0) c |  3 |     69 |      24687 |      13671 |   142978 |     9837 |     1828 |    11485 |      474 |      917 |  20 |  2.854 |
486.33/79.55	c (63,0) c |  4 |     34 |      22453 |      12867 |   145142 |     9080 |     1648 |    11798 |      391 |      917 |  20 |  2.854 |
486.33/79.55	c (63,0) c |  5 |     11 |      16232 |      10981 |   111725 |     7182 |     1740 |    11489 |      362 |      917 |  20 |  2.854 |
486.33/79.55	c (63,0) c |  6 |     52 |      24080 |      13430 |   138630 |     9644 |     1950 |    11124 |      410 |      910 |  20 |  2.854 |
486.33/79.55	c (63,0) c |  7 |     39 |      20652 |      12092 |   127700 |     8293 |     1549 |    11661 |      409 |      897 |  20 |  2.854 |
486.33/79.55	c (63,0) c 
486.33/79.55	c (63,0) c synthesis      102013 conflicts   314994109 propagations      224 conflicts/sec   690525 propagations/sec
486.33/79.55	c (63,0) c real: 63.2641 s, cpu: 456.166 s, memory: 4341.98 Mb
712.35/108.55	c (92,0) c
712.35/108.55	c (92,0) c |------------------------------------------------------------------------------------------------------------------------|
712.35/108.55	c (92,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
712.35/108.55	c (92,0) c |------------------------------------------------------------------------------------------------------------------------|
712.35/108.55	c (92,0) c |  0 |     98 |      35652 |      19617 |   191150 |    10822 |     2832 |    19907 |      924 |     1367 |  20 |  4.002 |
712.35/108.55	c (92,0) c |  1 |     85 |      33296 |      19261 |   184788 |    10450 |     2819 |    20238 |      928 |     1387 |  20 |  4.002 |
712.35/108.55	c (92,0) c |  2 |     92 |      32646 |      18070 |   190024 |     9276 |     2703 |    18778 |      833 |     1377 |  20 |  4.002 |
712.35/108.55	c (92,0) c |  3 |    103 |      36408 |      20386 |   196578 |    11555 |     3018 |    19632 |      885 |     1368 |  20 |  4.002 |
712.35/108.55	c (92,0) c |  4 |     50 |      33970 |      20149 |   196062 |    11349 |     2923 |    20052 |      793 |     1386 |  20 |  4.002 |
712.35/108.55	c (92,0) c |  5 |     24 |      26154 |      17294 |   164345 |     8505 |     3151 |    19904 |      767 |     1387 |  20 |  4.002 |
712.35/108.55	c (92,0) c |  6 |     80 |      33921 |      19371 |   181016 |    10575 |     3032 |    20053 |      848 |     1386 |  20 |  4.004 |
712.35/108.55	c (92,0) c |  7 |     62 |      32079 |      19088 |   184686 |    10279 |     2809 |    19329 |      848 |     1381 |  20 |  4.002 |
712.35/108.55	c (92,0) c 
712.35/108.55	c (92,0) c synthesis      153236 conflicts   477567992 propagations      225 conflicts/sec   702012 propagations/sec
712.35/108.55	c (92,0) c real: 92.2641 s, cpu: 680.285 s, memory: 4342.77 Mb
938.16/138.55	c (122,0) c
938.16/138.55	c (122,0) c |------------------------------------------------------------------------------------------------------------------------|
938.16/138.55	c (122,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
938.16/138.55	c (122,0) c |------------------------------------------------------------------------------------------------------------------------|
938.16/138.55	c (122,0) c |  0 |    133 |      46004 |      25403 |   232307 |     9192 |     3671 |    27091 |     1412 |     1836 |  20 |  4.004 |
938.16/138.55	c (122,0) c |  1 |    111 |      43898 |      25856 |   227267 |     9656 |     3956 |    25673 |     1411 |     1839 |  20 |  4.004 |
938.16/138.55	c (122,0) c |  2 |    117 |      41300 |      23213 |   228543 |    14419 |     3601 |    27890 |     1258 |     1848 |  20 |  4.004 |
938.16/138.55	c (122,0) c |  3 |    134 |      47774 |      27289 |   242899 |    11079 |     4111 |    27493 |     1463 |     1850 |  20 |  4.004 |
938.16/138.55	c (122,0) c |  4 |     76 |      43701 |      26152 |   241282 |     9965 |     3981 |    27168 |     1241 |     1830 |  20 |  4.004 |
938.16/138.55	c (122,0) c |  5 |     36 |      35674 |      23472 |   208819 |    14683 |     4426 |    26448 |     1231 |     1850 |  20 |  4.004 |
938.16/138.55	c (122,0) c |  6 |    116 |      44551 |      25375 |   222474 |     9190 |     3996 |    26702 |     1360 |     1847 |  20 |  4.004 |
938.16/138.55	c (122,0) c |  7 |     71 |      42587 |      26103 |   226312 |     9913 |     4105 |    27217 |     1239 |     1840 |  20 |  4.004 |
938.16/138.55	c (122,0) c 
938.16/138.55	c (122,0) c synthesis      202863 conflicts   636440822 propagations      225 conflicts/sec   704765 propagations/sec
938.16/138.55	c (122,0) c real: 122.264 s, cpu: 903.054 s, memory: 4343.68 Mb
1162.98/167.55	c (151,0) c
1162.98/167.55	c (151,0) c |------------------------------------------------------------------------------------------------------------------------|
1162.98/167.55	c (151,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1162.98/167.55	c (151,0) c |------------------------------------------------------------------------------------------------------------------------|
1162.98/167.55	c (151,0) c |  0 |    160 |      56594 |      31844 |   272914 |    15633 |     4695 |    34771 |     1931 |     2313 |  20 |  4.004 |
1162.98/167.55	c (151,0) c |  1 |    142 |      54429 |      32142 |   270862 |    15942 |     4913 |    34556 |     1928 |     2309 |  20 |  4.004 |
1162.98/167.55	c (151,0) c |  2 |    147 |      52013 |      29620 |   268343 |    13424 |     4638 |    34638 |     1779 |     2313 |  20 |  4.004 |
1162.98/167.55	c (151,0) c |  3 |    166 |      58336 |      33425 |   280086 |    17215 |     5118 |    33737 |     1983 |     2314 |  20 |  4.004 |
1162.98/167.55	c (151,0) c |  4 |    101 |      53553 |      32025 |   278588 |    15838 |     4951 |    34220 |     1772 |     2316 |  20 |  4.004 |
1162.98/167.55	c (151,0) c |  5 |     40 |      43937 |      29139 |   242987 |    12962 |     5501 |    33629 |     1582 |     2298 |  20 |  4.004 |
1162.98/167.55	c (151,0) c |  6 |    152 |      55836 |      31882 |   261578 |    15697 |     5026 |    34544 |     1955 |     2314 |  20 |  4.004 |
1162.98/167.55	c (151,0) c |  7 |     85 |      50500 |      31371 |   255952 |    15181 |     5022 |    34509 |     1644 |     2310 |  20 |  4.004 |
1162.98/167.55	c (151,0) c 
1162.98/167.55	c (151,0) c synthesis      251448 conflicts   798420404 propagations      223 conflicts/sec   709229 propagations/sec
1162.98/167.55	c (151,0) c real: 151.264 s, cpu: 1125.76 s, memory: 4344.45 Mb
1395.13/197.55	c (181,0) c
1395.13/197.55	c (181,0) c |------------------------------------------------------------------------------------------------------------------------|
1395.13/197.55	c (181,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1395.13/197.55	c (181,0) c |------------------------------------------------------------------------------------------------------------------------|
1395.13/197.55	c (181,0) c |  0 |    179 |      65515 |      37372 |   305339 |    11277 |     5623 |    41760 |     2449 |     2793 |  20 |  4.004 |
1395.13/197.55	c (181,0) c |  1 |    170 |      65519 |      38845 |   307767 |    12751 |     6009 |    41589 |     2481 |     2795 |  20 |  4.004 |
1395.13/197.55	c (181,0) c |  2 |    181 |      62937 |      36230 |   304337 |    10141 |     5684 |    41943 |     2383 |     2795 |  20 |  4.004 |
1395.13/197.55	c (181,0) c |  3 |    200 |      68889 |      39380 |   312668 |    13284 |     6080 |    41050 |     2547 |     2775 |  20 |  4.004 |
1395.13/197.55	c (181,0) c |  4 |    117 |      63327 |      38436 |   312597 |    12353 |     5893 |    40313 |     2331 |     2794 |  20 |  4.004 |
1395.13/197.55	c (181,0) c |  5 |     56 |      54440 |      35856 |   284508 |    19679 |     6621 |    40957 |     2148 |     2795 |  20 |  4.004 |
1395.13/197.55	c (181,0) c |  6 |    188 |      66282 |      38007 |   299420 |    11933 |     5923 |    41622 |     2485 |     2795 |  20 |  4.004 |
1395.13/197.55	c (181,0) c |  7 |     96 |      59848 |      37737 |   289171 |    11656 |     6081 |    37710 |     2077 |     2787 |  20 |  4.004 |
1395.13/197.55	c (181,0) c 
1395.13/197.55	c (181,0) c synthesis      301863 conflicts   964231213 propagations      223 conflicts/sec   711185 propagations/sec
1395.13/197.55	c (181,0) c real: 181.271 s, cpu: 1355.81 s, memory: 4345.23 Mb
1624.52/227.55	c (211,0) c
1624.52/227.55	c (211,0) c |------------------------------------------------------------------------------------------------------------------------|
1624.52/227.55	c (211,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1624.52/227.55	c (211,0) c |------------------------------------------------------------------------------------------------------------------------|
1624.52/227.55	c (211,0) c |  0 |    205 |      76577 |      44291 |   338589 |    18195 |     6780 |    48639 |     2981 |     3256 |  20 |  4.004 |
1624.52/227.55	c (211,0) c |  1 |    194 |      75795 |      45236 |   338199 |    19142 |     6989 |    48183 |     3170 |     3259 |  20 |  4.004 |
1624.52/227.55	c (211,0) c |  2 |    205 |      72948 |      42666 |   334385 |    16577 |     6658 |    48832 |     2934 |     3276 |  20 |  4.004 |
1624.52/227.55	c (211,0) c |  3 |    233 |      80408 |      46055 |   348854 |    19959 |     7170 |    48542 |     3167 |     3276 |  20 |  4.004 |
1624.52/227.55	c (211,0) c |  4 |    144 |      73136 |      44491 |   343213 |    18408 |     6717 |    48873 |     2909 |     3273 |  20 |  4.004 |
1624.52/227.55	c (211,0) c |  5 |     68 |      64206 |      42509 |   314071 |    16430 |     7673 |    48025 |     2639 |     3276 |  20 |  4.004 |
1624.52/227.55	c (211,0) c |  6 |    238 |      77669 |      44190 |   333872 |    18116 |     6842 |    48894 |     3026 |     3275 |  20 |  4.004 |
1624.52/227.55	c (211,0) c |  7 |    111 |      70068 |      44374 |   323784 |    18293 |     7095 |    48208 |     2692 |     3276 |  20 |  4.004 |
1624.52/227.55	c (211,0) c 
1624.52/227.55	c (211,0) c synthesis      353812 conflicts  1130538621 propagations      224 conflicts/sec   714268 propagations/sec
1624.52/227.55	c (211,0) c real: 211.264 s, cpu: 1582.79 s, memory: 4346.01 Mb
1857.57/257.55	c (241,0) c
1857.57/257.55	c (241,0) c |------------------------------------------------------------------------------------------------------------------------|
1857.57/257.55	c (241,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1857.57/257.55	c (241,0) c |------------------------------------------------------------------------------------------------------------------------|
1857.57/257.55	c (241,0) c |  0 |    247 |      86857 |      50386 |   370436 |    24291 |     7761 |    54941 |     3611 |     3750 |  20 |  4.004 |
1857.57/257.55	c (241,0) c |  1 |    219 |      86102 |      51720 |   369306 |    13184 |     8041 |    54754 |     3761 |     3754 |  20 |  4.004 |
1857.57/257.55	c (241,0) c |  2 |    224 |      82712 |      48894 |   363818 |    22805 |     7612 |    55413 |     3445 |     3770 |  20 |  4.004 |
1857.57/257.55	c (241,0) c |  3 |    262 |      89933 |      51784 |   377850 |    13237 |     8098 |    54859 |     3609 |     3765 |  20 |  4.004 |
1857.57/257.55	c (241,0) c |  4 |    179 |      83804 |      50836 |   378653 |    24753 |     7388 |    55507 |     3595 |     3765 |  20 |  4.004 |
1857.57/257.55	c (241,0) c |  5 |     77 |      73290 |      48357 |   343215 |    22278 |     8613 |    53190 |     3217 |     3769 |  20 |  4.004 |
1857.57/257.55	c (241,0) c |  6 |    264 |      86806 |      49753 |   365933 |    23679 |     7697 |    54944 |     3527 |     3768 |  20 |  4.004 |
1857.57/257.55	c (241,0) c |  7 |    138 |      81049 |      50972 |   356313 |    24891 |     8037 |    54497 |     3339 |     3762 |  20 |  4.004 |
1857.57/257.55	c (241,0) c 
1857.57/257.55	c (241,0) c synthesis      402702 conflicts  1296175504 propagations      222 conflicts/sec   714248 propagations/sec
1857.57/257.55	c (241,0) c real: 241.264 s, cpu: 1814.74 s, memory: 4346.92 Mb
2079.53/286.55	c (270,0) c
2079.53/286.55	c (270,0) c |------------------------------------------------------------------------------------------------------------------------|
2079.53/286.55	c (270,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2079.53/286.55	c (270,0) c |------------------------------------------------------------------------------------------------------------------------|
2079.53/286.55	c (270,0) c |  0 |    272 |      96132 |      55994 |   396265 |    17426 |     8452 |    60624 |     4224 |     4223 |  20 |  4.726 |
2079.53/286.55	c (270,0) c |  1 |    244 |      95263 |      57665 |   394745 |    19091 |     8920 |    60458 |     4245 |     4217 |  20 |  4.726 |
2079.53/286.55	c (270,0) c |  2 |    237 |      90370 |      54093 |   392373 |    15548 |     8402 |    61114 |     3745 |     4220 |  20 |  4.726 |
2079.53/286.55	c (270,0) c |  3 |    291 |      99574 |      57729 |   408976 |    19168 |     8821 |    60907 |     4061 |     4234 |  20 |  4.726 |
2079.53/286.55	c (270,0) c |  4 |    189 |      92005 |      56487 |   401118 |    17930 |     8144 |    60317 |     4033 |     4234 |  20 |  4.727 |
2079.53/286.55	c (270,0) c |  5 |     81 |      80401 |      53323 |   369502 |    14796 |     9475 |    59660 |     3535 |     4219 |  20 |  4.726 |
2079.53/286.55	c (270,0) c |  6 |    292 |      96022 |      55403 |   393121 |    16864 |     8556 |    60873 |     3973 |     4214 |  20 |  4.727 |
2079.53/286.55	c (270,0) c |  7 |    160 |      91531 |      57443 |   390209 |    18907 |     9120 |    60222 |     3875 |     4234 |  20 |  4.726 |
2079.53/286.55	c (270,0) c 
2079.53/286.55	c (270,0) c synthesis      448137 conflicts  1450889542 propagations      220 conflicts/sec   713155 propagations/sec
2079.53/286.55	c (270,0) c real: 270.264 s, cpu: 2034.47 s, memory: 4347.31 Mb
2309.18/316.54	c (300,0) c
2309.18/316.54	c (300,0) c |------------------------------------------------------------------------------------------------------------------------|
2309.18/316.54	c (300,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2309.18/316.54	c (300,0) c |------------------------------------------------------------------------------------------------------------------------|
2309.18/316.54	c (300,0) c |  0 |    291 |     105391 |      61817 |   423039 |    23249 |     9146 |    67079 |     4800 |     4714 |  20 |  4.727 |
2309.18/316.54	c (300,0) c |  1 |    272 |     105179 |      63513 |   423283 |    24939 |     9656 |    66560 |     4804 |     4698 |  20 |  4.727 |
2309.18/316.54	c (300,0) c |  2 |    273 |     100731 |      60316 |   420835 |    21771 |     9229 |    66955 |     4329 |     4713 |  20 |  4.726 |
2309.18/316.54	c (300,0) c |  3 |    316 |     109113 |      63484 |   437807 |    24923 |     9452 |    66632 |     4601 |     4694 |  20 |  4.727 |
2309.18/316.54	c (300,0) c |  4 |    196 |      99388 |      61616 |   421848 |    23059 |     8862 |    67553 |     4366 |     4714 |  20 |  4.727 |
2309.18/316.54	c (300,0) c |  5 |     91 |      90137 |      59699 |   399824 |    21172 |    10488 |    65844 |     3995 |     4709 |  20 |  4.726 |
2309.18/316.54	c (300,0) c |  6 |    319 |     107530 |      62518 |   422966 |    23979 |     9756 |    66498 |     4641 |     4699 |  20 |  4.726 |
2309.18/316.54	c (300,0) c |  7 |    186 |     101860 |      63836 |   423747 |    25300 |    10008 |    66370 |     4375 |     4712 |  20 |  4.726 |
2309.18/316.54	c (300,0) c 
2309.18/316.54	c (300,0) c synthesis      496799 conflicts  1613914453 propagations      220 conflicts/sec   713807 propagations/sec
2309.18/316.54	c (300,0) c real: 300.264 s, cpu: 2261 s, memory: 4348.10 Mb
2535.11/345.54	c (329,0) c
2535.11/345.54	c (329,0) c |------------------------------------------------------------------------------------------------------------------------|
2535.11/345.54	c (329,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2535.11/345.54	c (329,0) c |------------------------------------------------------------------------------------------------------------------------|
2535.11/345.60	c (329,0) c |  0 |    318 |     114100 |      67068 |   446343 |    28500 |     9747 |    72468 |     5274 |     5169 |  20 |  4.726 |
2535.11/345.60	c (329,0) c |  1 |    288 |     115546 |      70200 |   448929 |    16622 |    10562 |    71807 |     5269 |     5183 |  20 |  4.728 |
2535.11/345.60	c (329,0) c |  2 |    288 |     108433 |      65319 |   441765 |    26774 |     9956 |    71126 |     4732 |     5182 |  20 |  4.727 |
2535.11/345.60	c (329,0) c |  3 |    341 |     118444 |      69406 |   464958 |    15834 |    10150 |    72076 |     5164 |     5187 |  20 |  4.726 |
2535.11/345.60	c (329,0) c |  4 |    219 |     108806 |      67444 |   450503 |    28886 |     9659 |    72638 |     4946 |     5187 |  20 |  4.728 |
2535.11/345.60	c (329,0) c |  5 |    106 |      99594 |      65713 |   429030 |    27186 |    11369 |    70646 |     4453 |     5189 |  20 |  4.726 |
2535.11/345.60	c (329,0) c |  6 |    351 |     117062 |      68219 |   447531 |    29680 |    10616 |    72079 |     5207 |     5189 |  20 |  4.728 |
2535.11/345.60	c (329,0) c |  7 |    214 |     111143 |      69495 |   450211 |    15933 |    10819 |    71868 |     4900 |     5189 |  20 |  4.728 |
2535.11/345.60	c (329,0) c 
2535.11/345.60	c (329,0) c synthesis      542864 conflicts  1773063997 propagations      218 conflicts/sec   713497 propagations/sec
2535.11/345.60	c (329,0) c real: 329.264 s, cpu: 2485.03 s, memory: 4348.87 Mb
2760.32/374.55	c (358,0) c
2760.32/374.55	c (358,0) c |------------------------------------------------------------------------------------------------------------------------|
2760.32/374.55	c (358,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2760.32/374.55	c (358,0) c |------------------------------------------------------------------------------------------------------------------------|
2760.32/374.55	c (358,0) c |  0 |    335 |     122383 |      72355 |   473521 |    18797 |    10384 |    78106 |     5630 |     5657 |  20 |  4.728 |
2760.32/374.55	c (358,0) c |  1 |    308 |     125254 |      76234 |   474669 |    22656 |    11405 |    76921 |     5764 |     5648 |  20 |  4.728 |
2760.32/374.55	c (358,0) c |  2 |    301 |     115840 |      70370 |   458574 |    16811 |    10763 |    77738 |     5167 |     5657 |  20 |  4.728 |
2760.32/374.55	c (358,0) c |  3 |    366 |     129339 |      75931 |   492802 |    22359 |    11100 |    77459 |     5640 |     5665 |  20 |  4.728 |
2760.32/374.55	c (358,0) c |  4 |    231 |     116845 |      72785 |   472397 |    19217 |    10432 |    76912 |     5398 |     5646 |  20 |  4.728 |
2760.32/374.55	c (358,0) c |  5 |    114 |     106971 |      70712 |   451283 |    17157 |    12074 |    76615 |     5028 |     5660 |  20 |  4.728 |
2760.32/374.55	c (358,0) c |  6 |    373 |     125496 |      73545 |   470793 |    19985 |    11155 |    77417 |     5656 |     5662 |  20 |  4.728 |
2760.32/374.55	c (358,0) c |  7 |    242 |     119993 |      74610 |   469424 |    21048 |    11566 |    75531 |     5321 |     5646 |  20 |  4.728 |
2760.32/374.55	c (358,0) c 
2760.32/374.55	c (358,0) c synthesis      586542 conflicts  1929676259 propagations      217 conflicts/sec   712303 propagations/sec
2760.32/374.55	c (358,0) c real: 358.264 s, cpu: 2709.07 s, memory: 4349.40 Mb
2986.54/403.55	c (387,0) c
2986.54/403.55	c (387,0) c |------------------------------------------------------------------------------------------------------------------------|
2986.54/403.55	c (387,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2986.54/403.55	c (387,0) c |------------------------------------------------------------------------------------------------------------------------|
2986.54/403.55	c (387,0) c |  0 |    347 |     130852 |      77881 |   497694 |    24323 |    11255 |    81376 |     6009 |     6122 |  20 |  4.728 |
2986.54/403.55	c (387,0) c |  1 |    328 |     134569 |      82230 |   499588 |    28652 |    12188 |    82587 |     6161 |     6124 |  20 |  4.728 |
2986.54/403.55	c (387,0) c |  2 |    324 |     123066 |      75338 |   474348 |    21779 |    11427 |    83380 |     5415 |     6141 |  20 |  4.728 |
2986.54/403.55	c (387,0) c |  3 |    383 |     139426 |      82811 |   518323 |    29239 |    12054 |    82906 |     6058 |     6142 |  20 |  4.728 |
2986.54/403.55	c (387,0) c |  4 |    241 |     124337 |      77986 |   494505 |    24418 |    11287 |    83118 |     5893 |     6139 |  20 |  4.728 |
2986.54/403.55	c (387,0) c |  5 |    140 |     115662 |      75990 |   474754 |    22435 |    12719 |    81357 |     5403 |     6140 |  20 |  4.728 |
2986.54/403.55	c (387,0) c |  6 |    393 |     135077 |      79634 |   493650 |    26074 |    11848 |    82265 |     6064 |     6136 |  20 |  4.728 |
2986.54/403.55	c (387,0) c |  7 |    256 |     127832 |      79733 |   489674 |    26171 |    12408 |    82606 |     5704 |     6141 |  20 |  4.728 |
2986.54/403.55	c (387,0) c 
2986.54/403.55	c (387,0) c synthesis      631603 conflicts  2086031440 propagations      215 conflicts/sec   711004 propagations/sec
2986.54/403.55	c (387,0) c real: 387.271 s, cpu: 2933.92 s, memory: 4349.92 Mb
3038.78/411.18	c (395,0) c
3038.78/411.18	c (395,0) c real time : 394.904 s
3038.78/411.18	c (395,0) c cpu time  : 2985.61 s
3038.78/411.18	c (395,0) c
3038.78/411.18	c (395,0) c
3038.78/411.18	c (395,0) c
3038.78/411.18	c (395,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
3038.78/411.18	c (395,0) c
3038.78/411.18	c (395,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3038.78/411.18	c (395,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
3038.78/411.19	c (395,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3038.78/411.19	c (395,0) c | Conflicts     |          641519 |      79222 |      83651 |      76432 |      84368 |      79167 |      77051 |      80689 |      80939 |
3038.78/411.19	c (395,0) c | Decisions     |         1045826 |     132784 |     136694 |     124662 |     141873 |     126180 |     117215 |     136583 |     129835 |
3038.78/411.19	c (395,0) c | Propagations  |      2122616540 |  267399566 |  272497999 |  266965972 |  265355360 |  262479953 |  258061849 |  269183160 |  260672681 |
3038.78/411.19	c (395,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
3038.78/411.19	c (395,0) c | SimpDBs       |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
3038.78/411.19	c (395,0) c | Restarts      |            2440 |        347 |        330 |        327 |        389 |        248 |        141 |        395 |        263 |
3038.78/411.19	c (395,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3038.78/411.19	c (395,0) c | PropBinClauses|      4462173367 |  562322184 |  569284734 |  560403784 |  553797234 |  555500967 |  546568864 |  561816884 |  552478716 |
3038.78/411.19	c (395,0) c | PropPreBlocker|    268939514660 |33513325674 |33620088746 |33602202033 |33589943381 |33710107484 |33643480733 |33521026037 |33739340572 |
3038.78/411.19	c (395,0) c | PropNotBlocker|     23539827433 | 3038262244 | 2919446481 | 2957770219 | 2980028714 | 2853977661 | 2920867951 | 3037838434 | 2831635729 |
3038.78/411.19	c (395,0) c | LitFullScans  |    299857134751 |37477857055 |37477661595 |37483696301 |37484906233 |37483681483 |37481672367 |37483945189 |37483714528 |
3038.78/411.19	c (395,0) c | LitScanFracts |        60356302 |    7383725 |    7523434 |    7594425 |    7718355 |    7602677 |    7462266 |    7551035 |    7520385 |
3038.78/411.19	c (395,0) c | DecisionLevel0|            2482 |        356 |        333 |        335 |        395 |        255 |        143 |        399 |        266 |
3038.78/411.19	c (395,0) c | Periods       |           49965 |       6245 |       6245 |       6246 |       6246 |       6246 |       6245 |       6246 |       6246 |
3038.78/411.19	c (395,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
3038.78/411.19	c (395,0) c | Avg_Trail     |                 |      42811 |      43083 |      43029 |      43526 |      43420 |      43736 |      42785 |      43404 |
3038.78/411.19	c (395,0) c | Avg_DL        |                 |         28 |         29 |         28 |         31 |         29 |         30 |         30 |         30 |
3038.78/411.19	c (395,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3038.78/411.19	c (395,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3038.78/411.19	c (395,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3038.78/411.19	c (395,0) c | Exported      |           96516 |      11470 |      12402 |      11572 |      12249 |      11437 |      12847 |      11961 |      12578 |
3038.78/411.19	c (395,0) c | Imported      |          667129 |      81376 |      82718 |      84667 |      83891 |      84819 |      82632 |      83403 |      83623 |
3038.78/411.19	c (395,0) c | Good          |            2278 |        274 |        270 |        289 |        280 |        291 |        299 |        287 |        288 |
3038.78/411.19	c (395,0) c | Purge         |          664851 |      81102 |      82448 |      84378 |      83611 |      84528 |      82333 |      83116 |      83335 |
3038.78/411.19	c (395,0) c | Promoted      |           47503 |       6077 |       6280 |       5468 |       6184 |       6001 |       5503 |       6146 |       5844 |
3038.78/411.19	c (395,0) c | Remove_Imp    |          337858 |      43513 |      40309 |      44155 |      41411 |      43030 |      43256 |      41774 |      40410 |
3038.78/411.19	c (395,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3038.78/411.19	c (395,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3038.78/411.19	c (395,0) c | Unaries       |                 |          9 |          3 |          8 |          6 |          7 |          2 |          4 |          3 |
3038.78/411.19	c (395,0) c | Binaries      |                 |         50 |         55 |         37 |         46 |         35 |         27 |         39 |         38 |
3038.78/411.19	c (395,0) c | Glues         |                 |        850 |        859 |        776 |        821 |        820 |        576 |        804 |        709 |
3038.78/411.19	c (395,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3038.78/411.19	c (395,0) c | Orig_Seen     |             6 % |     501901 |     504287 |     478251 |     524531 |     499584 |     479363 |     497195 |     493767 |
3038.78/411.19	c (395,0) c | Diff Orig seen|                 |      22538 |      24924 | -     1112 |      45168 |      20221 |      X     |      17832 |      14404 |
3038.78/411.19	c (395,0) c | Hamming       |            20 % |      11714 |      14064 |      10161 |      11218 |      10127 |      X     |      10788 |      10387 |
3038.78/411.19	c (395,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3038.78/411.19	c (395,0) c | RunningTime   |                 |  386.8  99%|  383.6  98%|  377.4  97%|  374.1  96%|  378.9  97%|  371.5  95%|  374.7  96%|  380.1  97%|
3038.78/411.19	c (395,0) c | WaitingTime   |                 |    4.1   1%|    6.7   2%|   12.7   3%|   16.0   4%|   11.3   3%|   18.6   5%|   15.4   4%|   10.0   3%|
3038.78/411.19	c (395,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
3038.78/411.19	c (395,0) c | PeriodProcTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
3038.78/411.19	c (395,0) c | SolvingTime   |                 |  391.1     |  390.5     |  390.3     |  390.3     |  390.3     |  390.3     |  390.3     |  390.3     |
3038.78/411.19	c (395,0) c | PropagationTim|                 |  383.3  98%|  382.5  98%|  382.2  98%|  382.2  98%|  382.2  98%|  382.2  98%|  382.4  98%|  382.1  98%|
3038.78/411.19	c (395,0) c | AnalysisTime  |                 |    3.9   1%|    4.1   1%|    4.1   1%|    4.1   1%|    4.1   1%|    4.3   1%|    3.9   1%|    4.2   1%|
3038.78/411.19	c (395,0) c | ReductionTime |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
3038.78/411.19	c (395,0) c | SimplifyTime  |                 |    0.7   0%|    0.6   0%|    0.8   0%|    0.7   0%|    0.6   0%|    0.7   0%|    0.8   0%|    0.7   0%|
3038.78/411.19	c (395,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
3038.78/411.19	c (395,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
3038.78/411.19	c (395,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3038.78/411.19	c (395,0) c
3038.78/411.19	c (395,0) c
3038.78/411.19	c (395,0) c Threads : 8
3038.78/411.19	c (395,0) c Winner : 5
3038.78/411.19	c (395,0) c Conflicts_0 : 79222
3038.78/411.19	c (395,0) c Conflicts_1 : 83651
3038.78/411.19	c (395,0) c Conflicts_2 : 76432
3038.78/411.19	c (395,0) c Conflicts_3 : 84368
3038.78/411.19	c (395,0) c Conflicts_4 : 79167
3038.78/411.19	c (395,0) c Conflicts_5 : 77051
3038.78/411.19	c (395,0) c Conflicts_6 : 80689
3038.78/411.19	c (395,0) c Conflicts_7 : 80939
3038.78/411.19	c (395,0) c Conflicts_total : 641519
3038.78/411.19	c (395,0) c Conflicts_winner : 77051
3038.78/411.19	c (395,0) c Decisions_0 : 132784
3038.78/411.19	c (395,0) c Decisions_1 : 136694
3038.78/411.19	c (395,0) c Decisions_2 : 124662
3038.78/411.19	c (395,0) c Decisions_3 : 141873
3038.78/411.19	c (395,0) c Decisions_4 : 126180
3038.78/411.19	c (395,0) c Decisions_5 : 117215
3038.78/411.19	c (395,0) c Decisions_6 : 136583
3038.78/411.19	c (395,0) c Decisions_7 : 129835
3038.78/411.19	c (395,0) c Decisions_total : 1045826
3038.78/411.19	c (395,0) c Decisions_winner : 117215
3038.78/411.19	c (395,0) c Propagations_0 : 267399566
3038.78/411.19	c (395,0) c Propagations_1 : 272497999
3038.78/411.19	c (395,0) c Propagations_2 : 266965972
3038.78/411.19	c (395,0) c Propagations_3 : 265355360
3038.78/411.19	c (395,0) c Propagations_4 : 262479953
3038.78/411.19	c (395,0) c Propagations_5 : 258061849
3038.78/411.19	c (395,0) c Propagations_6 : 269183160
3038.78/411.19	c (395,0) c Propagations_7 : 260672681
3038.78/411.19	c (395,0) c Propagations_total : 2122616540
3038.78/411.19	c (395,0) c Propagations_winner : 258061849
3038.78/411.19	c (395,0) c ReduceDBs_0 : 7
3038.78/411.19	c (395,0) c ReduceDBs_1 : 7
3038.78/411.19	c (395,0) c ReduceDBs_2 : 7
3038.78/411.19	c (395,0) c ReduceDBs_3 : 7
3038.78/411.19	c (395,0) c ReduceDBs_4 : 7
3038.78/411.19	c (395,0) c ReduceDBs_5 : 7
3038.78/411.19	c (395,0) c ReduceDBs_6 : 7
3038.78/411.19	c (395,0) c ReduceDBs_7 : 7
3038.78/411.19	c (395,0) c ReduceDBs_total : 56
3038.78/411.19	c (395,0) c ReduceDBs_winner : 7
3038.78/411.19	c (395,0) c SimpDBs_0 : 6
3038.78/411.19	c (395,0) c SimpDBs_1 : 6
3038.78/411.19	c (395,0) c SimpDBs_2 : 6
3038.78/411.19	c (395,0) c SimpDBs_3 : 6
3038.78/411.19	c (395,0) c SimpDBs_4 : 6
3038.78/411.19	c (395,0) c SimpDBs_5 : 6
3038.78/411.19	c (395,0) c SimpDBs_6 : 6
3038.78/411.19	c (395,0) c SimpDBs_7 : 6
3038.78/411.19	c (395,0) c SimpDBs_total : 48
3038.78/411.19	c (395,0) c SimpDBs_winner : 6
3038.78/411.19	c (395,0) c Restarts_0 : 347
3038.78/411.19	c (395,0) c Restarts_1 : 330
3038.78/411.19	c (395,0) c Restarts_2 : 327
3038.78/411.19	c (395,0) c Restarts_3 : 389
3038.78/411.19	c (395,0) c Restarts_4 : 248
3038.78/411.19	c (395,0) c Restarts_5 : 141
3038.78/411.19	c (395,0) c Restarts_6 : 395
3038.78/411.19	c (395,0) c Restarts_7 : 263
3038.78/411.19	c (395,0) c Restarts_total : 2440
3038.78/411.19	c (395,0) c Restarts_winner : 141
3038.78/411.19	c (395,0) c ForcedImports_0 : 0
3038.78/411.19	c (395,0) c ForcedImports_1 : 0
3038.78/411.19	c (395,0) c ForcedImports_2 : 0
3038.78/411.19	c (395,0) c ForcedImports_3 : 0
3038.78/411.19	c (395,0) c ForcedImports_4 : 0
3038.78/411.19	c (395,0) c ForcedImports_5 : 0
3038.78/411.19	c (395,0) c ForcedImports_6 : 0
3038.78/411.19	c (395,0) c ForcedImports_7 : 0
3038.78/411.19	c (395,0) c ForcedImports_total : 0
3038.78/411.19	c (395,0) c ForcedImports_winner : 0
3038.78/411.19	c (395,0) c PropsBinClauses_0 : 562322184
3038.78/411.19	c (395,0) c PropsBinClauses_1 : 569284734
3038.78/411.19	c (395,0) c PropsBinClauses_2 : 560403784
3038.78/411.19	c (395,0) c PropsBinClauses_3 : 553797234
3038.78/411.19	c (395,0) c PropsBinClauses_4 : 555500967
3038.78/411.19	c (395,0) c PropsBinClauses_5 : 546568864
3038.78/411.19	c (395,0) c PropsBinClauses_6 : 561816884
3038.78/411.19	c (395,0) c PropsBinClauses_7 : 552478716
3038.78/411.19	c (395,0) c PropsBinClauses_total : 4462173367
3038.78/411.19	c (395,0) c PropsBinClauses_winner : 546568864
3038.78/411.19	c (395,0) c PropsPreBlocker_0 : 33513325674
3038.78/411.19	c (395,0) c PropsPreBlocker_1 : 33620088746
3038.78/411.19	c (395,0) c PropsPreBlocker_2 : 33602202033
3038.78/411.19	c (395,0) c PropsPreBlocker_3 : 33589943381
3038.78/411.19	c (395,0) c PropsPreBlocker_4 : 33710107484
3038.78/411.19	c (395,0) c PropsPreBlocker_5 : 33643480733
3038.78/411.19	c (395,0) c PropsPreBlocker_6 : 33521026037
3038.78/411.19	c (395,0) c PropsPreBlocker_7 : 33739340572
3038.78/411.19	c (395,0) c PropsPreBlocker_total : 268939514660
3038.78/411.19	c (395,0) c PropsPreBlocker_winner : 33643480733
3038.78/411.19	c (395,0) c PropsNotBlocker_0 : 3038262244
3038.78/411.19	c (395,0) c PropsNotBlocker_1 : 2919446481
3038.78/411.19	c (395,0) c PropsNotBlocker_2 : 2957770219
3038.78/411.19	c (395,0) c PropsNotBlocker_3 : 2980028714
3038.78/411.19	c (395,0) c PropsNotBlocker_4 : 2853977661
3038.78/411.19	c (395,0) c PropsNotBlocker_5 : 2920867951
3038.78/411.19	c (395,0) c PropsNotBlocker_6 : 3037838434
3038.78/411.19	c (395,0) c PropsNotBlocker_7 : 2831635729
3038.78/411.19	c (395,0) c PropsNotBlocker_total : 23539827433
3038.78/411.19	c (395,0) c PropsNotBlocker_winner : 2920867951
3038.78/411.19	c (395,0) c PropsLitFullScans_0 : 37477857055
3038.78/411.19	c (395,0) c PropsLitFullScans_1 : 37477661595
3038.78/411.19	c (395,0) c PropsLitFullScans_2 : 37483696301
3038.78/411.19	c (395,0) c PropsLitFullScans_3 : 37484906233
3038.78/411.19	c (395,0) c PropsLitFullScans_4 : 37483681483
3038.78/411.19	c (395,0) c PropsLitFullScans_5 : 37481672367
3038.78/411.19	c (395,0) c PropsLitFullScans_6 : 37483945189
3038.78/411.19	c (395,0) c PropsLitFullScans_7 : 37483714528
3038.78/411.19	c (395,0) c PropsLitFullScans_total : 299857134751
3038.78/411.19	c (395,0) c PropsLitFullScans_winner : 37481672367
3038.78/411.19	c (395,0) c LitScanFractions_0 : 7383725
3038.78/411.19	c (395,0) c LitScanFractions_1 : 7523434
3038.78/411.19	c (395,0) c LitScanFractions_2 : 7594425
3038.78/411.19	c (395,0) c LitScanFractions_3 : 7718355
3038.78/411.19	c (395,0) c LitScanFractions_4 : 7602677
3038.78/411.19	c (395,0) c LitScanFractions_5 : 7462266
3038.78/411.19	c (395,0) c LitScanFractions_6 : 7551035
3038.78/411.19	c (395,0) c LitScanFractions_7 : 7520385
3038.78/411.19	c (395,0) c LitScanFractions_total : 60356302
3038.78/411.19	c (395,0) c LitScanFractions_winner : 7462266
3038.78/411.19	c (395,0) c DecisionLevel0_0 : 356
3038.78/411.19	c (395,0) c DecisionLevel0_1 : 333
3038.78/411.19	c (395,0) c DecisionLevel0_2 : 335
3038.78/411.19	c (395,0) c DecisionLevel0_3 : 395
3038.78/411.19	c (395,0) c DecisionLevel0_4 : 255
3038.78/411.19	c (395,0) c DecisionLevel0_5 : 143
3038.78/411.19	c (395,0) c DecisionLevel0_6 : 399
3038.78/411.19	c (395,0) c DecisionLevel0_7 : 266
3038.78/411.19	c (395,0) c DecisionLevel0_total : 2482
3038.78/411.19	c (395,0) c DecisionLevel0_winner : 143
3038.78/411.19	c (395,0) c Periods_0 : 6245
3038.78/411.19	c (395,0) c Periods_1 : 6245
3038.78/411.19	c (395,0) c Periods_2 : 6246
3038.78/411.19	c (395,0) c Periods_3 : 6246
3038.78/411.19	c (395,0) c Periods_4 : 6246
3038.78/411.19	c (395,0) c Periods_5 : 6245
3038.78/411.19	c (395,0) c Periods_6 : 6246
3038.78/411.19	c (395,0) c Periods_7 : 6246
3038.78/411.19	c (395,0) c Periods_total : 49965
3038.78/411.19	c (395,0) c Periods_winner : 6245
3038.78/411.19	c (395,0) c Margin_0 : 20
3038.78/411.19	c (395,0) c Margin_1 : 20
3038.78/411.19	c (395,0) c Margin_2 : 20
3038.78/411.19	c (395,0) c Margin_3 : 20
3038.78/411.19	c (395,0) c Margin_4 : 20
3038.78/411.19	c (395,0) c Margin_5 : 20
3038.78/411.19	c (395,0) c Margin_6 : 20
3038.78/411.19	c (395,0) c Margin_7 : 20
3038.78/411.19	c (395,0) c Margin_total : 160
3038.78/411.19	c (395,0) c Margin_winner : 20
3038.78/411.19	c (395,0) c Exported_0 : 11470
3038.78/411.19	c (395,0) c Exported_1 : 12402
3038.78/411.19	c (395,0) c Exported_2 : 11572
3038.78/411.19	c (395,0) c Exported_3 : 12249
3038.78/411.19	c (395,0) c Exported_4 : 11437
3038.78/411.19	c (395,0) c Exported_5 : 12847
3038.78/411.19	c (395,0) c Exported_6 : 11961
3038.78/411.19	c (395,0) c Exported_7 : 12578
3038.78/411.19	c (395,0) c Exported_total : 96516
3038.78/411.19	c (395,0) c Exported_winner : 12847
3038.78/411.19	c (395,0) c Imported_0 : 81376
3038.78/411.19	c (395,0) c Imported_1 : 82718
3038.78/411.19	c (395,0) c Imported_2 : 84667
3038.78/411.19	c (395,0) c Imported_3 : 83891
3038.78/411.19	c (395,0) c Imported_4 : 84819
3038.78/411.19	c (395,0) c Imported_5 : 82632
3038.78/411.19	c (395,0) c Imported_6 : 83403
3038.78/411.19	c (395,0) c Imported_7 : 83623
3038.78/411.19	c (395,0) c Imported_total : 667129
3038.78/411.19	c (395,0) c Imported_winner : 82632
3038.78/411.19	c (395,0) c Good_0 : 274
3038.78/411.19	c (395,0) c Good_1 : 270
3038.78/411.19	c (395,0) c Good_2 : 289
3038.78/411.19	c (395,0) c Good_3 : 280
3038.78/411.19	c (395,0) c Good_4 : 291
3038.78/411.19	c (395,0) c Good_5 : 299
3038.78/411.19	c (395,0) c Good_6 : 287
3038.78/411.19	c (395,0) c Good_7 : 288
3038.78/411.19	c (395,0) c Good_total : 2278
3038.78/411.19	c (395,0) c Good_winner : 299
3038.78/411.19	c (395,0) c Purge_0 : 81102
3038.78/411.19	c (395,0) c Purge_1 : 82448
3038.78/411.19	c (395,0) c Purge_2 : 84378
3038.78/411.19	c (395,0) c Purge_3 : 83611
3038.78/411.19	c (395,0) c Purge_4 : 84528
3038.78/411.19	c (395,0) c Purge_5 : 82333
3038.78/411.19	c (395,0) c Purge_6 : 83116
3038.78/411.19	c (395,0) c Purge_7 : 83335
3038.78/411.19	c (395,0) c Purge_total : 664851
3038.78/411.19	c (395,0) c Purge_winner : 82333
3038.78/411.19	c (395,0) c Promoted_0 : 6077
3038.78/411.19	c (395,0) c Promoted_1 : 6280
3038.78/411.19	c (395,0) c Promoted_2 : 5468
3038.78/411.19	c (395,0) c Promoted_3 : 6184
3038.78/411.19	c (395,0) c Promoted_4 : 6001
3038.78/411.19	c (395,0) c Promoted_5 : 5503
3038.78/411.19	c (395,0) c Promoted_6 : 6146
3038.78/411.19	c (395,0) c Promoted_7 : 5844
3038.78/411.19	c (395,0) c Promoted_total : 47503
3038.78/411.19	c (395,0) c Promoted_winner : 5503
3038.78/411.19	c (395,0) c Remove_Imp_0 : 43513
3038.78/411.19	c (395,0) c Remove_Imp_1 : 40309
3038.78/411.19	c (395,0) c Remove_Imp_2 : 44155
3038.78/411.19	c (395,0) c Remove_Imp_3 : 41411
3038.78/411.19	c (395,0) c Remove_Imp_4 : 43030
3038.78/411.19	c (395,0) c Remove_Imp_5 : 43256
3038.78/411.19	c (395,0) c Remove_Imp_6 : 41774
3038.78/411.19	c (395,0) c Remove_Imp_7 : 40410
3038.78/411.19	c (395,0) c Remove_Imp_total : 337858
3038.78/411.19	c (395,0) c Remove_Imp_winner : 43256
3038.78/411.19	c (395,0) c Blocked_Reuse_0 : 0
3038.78/411.19	c (395,0) c Blocked_Reuse_1 : 0
3038.78/411.19	c (395,0) c Blocked_Reuse_2 : 0
3038.78/411.19	c (395,0) c Blocked_Reuse_3 : 0
3038.78/411.19	c (395,0) c Blocked_Reuse_4 : 0
3038.78/411.19	c (395,0) c Blocked_Reuse_5 : 0
3038.78/411.19	c (395,0) c Blocked_Reuse_6 : 0
3038.78/411.19	c (395,0) c Blocked_Reuse_7 : 0
3038.78/411.19	c (395,0) c Blocked_Reuse_total : 0
3038.78/411.19	c (395,0) c Blocked_Reuse_winner : 0
3038.78/411.19	c (395,0) c Unaries_0 : 9
3038.78/411.19	c (395,0) c Unaries_1 : 3
3038.78/411.19	c (395,0) c Unaries_2 : 8
3038.78/411.19	c (395,0) c Unaries_3 : 6
3038.78/411.19	c (395,0) c Unaries_4 : 7
3038.78/411.19	c (395,0) c Unaries_5 : 2
3038.78/411.19	c (395,0) c Unaries_6 : 4
3038.78/411.19	c (395,0) c Unaries_7 : 3
3038.78/411.19	c (395,0) c Unaries_total : 42
3038.78/411.19	c (395,0) c Unaries_winner : 2
3038.78/411.19	c (395,0) c Binaries_0 : 50
3038.78/411.19	c (395,0) c Binaries_1 : 55
3038.78/411.19	c (395,0) c Binaries_2 : 37
3038.78/411.19	c (395,0) c Binaries_3 : 46
3038.78/411.19	c (395,0) c Binaries_4 : 35
3038.78/411.19	c (395,0) c Binaries_5 : 27
3038.78/411.19	c (395,0) c Binaries_6 : 39
3038.78/411.19	c (395,0) c Binaries_7 : 38
3038.78/411.19	c (395,0) c Binaries_total : 327
3038.78/411.19	c (395,0) c Binaries_winner : 27
3038.78/411.19	c (395,0) c Glues_0 : 850
3038.78/411.19	c (395,0) c Glues_1 : 859
3038.78/411.19	c (395,0) c Glues_2 : 776
3038.78/411.19	c (395,0) c Glues_3 : 821
3038.78/411.19	c (395,0) c Glues_4 : 820
3038.78/411.19	c (395,0) c Glues_5 : 576
3038.78/411.19	c (395,0) c Glues_6 : 804
3038.78/411.19	c (395,0) c Glues_7 : 709
3038.78/411.19	c (395,0) c Glues_total : 6215
3038.78/411.19	c (395,0) c Glues_winner : 576
3038.78/411.19	c (395,0) c RunningTime_0 : 386.805136
3038.78/411.19	c (395,0) c RunningTime_1 : 383.589392
3038.78/411.19	c (395,0) c RunningTime_2 : 377.429003
3038.78/411.19	c (395,0) c RunningTime_3 : 374.086230
3038.78/411.19	c (395,0) c RunningTime_4 : 378.855917
3038.78/411.19	c (395,0) c RunningTime_5 : 371.506177
3038.78/411.19	c (395,0) c RunningTime_6 : 374.696456
3038.78/411.19	c (395,0) c RunningTime_7 : 380.139426
3038.78/411.19	c (395,0) c RunningTime_total : 3027.107738
3038.78/411.19	c (395,0) c RunningTime_winner : 371.506177
3038.78/411.19	c (395,0) c WaitingTime_0 : 4.079605
3038.78/411.19	c (395,0) c WaitingTime_1 : 6.691754
3038.78/411.19	c (395,0) c WaitingTime_2 : 12.681517
3038.78/411.19	c (395,0) c WaitingTime_3 : 16.015275
3038.78/411.19	c (395,0) c WaitingTime_4 : 11.254857
3038.78/411.19	c (395,0) c WaitingTime_5 : 18.594334
3038.78/411.19	c (395,0) c WaitingTime_6 : 15.416322
3038.78/411.19	c (395,0) c WaitingTime_7 : 9.970208
3038.78/411.19	c (395,0) c WaitingTime_total : 94.703871
3038.78/411.19	c (395,0) c WaitingTime_winner : 18.594334
3038.78/411.19	c (395,0) c ExchangingTime_0 : 0.121289
3038.78/411.19	c (395,0) c ExchangingTime_1 : 0.121152
3038.78/411.19	c (395,0) c ExchangingTime_2 : 0.126937
3038.78/411.19	c (395,0) c ExchangingTime_3 : 0.142430
3038.78/411.19	c (395,0) c ExchangingTime_4 : 0.126703
3038.78/411.19	c (395,0) c ExchangingTime_5 : 0.118115
3038.78/411.19	c (395,0) c ExchangingTime_6 : 0.124930
3038.78/411.19	c (395,0) c ExchangingTime_7 : 0.126162
3038.78/411.19	c (395,0) c ExchangingTime_total : 1.007717
3038.78/411.19	c (395,0) c ExchangingTime_winner : 0.118115
3038.78/411.19	c (395,0) c PeriodProcTime_0 : 0.075011
3038.78/411.19	c (395,0) c PeriodProcTime_1 : 0.076083
3038.78/411.19	c (395,0) c PeriodProcTime_2 : 0.070886
3038.78/411.19	c (395,0) c PeriodProcTime_3 : 0.072769
3038.78/411.19	c (395,0) c PeriodProcTime_4 : 0.070319
3038.78/411.19	c (395,0) c PeriodProcTime_5 : 0.069561
3038.78/411.19	c (395,0) c PeriodProcTime_6 : 0.068444
3038.78/411.19	c (395,0) c PeriodProcTime_7 : 0.073347
3038.78/411.19	c (395,0) c PeriodProcTime_total : 0.576420
3038.78/411.19	c (395,0) c PeriodProcTime_winner : 0.069561
3038.78/411.19	c (395,0) c SolvingTime_0 : 391.081042
3038.78/411.19	c (395,0) c SolvingTime_1 : 390.478380
3038.78/411.19	c (395,0) c SolvingTime_2 : 390.308344
3038.78/411.19	c (395,0) c SolvingTime_3 : 390.316704
3038.78/411.19	c (395,0) c SolvingTime_4 : 390.307796
3038.78/411.19	c (395,0) c SolvingTime_5 : 390.288187
3038.78/411.19	c (395,0) c SolvingTime_6 : 390.306152
3038.78/411.19	c (395,0) c SolvingTime_7 : 390.309144
3038.78/411.19	c (395,0) c SolvingTime_total : 3123.395747
3038.78/411.19	c (395,0) c SolvingTime_winner : 390.288187
3038.78/411.19	c (395,0) c PropagationTime_0 : 383.310671
3038.78/411.19	c (395,0) c PropagationTime_1 : 382.466090
3038.78/411.19	c (395,0) c PropagationTime_2 : 382.171225
3038.78/411.19	c (395,0) c PropagationTime_3 : 382.163391
3038.78/411.19	c (395,0) c PropagationTime_4 : 382.227394
3038.78/411.19	c (395,0) c PropagationTime_5 : 382.212101
3038.78/411.19	c (395,0) c PropagationTime_6 : 382.395668
3038.78/411.19	c (395,0) c PropagationTime_7 : 382.148493
3038.78/411.19	c (395,0) c PropagationTime_total : 3059.095034
3038.78/411.19	c (395,0) c PropagationTime_winner : 382.212101
3038.78/411.19	c (395,0) c AnalysisTime_0 : 3.908690
3038.78/411.19	c (395,0) c AnalysisTime_1 : 4.086040
3038.78/411.19	c (395,0) c AnalysisTime_2 : 4.072732
3038.78/411.19	c (395,0) c AnalysisTime_3 : 4.135382
3038.78/411.19	c (395,0) c AnalysisTime_4 : 4.140764
3038.78/411.19	c (395,0) c AnalysisTime_5 : 4.263816
3038.78/411.19	c (395,0) c AnalysisTime_6 : 3.873719
3038.78/411.19	c (395,0) c AnalysisTime_7 : 4.208565
3038.78/411.19	c (395,0) c AnalysisTime_total : 32.689708
3038.78/411.19	c (395,0) c AnalysisTime_winner : 4.263816
3038.78/411.19	c (395,0) c ReductionTime_0 : 0.063260
3038.78/411.19	c (395,0) c ReductionTime_1 : 0.058783
3038.78/411.19	c (395,0) c ReductionTime_2 : 0.065972
3038.78/411.19	c (395,0) c ReductionTime_3 : 0.058965
3038.78/411.19	c (395,0) c ReductionTime_4 : 0.061095
3038.78/411.19	c (395,0) c ReductionTime_5 : 0.060641
3038.78/411.19	c (395,0) c ReductionTime_6 : 0.059221
3038.78/411.19	c (395,0) c ReductionTime_7 : 0.063382
3038.78/411.19	c (395,0) c ReductionTime_total : 0.491318
3038.78/411.19	c (395,0) c ReductionTime_winner : 0.060641
3038.78/411.19	c (395,0) c SimplifyTime_0 : 0.651122
3038.78/411.19	c (395,0) c SimplifyTime_1 : 0.626672
3038.78/411.19	c (395,0) c SimplifyTime_2 : 0.814207
3038.78/411.19	c (395,0) c SimplifyTime_3 : 0.713869
3038.78/411.19	c (395,0) c SimplifyTime_4 : 0.649175
3038.78/411.19	c (395,0) c SimplifyTime_5 : 0.680727
3038.78/411.19	c (395,0) c SimplifyTime_6 : 0.765256
3038.78/411.19	c (395,0) c SimplifyTime_7 : 0.653186
3038.78/411.19	c (395,0) c SimplifyTime_total : 5.554214
3038.78/411.19	c (395,0) c SimplifyTime_winner : 0.680727
3038.78/411.19	c (395,0) c UsedRateTime_0 : 0.000000
3038.78/411.19	c (395,0) c UsedRateTime_1 : 0.000000
3038.78/411.19	c (395,0) c UsedRateTime_2 : 0.000000
3038.78/411.20	c (395,0) c UsedRateTime_3 : 0.000000
3038.78/411.20	c (395,0) c UsedRateTime_4 : 0.000000
3038.78/411.20	c (395,0) c UsedRateTime_5 : 0.000000
3038.78/411.20	c (395,0) c UsedRateTime_6 : 0.000000
3038.78/411.20	c (395,0) c UsedRateTime_7 : 0.000000
3038.78/411.20	c (395,0) c UsedRateTime_total : 0.000000
3038.78/411.20	c (395,0) c UsedRateTime_winner : 0.000000
3038.78/411.20	c (395,0) c OverlapRateTime_0 : 0.000000
3038.78/411.20	c (395,0) c OverlapRateTime_1 : 0.000000
3038.78/411.20	c (395,0) c OverlapRateTime_2 : 0.000000
3038.78/411.20	c (395,0) c OverlapRateTime_3 : 0.000000
3038.78/411.20	c (395,0) c OverlapRateTime_4 : 0.000000
3038.78/411.20	c (395,0) c OverlapRateTime_5 : 0.000000
3038.78/411.20	c (395,0) c OverlapRateTime_6 : 0.000000
3038.78/411.20	c (395,0) c OverlapRateTime_7 : 0.000000
3038.78/411.20	c (395,0) c OverlapRateTime_total : 0.000000
3038.78/411.20	c (395,0) c OverlapRateTime_winner : 0.000000
3038.78/411.20	c (395,0) c
3038.78/411.20	c (395,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
3038.78/411.20	c (395,0) c
3038.78/411.20	c (395,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3038.78/411.20	c (395,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
3038.78/411.20	c (395,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3038.78/411.20	c (395,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
3038.78/411.20	c (395,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
3038.78/411.20	c (395,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
3038.78/411.20	c (395,0) c | Initial random_seed   | 1486461252 | 1102684394 | 1450929122 |  803346868 | 2053257837 | 1471221982 | 1578212303 |  498602757 |
3038.78/411.20	c (395,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
3038.78/411.20	c (395,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
3038.78/411.20	c (395,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
3038.78/411.20	c (395,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
3038.78/411.20	c (395,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
3038.78/411.20	c (395,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
3038.78/411.20	c (395,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
3038.78/411.20	c (395,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
3038.78/411.20	c (395,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
3038.78/411.20	c (395,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
3038.78/411.20	c (395,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
3038.78/411.20	c (395,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3038.78/411.20	c (395,0) 
3038.78/411.20	c (395,0) s SATISFIABLE
20.36/411.42	c (395,0) SatSolver.solve End
20.36/411.42	c (395,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
20.36/411.42	c (395,0) Show results Begin
3039.45/411.53	c (395,0) x[0] = 15
3039.45/411.53	c (395,0) x[2] = 9
3039.45/411.53	c (395,0) x[3] = 20
3039.45/411.53	c (395,0) x[4] = 14
3039.45/411.53	c (395,0) x[5] = 6
3039.45/411.53	c (395,0) x[6] = 19
3039.45/411.53	c (395,0) x[8] = 24
3039.45/411.53	c (395,0) x[9] = 5
3039.45/411.53	c (395,0) x[10] = 11
3039.45/411.53	c (395,0) x[11] = 26
3039.45/411.53	c (395,0) x[12] = 6
3039.45/411.53	c (395,0) x[13] = 6
3039.45/411.53	c (395,0) x[14] = 2
3039.45/411.53	c (395,0) x[15] = 20
3039.45/411.53	c (395,0) x[16] = 2
3039.45/411.53	c (395,0) x[17] = 16
3039.45/411.53	c (395,0) x[18] = 8
3039.45/411.53	c (395,0) x[19] = 17
3039.45/411.53	c (395,0) x[21] = 25
3039.45/411.53	c (395,0) x[22] = 15
3039.45/411.53	c (395,0) x[23] = 29
3039.45/411.53	c (395,0) x[24] = 12
3039.45/411.53	c (395,0) x[25] = 21
3039.45/411.53	c (395,0) x[26] = 14
3039.45/411.53	c (395,0) x[27] = 4
3039.45/411.53	c (395,0) x[28] = 2
3039.45/411.53	c (395,0) x[29] = 11
3039.45/411.53	c (395,0) x[31] = 2
3039.45/411.53	c (395,0) x[32] = 4
3039.45/411.53	c (395,0) x[33] = 28
3039.45/411.53	c (395,0) x[34] = 27
3039.45/411.53	c (395,0) x[35] = 19
3039.45/411.53	c (395,0) x[37] = 4
3039.45/411.53	c (395,0) x[38] = 3
3039.45/411.53	c (395,0) x[39] = 23
3039.45/411.53	c (395,0) x[40] = 18
3039.45/411.53	c (395,0) x[41] = 10
3039.45/411.53	c (395,0) x[42] = 3
3039.45/411.53	c (395,0) x[43] = 9
3039.45/411.53	c (395,0) x[44] = 11
3039.45/411.53	c (395,0) x[45] = 15
3039.45/411.53	c (395,0) x[46] = 28
3039.45/411.53	c (395,0) x[47] = 13
3039.45/411.53	c (395,0) x[48] = 19
3039.45/411.53	c (395,0) x[49] = 3
3039.45/411.53	c (395,0) x[50] = 3
3039.45/411.53	c (395,0) x[51] = 8
3039.45/411.53	c (395,0) x[53] = 3
3039.45/411.53	c (395,0) x[54] = 14
3039.45/411.53	c (395,0) x[55] = 16
3039.45/411.53	c (395,0) x[56] = 5
3039.45/411.53	c (395,0) x[57] = 4
3039.45/411.53	c (395,0) x[58] = 17
3039.45/411.53	c (395,0) x[59] = 2
3039.45/411.53	c (395,0) x[60] = 19
3039.45/411.53	c (395,0) x[61] = 14
3039.45/411.53	c (395,0) x[62] = 19
3039.45/411.53	c (395,0) x[63] = 3
3039.45/411.53	c (395,0) x[64] = 21
3039.45/411.53	c (395,0) x[65] = 16
3039.45/411.53	c (395,0) x[66] = 14
3039.45/411.53	c (395,0) x[67] = 29
3039.45/411.53	c (395,0) x[68] = 13
3039.45/411.53	c (395,0) x[69] = 23
3039.45/411.53	c (395,0) x[70] = 4
3039.45/411.53	c (395,0) x[71] = 16
3039.45/411.53	c (395,0) x[72] = 8
3039.45/411.53	c (395,0) x[73] = 10
3039.45/411.53	c (395,0) x[74] = 13
3039.45/411.53	c (395,0) x[75] = 21
3039.45/411.53	c (395,0) x[76] = 16
3039.45/411.53	c (395,0) x[78] = 7
3039.45/411.53	c (395,0) x[79] = 4
3039.45/411.53	c (395,0) x[80] = 19
3039.45/411.53	c (395,0) x[81] = 29
3039.45/411.53	c (395,0) x[82] = 18
3039.45/411.53	c (395,0) x[83] = 15
3039.45/411.53	c (395,0) x[84] = 20
3039.45/411.53	c (395,0) x[85] = 5
3039.45/411.53	c (395,0) x[86] = 7
3039.45/411.53	c (395,0) x[87] = 2
3039.45/411.53	c (395,0) x[88] = 11
3039.45/411.53	c (395,0) x[89] = 29
3039.45/411.53	c (395,0) x[90] = 4
3039.45/411.53	c (395,0) x[93] = 17
3039.45/411.53	c (395,0) x[94] = 18
3039.45/411.53	c (395,0) x[95] = 18
3039.45/411.53	c (395,0) x[96] = 11
3039.45/411.53	c (395,0) x[97] = 14
3039.45/411.53	c (395,0) x[98] = 5
3039.45/411.53	c (395,0) x[99] = 24
3039.45/411.53	s SATISFIABLE
3039.45/411.54	v <instantiation>
3039.45/411.54	v     <list>x[0] x[2] x[3] x[4] x[5] x[6] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[31] x[32] x[33] x[34] x[35] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[93] x[94] x[95] x[96] x[97] x[98] x[99]</list>
3039.45/411.54	v     <values>15 9 20 14 6 19 24 5 11 26 6 6 2 20 2 16 8 17 25 15 29 12 21 14 4 2 11 2 4 28 27 19 4 3 23 18 10 3 9 11 15 28 13 19 3 3 8 3 14 16 5 4 17 2 19 14 19 3 21 16 14 29 13 23 4 16 8 10 13 21 16 7 4 19 29 18 15 20 5 7 2 11 29 4 17 18 18 11 14 5 24</values>
3039.45/411.54	v </instantiation>
3039.45/411.54	c (395,0) Show results End
3039.45/411.54	c (395,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
3039.45/411.54	c (395,0) 395,395,STOP-AFTER(ALL)
3039.45/411.54	c END-Prog: Tue Sep 24 18:10:58 CEST 2019

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 (12286 MiB free)
  memory of node 1: 16384 MiB (12591 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405341-1569341090/watcher-4405341-1569341090 -o /tmp/evaluation-result-4405341-1569341090/solver-4405341-1569341090 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405341-1569341090.xml 

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

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


[startup+0.100146 s]*
/proc/loadavg: 2.19 5.74 6.98 3/213 25657
/proc/meminfo: memFree=25382392/32770624 swapFree=66975632/67108860
[pid=25635] ppid=25632 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25635/stat : 25635 (scop.sh) S 25632 25635 24466 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510375760 115843072 349 33554432000 4194304 5098028 140734274292832 140734274290088 139902658712188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26091520 140734274298661 140734274298988 140734274298988 140734274301901 0
/proc/25635/statm: 28282 349 296 221 0 87 0
[pid=25638] ppid=25635 vsize=27314120 memory=105020 CPUtime=0.11 cores=0-7
/proc/25638/stat : 25638 (java) S 25635 25635 24466 0 -1 1077944320 6301 0 0 0 9 2 0 0 20 0 20 0 510375760 27969658880 26255 33554432000 4194304 4196468 140730138116496 140730138099040 139880146480887 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
/proc/25638/statm: 6828530 26255 2817 1 0 6790935 0
[pid=25638/tid=25639] ppid=25635 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/25638/task/25639/stat : 25639 (java) R 25635 25635 24466 0 -1 4202560 4373 0 0 0 7 2 0 0 20 0 20 0 510375760 27969658880 26255 33554432000 4194304 4196468 140730138116496 139880118302208 139880130524517 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25640] ppid=25635 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25638/task/25640/stat : 25640 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 26255 33554432000 4194304 4196468 140730138116496 139880150722960 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25641] ppid=25635 vsize=27314120 memory=139792336504448 CPUtime=0 cores=0-7
/proc/25638/task/25641/stat : 25641 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 26255 33554432000 4194304 4196468 140730138116496 139879973218576 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25642] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25642/stat : 25642 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 26255 33554432000 4194304 4196468 140730138116496 139879567276688 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25643] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25643/stat : 25643 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 26255 33554432000 4194304 4196468 140730138116496 139879566223888 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25644] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25644/stat : 25644 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 26255 33554432000 4194304 4196468 140730138116496 139879565171600 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25645] ppid=25635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25638/task/25645/stat : 25645 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 26255 33554432000 4194304 4196468 140730138116496 139879564118800 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25646] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25646/stat : 25646 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 26255 33554432000 4194304 4196468 140730138116496 139879563066512 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25647] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25647/stat : 25647 (java) S 25635 25635 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 26255 33554432000 4194304 4196468 140730138116496 139879562013712 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25648] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25648/stat : 25648 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375764 27969658880 26255 33554432000 4194304 4196468 140730138116496 139879406098544 139880146492034 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25649] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25649/stat : 25649 (java) S 25635 25635 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510375765 27969658880 26255 33554432000 4194304 4196468 140730138116496 139877958017824 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25650] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25650/stat : 25650 (java) S 25635 25635 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510375765 27969658880 26255 33554432000 4194304 4196468 140730138116496 139877823796336 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25651] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25651/stat : 25651 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375767 27969658880 26255 33554432000 4194304 4196468 140730138116496 139877449291856 139880146499483 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25652] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25652/stat : 25652 (java) S 25635 25635 24466 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 510375767 27969658880 26255 33554432000 4194304 4196468 140730138116496 139879405046384 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25653] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25653/stat : 25653 (java) S 25635 25635 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375767 27969658880 26255 33554432000 4194304 4196468 140730138116496 139879403993584 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25654] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25654/stat : 25654 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375767 27969658880 26255 33554432000 4194304 4196468 140730138116496 139879402941296 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25655] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25655/stat : 25655 (java) S 25635 25635 24466 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 510375767 27969658880 26767 33554432000 4194304 4196468 140730138116496 139879401888496 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25656] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25656/stat : 25656 (java) S 25635 25635 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375768 27969658880 26767 33554432000 4194304 4196468 140730138116496 139876951386464 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25657] ppid=25635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25638/task/25657/stat : 25657 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375768 27969658880 26767 33554432000 4194304 4196468 140730138116496 139879400835376 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106416 KiB

[startup+0.210852 s]*
/proc/loadavg: 2.19 5.74 6.98 3/213 25657
/proc/meminfo: memFree=25362608/32770624 swapFree=66975632/67108860
[pid=25635] ppid=25632 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25635/stat : 25635 (scop.sh) S 25632 25635 24466 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510375760 115843072 349 33554432000 4194304 5098028 140734274292832 140734274290088 139902658712188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26091520 140734274298661 140734274298988 140734274298988 140734274301901 0
/proc/25635/statm: 28282 349 296 221 0 87 0
[pid=25638] ppid=25635 vsize=27314120 memory=123728 CPUtime=0.24 cores=0-7
/proc/25638/stat : 25638 (java) S 25635 25635 24466 0 -1 1077944320 11769 0 0 0 20 4 0 0 20 0 20 0 510375760 27969658880 30932 33554432000 4194304 4196468 140730138116496 140730138099040 139880146480887 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
/proc/25638/statm: 6828530 30932 2934 1 0 6790935 0
[pid=25638/tid=25639] ppid=25635 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/25638/task/25639/stat : 25639 (java) R 25635 25635 24466 0 -1 4202560 9457 0 0 0 16 4 0 0 20 0 20 0 510375760 27969658880 30932 33554432000 4194304 4196468 140730138116496 139880118264448 139880126756768 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25640] ppid=25635 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/25638/task/25640/stat : 25640 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 30932 33554432000 4194304 4196468 140730138116496 139880150722960 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25641] ppid=25635 vsize=27314120 memory=3688927856128378528 CPUtime=0 cores=0-7
/proc/25638/task/25641/stat : 25641 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879973218576 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25642] ppid=25635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25638/task/25642/stat : 25642 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879567276688 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25643] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25643/stat : 25643 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879566223888 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25644] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25644/stat : 25644 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879565171600 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25645] ppid=25635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25638/task/25645/stat : 25645 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879564118800 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25646] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25646/stat : 25646 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879563066512 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25647] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25647/stat : 25647 (java) S 25635 25635 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879562013712 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25648] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25648/stat : 25648 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375764 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879406098544 139880146492034 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25649] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25649/stat : 25649 (java) S 25635 25635 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510375765 27969658880 30932 33554432000 4194304 4196468 140730138116496 139877958017824 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25650] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25650/stat : 25650 (java) S 25635 25635 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510375765 27969658880 30932 33554432000 4194304 4196468 140730138116496 139877823796336 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25651] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25651/stat : 25651 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375767 27969658880 30932 33554432000 4194304 4196468 140730138116496 139877449291856 139880146499483 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25652] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25652/stat : 25652 (java) S 25635 25635 24466 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 510375767 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879405046384 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25653] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25653/stat : 25653 (java) S 25635 25635 24466 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 510375767 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879403993584 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25654] ppid=25635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25638/task/25654/stat : 25654 (java) S 25635 25635 24466 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 510375767 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879402941296 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25655] ppid=25635 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/25638/task/25655/stat : 25655 (java) S 25635 25635 24466 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 510375767 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879401888496 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25656] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25656/stat : 25656 (java) S 25635 25635 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375768 27969658880 30932 33554432000 4194304 4196468 140730138116496 139876951386464 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25657] ppid=25635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25638/task/25657/stat : 25657 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375768 27969658880 30932 33554432000 4194304 4196468 140730138116496 139879400835376 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125124 KiB

[startup+0.310545 s]*
/proc/loadavg: 2.19 5.74 6.98 2/213 25657
/proc/meminfo: memFree=25359952/32770624 swapFree=66975632/67108860
[pid=25635] ppid=25632 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25635/stat : 25635 (scop.sh) S 25632 25635 24466 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510375760 115843072 349 33554432000 4194304 5098028 140734274292832 140734274290088 139902658712188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26091520 140734274298661 140734274298988 140734274298988 140734274301901 0
/proc/25635/statm: 28282 349 296 221 0 87 0
[pid=25638] ppid=25635 vsize=27314120 memory=127664 CPUtime=0.42 cores=0-7
/proc/25638/stat : 25638 (java) S 25635 25635 24466 0 -1 1077944320 12841 0 0 0 37 5 0 0 20 0 20 0 510375760 27969658880 31916 33554432000 4194304 4196468 140730138116496 140730138099040 139880146480887 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
/proc/25638/statm: 6828530 31916 3001 1 0 6790935 0
[pid=25638/tid=25639] ppid=25635 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/25638/task/25639/stat : 25639 (java) R 25635 25635 24466 0 -1 4202560 10327 0 0 0 25 4 0 0 20 0 20 0 510375760 27969658880 31916 33554432000 4194304 4196468 140730138116496 139880118263904 139880130561374 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25640] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25640/stat : 25640 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 31916 33554432000 4194304 4196468 140730138116496 139880150722960 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25641] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25641/stat : 25641 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879973218576 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25642] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25642/stat : 25642 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879567276688 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25643] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25643/stat : 25643 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879566223888 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25644] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25644/stat : 25644 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879565171600 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25645] ppid=25635 vsize=27314120 memory=139792192989871 CPUtime=0 cores=0-7
/proc/25638/task/25645/stat : 25645 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879564118800 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25646] ppid=25635 vsize=27314120 memory=139792192992176 CPUtime=0 cores=0-7
/proc/25638/task/25646/stat : 25646 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879563066512 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25647] ppid=25635 vsize=27314120 memory=139792192994480 CPUtime=0 cores=0-7
/proc/25638/task/25647/stat : 25647 (java) S 25635 25635 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375763 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879562013712 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25648] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25648/stat : 25648 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375764 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879406098544 139880146492034 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25649] ppid=25635 vsize=27314120 memory=279584386002832 CPUtime=0 cores=0-7
/proc/25638/task/25649/stat : 25649 (java) S 25635 25635 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510375765 27969658880 31916 33554432000 4194304 4196468 140730138116496 139877958017824 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25650] ppid=25635 vsize=27314120 memory=279584386000528 CPUtime=0 cores=0-7
/proc/25638/task/25650/stat : 25650 (java) S 25635 25635 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510375765 27969658880 31916 33554432000 4194304 4196468 140730138116496 139877823796336 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25651] ppid=25635 vsize=27314120 memory=279584386007440 CPUtime=0 cores=0-7
/proc/25638/task/25651/stat : 25651 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375767 27969658880 31916 33554432000 4194304 4196468 140730138116496 139877449291856 139880146499483 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25652] ppid=25635 vsize=27314120 memory=279584385948720 CPUtime=0.01 cores=0-7
/proc/25638/task/25652/stat : 25652 (java) S 25635 25635 24466 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 510375767 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879405046384 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25653] ppid=25635 vsize=27314120 memory=279584386021264 CPUtime=0 cores=0-7
/proc/25638/task/25653/stat : 25653 (java) S 25635 25635 24466 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 510375767 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879403993584 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25654] ppid=25635 vsize=27314120 memory=279584386028176 CPUtime=0.01 cores=0-7
/proc/25638/task/25654/stat : 25654 (java) R 25635 25635 24466 0 -1 4202560 238 0 0 0 1 0 0 0 20 0 20 0 510375767 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879402941296 139880127181191 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25655] ppid=25635 vsize=27314120 memory=279584386025872 CPUtime=0.07 cores=0-7
/proc/25638/task/25655/stat : 25655 (java) S 25635 25635 24466 0 -1 1077944384 505 0 0 0 7 0 0 0 20 0 20 0 510375767 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879401888496 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25656] ppid=25635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25656/stat : 25656 (java) S 25635 25635 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375768 27969658880 31916 33554432000 4194304 4196468 140730138116496 139876951386464 139880146491093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25657] ppid=25635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25638/task/25657/stat : 25657 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375768 27969658880 31916 33554432000 4194304 4196468 140730138116496 139879400835376 139880146492034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129060 KiB

[startup+0.700973 s]
/proc/loadavg: 2.19 5.74 6.98 2/213 25657
/proc/meminfo: memFree=25338372/32770624 swapFree=66975632/67108860
[pid=25635] ppid=25632 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25635/stat : 25635 (scop.sh) S 25632 25635 24466 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510375760 115843072 349 33554432000 4194304 5098028 140734274292832 140734274290088 139902658712188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26091520 140734274298661 140734274298988 140734274298988 140734274301901 0
/proc/25635/statm: 28282 349 296 221 0 87 0
[pid=25638] ppid=25635 vsize=27322440 memory=163492 CPUtime=0.99 cores=0-7
/proc/25638/stat : 25638 (java) S 25635 25635 24466 0 -1 1077944320 20030 0 0 0 91 8 0 0 20 0 20 0 510375760 27978178560 40873 33554432000 4194304 4196468 140730138116496 140730138099040 139880146480887 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
/proc/25638/statm: 6830610 40873 3185 1 0 6791959 0
[pid=25638/tid=25639] ppid=25635 vsize=27322440 memory=0 CPUtime=0.67 cores=0-7
/proc/25638/task/25639/stat : 25639 (java) R 25635 25635 24466 0 -1 4202560 17004 0 0 0 61 6 0 0 20 0 20 0 510375760 27978178560 40873 33554432000 4194304 4196468 140730138116496 139880118314768 139880130561374 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25640] ppid=25635 vsize=27322440 memory=139792193201008 CPUtime=0 cores=0-7
/proc/25638/task/25640/stat : 25640 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27978178560 40873 33554432000 4194304 4196468 140730138116496 139880150722960 139880146491093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25641] ppid=25635 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/25638/task/25641/stat : 25641 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27978178560 40873 33554432000 4194304 4196468 140730138116496 139879973218576 139880146491093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0
[pid=25638/tid=25642] ppid=25635 vsize=27322440 memory=1192 CPUtime=0 cores=0-7
/proc/25638/task/25642/stat : 25642 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375763 27978178560 40873 33554432000 4194304 4196468 140730138116496 139879567276688 139880146491093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140730138125035 140730138125462 140730138125462 140730138128335 0

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

[pid=25659/tid=25662] ppid=25635 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25659/task/25662/stat : 25662 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471873198992 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25663] ppid=25635 vsize=8414124 memory=123560 CPUtime=0 cores=0-7
/proc/25659/task/25663/stat : 25663 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471547104272 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25664] ppid=25635 vsize=8414124 memory=97 CPUtime=0 cores=0-7
/proc/25659/task/25664/stat : 25664 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471546051728 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25665] ppid=25635 vsize=8414124 memory=576583242059703325 CPUtime=0 cores=0-7
/proc/25659/task/25665/stat : 25665 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471544998160 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25666] ppid=25635 vsize=8414124 memory=288284497974407685 CPUtime=0 cores=0-7
/proc/25659/task/25666/stat : 25666 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471543945616 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25667] ppid=25635 vsize=8414124 memory=20 CPUtime=0 cores=0-7
/proc/25659/task/25667/stat : 25667 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471542893072 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25668] ppid=25635 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25659/task/25668/stat : 25668 (java) S 25635 25635 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471541840528 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25669] ppid=25635 vsize=8414124 memory=14008 CPUtime=0.01 cores=0-7
/proc/25659/task/25669/stat : 25669 (java) S 25635 25635 24466 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 24 0 510377318 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471358028272 140472063203970 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25670] ppid=25635 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/25659/task/25670/stat : 25670 (java) S 25635 25635 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510377319 8616062976 30972 33554432000 4194304 4196468 140725072662576 140470596396448 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25671] ppid=25635 vsize=8414124 memory=33424 CPUtime=0 cores=0-7
/proc/25659/task/25671/stat : 25671 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510377319 8616062976 30972 33554432000 4194304 4196468 140725072662576 140470327961072 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25672] ppid=25635 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/25659/task/25672/stat : 25672 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510377322 8616062976 30972 33554432000 4194304 4196468 140725072662576 140469953452752 140472063211419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25673] ppid=25635 vsize=8414124 memory=500 CPUtime=0.05 cores=0-7
/proc/25659/task/25673/stat : 25673 (java) R 25635 25635 24466 0 -1 4202560 444 0 0 0 5 0 0 0 20 0 24 0 510377322 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471356962928 140472047586488 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25674] ppid=25635 vsize=8414124 memory=1556 CPUtime=0.07 cores=0-7
/proc/25659/task/25674/stat : 25674 (java) S 25635 25635 24466 0 -1 1077944384 284 0 0 0 7 0 0 0 20 0 24 0 510377322 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471355922544 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25675] ppid=25635 vsize=8414124 memory=1376 CPUtime=0.07 cores=0-7
/proc/25659/task/25675/stat : 25675 (java) R 25635 25635 24466 0 -1 4202560 458 0 0 0 7 0 0 0 20 0 24 0 510377322 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471354850000 140472043893975 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25677] ppid=25635 vsize=8414124 memory=1060 CPUtime=0.22 cores=0-7
/proc/25659/task/25677/stat : 25677 (java) R 25635 25635 24466 0 -1 4202560 860 0 0 0 22 0 0 0 20 0 24 0 510377322 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471353815416 140472047273310 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25678] ppid=25635 vsize=8414124 memory=3636 CPUtime=0 cores=0-7
/proc/25659/task/25678/stat : 25678 (java) S 25635 25635 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510377322 8616062976 30972 33554432000 4194304 4196468 140725072662576 140469455547104 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25679] ppid=25635 vsize=8414124 memory=1724 CPUtime=0.28 cores=0-7
/proc/25659/task/25679/stat : 25679 (java) S 25635 25635 24466 0 -1 1077944384 27 0 0 0 12 16 0 0 20 0 24 0 510377322 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471352765360 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25681] ppid=25635 vsize=8414124 memory=6140 CPUtime=0 cores=0-7
/proc/25659/task/25681/stat : 25681 (java) S 25635 25635 24466 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510377388 8616062976 30972 33554432000 4194304 4196468 140725072662576 140471344731840 140472063217433 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25683] ppid=25635 vsize=8414124 memory=10604 CPUtime=0.05 cores=0-7
/proc/25659/task/25683/stat : 25683 (java) R 25635 25635 24466 0 -1 4202560 1696 0 0 0 3 2 0 0 20 0 24 0 510377388 8616062976 30972 33554432000 4194304 4196468 140725072662576 140468784451552 140472063214749 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25684] ppid=25635 vsize=8414124 memory=716 CPUtime=0 cores=0-7
/proc/25659/task/25684/stat : 25684 (java) S 25635 25635 24466 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510377388 8616062976 30972 33554432000 4194304 4196468 140725072662576 140469052882320 140472063214749 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25685] ppid=25635 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/25659/task/25685/stat : 25685 (java) S 25635 25635 24466 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510377391 8616062976 30972 33554432000 4194304 4196468 140725072662576 140468516019376 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
Current children cumulated CPU time: 3038.92 s
Current children cumulated vsize: 12948916 KiB
Current children cumulated memory: 4010240 KiB

[startup+411.402 s]
/proc/loadavg: 8.34 7.36 7.24 2/218 25725
/proc/meminfo: memFree=21315832/32770624 swapFree=66975632/67108860
[pid=25635] ppid=25632 vsize=113128 memory=1476 CPUtime=18.65 cores=0-7
/proc/25635/stat : 25635 (scop.sh) S 25632 25635 24466 0 -1 4202496 583 30645 0 0 0 0 1728 137 20 0 1 0 510375760 115843072 369 33554432000 4194304 5098028 140734274292832 140734274289576 139902658712188 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26091520 140734274298661 140734274298988 140734274298988 140734274301901 0
/proc/25635/statm: 28282 369 311 221 0 87 0
[pid=25659] ppid=25635 vsize=8414124 memory=137512 CPUtime=1.71 cores=0-7
/proc/25659/stat : 25659 (java) S 25635 25635 24466 0 -1 1077944320 23369 0 0 0 159 12 0 0 20 0 24 0 510377315 8616062976 34378 33554432000 4194304 4196468 140725072662576 140725072645120 140472063192823 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
/proc/25659/statm: 2103531 34378 3220 1 0 2064875 0
[pid=25659/tid=25660] ppid=25635 vsize=8414124 memory=2832 CPUtime=0.75 cores=0-7
/proc/25659/task/25660/stat : 25660 (java) S 25635 25635 24466 0 -1 1077944384 16889 0 0 0 70 5 0 0 20 0 24 0 510377316 8616062976 34378 33554432000 4194304 4196468 140725072662576 140472035032992 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25661] ppid=25635 vsize=8414124 memory=1192 CPUtime=0 cores=0-7
/proc/25659/task/25661/stat : 25661 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 34378 33554432000 4194304 4196468 140725072662576 140472067435280 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25662] ppid=25635 vsize=8414124 memory=940 CPUtime=0 cores=0-7
/proc/25659/task/25662/stat : 25662 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471873198992 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25663] ppid=25635 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/25659/task/25663/stat : 25663 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471547104272 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25664] ppid=25635 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/25659/task/25664/stat : 25664 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471546051728 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25665] ppid=25635 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/25659/task/25665/stat : 25665 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471544998160 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25666] ppid=25635 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/25659/task/25666/stat : 25666 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471543945616 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25667] ppid=25635 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/25659/task/25667/stat : 25667 (java) S 25635 25635 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471542893072 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25668] ppid=25635 vsize=8414124 memory=4456 CPUtime=0 cores=0-7
/proc/25659/task/25668/stat : 25668 (java) S 25635 25635 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510377317 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471541840528 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25669] ppid=25635 vsize=8414124 memory=1412 CPUtime=0.01 cores=0-7
/proc/25659/task/25669/stat : 25669 (java) S 25635 25635 24466 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 24 0 510377318 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471358028272 140472063203970 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25670] ppid=25635 vsize=8414124 memory=716 CPUtime=0 cores=0-7
/proc/25659/task/25670/stat : 25670 (java) S 25635 25635 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510377319 8616062976 34378 33554432000 4194304 4196468 140725072662576 140470596396448 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25671] ppid=25635 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/25659/task/25671/stat : 25671 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510377319 8616062976 34378 33554432000 4194304 4196468 140725072662576 140470327961072 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25672] ppid=25635 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/25659/task/25672/stat : 25672 (java) S 25635 25635 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510377322 8616062976 34378 33554432000 4194304 4196468 140725072662576 140469953452752 140472063211419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25673] ppid=25635 vsize=8414124 memory=1192 CPUtime=0.08 cores=0-7
/proc/25659/task/25673/stat : 25673 (java) S 25635 25635 24466 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 24 0 510377322 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471356975088 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25674] ppid=25635 vsize=8414124 memory=940 CPUtime=0.09 cores=0-7
/proc/25659/task/25674/stat : 25674 (java) S 25635 25635 24466 0 -1 1077944384 286 0 0 0 9 0 0 0 20 0 24 0 510377322 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471355922544 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25675] ppid=25635 vsize=8414124 memory=14008 CPUtime=0.11 cores=0-7
/proc/25659/task/25675/stat : 25675 (java) S 25635 25635 24466 0 -1 1077944384 677 0 0 0 11 0 0 0 20 0 24 0 510377322 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471354870000 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25677] ppid=25635 vsize=8414124 memory=12040 CPUtime=0.25 cores=0-7
/proc/25659/task/25677/stat : 25677 (java) S 25635 25635 24466 0 -1 1077944384 1107 0 0 0 25 0 0 0 20 0 24 0 510377322 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471353817456 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25678] ppid=25635 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/25659/task/25678/stat : 25678 (java) S 25635 25635 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510377322 8616062976 34378 33554432000 4194304 4196468 140725072662576 140469455547104 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25679] ppid=25635 vsize=8414124 memory=1640 CPUtime=0.28 cores=0-7
/proc/25659/task/25679/stat : 25679 (java) S 25635 25635 24466 0 -1 1077944384 27 0 0 0 12 16 0 0 20 0 24 0 510377322 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471352765360 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25681] ppid=25635 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/25659/task/25681/stat : 25681 (java) S 25635 25635 24466 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510377388 8616062976 34378 33554432000 4194304 4196468 140725072662576 140471344731840 140472063217433 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25683] ppid=25635 vsize=8414124 memory=2572 CPUtime=0.1 cores=0-7
/proc/25659/task/25683/stat : 25683 (java) S 25635 25635 24466 0 -1 4202560 2228 0 0 0 8 2 0 0 20 0 24 0 510377388 8616062976 34378 33554432000 4194304 4196468 140725072662576 140468784446704 140472063214749 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25684] ppid=25635 vsize=8414124 memory=884 CPUtime=0 cores=0-7
/proc/25659/task/25684/stat : 25684 (java) S 25635 25635 24466 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510377388 8616062976 34378 33554432000 4194304 4196468 140725072662576 140469052882320 140472063214749 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25685] ppid=25635 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/25659/task/25685/stat : 25685 (java) S 25635 25635 24466 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510377391 8616062976 34378 33554432000 4194304 4196468 140725072662576 140468516019376 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
Current children cumulated CPU time: 20.36 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 138988 KiB

[startup+411.506 s]
/proc/loadavg: 8.34 7.36 7.24 2/218 25725
/proc/meminfo: memFree=21315832/32770624 swapFree=66975632/67108860
[pid=25635] ppid=25632 vsize=113128 memory=1476 CPUtime=18.65 cores=0-7
/proc/25635/stat : 25635 (scop.sh) S 25632 25635 24466 0 -1 4202496 583 30645 0 0 0 0 1728 137 20 0 1 0 510375760 115843072 369 33554432000 4194304 5098028 140734274292832 140734274289576 139902658712188 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26091520 140734274298661 140734274298988 140734274298988 140734274301901 0
/proc/25635/statm: 28282 369 311 221 0 87 0
[pid=25659] ppid=25635 vsize=8283048 memory=143332 CPUtime=3020.8 cores=0-7
/proc/25659/stat : 25659 (java) S 25635 25635 24466 0 -1 1077944320 23767 23878921 0 0 175 12 298561 3332 20 0 22 0 510377315 8481841152 35833 33554432000 4194304 4196468 140725072662576 140725072645120 140472063192823 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
/proc/25659/statm: 2070762 35833 3224 1 0 2032106 0
[pid=25659/tid=25660] ppid=25635 vsize=8283048 memory=137512 CPUtime=3019.76 cores=0-7
/proc/25659/task/25660/stat : 25660 (java) R 25635 25635 24466 0 -1 4202560 17157 23878921 0 0 78 5 298561 3332 20 0 22 0 510377316 8481841152 35833 33554432000 4194304 4196468 140725072662576 140472035029528 140471552803168 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25661] ppid=25635 vsize=8283048 memory=1476 CPUtime=3018.93 cores=0-7
/proc/25659/task/25661/stat : 25661 (java) S 25635 25635 24466 0 -1 1077944384 1 23878921 0 0 0 0 298561 3332 20 0 22 0 510377317 8481841152 35833 33554432000 4194304 4196468 140725072662576 140472067435280 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25662] ppid=25635 vsize=8283048 memory=1764 CPUtime=3018.93 cores=0-7
/proc/25659/task/25662/stat : 25662 (java) S 25635 25635 24466 0 -1 1077944384 2 23878921 0 0 0 0 298561 3332 20 0 22 0 510377317 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471873198992 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25663] ppid=25635 vsize=8283048 memory=123560 CPUtime=3018.93 cores=0-7
/proc/25659/task/25663/stat : 25663 (java) S 25635 25635 24466 0 -1 1077944384 2 23878921 0 0 0 0 298561 3332 20 0 22 0 510377317 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471547104272 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25664] ppid=25635 vsize=8283048 memory=3884452 CPUtime=3018.93 cores=0-7
/proc/25659/task/25664/stat : 25664 (java) S 25635 25635 24466 0 -1 1077944384 2 23878921 0 0 0 0 298561 3332 20 0 22 0 510377317 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471546051728 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25665] ppid=25635 vsize=8283048 memory=14008 CPUtime=3018.93 cores=0-7
/proc/25659/task/25665/stat : 25665 (java) S 25635 25635 24466 0 -1 1077944384 1 23878921 0 0 0 0 298561 3332 20 0 22 0 510377317 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471544998160 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25666] ppid=25635 vsize=8283048 memory=1476 CPUtime=3018.93 cores=0-7
/proc/25659/task/25666/stat : 25666 (java) S 25635 25635 24466 0 -1 1077944384 2 23878921 0 0 0 0 298561 3332 20 0 22 0 510377317 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471543945616 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25667] ppid=25635 vsize=8283048 memory=123560 CPUtime=3018.93 cores=0-7
/proc/25659/task/25667/stat : 25667 (java) S 25635 25635 24466 0 -1 1077944384 2 23878921 0 0 0 0 298561 3332 20 0 22 0 510377317 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471542893072 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25668] ppid=25635 vsize=8283048 memory=3884104 CPUtime=3018.93 cores=0-7
/proc/25659/task/25668/stat : 25668 (java) S 25635 25635 24466 0 -1 1077944384 3 23878921 0 0 0 0 298561 3332 20 0 22 0 510377317 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471541840528 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25669] ppid=25635 vsize=8283048 memory=1476 CPUtime=3018.94 cores=0-7
/proc/25659/task/25669/stat : 25669 (java) S 25635 25635 24466 0 -1 1077944384 12 23878921 0 0 1 0 298561 3332 20 0 22 0 510377318 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471358028272 140472063203970 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25670] ppid=25635 vsize=8283048 memory=2377 CPUtime=3018.93 cores=0-7
/proc/25659/task/25670/stat : 25670 (java) S 25635 25635 24466 0 -1 1077944384 13 23878921 0 0 0 0 298561 3332 20 0 22 0 510377319 8481841152 35833 33554432000 4194304 4196468 140725072662576 140470596396448 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25671] ppid=25635 vsize=8283048 memory=0 CPUtime=3018.93 cores=0-7
/proc/25659/task/25671/stat : 25671 (java) S 25635 25635 24466 0 -1 1077944384 1 23878921 0 0 0 0 298561 3332 20 0 22 0 510377319 8481841152 35833 33554432000 4194304 4196468 140725072662576 140470327961072 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25672] ppid=25635 vsize=8283048 memory=1476 CPUtime=3018.93 cores=0-7
/proc/25659/task/25672/stat : 25672 (java) S 25635 25635 24466 0 -1 1077944384 1 23878921 0 0 0 0 298561 3332 20 0 22 0 510377322 8481841152 35833 33554432000 4194304 4196468 140725072662576 140469953452752 140472063211419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25673] ppid=25635 vsize=8283048 memory=3884908 CPUtime=3019.02 cores=0-7
/proc/25659/task/25673/stat : 25673 (java) S 25635 25635 24466 0 -1 1077944384 758 23878921 0 0 9 0 298561 3332 20 0 22 0 510377322 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471356975088 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25674] ppid=25635 vsize=8283048 memory=0 CPUtime=3019.02 cores=0-7
/proc/25659/task/25674/stat : 25674 (java) S 25635 25635 24466 0 -1 1077944384 290 23878921 0 0 9 0 298561 3332 20 0 22 0 510377322 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471355922544 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25675] ppid=25635 vsize=8283048 memory=6140 CPUtime=3019.06 cores=0-7
/proc/25659/task/25675/stat : 25675 (java) S 25635 25635 24466 0 -1 1077944384 685 23878921 0 0 13 0 298561 3332 20 0 22 0 510377322 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471354870000 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25677] ppid=25635 vsize=8283048 memory=10604 CPUtime=3019.22 cores=0-7
/proc/25659/task/25677/stat : 25677 (java) S 25635 25635 24466 0 -1 1077944384 1206 23878921 0 0 29 0 298561 3332 20 0 22 0 510377322 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471353817456 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25678] ppid=25635 vsize=8283048 memory=1476 CPUtime=3018.93 cores=0-7
/proc/25659/task/25678/stat : 25678 (java) S 25635 25635 24466 0 -1 1077944384 3 23878921 0 0 0 0 298561 3332 20 0 22 0 510377322 8481841152 35833 33554432000 4194304 4196468 140725072662576 140469455547104 140472063203029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25679] ppid=25635 vsize=8283048 memory=1476 CPUtime=3019.21 cores=0-7
/proc/25659/task/25679/stat : 25679 (java) S 25635 25635 24466 0 -1 1077944384 27 23878921 0 0 12 16 298561 3332 20 0 22 0 510377322 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471352765360 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25681] ppid=25635 vsize=8283048 memory=120932 CPUtime=3018.93 cores=0-7
/proc/25659/task/25681/stat : 25681 (java) S 25635 25635 24466 0 -1 1077944384 26 23878921 0 0 0 0 298561 3332 20 0 22 0 510377388 8481841152 35833 33554432000 4194304 4196468 140725072662576 140471344731024 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
[pid=25659/tid=25685] ppid=25635 vsize=8283048 memory=63664 CPUtime=3018.93 cores=0-7
/proc/25659/task/25685/stat : 25685 (java) S 25635 25635 24466 0 -1 1077944384 15 23878921 0 0 0 0 298561 3332 20 0 22 0 510377391 8481841152 35833 33554432000 4194304 4196468 140725072662576 140468516021168 140472063203970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20451328 140725072671735 140725072671894 140725072671894 140725072674767 0
Current children cumulated CPU time: 3039.45 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 144808 KiB

Child status: 0
Real time (s): 411.582
CPU time (s): 3039.61
CPU user time (s): 3004.74
CPU system time (s): 34.8698
CPU usage (%): 738.519
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 5928952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3004.74
system time used= 34.8698
maximum resident set size= 5928636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23934105
page faults= 0
swaps= 0
block input operations= 8
block output operations= 311736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149638
involuntary context switches= 29318


# summary of solver processes directly reported to runsolver:
#   pid: 25635
#   total CPU time (s): 3039.61
#   total CPU user time (s): 3004.74
#   total CPU system time (s): 34.8698

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87745 second user time and 5.80164 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-24 18:04:07
IDJOB=4405341
IDBENCH=133440
IDSOLVER=2867
FILE ID=node125/4405341-1569341090
RUNJOBID= node125-1569335936-24493
PBS_JOBID= 21705060
Free space on /tmp= 4256 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-40-3-5.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405341-1569341090/watcher-4405341-1569341090 -o /tmp/evaluation-result-4405341-1569341090/solver-4405341-1569341090 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405341-1569341090.xml

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

MD5SUM BENCH= b9738aa7a21d23764c9c35483473acef
RANDOM SEED=1091812113

node125.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.29
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.29
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.29
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.29
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:        25475492 kB
MemAvailable:   31813416 kB
Buffers:          117108 kB
Cached:          6282280 kB
SwapCached:        29860 kB
Active:          3173784 kB
Inactive:        3261964 kB
Active(anon):       5548 kB
Inactive(anon):    86604 kB
Active(file):    3168236 kB
Inactive(file):  3175360 kB
Unevictable:      107168 kB
Mlocked:          107168 kB
SwapTotal:      67108860 kB
SwapFree:       66975632 kB
Dirty:             20428 kB
Writeback:             0 kB
AnonPages:        183540 kB
Mapped:            57244 kB
Shmem:             47468 kB
Slab:             452736 kB
SReclaimable:     422788 kB
SUnreclaim:        29948 kB
KernelStack:        3840 kB
PageTables:         5712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 4232 MiB
End job on node125 at 2019-09-24 18:10:59