Trace number 4405545

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 hybrid+ManyGlucose (2019-09-22)SAT 2506.39 332.59

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-40-2-7.xml
MD5SUMc03c7f5b7c3afa870e2bbdca7571e3a2
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 benchmark0.264843
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":88}]
Minimum variable degree0
Maximum variable degree7
Distribution of variable degrees[{"degree":0,"count":12},{"degree":1,"count":20},{"degree":2,"count":25},{"degree":3,"count":20},{"degree":4,"count":12},{"degree":5,"count":5},{"degree":6,"count":3},{"degree":7,"count":3}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":2},{"arity":6,"count":7},{"arity":7,"count":4},{"arity":8,"count":9},{"arity":9,"count":6}]
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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-15007-serial-file.bin HOME/instance-4405545-1569341055.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 18:03:35 CEST 2019
0.65/0.57	c PID: 15010
0.65/0.57	c IP: 172.20.3.127
0.65/0.57	c HOST: node127.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.19/0.90	c (0,0) Parsing End
1.39/0.90	c (0,0) CSP: 88 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-4405545-1569341055.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.01	c (0,0) translated 4 (10%) constraints
1.55/1.02	c (0,0) translated 8 (20%) constraints
1.55/1.03	c (0,0) translated 12 (30%) constraints
1.55/1.04	c (0,0) translated 16 (40%) constraints
1.55/1.04	c (0,0) translated 20 (50%) constraints
1.55/1.05	c (0,0) translated 24 (60%) constraints
1.55/1.06	c (0,0) translated 28 (70%) constraints
1.55/1.06	c (0,0) translated 32 (80%) constraints
1.55/1.07	c (0,0) translated 36 (90%) constraints
1.55/1.07	c (0,0) translated 40 (100%) constraints
1.55/1.07	c (0,0) ===========================================
1.55/1.08	c (0,0) Hybrid: #OE=1, #LE=87
1.55/1.08	c (0,0) Hybrid
1.55/1.08	c (0,0) ===========================================
1.55/1.09	c (0,0) translated 4 (10%) constraints
1.55/1.10	c (0,0) translated 8 (20%) constraints
1.55/1.10	c (0,0) translated 12 (30%) constraints
1.55/1.11	c (0,0) translated 16 (40%) constraints
1.81/1.11	c (0,0) translated 20 (50%) constraints
1.81/1.11	c (0,0) translated 24 (60%) constraints
1.81/1.12	c (0,0) translated 28 (70%) constraints
1.81/1.12	c (0,0) translated 32 (80%) constraints
1.81/1.12	c (0,0) translated 36 (90%) constraints
1.81/1.13	c (0,0) translated 40 (100%) constraints
1.81/1.13	c (0,0) CSP to CSPinCNF End
1.81/1.13	c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 28
1.81/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.81/1.13	c (0,0) CSPinCNF Propagation Begin
1.81/1.15	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.81/1.15	c (0,0) CSPinCNF Propagation End
1.81/1.15	c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 28
1.81/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.81/1.15	c (0,0) Hybrid: #OE=1, #LE=87
1.81/1.15	c (0,0) Simplify CSPinCNF Begin
1.81/1.16	c (0,0) Simplify CSPinCNF End
1.81/1.16	c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 28
1.81/1.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.81/1.16	c (0,0) Calculate Precise Domain Begin
1.81/1.16	c (0,0) 0 values are removed by re-calculation
1.81/1.16	c (0,0) Calculate Precise Domain End
1.81/1.16	c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 28
1.81/1.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.81/1.16	c (0,0) CSPinCNF to SatSolver Begin
3.01/1.54	c (0,0) 8 (10 %) CSP clauses are encoded (0 SAT variables, 72162 SAT clauses)
3.12/1.62	c (1,1) 16 (20 %) CSP clauses are encoded (0 SAT variables, 109610 SAT clauses)
3.24/1.77	c (1,1) 24 (30 %) CSP clauses are encoded (0 SAT variables, 174457 SAT clauses)
3.49/1.95	c (1,1) 32 (40 %) CSP clauses are encoded (0 SAT variables, 258448 SAT clauses)
3.64/2.09	c (1,1) 40 (50 %) CSP clauses are encoded (0 SAT variables, 311571 SAT clauses)
4.04/2.40	c (1,1) 48 (60 %) CSP clauses are encoded (0 SAT variables, 365092 SAT clauses)
4.04/2.41	c (1,1) 56 (70 %) CSP clauses are encoded (0 SAT variables, 436184 SAT clauses)
4.13/2.51	c (1,1) 64 (80 %) CSP clauses are encoded (0 SAT variables, 479129 SAT clauses)
4.13/2.55	c (2,1) 72 (90 %) CSP clauses are encoded (0 SAT variables, 497906 SAT clauses)
4.25/2.61	c (2,2) 80 (100 %) CSP clauses are encoded (0 SAT variables, 521645 SAT clauses)
4.25/2.61	c (2,2) CSPinCNF to SatSolver End
4.25/2.61	c (2,2) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
4.25/2.61	c (2,2) 192573 bool, 521719 clause
4.25/2.61	c (2,2) Export Begin
4.44/2.73	c (2,2) Export to HOME/scop-15007-serial-file.bin
4.44/2.73	c (2,2) Export End
4.44/2.73	c (2,2) Export File Size: 0.08 MB
4.44/2.73	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
4.44/2.73	c END-Prog: Tue Sep 24 18:03:37 CEST 2019
4.44/2.76	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15007-serial-file.bin
5.15/3.22	c (0,0) Read Serial File Begin
5.15/3.22	c (0,0) HOME/scop-15007-serial-file.bin
5.45/3.46	c (0,0) Read Serial File End
5.45/3.48	
5.45/3.48	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
5.45/3.48	(Solving Process)
5.45/3.48	
5.45/3.50	c BEGIN-Prog: Tue Sep 24 18:03:38 CEST 2019
5.45/3.50	c PID: 15030
5.45/3.50	c IP: 172.20.3.127
5.45/3.50	c HOST: node127.alineos.net
5.70/3.50	c (0,0) SatSolver.solve Begin
5.70/3.50	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405545-1569341055.xml-scop-15010.cnf
5.70/3.53	c (0,0) c
5.70/3.53	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)
5.70/3.53	c (0,0) c
5.70/3.53	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.70/3.53	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.70/3.53	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.70/3.53	c (0,0) c |                                                                                                       |
5.91/3.76	c (0,0) c |  Number of variables:        192573                                                                   |
5.91/3.76	c (0,0) c |  Number of clauses:          521558                                                                   |
5.91/3.76	c (0,0) c |  Parse time:                   0.21 s                                                                 |
5.91/3.76	c (0,0) c |                                                                                                       |
6.97/4.60	c (1,0) c |  Simplification time:          0.83 s                                                                 |
6.97/4.60	c (1,0) c |                                                                                                       |
6.97/4.60	c (1,0) c |  Generating clones                                                                                    |
7.38/5.04	c (1,0) c |  all clones generated. Memory =   568.26Mb.                                                           |
7.38/5.04	c (1,0) c ========================================================================================================|
7.38/5.04	c (1,0) c
7.38/5.04	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.38/5.04	c (1,0) c
7.38/5.04	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.38/5.04	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.38/5.04	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.38/5.04	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.38/5.04	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.38/5.04	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.38/5.04	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.38/5.04	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.38/5.04	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.38/5.04	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.38/5.04	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.38/5.04	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.38/5.04	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.38/5.04	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.38/5.04	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.38/5.04	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.38/5.04	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.38/5.04	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.38/5.04	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.19/34.14	c (30,0) c
239.19/34.14	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
239.19/34.14	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
239.19/34.14	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
239.19/34.14	c (30,0) c |  0 |    192 |     190376 |      40855 |   170083 |    14762 |     6012 |    34599 |     2973 |       90 |  20 |  0.965 |
239.19/34.14	c (30,0) c |  1 |    212 |     208733 |      40598 |   169935 |    14505 |     5904 |    35552 |     3080 |       91 |  20 |  0.970 |
239.19/34.14	c (30,0) c |  2 |    227 |     217801 |      46625 |   177784 |    20523 |     6951 |    39330 |     3614 |      102 |  20 |  0.972 |
239.19/34.14	c (30,0) c |  3 |    224 |     203502 |      45087 |   172511 |    18990 |     6677 |    39505 |     3508 |      102 |  20 |  0.975 |
239.19/34.14	c (30,0) c |  4 |    242 |     219410 |      48232 |   178478 |    22139 |     6748 |    40446 |     4063 |      105 |  20 |  0.974 |
239.19/34.14	c (30,0) c |  5 |    197 |     216784 |      49165 |   187916 |    23078 |     7074 |    37861 |     3772 |      104 |  20 |  0.972 |
239.19/34.14	c (30,0) c |  6 |    230 |     200088 |      43925 |   175874 |    17832 |     6071 |    37947 |     3412 |       97 |  20 |  0.970 |
239.19/34.14	c (30,0) c |  7 |    229 |     210644 |      47042 |   184472 |    20943 |     7001 |    40569 |     3760 |      106 |  20 |  0.974 |
239.19/34.14	c (30,0) c 
239.19/34.14	c (30,0) c synthesis      361531 conflicts   871540173 propagations     1556 conflicts/sec  3750098 propagations/sec
239.19/34.14	c (30,0) c real: 30.6109 s, cpu: 232.405 s, memory: 1133.41 Mb
466.20/63.13	c (59,0) c
466.20/63.13	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
466.20/63.13	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
466.20/63.13	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
466.20/63.13	c (59,0) c |  0 |    363 |     318262 |      70694 |   206716 |    17130 |     9542 |    61004 |     6816 |      175 |  20 |  1.005 |
466.20/63.13	c (59,0) c |  1 |    353 |     335538 |      70402 |   205271 |    16836 |     9403 |    63105 |     6933 |      178 |  20 |  1.005 |
466.20/63.13	c (59,0) c |  2 |    402 |     366209 |      79527 |   217577 |    25955 |    10570 |    67013 |     7549 |      195 |  20 |  1.007 |
466.20/63.13	c (59,0) c |  3 |    407 |     353450 |      77251 |   211266 |    23699 |    10276 |    67269 |     7362 |      195 |  20 |  1.007 |
466.20/63.13	c (59,0) c |  4 |    400 |     350602 |      81430 |   208659 |    27865 |    10473 |    66461 |     8043 |      195 |  20 |  1.007 |
466.20/63.13	c (59,0) c |  5 |    362 |     344479 |      80899 |   213798 |    27334 |    10894 |    66764 |     8017 |      195 |  20 |  1.007 |
466.20/63.13	c (59,0) c |  6 |    442 |     337905 |      76723 |   214131 |    23157 |     9499 |    65761 |     7654 |      187 |  20 |  1.007 |
466.20/63.13	c (59,0) c |  7 |    373 |     326315 |      78241 |   209882 |    24676 |    10667 |    66878 |     7758 |      195 |  20 |  1.014 |
466.20/63.13	c (59,0) c 
466.20/63.13	c (59,0) c synthesis      615168 conflicts  1663850138 propagations     1340 conflicts/sec  3625492 propagations/sec
466.20/63.13	c (59,0) c real: 59.6107 s, cpu: 458.931 s, memory: 1581.41 Mb
683.34/92.14	c (88,0) c
683.34/92.14	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
683.34/92.14	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
683.34/92.14	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
683.34/92.14	c (88,0) c |  0 |    504 |     424258 |      98004 |   221067 |    26837 |    12359 |    83043 |    10003 |      258 |  20 |  1.025 |
683.34/92.14	c (88,0) c |  1 |    534 |     457348 |     100941 |   228725 |    29771 |    12227 |    84902 |    10424 |      265 |  20 |  1.019 |
683.34/92.14	c (88,0) c |  2 |    570 |     469953 |     106193 |   232740 |    35014 |    13304 |    87466 |    10932 |      278 |  20 |  1.026 |
683.34/92.14	c (88,0) c |  3 |    578 |     472179 |     105240 |   230726 |    34074 |    13151 |    87592 |    10498 |      278 |  20 |  1.026 |
683.34/92.14	c (88,0) c |  4 |    529 |     447419 |     107877 |   226070 |    36710 |    13287 |    86944 |    11099 |      278 |  20 |  1.026 |
683.34/92.14	c (88,0) c |  5 |    526 |     460290 |     109134 |   230601 |    37956 |    13710 |    86913 |    11326 |      277 |  20 |  1.029 |
683.34/92.14	c (88,0) c |  6 |    622 |     450714 |     107292 |   232894 |    36141 |    12701 |    88139 |    11382 |      278 |  20 |  1.026 |
683.34/92.14	c (88,0) c |  7 |    558 |     438024 |     106536 |   228499 |    35381 |    13454 |    87269 |    11065 |      278 |  20 |  1.026 |
683.34/92.14	c (88,0) c 
683.34/92.14	c (88,0) c synthesis      841217 conflicts  2411592036 propagations     1245 conflicts/sec  3568832 propagations/sec
683.34/92.14	c (88,0) c real: 88.6109 s, cpu: 675.737 s, memory: 1197.41 Mb
902.20/121.14	c (117,0) c
902.20/121.14	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
902.20/121.14	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
902.20/121.14	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
902.20/121.14	c (117,0) c |  0 |    678 |     527928 |     125816 |   234560 |    34430 |    14927 |   101299 |    13062 |      342 |  20 |  1.033 |
902.20/121.14	c (117,0) c |  1 |    674 |     563908 |     129345 |   239249 |    37978 |    14778 |   103536 |    13578 |      351 |  20 |  1.029 |
902.20/121.14	c (117,0) c |  2 |    701 |     562539 |     133311 |   244206 |    41934 |    15872 |   105225 |    13940 |      362 |  20 |  1.033 |
902.20/121.14	c (117,0) c |  3 |    721 |     567094 |     131985 |   241161 |    40620 |    15559 |   104794 |    13422 |      360 |  20 |  1.033 |
902.20/121.14	c (117,0) c |  4 |    674 |     553459 |     134320 |   238358 |    42945 |    15690 |   104641 |    13988 |      360 |  20 |  1.034 |
902.20/121.14	c (117,0) c |  5 |    674 |     569141 |     136791 |   244127 |    45405 |    16137 |   104881 |    14222 |      362 |  20 |  1.035 |
902.20/121.14	c (117,0) c |  6 |    808 |     561225 |     134641 |   244975 |    43291 |    15200 |   105869 |    14328 |      362 |  20 |  1.036 |
902.20/121.14	c (117,0) c |  7 |    730 |     536928 |     132644 |   237943 |    41272 |    15868 |   105163 |    14048 |      362 |  20 |  1.035 |
902.20/121.14	c (117,0) c 
902.20/121.14	c (117,0) c synthesis     1058853 conflicts  3148041841 propagations     1184 conflicts/sec  3520481 propagations/sec
902.20/121.14	c (117,0) c real: 117.611 s, cpu: 894.208 s, memory: 1133.41 Mb
1123.48/150.14	c (146,0) c
1123.48/150.14	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1123.48/150.14	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1123.48/150.14	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1123.48/150.14	c (146,0) c |  0 |    803 |     639920 |     153617 |   245943 |    39437 |    17275 |   118258 |    15561 |      429 |  20 |  1.105 |
1123.48/150.14	c (146,0) c |  1 |    808 |     662263 |     156660 |   247683 |    42489 |    17040 |   120706 |    16261 |      440 |  20 |  1.105 |
1123.48/150.14	c (146,0) c |  2 |    785 |     643822 |     158274 |   251015 |    44097 |    18308 |   121016 |    16408 |      448 |  20 |  1.105 |
1123.48/150.14	c (146,0) c |  3 |    882 |     674475 |     160285 |   249068 |    46134 |    17903 |   121299 |    16173 |      448 |  20 |  1.105 |
1123.48/150.14	c (146,0) c |  4 |    810 |     654953 |     161920 |   246590 |    47738 |    17859 |   121406 |    16812 |      449 |  20 |  1.106 |
1123.48/150.14	c (146,0) c |  5 |    807 |     673665 |     163342 |   251458 |    49157 |    18489 |   120780 |    16910 |      449 |  20 |  1.105 |
1123.48/150.14	c (146,0) c |  6 |    955 |     669947 |     161076 |   253231 |    46908 |    17492 |   121271 |    16965 |      448 |  20 |  1.105 |
1123.48/150.14	c (146,0) c |  7 |    871 |     637269 |     159023 |   248084 |    44854 |    18141 |   121038 |    16574 |      448 |  20 |  1.105 |
1123.48/150.14	c (146,0) c 
1123.48/150.14	c (146,0) c synthesis     1274197 conflicts  3885479031 propagations     1143 conflicts/sec  3483911 propagations/sec
1123.48/150.14	c (146,0) c real: 146.611 s, cpu: 1115.26 s, memory: 1133.41 Mb
1343.49/179.14	c (176,0) c
1343.49/179.14	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1343.49/179.14	c (176,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1343.49/179.14	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1343.49/179.14	c (176,0) c |  0 |    920 |     733452 |     181889 |   253183 |    42306 |    19672 |   133802 |    18279 |      516 |  20 |  1.111 |
1343.49/179.14	c (176,0) c |  1 |    928 |     766592 |     184817 |   256785 |    45239 |    19354 |   137294 |    18816 |      531 |  20 |  1.115 |
1343.49/179.14	c (176,0) c |  2 |    913 |     728337 |     181574 |   257105 |    42004 |    20208 |   135124 |    18698 |      527 |  20 |  1.115 |
1343.49/179.14	c (176,0) c |  3 |   1006 |     774850 |     186454 |   255228 |    46891 |    20215 |   137162 |    18819 |      536 |  20 |  1.115 |
1343.49/179.14	c (176,0) c |  4 |    931 |     737898 |     187359 |   252421 |    47781 |    20033 |   137237 |    19256 |      536 |  20 |  1.115 |
1343.49/179.14	c (176,0) c |  5 |    929 |     757913 |     188831 |   258131 |    49237 |    20686 |   135899 |    19352 |      536 |  20 |  1.115 |
1343.49/179.14	c (176,0) c |  6 |   1109 |     765665 |     186383 |   262962 |    46817 |    19392 |   136404 |    19192 |      527 |  20 |  1.115 |
1343.49/179.14	c (176,0) c |  7 |    976 |     720534 |     184812 |   253871 |    45226 |    20334 |   136946 |    18760 |      536 |  20 |  1.115 |
1343.49/179.14	c (176,0) c 
1343.49/179.14	c (176,0) c synthesis     1482119 conflicts  4597245583 propagations     1110 conflicts/sec  3443142 propagations/sec
1343.49/179.14	c (176,0) c real: 175.611 s, cpu: 1335.19 s, memory: 1163.16 Mb
1578.50/209.14	c (206,0) c
1578.50/209.14	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1578.50/209.14	c (206,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1578.50/209.14	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1578.50/209.14	c (206,0) c |  0 |   1055 |     838160 |     209482 |   259330 |    41912 |    21768 |   148669 |    20767 |      604 |  20 |  1.115 |
1578.50/209.14	c (206,0) c |  1 |   1051 |     890003 |     213234 |   263740 |    45667 |    21531 |   151708 |    21235 |      620 |  20 |  1.115 |
1578.50/209.14	c (206,0) c |  2 |   1036 |     831889 |     208134 |   263071 |    40551 |    22291 |   149700 |    21059 |      615 |  20 |  1.115 |
1578.50/209.14	c (206,0) c |  3 |   1114 |     871814 |     213000 |   261088 |    45420 |    22185 |   151114 |    21094 |      623 |  20 |  1.117 |
1578.50/209.14	c (206,0) c |  4 |   1082 |     828565 |     214511 |   258736 |    46926 |    22075 |   151398 |    21589 |      622 |  20 |  1.115 |
1578.50/209.14	c (206,0) c |  5 |   1089 |     860014 |     216063 |   263170 |    48476 |    22710 |   151372 |    21848 |      624 |  20 |  1.115 |
1578.50/209.14	c (206,0) c |  6 |   1279 |     870471 |     213817 |   268188 |    46238 |    21335 |   150905 |    21737 |      615 |  20 |  1.115 |
1578.50/209.14	c (206,0) c |  7 |   1091 |     803807 |     210746 |   259436 |    43161 |    22409 |   151245 |    21120 |      623 |  20 |  1.115 |
1578.50/209.14	c (206,0) c 
1578.50/209.14	c (206,0) c synthesis     1698987 conflicts  5342880213 propagations     1082 conflicts/sec  3402831 propagations/sec
1578.50/209.14	c (206,0) c real: 205.619 s, cpu: 1570.13 s, memory: 1163.16 Mb
1814.87/239.14	c (235,0) c
1814.87/239.14	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1814.87/239.14	c (235,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1814.87/239.14	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1814.87/239.14	c (235,0) c |  0 |   1216 |     935839 |     234929 |   264137 |    36743 |    23697 |   162074 |    23176 |      693 |  20 |  1.124 |
1814.87/239.14	c (235,0) c |  1 |   1130 |     968544 |     238931 |   268939 |    40778 |    23494 |   164677 |    23429 |      711 |  20 |  1.124 |
1814.87/239.14	c (235,0) c |  2 |   1127 |     931358 |     237459 |   267805 |    39270 |    24466 |   164453 |    23475 |      713 |  20 |  1.124 |
1814.87/239.14	c (235,0) c |  3 |   1229 |     974442 |     239833 |   266028 |    41651 |    24043 |   165125 |    23340 |      713 |  20 |  1.124 |
1814.87/239.14	c (235,0) c |  4 |   1179 |     909803 |     240038 |   263756 |    41853 |    24107 |   164240 |    23756 |      713 |  20 |  1.124 |
1814.87/239.14	c (235,0) c |  5 |   1192 |     960481 |     242658 |   266927 |    44473 |    24621 |   164007 |    23858 |      713 |  20 |  1.124 |
1814.87/239.14	c (235,0) c |  6 |   1419 |     980712 |     243183 |   272939 |    45016 |    23326 |   165715 |    24190 |      713 |  20 |  1.124 |
1814.87/239.14	c (235,0) c |  7 |   1230 |     905241 |     237519 |   264636 |    39359 |    24149 |   165006 |    23584 |      713 |  20 |  1.124 |
1814.87/239.14	c (235,0) c 
1814.87/239.14	c (235,0) c synthesis     1914550 conflicts  6096156137 propagations     1060 conflicts/sec  3374813 propagations/sec
1814.87/239.14	c (235,0) c real: 235.611 s, cpu: 1806.37 s, memory: 1163.16 Mb
2040.70/269.15	c (266,0) c
2040.70/269.15	c (266,0) c |------------------------------------------------------------------------------------------------------------------------|
2040.70/269.15	c (266,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2040.70/269.15	c (266,0) c |------------------------------------------------------------------------------------------------------------------------|
2040.70/269.15	c (266,0) c |  0 |   1325 |    1017126 |     259410 |   268675 |    61223 |    25651 |   175036 |    25196 |      781 |  20 |  1.133 |
2040.70/269.15	c (266,0) c |  1 |   1238 |    1068386 |     264455 |   273035 |    66302 |    25260 |   178777 |    25871 |      801 |  20 |  1.133 |
2040.70/269.15	c (266,0) c |  2 |   1212 |    1000047 |     260995 |   271029 |    62807 |    26598 |   177243 |    25209 |      801 |  20 |  1.133 |
2040.70/269.15	c (266,0) c |  3 |   1338 |    1052150 |     264517 |   271283 |    66334 |    25836 |   178080 |    25619 |      800 |  20 |  1.133 |
2040.70/269.15	c (266,0) c |  4 |   1290 |     991212 |     264189 |   266931 |    66003 |    25832 |   178106 |    25874 |      800 |  20 |  1.133 |
2040.70/269.15	c (266,0) c |  5 |   1325 |    1050652 |     267160 |   270991 |    35773 |    26312 |   177623 |    26136 |      801 |  20 |  1.133 |
2040.70/269.15	c (266,0) c |  6 |   1507 |    1060281 |     267481 |   276071 |    36117 |    25132 |   178537 |    26219 |      801 |  20 |  1.133 |
2040.70/269.15	c (266,0) c |  7 |   1327 |     988406 |     263083 |   269841 |    64921 |    25956 |   178042 |    25816 |      801 |  20 |  1.133 |
2040.70/269.15	c (266,0) c 
2040.70/269.15	c (266,0) c synthesis     2111291 conflicts  6809464175 propagations     1039 conflicts/sec  3350819 propagations/sec
2040.70/269.15	c (266,0) c real: 265.62 s, cpu: 2032.18 s, memory: 1227.16 Mb
2269.78/299.14	c (295,0) c
2269.78/299.14	c (295,0) c |------------------------------------------------------------------------------------------------------------------------|
2269.78/299.14	c (295,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2269.78/299.14	c (295,0) c |------------------------------------------------------------------------------------------------------------------------|
2269.78/299.14	c (295,0) c |  0 |   1443 |    1101558 |     285631 |   271626 |    54265 |    27346 |   188823 |    27320 |      870 |  20 |  1.134 |
2269.78/299.14	c (295,0) c |  1 |   1340 |    1169157 |     291434 |   276594 |    60067 |    27052 |   192011 |    27744 |      888 |  20 |  1.134 |
2269.78/299.14	c (295,0) c |  2 |   1320 |    1084084 |     286311 |   275409 |    54942 |    28465 |   191041 |    27257 |      890 |  20 |  1.134 |
2269.78/299.14	c (295,0) c |  3 |   1426 |    1144390 |     290738 |   274366 |    59348 |    28286 |   191215 |    27359 |      890 |  20 |  1.134 |
2269.78/299.14	c (295,0) c |  4 |   1369 |    1066773 |     289798 |   271175 |    58419 |    27566 |   191767 |    27687 |      890 |  20 |  1.134 |
2269.78/299.14	c (295,0) c |  5 |   1434 |    1142789 |     292841 |   275059 |    61453 |    28191 |   190909 |    28041 |      889 |  20 |  1.134 |
2269.78/299.14	c (295,0) c |  6 |   1581 |    1135122 |     295013 |   278286 |    63648 |    26910 |   191768 |    28056 |      889 |  20 |  1.134 |
2269.78/299.14	c (295,0) c |  7 |   1462 |    1076924 |     289091 |   274229 |    57727 |    28282 |   191175 |    27768 |      889 |  20 |  1.134 |
2269.78/299.14	c (295,0) c 
2269.78/299.14	c (295,0) c synthesis     2320859 conflicts  7541858471 propagations     1027 conflicts/sec  3336167 propagations/sec
2269.78/299.14	c (295,0) c real: 295.611 s, cpu: 2260.64 s, memory: 1163.16 Mb
2491.35/328.14	c (324,0) c
2491.35/328.14	c (324,0) c |------------------------------------------------------------------------------------------------------------------------|
2491.35/328.14	c (324,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2491.35/328.14	c (324,0) c |------------------------------------------------------------------------------------------------------------------------|
2491.35/328.14	c (324,0) c |  0 |   1565 |    1189099 |     309550 |   274344 |    42378 |    28991 |   201246 |    29347 |      956 |  20 |  1.134 |
2492.08/328.24	c (325,0) c |  1 |   1393 |    1237327 |     314560 |   278662 |    47393 |    28773 |   204045 |    29444 |      976 |  20 |  1.139 |
2492.08/328.24	c (325,0) c |  2 |   1443 |    1172136 |     310228 |   278420 |    43070 |    29954 |   202910 |    29200 |      972 |  20 |  1.138 |
2492.08/328.24	c (325,0) c |  3 |   1549 |    1227773 |     315937 |   277029 |    48747 |    30127 |   203541 |    29281 |      976 |  20 |  1.138 |
2492.08/328.24	c (325,0) c |  4 |   1438 |    1156736 |     315070 |   274111 |    47896 |    29237 |   204310 |    29501 |      976 |  20 |  1.138 |
2492.08/328.24	c (325,0) c |  5 |   1529 |    1219409 |     317153 |   277770 |    49966 |    29918 |   203806 |    29911 |      976 |  20 |  1.138 |
2492.08/328.24	c (325,0) c |  6 |   1676 |    1224911 |     318785 |   281268 |    51640 |    28551 |   204300 |    29956 |      971 |  20 |  1.138 |
2492.08/328.24	c (325,0) c |  7 |   1549 |    1160604 |     314642 |   276851 |    47499 |    30383 |   203251 |    29631 |      976 |  20 |  1.138 |
2492.08/328.24	c (325,0) c 
2492.08/328.24	c (325,0) c synthesis     2515926 conflicts  8240097534 propagations     1014 conflicts/sec  3319928 propagations/sec
2492.08/328.24	c (325,0) c real: 324.616 s, cpu: 2482.01 s, memory: 1611.16 Mb
2505.70/332.32	c (329,0) c
2505.70/332.32	c (329,0) c real time : 328.796 s
2505.70/332.32	c (329,0) c cpu time  : 2496.1 s
2505.70/332.32	c (329,0) c
2505.70/332.32	c (329,0) c
2505.70/332.32	c (329,0) c
2505.70/332.32	c (329,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2505.70/332.32	c (329,0) c
2505.70/332.32	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2505.70/332.32	c (329,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2505.70/332.32	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2505.70/332.32	c (329,0) c | Conflicts     |         2529366 |     314640 |     316032 |     311182 |     317104 |     316388 |     318452 |     319738 |     315830 |
2505.70/332.32	c (329,0) c | Decisions     |         9667011 |    1203592 |    1243170 |    1213769 |    1231399 |    1161846 |    1223306 |    1226858 |    1163071 |
2505.70/332.32	c (329,0) c | Propagations  |      8289059328 | 1037063293 | 1032107145 | 1035670307 | 1038082653 | 1035228715 | 1033323765 | 1037675932 | 1039907518 |
2505.70/332.32	c (329,0) c | ReduceDBs     |             120 |         15 |         15 |         15 |         15 |         15 |         15 |         15 |         15 |
2505.70/332.32	c (329,0) c | SimpDBs       |             651 |         80 |         86 |         77 |         83 |         82 |         83 |         81 |         79 |
2505.70/332.32	c (329,0) c | Restarts      |           12198 |       1584 |       1402 |       1445 |       1560 |       1438 |       1536 |       1681 |       1552 |
2505.70/332.32	c (329,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2505.70/332.32	c (329,0) c | PropBinClauses|      3254442895 |  411432240 |  396189872 |  406409009 |  404211213 |  403687771 |  411094420 |  412598827 |  408819543 |
2505.70/332.32	c (329,0) c | PropPreBlocker|     20484913953 | 2553872375 | 2561332163 | 2560210085 | 2566240742 | 2564344097 | 2563979372 | 2548329315 | 2566605804 |
2505.70/332.32	c (329,0) c | PropNotBlocker|      9746697839 | 1219046327 | 1212805933 | 1217317244 | 1219623791 | 1216699611 | 1222738429 | 1215621782 | 1222844722 |
2505.70/332.32	c (329,0) c | LitFullScans  |     46989989924 | 5851095578 | 5887385412 | 5852342109 | 5886961907 | 5886862469 | 5887457841 | 5850992088 | 5886892520 |
2505.70/332.32	c (329,0) c | LitScanFracts |         8671471 |    1059378 |    1372887 |    1142948 |     941865 |     860148 |    1456082 |     947788 |     890375 |
2505.70/332.32	c (329,0) c | DecisionLevel0|           12442 |       1614 |       1435 |       1468 |       1587 |       1472 |       1575 |       1707 |       1584 |
2505.70/332.32	c (329,0) c | Periods       |            7830 |        975 |        981 |        975 |        981 |        981 |        981 |        975 |        981 |
2505.70/332.32	c (329,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2505.70/332.32	c (329,0) c | Avg_Trail     |                 |      36651 |      38240 |      37146 |      37466 |      37134 |      36470 |      36501 |      37093 |
2505.70/332.32	c (329,0) c | Avg_DL        |                 |         52 |         58 |         54 |         55 |         54 |         55 |         55 |         53 |
2505.70/332.32	c (329,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2505.70/332.32	c (329,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2505.70/332.32	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2505.70/332.32	c (329,0) c | Exported      |          236844 |      29316 |      28851 |      30000 |      30196 |      29362 |      30004 |      28634 |      30481 |
2505.70/332.32	c (329,0) c | Imported      |         1633565 |     203595 |     205449 |     203212 |     204107 |     204310 |     204359 |     204878 |     203655 |
2505.70/332.32	c (329,0) c | Good          |           20898 |       2624 |       2651 |       2604 |       2629 |       2658 |       2590 |       2551 |       2591 |
2505.70/332.32	c (329,0) c | Purge         |         1612667 |     200971 |     202798 |     200608 |     201478 |     201652 |     201769 |     202327 |     201064 |
2505.70/332.32	c (329,0) c | Promoted      |          237196 |      29661 |      29558 |      29256 |      29366 |      29580 |      30009 |      30026 |      29740 |
2505.70/332.32	c (329,0) c | Remove_Imp    |          993984 |     125476 |     122633 |     126857 |     124831 |     123820 |     124021 |     122560 |     123786 |
2505.70/332.32	c (329,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2505.70/332.32	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2505.70/332.32	c (329,0) c | Unaries       |                 |         30 |         33 |         23 |         27 |         34 |         39 |         26 |         32 |
2505.70/332.32	c (329,0) c | Binaries      |                 |        360 |        336 |        382 |        358 |        331 |        397 |        435 |        395 |
2505.70/332.32	c (329,0) c | Glues         |                 |       1703 |       1641 |       1694 |       1714 |       1715 |       1794 |       1942 |       1716 |
2505.70/332.32	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2505.70/332.32	c (329,0) c | Orig_Seen     |            62 % |     274800 |     278924 |     279506 |     277110 |     274659 |     277885 |     281389 |     276964 |
2505.70/332.32	c (329,0) c | Diff Orig seen|                 | -     4706 | -      582 |      X     | -     2396 | -     4847 | -     1621 |       1883 | -     2542 |
2505.70/332.32	c (329,0) c | Hamming       |            10 % |      19953 |      20012 |      X     |      19768 |      20976 |      19928 |      20390 |      20304 |
2505.70/332.32	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2505.70/332.32	c (329,0) c | RunningTime   |                 |  327.1 100%|  323.2 100%|  311.3  96%|  310.3  96%|  307.0  95%|  307.4  95%|  314.9  97%|  304.4  94%|
2505.70/332.32	c (329,0) c | WaitingTime   |                 |    0.0   0%|    1.2   0%|   13.0   4%|   14.1   4%|   17.4   5%|   17.0   5%|    9.5   3%|   20.0   6%|
2505.70/332.32	c (329,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%|
2505.70/332.32	c (329,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
2505.70/332.32	c (329,0) c | SolvingTime   |                 |  327.2     |  324.5     |  324.4     |  324.5     |  324.5     |  324.5     |  324.5     |  324.5     |
2505.70/332.32	c (329,0) c | PropagationTim|                 |  285.6  87%|  280.6  86%|  279.6  86%|  280.6  86%|  278.8  86%|  279.9  86%|  277.1  85%|  280.0  86%|
2505.70/332.32	c (329,0) c | AnalysisTime  |                 |   21.6   7%|   23.6   7%|   24.2   7%|   23.2   7%|   25.3   8%|   23.8   7%|   25.9   8%|   23.9   7%|
2505.70/332.32	c (329,0) c | ReductionTime |                 |    0.9   0%|    1.0   0%|    0.9   0%|    0.9   0%|    0.9   0%|    0.9   0%|    0.9   0%|    0.9   0%|
2505.70/332.32	c (329,0) c | SimplifyTime  |                 |    1.3   0%|    1.6   0%|    1.6   0%|    1.7   1%|    1.9   1%|    1.7   1%|    2.1   1%|    2.0   1%|
2505.70/332.32	c (329,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%|
2505.70/332.32	c (329,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%|
2505.70/332.32	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2505.70/332.32	c (329,0) c
2505.70/332.32	c (329,0) c
2505.70/332.32	c (329,0) c Threads : 8
2505.70/332.32	c (329,0) c Winner : 2
2505.70/332.32	c (329,0) c Conflicts_0 : 314640
2505.70/332.32	c (329,0) c Conflicts_1 : 316032
2505.70/332.32	c (329,0) c Conflicts_2 : 311182
2505.70/332.32	c (329,0) c Conflicts_3 : 317104
2505.70/332.32	c (329,0) c Conflicts_4 : 316388
2505.70/332.32	c (329,0) c Conflicts_5 : 318452
2505.70/332.32	c (329,0) c Conflicts_6 : 319738
2505.70/332.32	c (329,0) c Conflicts_7 : 315830
2505.70/332.32	c (329,0) c Conflicts_total : 2529366
2505.70/332.32	c (329,0) c Conflicts_winner : 311182
2505.70/332.32	c (329,0) c Decisions_0 : 1203592
2505.70/332.32	c (329,0) c Decisions_1 : 1243170
2505.70/332.32	c (329,0) c Decisions_2 : 1213769
2505.70/332.32	c (329,0) c Decisions_3 : 1231399
2505.70/332.32	c (329,0) c Decisions_4 : 1161846
2505.70/332.32	c (329,0) c Decisions_5 : 1223306
2505.70/332.32	c (329,0) c Decisions_6 : 1226858
2505.70/332.32	c (329,0) c Decisions_7 : 1163071
2505.70/332.32	c (329,0) c Decisions_total : 9667011
2505.70/332.32	c (329,0) c Decisions_winner : 1213769
2505.70/332.32	c (329,0) c Propagations_0 : 1037063293
2505.70/332.32	c (329,0) c Propagations_1 : 1032107145
2505.70/332.32	c (329,0) c Propagations_2 : 1035670307
2505.70/332.32	c (329,0) c Propagations_3 : 1038082653
2505.70/332.32	c (329,0) c Propagations_4 : 1035228715
2505.70/332.32	c (329,0) c Propagations_5 : 1033323765
2505.70/332.32	c (329,0) c Propagations_6 : 1037675932
2505.70/332.32	c (329,0) c Propagations_7 : 1039907518
2505.70/332.32	c (329,0) c Propagations_total : 8289059328
2505.70/332.32	c (329,0) c Propagations_winner : 1035670307
2505.70/332.32	c (329,0) c ReduceDBs_0 : 15
2505.70/332.32	c (329,0) c ReduceDBs_1 : 15
2505.70/332.32	c (329,0) c ReduceDBs_2 : 15
2505.70/332.32	c (329,0) c ReduceDBs_3 : 15
2505.70/332.32	c (329,0) c ReduceDBs_4 : 15
2505.70/332.32	c (329,0) c ReduceDBs_5 : 15
2505.70/332.32	c (329,0) c ReduceDBs_6 : 15
2505.70/332.32	c (329,0) c ReduceDBs_7 : 15
2505.70/332.32	c (329,0) c ReduceDBs_total : 120
2505.70/332.32	c (329,0) c ReduceDBs_winner : 15
2505.70/332.32	c (329,0) c SimpDBs_0 : 80
2505.70/332.32	c (329,0) c SimpDBs_1 : 86
2505.70/332.32	c (329,0) c SimpDBs_2 : 77
2505.70/332.32	c (329,0) c SimpDBs_3 : 83
2505.70/332.32	c (329,0) c SimpDBs_4 : 82
2505.70/332.32	c (329,0) c SimpDBs_5 : 83
2505.70/332.32	c (329,0) c SimpDBs_6 : 81
2505.70/332.32	c (329,0) c SimpDBs_7 : 79
2505.70/332.32	c (329,0) c SimpDBs_total : 651
2505.70/332.32	c (329,0) c SimpDBs_winner : 77
2505.70/332.32	c (329,0) c Restarts_0 : 1584
2505.70/332.32	c (329,0) c Restarts_1 : 1402
2505.70/332.32	c (329,0) c Restarts_2 : 1445
2505.70/332.32	c (329,0) c Restarts_3 : 1560
2505.70/332.32	c (329,0) c Restarts_4 : 1438
2505.70/332.32	c (329,0) c Restarts_5 : 1536
2505.70/332.32	c (329,0) c Restarts_6 : 1681
2505.70/332.32	c (329,0) c Restarts_7 : 1552
2505.70/332.32	c (329,0) c Restarts_total : 12198
2505.70/332.32	c (329,0) c Restarts_winner : 1445
2505.70/332.32	c (329,0) c ForcedImports_0 : 0
2505.70/332.32	c (329,0) c ForcedImports_1 : 0
2505.70/332.32	c (329,0) c ForcedImports_2 : 0
2505.70/332.32	c (329,0) c ForcedImports_3 : 0
2505.70/332.32	c (329,0) c ForcedImports_4 : 0
2505.70/332.32	c (329,0) c ForcedImports_5 : 0
2505.70/332.32	c (329,0) c ForcedImports_6 : 0
2505.70/332.32	c (329,0) c ForcedImports_7 : 0
2505.70/332.32	c (329,0) c ForcedImports_total : 0
2505.70/332.32	c (329,0) c ForcedImports_winner : 0
2505.70/332.32	c (329,0) c PropsBinClauses_0 : 411432240
2505.70/332.32	c (329,0) c PropsBinClauses_1 : 396189872
2505.70/332.32	c (329,0) c PropsBinClauses_2 : 406409009
2505.70/332.32	c (329,0) c PropsBinClauses_3 : 404211213
2505.70/332.32	c (329,0) c PropsBinClauses_4 : 403687771
2505.70/332.32	c (329,0) c PropsBinClauses_5 : 411094420
2505.70/332.32	c (329,0) c PropsBinClauses_6 : 412598827
2505.70/332.32	c (329,0) c PropsBinClauses_7 : 408819543
2505.70/332.32	c (329,0) c PropsBinClauses_total : 3254442895
2505.70/332.32	c (329,0) c PropsBinClauses_winner : 406409009
2505.70/332.32	c (329,0) c PropsPreBlocker_0 : 2553872375
2505.70/332.32	c (329,0) c PropsPreBlocker_1 : 2561332163
2505.70/332.32	c (329,0) c PropsPreBlocker_2 : 2560210085
2505.70/332.32	c (329,0) c PropsPreBlocker_3 : 2566240742
2505.70/332.32	c (329,0) c PropsPreBlocker_4 : 2564344097
2505.70/332.32	c (329,0) c PropsPreBlocker_5 : 2563979372
2505.70/332.32	c (329,0) c PropsPreBlocker_6 : 2548329315
2505.70/332.32	c (329,0) c PropsPreBlocker_7 : 2566605804
2505.70/332.32	c (329,0) c PropsPreBlocker_total : 20484913953
2505.70/332.32	c (329,0) c PropsPreBlocker_winner : 2560210085
2505.70/332.32	c (329,0) c PropsNotBlocker_0 : 1219046327
2505.70/332.32	c (329,0) c PropsNotBlocker_1 : 1212805933
2505.70/332.32	c (329,0) c PropsNotBlocker_2 : 1217317244
2505.70/332.32	c (329,0) c PropsNotBlocker_3 : 1219623791
2505.70/332.32	c (329,0) c PropsNotBlocker_4 : 1216699611
2505.70/332.32	c (329,0) c PropsNotBlocker_5 : 1222738429
2505.70/332.32	c (329,0) c PropsNotBlocker_6 : 1215621782
2505.70/332.32	c (329,0) c PropsNotBlocker_7 : 1222844722
2505.70/332.32	c (329,0) c PropsNotBlocker_total : 9746697839
2505.70/332.32	c (329,0) c PropsNotBlocker_winner : 1217317244
2505.70/332.32	c (329,0) c PropsLitFullScans_0 : 5851095578
2505.70/332.32	c (329,0) c PropsLitFullScans_1 : 5887385412
2505.70/332.32	c (329,0) c PropsLitFullScans_2 : 5852342109
2505.70/332.32	c (329,0) c PropsLitFullScans_3 : 5886961907
2505.70/332.32	c (329,0) c PropsLitFullScans_4 : 5886862469
2505.70/332.32	c (329,0) c PropsLitFullScans_5 : 5887457841
2505.70/332.32	c (329,0) c PropsLitFullScans_6 : 5850992088
2505.70/332.32	c (329,0) c PropsLitFullScans_7 : 5886892520
2505.70/332.32	c (329,0) c PropsLitFullScans_total : 46989989924
2505.70/332.32	c (329,0) c PropsLitFullScans_winner : 5852342109
2505.70/332.32	c (329,0) c LitScanFractions_0 : 1059378
2505.70/332.32	c (329,0) c LitScanFractions_1 : 1372887
2505.70/332.32	c (329,0) c LitScanFractions_2 : 1142948
2505.70/332.32	c (329,0) c LitScanFractions_3 : 941865
2505.70/332.32	c (329,0) c LitScanFractions_4 : 860148
2505.70/332.32	c (329,0) c LitScanFractions_5 : 1456082
2505.70/332.32	c (329,0) c LitScanFractions_6 : 947788
2505.70/332.32	c (329,0) c LitScanFractions_7 : 890375
2505.70/332.32	c (329,0) c LitScanFractions_total : 8671471
2505.70/332.32	c (329,0) c LitScanFractions_winner : 1142948
2505.70/332.32	c (329,0) c DecisionLevel0_0 : 1614
2505.70/332.32	c (329,0) c DecisionLevel0_1 : 1435
2505.70/332.32	c (329,0) c DecisionLevel0_2 : 1468
2505.70/332.32	c (329,0) c DecisionLevel0_3 : 1587
2505.70/332.32	c (329,0) c DecisionLevel0_4 : 1472
2505.70/332.32	c (329,0) c DecisionLevel0_5 : 1575
2505.70/332.32	c (329,0) c DecisionLevel0_6 : 1707
2505.70/332.32	c (329,0) c DecisionLevel0_7 : 1584
2505.70/332.32	c (329,0) c DecisionLevel0_total : 12442
2505.70/332.32	c (329,0) c DecisionLevel0_winner : 1468
2505.70/332.32	c (329,0) c Periods_0 : 975
2505.70/332.32	c (329,0) c Periods_1 : 981
2505.70/332.32	c (329,0) c Periods_2 : 975
2505.70/332.32	c (329,0) c Periods_3 : 981
2505.70/332.32	c (329,0) c Periods_4 : 981
2505.70/332.32	c (329,0) c Periods_5 : 981
2505.70/332.32	c (329,0) c Periods_6 : 975
2505.70/332.32	c (329,0) c Periods_7 : 981
2505.70/332.32	c (329,0) c Periods_total : 7830
2505.70/332.32	c (329,0) c Periods_winner : 975
2505.70/332.32	c (329,0) c Margin_0 : 20
2505.70/332.32	c (329,0) c Margin_1 : 20
2505.70/332.32	c (329,0) c Margin_2 : 20
2505.70/332.32	c (329,0) c Margin_3 : 20
2505.70/332.32	c (329,0) c Margin_4 : 20
2505.70/332.32	c (329,0) c Margin_5 : 20
2505.70/332.32	c (329,0) c Margin_6 : 20
2505.70/332.32	c (329,0) c Margin_7 : 20
2505.70/332.32	c (329,0) c Margin_total : 160
2505.70/332.32	c (329,0) c Margin_winner : 20
2505.70/332.32	c (329,0) c Exported_0 : 29316
2505.70/332.32	c (329,0) c Exported_1 : 28851
2505.70/332.32	c (329,0) c Exported_2 : 30000
2505.70/332.32	c (329,0) c Exported_3 : 30196
2505.70/332.32	c (329,0) c Exported_4 : 29362
2505.70/332.32	c (329,0) c Exported_5 : 30004
2505.70/332.32	c (329,0) c Exported_6 : 28634
2505.70/332.32	c (329,0) c Exported_7 : 30481
2505.70/332.32	c (329,0) c Exported_total : 236844
2505.70/332.32	c (329,0) c Exported_winner : 30000
2505.70/332.33	c (329,0) c Imported_0 : 203595
2505.70/332.33	c (329,0) c Imported_1 : 205449
2505.70/332.33	c (329,0) c Imported_2 : 203212
2505.70/332.33	c (329,0) c Imported_3 : 204107
2505.70/332.33	c (329,0) c Imported_4 : 204310
2505.70/332.33	c (329,0) c Imported_5 : 204359
2505.70/332.33	c (329,0) c Imported_6 : 204878
2505.70/332.33	c (329,0) c Imported_7 : 203655
2505.70/332.33	c (329,0) c Imported_total : 1633565
2505.70/332.33	c (329,0) c Imported_winner : 203212
2505.70/332.33	c (329,0) c Good_0 : 2624
2505.70/332.33	c (329,0) c Good_1 : 2651
2505.70/332.33	c (329,0) c Good_2 : 2604
2505.70/332.33	c (329,0) c Good_3 : 2629
2505.70/332.33	c (329,0) c Good_4 : 2658
2505.70/332.33	c (329,0) c Good_5 : 2590
2505.70/332.33	c (329,0) c Good_6 : 2551
2505.70/332.33	c (329,0) c Good_7 : 2591
2505.70/332.33	c (329,0) c Good_total : 20898
2505.70/332.33	c (329,0) c Good_winner : 2604
2505.70/332.33	c (329,0) c Purge_0 : 200971
2505.70/332.33	c (329,0) c Purge_1 : 202798
2505.70/332.33	c (329,0) c Purge_2 : 200608
2505.70/332.33	c (329,0) c Purge_3 : 201478
2505.70/332.33	c (329,0) c Purge_4 : 201652
2505.70/332.33	c (329,0) c Purge_5 : 201769
2505.70/332.33	c (329,0) c Purge_6 : 202327
2505.70/332.33	c (329,0) c Purge_7 : 201064
2505.70/332.33	c (329,0) c Purge_total : 1612667
2505.70/332.33	c (329,0) c Purge_winner : 200608
2505.70/332.33	c (329,0) c Promoted_0 : 29661
2505.70/332.33	c (329,0) c Promoted_1 : 29558
2505.70/332.33	c (329,0) c Promoted_2 : 29256
2505.70/332.33	c (329,0) c Promoted_3 : 29366
2505.70/332.33	c (329,0) c Promoted_4 : 29580
2505.70/332.33	c (329,0) c Promoted_5 : 30009
2505.70/332.33	c (329,0) c Promoted_6 : 30026
2505.70/332.33	c (329,0) c Promoted_7 : 29740
2505.70/332.33	c (329,0) c Promoted_total : 237196
2505.70/332.33	c (329,0) c Promoted_winner : 29256
2505.70/332.33	c (329,0) c Remove_Imp_0 : 125476
2505.70/332.33	c (329,0) c Remove_Imp_1 : 122633
2505.70/332.33	c (329,0) c Remove_Imp_2 : 126857
2505.70/332.33	c (329,0) c Remove_Imp_3 : 124831
2505.70/332.33	c (329,0) c Remove_Imp_4 : 123820
2505.70/332.33	c (329,0) c Remove_Imp_5 : 124021
2505.70/332.33	c (329,0) c Remove_Imp_6 : 122560
2505.70/332.33	c (329,0) c Remove_Imp_7 : 123786
2505.70/332.33	c (329,0) c Remove_Imp_total : 993984
2505.70/332.33	c (329,0) c Remove_Imp_winner : 126857
2505.70/332.33	c (329,0) c Blocked_Reuse_0 : 0
2505.70/332.33	c (329,0) c Blocked_Reuse_1 : 0
2505.70/332.33	c (329,0) c Blocked_Reuse_2 : 0
2505.70/332.33	c (329,0) c Blocked_Reuse_3 : 0
2505.70/332.33	c (329,0) c Blocked_Reuse_4 : 0
2505.70/332.33	c (329,0) c Blocked_Reuse_5 : 0
2505.70/332.33	c (329,0) c Blocked_Reuse_6 : 0
2505.70/332.33	c (329,0) c Blocked_Reuse_7 : 0
2505.70/332.33	c (329,0) c Blocked_Reuse_total : 0
2505.70/332.33	c (329,0) c Blocked_Reuse_winner : 0
2505.70/332.33	c (329,0) c Unaries_0 : 30
2505.70/332.33	c (329,0) c Unaries_1 : 33
2505.70/332.33	c (329,0) c Unaries_2 : 23
2505.70/332.33	c (329,0) c Unaries_3 : 27
2505.70/332.33	c (329,0) c Unaries_4 : 34
2505.70/332.33	c (329,0) c Unaries_5 : 39
2505.70/332.33	c (329,0) c Unaries_6 : 26
2505.70/332.33	c (329,0) c Unaries_7 : 32
2505.70/332.33	c (329,0) c Unaries_total : 244
2505.70/332.33	c (329,0) c Unaries_winner : 23
2505.70/332.33	c (329,0) c Binaries_0 : 360
2505.70/332.33	c (329,0) c Binaries_1 : 336
2505.70/332.33	c (329,0) c Binaries_2 : 382
2505.70/332.33	c (329,0) c Binaries_3 : 358
2505.70/332.33	c (329,0) c Binaries_4 : 331
2505.70/332.33	c (329,0) c Binaries_5 : 397
2505.70/332.33	c (329,0) c Binaries_6 : 435
2505.70/332.33	c (329,0) c Binaries_7 : 395
2505.70/332.33	c (329,0) c Binaries_total : 2994
2505.70/332.33	c (329,0) c Binaries_winner : 382
2505.70/332.33	c (329,0) c Glues_0 : 1703
2505.70/332.33	c (329,0) c Glues_1 : 1641
2505.70/332.33	c (329,0) c Glues_2 : 1694
2505.70/332.33	c (329,0) c Glues_3 : 1714
2505.70/332.33	c (329,0) c Glues_4 : 1715
2505.70/332.33	c (329,0) c Glues_5 : 1794
2505.70/332.33	c (329,0) c Glues_6 : 1942
2505.70/332.33	c (329,0) c Glues_7 : 1716
2505.70/332.33	c (329,0) c Glues_total : 13919
2505.70/332.33	c (329,0) c Glues_winner : 1694
2505.70/332.33	c (329,0) c RunningTime_0 : 327.098734
2505.70/332.33	c (329,0) c RunningTime_1 : 323.248866
2505.70/332.33	c (329,0) c RunningTime_2 : 311.312625
2505.70/332.33	c (329,0) c RunningTime_3 : 310.295179
2505.70/332.33	c (329,0) c RunningTime_4 : 307.023543
2505.70/332.33	c (329,0) c RunningTime_5 : 307.384236
2505.70/332.33	c (329,0) c RunningTime_6 : 314.886592
2505.70/332.33	c (329,0) c RunningTime_7 : 304.437144
2505.70/332.33	c (329,0) c RunningTime_total : 2505.686918
2505.70/332.33	c (329,0) c RunningTime_winner : 311.312625
2505.70/332.33	c (329,0) c WaitingTime_0 : 0.001049
2505.70/332.33	c (329,0) c WaitingTime_1 : 1.168869
2505.70/332.33	c (329,0) c WaitingTime_2 : 13.001532
2505.70/332.33	c (329,0) c WaitingTime_3 : 14.126589
2505.70/332.33	c (329,0) c WaitingTime_4 : 17.394587
2505.70/332.33	c (329,0) c WaitingTime_5 : 17.021094
2505.70/332.33	c (329,0) c WaitingTime_6 : 9.520177
2505.70/332.33	c (329,0) c WaitingTime_7 : 19.976827
2505.70/332.33	c (329,0) c WaitingTime_total : 92.210725
2505.70/332.33	c (329,0) c WaitingTime_winner : 13.001532
2505.70/332.33	c (329,0) c ExchangingTime_0 : 0.117712
2505.70/332.33	c (329,0) c ExchangingTime_1 : 0.116955
2505.70/332.33	c (329,0) c ExchangingTime_2 : 0.125520
2505.70/332.33	c (329,0) c ExchangingTime_3 : 0.114531
2505.70/332.33	c (329,0) c ExchangingTime_4 : 0.111906
2505.70/332.33	c (329,0) c ExchangingTime_5 : 0.130224
2505.70/332.33	c (329,0) c ExchangingTime_6 : 0.117851
2505.70/332.33	c (329,0) c ExchangingTime_7 : 0.116032
2505.70/332.33	c (329,0) c ExchangingTime_total : 0.950731
2505.70/332.33	c (329,0) c ExchangingTime_winner : 0.125520
2505.70/332.33	c (329,0) c PeriodProcTime_0 : 0.014855
2505.70/332.33	c (329,0) c PeriodProcTime_1 : 0.010311
2505.70/332.33	c (329,0) c PeriodProcTime_2 : 0.009463
2505.70/332.33	c (329,0) c PeriodProcTime_3 : 0.008398
2505.70/332.33	c (329,0) c PeriodProcTime_4 : 0.009629
2505.70/332.33	c (329,0) c PeriodProcTime_5 : 0.009385
2505.70/332.33	c (329,0) c PeriodProcTime_6 : 0.008451
2505.70/332.33	c (329,0) c PeriodProcTime_7 : 0.009476
2505.70/332.33	c (329,0) c PeriodProcTime_total : 0.079968
2505.70/332.33	c (329,0) c PeriodProcTime_winner : 0.009463
2505.70/332.33	c (329,0) c SolvingTime_0 : 327.232350
2505.70/332.33	c (329,0) c SolvingTime_1 : 324.545002
2505.70/332.33	c (329,0) c SolvingTime_2 : 324.449141
2505.70/332.33	c (329,0) c SolvingTime_3 : 324.544697
2505.70/332.33	c (329,0) c SolvingTime_4 : 324.539665
2505.70/332.33	c (329,0) c SolvingTime_5 : 324.544939
2505.70/332.33	c (329,0) c SolvingTime_6 : 324.533071
2505.70/332.33	c (329,0) c SolvingTime_7 : 324.539478
2505.70/332.33	c (329,0) c SolvingTime_total : 2598.928342
2505.70/332.33	c (329,0) c SolvingTime_winner : 324.449141
2505.70/332.33	c (329,0) c PropagationTime_0 : 285.583061
2505.70/332.33	c (329,0) c PropagationTime_1 : 280.567239
2505.70/332.33	c (329,0) c PropagationTime_2 : 279.582491
2505.70/332.33	c (329,0) c PropagationTime_3 : 280.639505
2505.70/332.33	c (329,0) c PropagationTime_4 : 278.828840
2505.70/332.33	c (329,0) c PropagationTime_5 : 279.882086
2505.70/332.33	c (329,0) c PropagationTime_6 : 277.105093
2505.70/332.33	c (329,0) c PropagationTime_7 : 279.967558
2505.70/332.33	c (329,0) c PropagationTime_total : 2242.155873
2505.70/332.33	c (329,0) c PropagationTime_winner : 279.582491
2505.70/332.33	c (329,0) c AnalysisTime_0 : 21.635761
2505.70/332.33	c (329,0) c AnalysisTime_1 : 23.618193
2505.70/332.33	c (329,0) c AnalysisTime_2 : 24.174337
2505.70/332.33	c (329,0) c AnalysisTime_3 : 23.160792
2505.70/332.33	c (329,0) c AnalysisTime_4 : 25.281371
2505.70/332.33	c (329,0) c AnalysisTime_5 : 23.808558
2505.70/332.33	c (329,0) c AnalysisTime_6 : 25.850250
2505.70/332.33	c (329,0) c AnalysisTime_7 : 23.897779
2505.70/332.33	c (329,0) c AnalysisTime_total : 191.427042
2505.70/332.33	c (329,0) c AnalysisTime_winner : 24.174337
2505.70/332.33	c (329,0) c ReductionTime_0 : 0.886285
2505.70/332.33	c (329,0) c ReductionTime_1 : 0.981131
2505.70/332.33	c (329,0) c ReductionTime_2 : 0.911188
2505.70/332.33	c (329,0) c ReductionTime_3 : 0.931297
2505.70/332.33	c (329,0) c ReductionTime_4 : 0.903630
2505.70/332.33	c (329,0) c ReductionTime_5 : 0.922849
2505.70/332.33	c (329,0) c ReductionTime_6 : 0.916442
2505.70/332.33	c (329,0) c ReductionTime_7 : 0.910758
2505.70/332.33	c (329,0) c ReductionTime_total : 7.363580
2505.70/332.33	c (329,0) c ReductionTime_winner : 0.911188
2505.70/332.33	c (329,0) c SimplifyTime_0 : 1.325209
2505.70/332.33	c (329,0) c SimplifyTime_1 : 1.557384
2505.70/332.33	c (329,0) c SimplifyTime_2 : 1.580560
2505.70/332.33	c (329,0) c SimplifyTime_3 : 1.707841
2505.70/332.33	c (329,0) c SimplifyTime_4 : 1.905672
2505.70/332.33	c (329,0) c SimplifyTime_5 : 1.708840
2505.70/332.33	c (329,0) c SimplifyTime_6 : 2.088028
2505.70/332.33	c (329,0) c SimplifyTime_7 : 1.992672
2505.70/332.33	c (329,0) c SimplifyTime_total : 13.866206
2505.70/332.33	c (329,0) c SimplifyTime_winner : 1.580560
2505.70/332.33	c (329,0) c UsedRateTime_0 : 0.000000
2505.70/332.33	c (329,0) c UsedRateTime_1 : 0.000000
2505.70/332.33	c (329,0) c UsedRateTime_2 : 0.000000
2505.70/332.33	c (329,0) c UsedRateTime_3 : 0.000000
2505.70/332.33	c (329,0) c UsedRateTime_4 : 0.000000
2505.70/332.33	c (329,0) c UsedRateTime_5 : 0.000000
2505.70/332.33	c (329,0) c UsedRateTime_6 : 0.000000
2505.70/332.33	c (329,0) c UsedRateTime_7 : 0.000000
2505.70/332.33	c (329,0) c UsedRateTime_total : 0.000000
2505.70/332.33	c (329,0) c UsedRateTime_winner : 0.000000
2505.70/332.33	c (329,0) c OverlapRateTime_0 : 0.000000
2505.70/332.33	c (329,0) c OverlapRateTime_1 : 0.000000
2505.70/332.33	c (329,0) c OverlapRateTime_2 : 0.000000
2505.70/332.33	c (329,0) c OverlapRateTime_3 : 0.000000
2505.70/332.33	c (329,0) c OverlapRateTime_4 : 0.000000
2505.70/332.33	c (329,0) c OverlapRateTime_5 : 0.000000
2505.70/332.33	c (329,0) c OverlapRateTime_6 : 0.000000
2505.70/332.33	c (329,0) c OverlapRateTime_7 : 0.000000
2505.70/332.33	c (329,0) c OverlapRateTime_total : 0.000000
2505.70/332.33	c (329,0) c OverlapRateTime_winner : 0.000000
2505.70/332.33	c (329,0) c
2505.70/332.33	c (329,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2505.70/332.33	c (329,0) c
2505.70/332.33	c (329,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2505.70/332.33	c (329,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2505.70/332.33	c (329,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2505.70/332.33	c (329,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2505.70/332.33	c (329,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2505.70/332.33	c (329,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2505.70/332.33	c (329,0) c | Initial random_seed   | 1274961507 | 1228818485 |  412159162 | 1800505865 |  178250142 |  276036279 |  646662482 |  852903932 |
2505.70/332.33	c (329,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2505.70/332.33	c (329,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2505.70/332.33	c (329,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2505.70/332.33	c (329,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2505.70/332.33	c (329,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2505.70/332.33	c (329,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2505.70/332.33	c (329,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2505.70/332.33	c (329,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2505.70/332.33	c (329,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2505.70/332.33	c (329,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2505.70/332.33	c (329,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2505.70/332.33	c (329,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2505.70/332.33	c (329,0) 
2505.70/332.33	c (329,0) s SATISFIABLE
6.34/332.47	c (329,0) SatSolver.solve End
6.34/332.47	c (329,0) Heap : 146 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
6.34/332.47	c (329,0) Show results Begin
2506.20/332.57	c (329,0) x[0] = 6
2506.20/332.57	c (329,0) x[2] = 21
2506.20/332.57	c (329,0) x[3] = 10
2506.20/332.57	c (329,0) x[4] = 10
2506.20/332.57	c (329,0) x[5] = 13
2506.20/332.57	c (329,0) x[6] = 8
2506.20/332.57	c (329,0) x[7] = 7
2506.20/332.57	c (329,0) x[8] = 29
2506.20/332.57	c (329,0) x[9] = 2
2506.20/332.57	c (329,0) x[10] = 9
2506.20/332.57	c (329,0) x[11] = 18
2506.20/332.57	c (329,0) x[12] = 4
2506.20/332.57	c (329,0) x[13] = 4
2506.20/332.57	c (329,0) x[14] = 4
2506.20/332.57	c (329,0) x[15] = 17
2506.20/332.57	c (329,0) x[17] = 28
2506.20/332.57	c (329,0) x[18] = 13
2506.20/332.57	c (329,0) x[19] = 11
2506.20/332.57	c (329,0) x[20] = 8
2506.20/332.57	c (329,0) x[21] = 21
2506.20/332.57	c (329,0) x[23] = 25
2506.20/332.57	c (329,0) x[24] = 11
2506.20/332.57	c (329,0) x[25] = 9
2506.20/332.57	c (329,0) x[26] = 13
2506.20/332.57	c (329,0) x[27] = 13
2506.20/332.57	c (329,0) x[28] = 16
2506.20/332.57	c (329,0) x[29] = 22
2506.20/332.57	c (329,0) x[30] = 12
2506.20/332.57	c (329,0) x[31] = 28
2506.20/332.57	c (329,0) x[32] = 5
2506.20/332.57	c (329,0) x[33] = 19
2506.20/332.57	c (329,0) x[34] = 26
2506.20/332.57	c (329,0) x[35] = 19
2506.20/332.57	c (329,0) x[36] = 8
2506.20/332.57	c (329,0) x[37] = 22
2506.20/332.57	c (329,0) x[38] = 10
2506.20/332.57	c (329,0) x[39] = 5
2506.20/332.57	c (329,0) x[40] = 28
2506.20/332.57	c (329,0) x[41] = 26
2506.20/332.57	c (329,0) x[42] = 20
2506.20/332.57	c (329,0) x[43] = 17
2506.20/332.57	c (329,0) x[44] = 17
2506.20/332.57	c (329,0) x[45] = 23
2506.20/332.57	c (329,0) x[46] = 28
2506.20/332.57	c (329,0) x[47] = 11
2506.20/332.57	c (329,0) x[48] = 8
2506.20/332.57	c (329,0) x[49] = 9
2506.20/332.57	c (329,0) x[50] = 7
2506.20/332.57	c (329,0) x[51] = 20
2506.20/332.57	c (329,0) x[53] = 7
2506.20/332.57	c (329,0) x[54] = 27
2506.20/332.57	c (329,0) x[55] = 13
2506.20/332.57	c (329,0) x[56] = 9
2506.20/332.57	c (329,0) x[57] = 14
2506.20/332.57	c (329,0) x[59] = 16
2506.20/332.57	c (329,0) x[60] = 3
2506.20/332.57	c (329,0) x[61] = 29
2506.20/332.57	c (329,0) x[63] = 24
2506.20/332.57	c (329,0) x[64] = 20
2506.20/332.57	c (329,0) x[65] = 17
2506.20/332.57	c (329,0) x[66] = 5
2506.20/332.57	c (329,0) x[67] = 26
2506.20/332.57	c (329,0) x[68] = 7
2506.20/332.57	c (329,0) x[69] = 15
2506.20/332.57	c (329,0) x[71] = 16
2506.20/332.57	c (329,0) x[72] = 6
2506.20/332.57	c (329,0) x[73] = 9
2506.20/332.57	c (329,0) x[74] = 10
2506.20/332.57	c (329,0) x[75] = 14
2506.20/332.57	c (329,0) x[79] = 20
2506.20/332.57	c (329,0) x[81] = 26
2506.20/332.57	c (329,0) x[82] = 27
2506.20/332.57	c (329,0) x[83] = 21
2506.20/332.57	c (329,0) x[84] = 20
2506.20/332.57	c (329,0) x[85] = 11
2506.20/332.57	c (329,0) x[86] = 8
2506.20/332.57	c (329,0) x[87] = 2
2506.20/332.57	c (329,0) x[88] = 4
2506.20/332.57	c (329,0) x[89] = 26
2506.20/332.57	c (329,0) x[90] = 12
2506.20/332.57	c (329,0) x[91] = 9
2506.20/332.57	c (329,0) x[92] = 17
2506.20/332.57	c (329,0) x[93] = 23
2506.20/332.57	c (329,0) x[94] = 26
2506.20/332.57	c (329,0) x[95] = 4
2506.20/332.57	c (329,0) x[97] = 16
2506.20/332.57	c (329,0) x[98] = 11
2506.20/332.57	c (329,0) x[99] = 13
2506.20/332.57	s SATISFIABLE
2506.20/332.57	v <instantiation>
2506.20/332.57	v     <list>x[0] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[17] x[18] x[19] x[20] x[21] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] 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[59] x[60] x[61] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[71] x[72] x[73] x[74] x[75] x[79] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[97] x[98] x[99]</list>
2506.20/332.57	v     <values>6 21 10 10 13 8 7 29 2 9 18 4 4 4 17 28 13 11 8 21 25 11 9 13 13 16 22 12 28 5 19 26 19 8 22 10 5 28 26 20 17 17 23 28 11 8 9 7 20 7 27 13 9 14 16 3 29 24 20 17 5 26 7 15 16 6 9 10 14 20 26 27 21 20 11 8 2 4 26 12 9 17 23 26 4 16 11 13</values>
2506.20/332.57	v </instantiation>
2506.20/332.57	c (329,0) Show results End
2506.20/332.57	c (329,0) Heap : 166 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
2506.20/332.57	c (329,0) 329,329,STOP-AFTER(ALL)
2506.20/332.57	c END-Prog: Tue Sep 24 18:09:07 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 (13831 MiB free)
  memory of node 1: 16384 MiB (11319 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405545-1569341055/watcher-4405545-1569341055 -o /tmp/evaluation-result-4405545-1569341055/solver-4405545-1569341055 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569335938-14231 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405545-1569341055.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=15007, runsolver pid=15004
Current StackSize limit: 8192 KiB


[startup+0.10506 s]*
/proc/loadavg: 6.71 6.23 5.14 2/213 15029
/proc/meminfo: memFree=25658940/32770624 swapFree=66959708/67108860
[pid=15007] ppid=15004 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15007/stat : 15007 (scop.sh) S 15004 15007 14204 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510374301 115843072 349 33554432000 4194304 5098028 140726803404592 140726803401848 140237326447228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21782528 140726803407652 140726803407980 140726803407980 140726803410893 0
/proc/15007/statm: 28282 349 296 221 0 87 0
[pid=15010] ppid=15007 vsize=27314120 memory=109808 CPUtime=0.11 cores=0-7
/proc/15010/stat : 15010 (java) S 15007 15007 14204 0 -1 1077944320 6524 0 0 0 9 2 0 0 20 0 20 0 510374301 27969658880 27452 33554432000 4194304 4196468 140736610980960 140736610963504 140147505164023 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
/proc/15010/statm: 6828530 27452 2798 1 0 6790935 0
[pid=15010/tid=15011] ppid=15007 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/15010/task/15011/stat : 15011 (java) R 15007 15007 14204 0 -1 4202560 4617 0 0 0 7 2 0 0 20 0 20 0 510374302 27969658880 27452 33554432000 4194304 4196468 140736610980960 140147476977536 140147505175958 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15012] ppid=15007 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/15010/task/15012/stat : 15012 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 27452 33554432000 4194304 4196468 140736610980960 140147509406608 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15013] ppid=15007 vsize=27314120 memory=139829970294400 CPUtime=0 cores=0-7
/proc/15010/task/15013/stat : 15013 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 27452 33554432000 4194304 4196468 140736610980960 140146926844688 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15014] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15014/stat : 15014 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 27452 33554432000 4194304 4196468 140736610980960 140146925792400 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15015] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15015/stat : 15015 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 27452 33554432000 4194304 4196468 140736610980960 140146924739600 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15016] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15016/stat : 15016 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 27452 33554432000 4194304 4196468 140736610980960 140146923686288 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15017] ppid=15007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15010/task/15017/stat : 15017 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 27452 33554432000 4194304 4196468 140736610980960 140146922633488 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15018] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15018/stat : 15018 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 27452 33554432000 4194304 4196468 140736610980960 140146921581200 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15019] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15019/stat : 15019 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 27452 33554432000 4194304 4196468 140736610980960 140146920528400 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15020] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15020/stat : 15020 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510374305 27969658880 27452 33554432000 4194304 4196468 140736610980960 140146563631728 140147505175170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15021] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15021/stat : 15021 (java) S 15007 15007 14204 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510374306 27969658880 27452 33554432000 4194304 4196468 140736610980960 140145453950240 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15022] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15022/stat : 15022 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374306 27969658880 27516 33554432000 4194304 4196468 140736610980960 140145185515120 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15023] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15023/stat : 15023 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 27516 33554432000 4194304 4196468 140736610980960 140144811006544 140147505182619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15024] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15024/stat : 15024 (java) R 15007 15007 14204 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 27516 33554432000 4194304 4196468 140736610980960 140146562578544 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15025] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15025/stat : 15025 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 27516 33554432000 4194304 4196468 140736610980960 140146561525744 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15026] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15026/stat : 15026 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 27516 33554432000 4194304 4196468 140736610980960 140146560473456 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15027] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15027/stat : 15027 (java) R 15007 15007 14204 0 -1 4202560 270 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 27516 33554432000 4194304 4196468 140736610980960 140146559420656 140147483528673 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15028] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15028/stat : 15028 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 27516 33554432000 4194304 4196468 140736610980960 140144313101152 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15029] ppid=15007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15010/task/15029/stat : 15029 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 27516 33554432000 4194304 4196468 140736610980960 140146558368560 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111204 KiB

[startup+0.210553 s]*
/proc/loadavg: 6.71 6.23 5.14 3/213 15029
/proc/meminfo: memFree=25638256/32770624 swapFree=66959708/67108860
[pid=15007] ppid=15004 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15007/stat : 15007 (scop.sh) S 15004 15007 14204 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510374301 115843072 349 33554432000 4194304 5098028 140726803404592 140726803401848 140237326447228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21782528 140726803407652 140726803407980 140726803407980 140726803410893 0
/proc/15007/statm: 28282 349 296 221 0 87 0
[pid=15010] ppid=15007 vsize=27314120 memory=127008 CPUtime=0.24 cores=0-7
/proc/15010/stat : 15010 (java) S 15007 15007 14204 0 -1 1077944320 11997 0 0 0 21 3 0 0 20 0 20 0 510374301 27969658880 31752 33554432000 4194304 4196468 140736610980960 140736610963504 140147505164023 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
/proc/15010/statm: 6828530 31752 2946 1 0 6790935 0
[pid=15010/tid=15011] ppid=15007 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15010/task/15011/stat : 15011 (java) R 15007 15007 14204 0 -1 4202560 9701 0 0 0 17 3 0 0 20 0 20 0 510374302 27969658880 31752 33554432000 4194304 4196468 140736610980960 140147476996224 140147486727583 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15012] ppid=15007 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/15010/task/15012/stat : 15012 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 31752 33554432000 4194304 4196468 140736610980960 140147509406608 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15013] ppid=15007 vsize=27314120 memory=139829974086727 CPUtime=0 cores=0-7
/proc/15010/task/15013/stat : 15013 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146926844688 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15014] ppid=15007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15010/task/15014/stat : 15014 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146925792400 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15015] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15015/stat : 15015 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146924739600 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15016] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15016/stat : 15016 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146923686288 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15017] ppid=15007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15010/task/15017/stat : 15017 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146922633488 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15018] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15018/stat : 15018 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146921581200 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15019] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15019/stat : 15019 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146920528400 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15020] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15020/stat : 15020 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510374305 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146563631728 140147505175170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15021] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15021/stat : 15021 (java) S 15007 15007 14204 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510374306 27969658880 31752 33554432000 4194304 4196468 140736610980960 140145453950240 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15022] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15022/stat : 15022 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374306 27969658880 31752 33554432000 4194304 4196468 140736610980960 140145185515120 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15023] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15023/stat : 15023 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 31752 33554432000 4194304 4196468 140736610980960 140144811006544 140147505182619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15024] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15024/stat : 15024 (java) S 15007 15007 14204 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146562578544 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15025] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15025/stat : 15025 (java) S 15007 15007 14204 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146561525744 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15026] ppid=15007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15010/task/15026/stat : 15026 (java) S 15007 15007 14204 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146560473456 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15027] ppid=15007 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/15010/task/15027/stat : 15027 (java) S 15007 15007 14204 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 20 0 510374309 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146559420656 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15028] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15028/stat : 15028 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 31752 33554432000 4194304 4196468 140736610980960 140144313101152 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15029] ppid=15007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15010/task/15029/stat : 15029 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 31752 33554432000 4194304 4196468 140736610980960 140146558368560 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128404 KiB

[startup+0.313027 s]*
/proc/loadavg: 6.71 6.23 5.14 2/213 15029
/proc/meminfo: memFree=25634968/32770624 swapFree=66959708/67108860
[pid=15007] ppid=15004 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15007/stat : 15007 (scop.sh) S 15004 15007 14204 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510374301 115843072 349 33554432000 4194304 5098028 140726803404592 140726803401848 140237326447228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21782528 140726803407652 140726803407980 140726803407980 140726803410893 0
/proc/15007/statm: 28282 349 296 221 0 87 0
[pid=15010] ppid=15007 vsize=27314120 memory=130424 CPUtime=0.42 cores=0-7
/proc/15010/stat : 15010 (java) S 15007 15007 14204 0 -1 1077944320 12963 0 0 0 38 4 0 0 20 0 20 0 510374301 27969658880 32606 33554432000 4194304 4196468 140736610980960 140736610963504 140147505164023 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
/proc/15010/statm: 6828530 32606 3012 1 0 6790935 0
[pid=15010/tid=15011] ppid=15007 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/15010/task/15011/stat : 15011 (java) R 15007 15007 14204 0 -1 4202560 10502 0 0 0 26 3 0 0 20 0 20 0 510374302 27969658880 32606 33554432000 4194304 4196468 140736610980960 140147476954672 140147489244510 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15012] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15012/stat : 15012 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 32606 33554432000 4194304 4196468 140736610980960 140147509406608 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15013] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15013/stat : 15013 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146926844688 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15014] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15014/stat : 15014 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146925792400 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15015] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15015/stat : 15015 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146924739600 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15016] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15016/stat : 15016 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146923686288 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15017] ppid=15007 vsize=27314120 memory=139829841062575 CPUtime=0 cores=0-7
/proc/15010/task/15017/stat : 15017 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146922633488 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15018] ppid=15007 vsize=27314120 memory=139829841064880 CPUtime=0 cores=0-7
/proc/15010/task/15018/stat : 15018 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146921581200 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15019] ppid=15007 vsize=27314120 memory=139829841067184 CPUtime=0 cores=0-7
/proc/15010/task/15019/stat : 15019 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146920528400 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15020] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15020/stat : 15020 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510374305 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146563631728 140147505175170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15021] ppid=15007 vsize=27314120 memory=279659682148240 CPUtime=0 cores=0-7
/proc/15010/task/15021/stat : 15021 (java) S 15007 15007 14204 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510374306 27969658880 32606 33554432000 4194304 4196468 140736610980960 140145453950240 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15022] ppid=15007 vsize=27314120 memory=279659682145936 CPUtime=0 cores=0-7
/proc/15010/task/15022/stat : 15022 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374306 27969658880 32606 33554432000 4194304 4196468 140736610980960 140145185515120 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15023] ppid=15007 vsize=27314120 memory=279659682152848 CPUtime=0 cores=0-7
/proc/15010/task/15023/stat : 15023 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 32606 33554432000 4194304 4196468 140736610980960 140144811006544 140147505182619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15024] ppid=15007 vsize=27314120 memory=279659682094128 CPUtime=0.02 cores=0-7
/proc/15010/task/15024/stat : 15024 (java) S 15007 15007 14204 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 20 0 510374309 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146562578544 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15025] ppid=15007 vsize=27314120 memory=279659682166672 CPUtime=0.01 cores=0-7
/proc/15010/task/15025/stat : 15025 (java) S 15007 15007 14204 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 20 0 510374309 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146561525744 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15026] ppid=15007 vsize=27314120 memory=279659682173584 CPUtime=0 cores=0-7
/proc/15010/task/15026/stat : 15026 (java) S 15007 15007 14204 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146560473456 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15027] ppid=15007 vsize=27314120 memory=279659682171280 CPUtime=0.07 cores=0-7
/proc/15010/task/15027/stat : 15027 (java) S 15007 15007 14204 0 -1 1077944384 470 0 0 0 7 0 0 0 20 0 20 0 510374309 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146559420656 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15028] ppid=15007 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15028/stat : 15028 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 32606 33554432000 4194304 4196468 140736610980960 140144313101152 140147505174229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15029] ppid=15007 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15010/task/15029/stat : 15029 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374309 27969658880 32606 33554432000 4194304 4196468 140736610980960 140146558368560 140147505175170 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131820 KiB

[startup+0.700931 s]
/proc/loadavg: 6.71 6.23 5.14 2/213 15029
/proc/meminfo: memFree=25614120/32770624 swapFree=66959708/67108860
[pid=15007] ppid=15004 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15007/stat : 15007 (scop.sh) S 15004 15007 14204 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510374301 115843072 349 33554432000 4194304 5098028 140726803404592 140726803401848 140237326447228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21782528 140726803407652 140726803407980 140726803407980 140726803410893 0
/proc/15007/statm: 28282 349 296 221 0 87 0
[pid=15010] ppid=15007 vsize=27322440 memory=165404 CPUtime=0.98 cores=0-7
/proc/15010/stat : 15010 (java) S 15007 15007 14204 0 -1 1077944320 19982 0 0 0 92 6 0 0 20 0 20 0 510374301 27978178560 41351 33554432000 4194304 4196468 140736610980960 140736610963504 140147505164023 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
/proc/15010/statm: 6830610 41351 3181 1 0 6791959 0
[pid=15010/tid=15011] ppid=15007 vsize=27322440 memory=0 CPUtime=0.67 cores=0-7
/proc/15010/task/15011/stat : 15011 (java) R 15007 15007 14204 0 -1 4202560 17029 0 0 0 62 5 0 0 20 0 20 0 510374302 27978178560 41351 33554432000 4194304 4196468 140736610980960 140147477001280 140147505185949 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15012] ppid=15007 vsize=27322440 memory=139829841273712 CPUtime=0 cores=0-7
/proc/15010/task/15012/stat : 15012 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27978178560 41351 33554432000 4194304 4196468 140736610980960 140147509406608 140147505174229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15013] ppid=15007 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/15010/task/15013/stat : 15013 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510374304 27978178560 41351 33554432000 4194304 4196468 140736610980960 140146926844688 140147505174229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0
[pid=15010/tid=15014] ppid=15007 vsize=27322440 memory=1016 CPUtime=0 cores=0-7
/proc/15010/task/15014/stat : 15014 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510374304 27978178560 41351 33554432000 4194304 4196468 140736610980960 140146925792400 140147505174229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39424000 140736610984682 140736610985110 140736610985110 140736610987983 0

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

[pid=15030/tid=15033] ppid=15007 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/15030/task/15033/stat : 15033 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 31344 33554432000 4194304 4196468 140730275550256 140440134039824 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15034] ppid=15007 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/15030/task/15034/stat : 15034 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 31344 33554432000 4194304 4196468 140730275550256 140440132987536 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15035] ppid=15007 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/15030/task/15035/stat : 15035 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 31344 33554432000 4194304 4196468 140730275550256 140440131934736 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15036] ppid=15007 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/15030/task/15036/stat : 15036 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 31344 33554432000 4194304 4196468 140730275550256 140440130882448 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15037] ppid=15007 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/15030/task/15037/stat : 15037 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 31344 33554432000 4194304 4196468 140730275550256 140439804611344 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15038] ppid=15007 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/15030/task/15038/stat : 15038 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 31344 33554432000 4194304 4196468 140730275550256 140439803559056 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15039] ppid=15007 vsize=8414124 memory=3848 CPUtime=0 cores=0-7
/proc/15030/task/15039/stat : 15039 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 31344 33554432000 4194304 4196468 140730275550256 140439802506256 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15040] ppid=15007 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15030/task/15040/stat : 15040 (java) S 15007 15007 14204 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510374580 8616062976 31344 33554432000 4194304 4196468 140730275550256 140439417542768 140440324045442 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15041] ppid=15007 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/15030/task/15041/stat : 15041 (java) S 15007 15007 14204 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510374581 8616062976 31344 33554432000 4194304 4196468 140730275550256 140438988120864 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15042] ppid=15007 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/15030/task/15042/stat : 15042 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374581 8616062976 31344 33554432000 4194304 4196468 140730275550256 140438719685744 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15043] ppid=15007 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/15030/task/15043/stat : 15043 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374583 8616062976 31344 33554432000 4194304 4196468 140730275550256 140438345177168 140440324052891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15044] ppid=15007 vsize=8414124 memory=4104 CPUtime=0.09 cores=0-7
/proc/15030/task/15044/stat : 15044 (java) S 15007 15007 14204 0 -1 1077944384 650 0 0 0 9 0 0 0 20 0 24 0 510374583 8616062976 31344 33554432000 4194304 4196468 140730275550256 140439416490608 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15045] ppid=15007 vsize=8414124 memory=1808 CPUtime=0.11 cores=0-7
/proc/15030/task/15045/stat : 15045 (java) S 15007 15007 14204 0 -1 1077944384 621 0 0 0 11 0 0 0 20 0 24 0 510374583 8616062976 31344 33554432000 4194304 4196468 140730275550256 140439415437808 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15046] ppid=15007 vsize=8414124 memory=920 CPUtime=0.07 cores=0-7
/proc/15030/task/15046/stat : 15046 (java) S 15007 15007 14204 0 -1 1077944384 208 0 0 0 7 0 0 0 20 0 24 0 510374583 8616062976 31344 33554432000 4194304 4196468 140730275550256 140439414385520 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15047] ppid=15007 vsize=8414124 memory=4136 CPUtime=0.25 cores=0-7
/proc/15030/task/15047/stat : 15047 (java) S 15007 15007 14204 0 -1 1077944384 824 0 0 0 25 0 0 0 20 0 24 0 510374583 8616062976 31344 33554432000 4194304 4196468 140730275550256 140439413332720 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15048] ppid=15007 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/15030/task/15048/stat : 15048 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510374584 8616062976 31344 33554432000 4194304 4196468 140730275550256 140437847271776 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15049] ppid=15007 vsize=8414124 memory=3848 CPUtime=0.21 cores=0-7
/proc/15030/task/15049/stat : 15049 (java) S 15007 15007 14204 0 -1 1077944384 23 0 0 0 9 12 0 0 20 0 24 0 510374584 8616062976 31344 33554432000 4194304 4196468 140730275550256 140439412279600 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15051] ppid=15007 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15030/task/15051/stat : 15051 (java) S 15007 15007 14204 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510374654 8616062976 31344 33554432000 4194304 4196468 140730275550256 140439404246336 140440324058905 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15053] ppid=15007 vsize=8414124 memory=125376 CPUtime=0.03 cores=0-7
/proc/15030/task/15053/stat : 15053 (java) S 15007 15007 14204 0 -1 4202560 1682 0 0 0 1 2 0 0 20 0 24 0 510374654 8616062976 31344 33554432000 4194304 4196468 140730275550256 140437176172464 140440324056221 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15054] ppid=15007 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/15030/task/15054/stat : 15054 (java) S 15007 15007 14204 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510374654 8616062976 31344 33554432000 4194304 4196468 140730275550256 140437444607792 140440324056221 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15055] ppid=15007 vsize=8414124 memory=64916 CPUtime=0 cores=0-7
/proc/15030/task/15055/stat : 15055 (java) S 15007 15007 14204 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510374656 8616062976 31344 33554432000 4194304 4196468 140730275550256 140436907745072 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
Current children cumulated CPU time: 2505.41 s
Current children cumulated vsize: 10177076 KiB
Current children cumulated memory: 1278088 KiB

[startup+332.401 s]
/proc/loadavg: 7.80 7.26 5.92 2/218 15085
/proc/meminfo: memFree=24478260/32770624 swapFree=66959708/67108860
[pid=15007] ppid=15004 vsize=113128 memory=1476 CPUtime=4.58 cores=0-7
/proc/15007/stat : 15007 (scop.sh) S 15004 15007 14204 0 -1 4202496 583 25089 0 0 0 0 430 28 20 0 1 0 510374301 115843072 369 33554432000 4194304 5098028 140726803404592 140726803401336 140237326447228 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21782528 140726803407652 140726803407980 140726803407980 140726803410893 0
/proc/15007/statm: 28282 369 311 221 0 87 0
[pid=15030] ppid=15007 vsize=8414124 memory=143268 CPUtime=1.76 cores=0-7
/proc/15030/stat : 15030 (java) S 15007 15007 14204 0 -1 1077944320 22783 0 0 0 162 14 0 0 20 0 24 0 510374577 8616062976 35817 33554432000 4194304 4196468 140730275550256 140730275532800 140440324034295 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
/proc/15030/statm: 2103531 35817 3223 1 0 2064875 0
[pid=15030/tid=15031] ppid=15007 vsize=8414124 memory=1568 CPUtime=0.79 cores=0-7
/proc/15030/task/15031/stat : 15031 (java) S 15007 15007 14204 0 -1 1077944384 16967 0 0 0 72 7 0 0 20 0 24 0 510374578 8616062976 35817 33554432000 4194304 4196468 140730275550256 140440295874464 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15032] ppid=15007 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/15030/task/15032/stat : 15032 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 35817 33554432000 4194304 4196468 140730275550256 140440328276368 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15033] ppid=15007 vsize=8414124 memory=3656 CPUtime=0 cores=0-7
/proc/15030/task/15033/stat : 15033 (java) S 15007 15007 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 35817 33554432000 4194304 4196468 140730275550256 140440134039824 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15034] ppid=15007 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/15030/task/15034/stat : 15034 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 35817 33554432000 4194304 4196468 140730275550256 140440132987536 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15035] ppid=15007 vsize=8414124 memory=2512 CPUtime=0 cores=0-7
/proc/15030/task/15035/stat : 15035 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 35817 33554432000 4194304 4196468 140730275550256 140440131934736 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15036] ppid=15007 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/15030/task/15036/stat : 15036 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 35817 33554432000 4194304 4196468 140730275550256 140440130882448 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15037] ppid=15007 vsize=8414124 memory=1151236 CPUtime=0 cores=0-7
/proc/15030/task/15037/stat : 15037 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 35817 33554432000 4194304 4196468 140730275550256 140439804611344 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15038] ppid=15007 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/15030/task/15038/stat : 15038 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 35817 33554432000 4194304 4196468 140730275550256 140439803559056 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15039] ppid=15007 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/15030/task/15039/stat : 15039 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374579 8616062976 35817 33554432000 4194304 4196468 140730275550256 140439802506256 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15040] ppid=15007 vsize=8414124 memory=2512 CPUtime=0 cores=0-7
/proc/15030/task/15040/stat : 15040 (java) S 15007 15007 14204 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510374580 8616062976 35817 33554432000 4194304 4196468 140730275550256 140439417542768 140440324045442 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15041] ppid=15007 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/15030/task/15041/stat : 15041 (java) S 15007 15007 14204 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510374581 8616062976 35817 33554432000 4194304 4196468 140730275550256 140438988120864 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15042] ppid=15007 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/15030/task/15042/stat : 15042 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374581 8616062976 35817 33554432000 4194304 4196468 140730275550256 140438719685744 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15043] ppid=15007 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/15030/task/15043/stat : 15043 (java) S 15007 15007 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510374583 8616062976 35817 33554432000 4194304 4196468 140730275550256 140438345177168 140440324052891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15044] ppid=15007 vsize=8414124 memory=111632 CPUtime=0.11 cores=0-7
/proc/15030/task/15044/stat : 15044 (java) S 15007 15007 14204 0 -1 1077944384 659 0 0 0 11 0 0 0 20 0 24 0 510374583 8616062976 35817 33554432000 4194304 4196468 140730275550256 140439416490608 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15045] ppid=15007 vsize=8414124 memory=800 CPUtime=0.15 cores=0-7
/proc/15030/task/15045/stat : 15045 (java) S 15007 15007 14204 0 -1 1077944384 662 0 0 0 15 0 0 0 20 0 24 0 510374583 8616062976 35817 33554432000 4194304 4196468 140730275550256 140439415437808 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15046] ppid=15007 vsize=8414124 memory=4104 CPUtime=0.09 cores=0-7
/proc/15030/task/15046/stat : 15046 (java) S 15007 15007 14204 0 -1 1077944384 340 0 0 0 9 0 0 0 20 0 24 0 510374583 8616062976 35817 33554432000 4194304 4196468 140730275550256 140439414385520 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15047] ppid=15007 vsize=8414124 memory=1808 CPUtime=0.28 cores=0-7
/proc/15030/task/15047/stat : 15047 (java) S 15007 15007 14204 0 -1 1077944384 1022 0 0 0 28 0 0 0 20 0 24 0 510374583 8616062976 35817 33554432000 4194304 4196468 140730275550256 140439413332720 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15048] ppid=15007 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/15030/task/15048/stat : 15048 (java) S 15007 15007 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510374584 8616062976 35817 33554432000 4194304 4196468 140730275550256 140437847271776 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15049] ppid=15007 vsize=8414124 memory=4136 CPUtime=0.21 cores=0-7
/proc/15030/task/15049/stat : 15049 (java) S 15007 15007 14204 0 -1 1077944384 23 0 0 0 9 12 0 0 20 0 24 0 510374584 8616062976 35817 33554432000 4194304 4196468 140730275550256 140439412279600 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15051] ppid=15007 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15030/task/15051/stat : 15051 (java) S 15007 15007 14204 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510374654 8616062976 36329 33554432000 4194304 4196468 140730275550256 140439404246336 140440324058905 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15053] ppid=15007 vsize=8414124 memory=1476 CPUtime=0.09 cores=0-7
/proc/15030/task/15053/stat : 15053 (java) R 15007 15007 14204 0 -1 4202560 1721 0 0 0 7 2 0 0 20 0 24 0 510374654 8616062976 36329 33554432000 4194304 4196468 140730275550256 140437176172528 140439810549238 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15054] ppid=15007 vsize=8414124 memory=125376 CPUtime=0 cores=0-7
/proc/15030/task/15054/stat : 15054 (java) S 15007 15007 14204 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510374654 8616062976 36329 33554432000 4194304 4196468 140730275550256 140437444607792 140440324056221 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15055] ppid=15007 vsize=8414124 memory=1151236 CPUtime=0 cores=0-7
/proc/15030/task/15055/stat : 15055 (java) S 15007 15007 14204 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510374656 8616062976 36329 33554432000 4194304 4196468 140730275550256 140436907745072 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
Current children cumulated CPU time: 6.34 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 144744 KiB

[startup+332.501 s]
/proc/loadavg: 7.80 7.26 5.92 2/218 15085
/proc/meminfo: memFree=24478260/32770624 swapFree=66959708/67108860
[pid=15007] ppid=15004 vsize=113128 memory=1476 CPUtime=4.58 cores=0-7
/proc/15007/stat : 15007 (scop.sh) S 15004 15007 14204 0 -1 4202496 583 25089 0 0 0 0 430 28 20 0 1 0 510374301 115843072 369 33554432000 4194304 5098028 140726803404592 140726803401336 140237326447228 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21782528 140726803407652 140726803407980 140726803407980 140726803410893 0
/proc/15007/statm: 28282 369 311 221 0 87 0
[pid=15030] ppid=15007 vsize=8283048 memory=168952 CPUtime=2501.62 cores=0-7
/proc/15030/stat : 15030 (java) S 15007 15007 14204 0 -1 1077944320 22984 2584630 0 0 184 14 249613 351 20 0 22 0 510374577 8481841152 42238 33554432000 4194304 4196468 140730275550256 140730275532800 140440324034295 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
/proc/15030/statm: 2070762 42238 3230 1 0 2032106 0
[pid=15030/tid=15031] ppid=15007 vsize=8283048 memory=125376 CPUtime=2500.45 cores=0-7
/proc/15030/task/15031/stat : 15031 (java) R 15007 15007 14204 0 -1 4202560 17034 2584630 0 0 74 7 249613 351 20 0 22 0 510374578 8481841152 42238 33554432000 4194304 4196468 140730275550256 140440295872880 140440324056221 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15032] ppid=15007 vsize=8283048 memory=1476 CPUtime=2499.64 cores=0-7
/proc/15030/task/15032/stat : 15032 (java) S 15007 15007 14204 0 -1 1077944384 2 2584630 0 0 0 0 249613 351 20 0 22 0 510374579 8481841152 42238 33554432000 4194304 4196468 140730275550256 140440328276368 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15033] ppid=15007 vsize=8283048 memory=0 CPUtime=2499.64 cores=0-7
/proc/15030/task/15033/stat : 15033 (java) S 15007 15007 14204 0 -1 1077944384 2 2584630 0 0 0 0 249613 351 20 0 22 0 510374579 8481841152 42238 33554432000 4194304 4196468 140730275550256 140440134039824 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15034] ppid=15007 vsize=8283048 memory=6082782357123262820 CPUtime=2499.64 cores=0-7
/proc/15030/task/15034/stat : 15034 (java) S 15007 15007 14204 0 -1 1077944384 1 2584630 0 0 0 0 249613 351 20 0 22 0 510374579 8481841152 42238 33554432000 4194304 4196468 140730275550256 140440132987536 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15035] ppid=15007 vsize=8283048 memory=279659683219984 CPUtime=2499.64 cores=0-7
/proc/15030/task/15035/stat : 15035 (java) S 15007 15007 14204 0 -1 1077944384 3 2584630 0 0 0 0 249613 351 20 0 22 0 510374579 8481841152 42238 33554432000 4194304 4196468 140730275550256 140440131934736 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15036] ppid=15007 vsize=8283048 memory=0 CPUtime=2499.64 cores=0-7
/proc/15030/task/15036/stat : 15036 (java) S 15007 15007 14204 0 -1 1077944384 1 2584630 0 0 0 0 249613 351 20 0 22 0 510374579 8481841152 42238 33554432000 4194304 4196468 140730275550256 140440130882448 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15037] ppid=15007 vsize=8283048 memory=8041037979969885544 CPUtime=2499.64 cores=0-7
/proc/15030/task/15037/stat : 15037 (java) S 15007 15007 14204 0 -1 1077944384 1 2584630 0 0 0 0 249613 351 20 0 22 0 510374579 8481841152 42238 33554432000 4194304 4196468 140730275550256 140439804611344 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15038] ppid=15007 vsize=8283048 memory=139829842481969 CPUtime=2499.64 cores=0-7
/proc/15030/task/15038/stat : 15038 (java) S 15007 15007 14204 0 -1 1077944384 1 2584630 0 0 0 0 249613 351 20 0 22 0 510374579 8481841152 42238 33554432000 4194304 4196468 140730275550256 140439803559056 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15039] ppid=15007 vsize=8283048 memory=1151236 CPUtime=2499.64 cores=0-7
/proc/15030/task/15039/stat : 15039 (java) S 15007 15007 14204 0 -1 1077944384 1 2584630 0 0 0 0 249613 351 20 0 22 0 510374579 8481841152 42238 33554432000 4194304 4196468 140730275550256 140439802506256 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15040] ppid=15007 vsize=8283048 memory=1476 CPUtime=2499.64 cores=0-7
/proc/15030/task/15040/stat : 15040 (java) S 15007 15007 14204 0 -1 1077944384 9 2584630 0 0 0 0 249613 351 20 0 22 0 510374580 8481841152 42238 33554432000 4194304 4196468 140730275550256 140439417542768 140440324045442 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15041] ppid=15007 vsize=8283048 memory=1140944 CPUtime=2499.64 cores=0-7
/proc/15030/task/15041/stat : 15041 (java) S 15007 15007 14204 0 -1 1077944384 13 2584630 0 0 0 0 249613 351 20 0 22 0 510374581 8481841152 42238 33554432000 4194304 4196468 140730275550256 140438988120864 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15042] ppid=15007 vsize=8283048 memory=1476 CPUtime=2499.64 cores=0-7
/proc/15030/task/15042/stat : 15042 (java) S 15007 15007 14204 0 -1 1077944384 1 2584630 0 0 0 0 249613 351 20 0 22 0 510374581 8481841152 42238 33554432000 4194304 4196468 140730275550256 140438719685744 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15043] ppid=15007 vsize=8283048 memory=0 CPUtime=2499.64 cores=0-7
/proc/15030/task/15043/stat : 15043 (java) S 15007 15007 14204 0 -1 1077944384 1 2584630 0 0 0 0 249613 351 20 0 22 0 510374583 8481841152 42238 33554432000 4194304 4196468 140730275550256 140438345177168 140440324052891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15044] ppid=15007 vsize=8283048 memory=6944656592387989600 CPUtime=2499.77 cores=0-7
/proc/15030/task/15044/stat : 15044 (java) S 15007 15007 14204 0 -1 1077944384 669 2584630 0 0 13 0 249613 351 20 0 22 0 510374583 8481841152 42238 33554432000 4194304 4196468 140730275550256 140439416490608 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15045] ppid=15007 vsize=8283048 memory=0 CPUtime=2499.83 cores=0-7
/proc/15030/task/15045/stat : 15045 (java) S 15007 15007 14204 0 -1 1077944384 680 2584630 0 0 19 0 249613 351 20 0 22 0 510374583 8481841152 42238 33554432000 4194304 4196468 140730275550256 140439415437808 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15046] ppid=15007 vsize=8283048 memory=139829842650808 CPUtime=2499.77 cores=0-7
/proc/15030/task/15046/stat : 15046 (java) S 15007 15007 14204 0 -1 1077944384 369 2584630 0 0 12 1 249613 351 20 0 22 0 510374583 8481841152 42238 33554432000 4194304 4196468 140730275550256 140439414385520 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15047] ppid=15007 vsize=8283048 memory=1142992 CPUtime=2499.94 cores=0-7
/proc/15030/task/15047/stat : 15047 (java) S 15007 15007 14204 0 -1 1077944384 1073 2584630 0 0 30 0 249613 351 20 0 22 0 510374583 8481841152 42238 33554432000 4194304 4196468 140730275550256 140439413332720 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15048] ppid=15007 vsize=8283048 memory=0 CPUtime=2499.64 cores=0-7
/proc/15030/task/15048/stat : 15048 (java) S 15007 15007 14204 0 -1 1077944384 3 2584630 0 0 0 0 249613 351 20 0 22 0 510374584 8481841152 42238 33554432000 4194304 4196468 140730275550256 140437847271776 140440324044501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15049] ppid=15007 vsize=8283048 memory=129312875378073 CPUtime=2499.85 cores=0-7
/proc/15030/task/15049/stat : 15049 (java) S 15007 15007 14204 0 -1 1077944384 23 2584630 0 0 9 12 249613 351 20 0 22 0 510374584 8481841152 42238 33554432000 4194304 4196468 140730275550256 140439412279600 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15051] ppid=15007 vsize=8283048 memory=6944656592455360604 CPUtime=2499.64 cores=0-7
/proc/15030/task/15051/stat : 15051 (java) S 15007 15007 14204 0 -1 1077944384 24 2584630 0 0 0 0 249613 351 20 0 22 0 510374654 8481841152 42238 33554432000 4194304 4196468 140730275550256 140439404245520 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
[pid=15030/tid=15055] ppid=15007 vsize=8283048 memory=1536 CPUtime=2499.64 cores=0-7
/proc/15030/task/15055/stat : 15055 (java) S 15007 15007 14204 0 -1 1077944384 11 2584630 0 0 0 0 249613 351 20 0 22 0 510374656 8481841152 42238 33554432000 4194304 4196468 140730275550256 140436907746864 140440324045442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10354688 140730275554295 140730275554454 140730275554454 140730275557327 0
Current children cumulated CPU time: 2506.2 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 170428 KiB

Child status: 0
Real time (s): 332.59
CPU time (s): 2506.39
CPU user time (s): 2502.43
CPU system time (s): 3.96245
CPU usage (%): 753.598
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1278088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2502.43
system time used= 3.96245
maximum resident set size= 1153284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2633615
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21121
involuntary context switches= 26704


# summary of solver processes directly reported to runsolver:
#   pid: 15007
#   total CPU time (s): 2506.39
#   total CPU user time (s): 2502.43
#   total CPU system time (s): 3.96245

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.39028 second user time and 4.30264 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-24 18:03:34
IDJOB=4405545
IDBENCH=133410
IDSOLVER=2868
FILE ID=node127/4405545-1569341055
RUNJOBID= node127-1569335938-14231
PBS_JOBID= 21705058
Free space on /tmp= 35924 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-40-2-7.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid 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-4405545-1569341055/watcher-4405545-1569341055 -o /tmp/evaluation-result-4405545-1569341055/solver-4405545-1569341055 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569335938-14231 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405545-1569341055.xml

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

MD5SUM BENCH= c03c7f5b7c3afa870e2bbdca7571e3a2
RANDOM SEED=693132921

node127.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.55
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.55
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.55
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.55
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:        25755364 kB
MemAvailable:   31799292 kB
Buffers:           83232 kB
Cached:          6160928 kB
SwapCached:        44644 kB
Active:          3030784 kB
Inactive:        3264832 kB
Active(anon):       4632 kB
Inactive(anon):   104344 kB
Active(file):    3026152 kB
Inactive(file):  3160488 kB
Unevictable:      107788 kB
Mlocked:          107788 kB
SwapTotal:      67108860 kB
SwapFree:       66959708 kB
Dirty:             20644 kB
Writeback:            24 kB
AnonPages:        115220 kB
Mapped:            57496 kB
Shmem:             49032 kB
Slab:             314344 kB
SReclaimable:     285748 kB
SUnreclaim:        28596 kB
KernelStack:        3392 kB
PageTables:         5972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 35900 MiB
End job on node127 at 2019-09-24 18:09:07